arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.24438

Bounded powers of edge ideals: Nearly Gorenstein polytopes

Takayuki Hibi·Seyed Amin Seyed Fakhari
View original source ↗Read source document ↗Export metadata ↓

Abstract

A lattice polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called nearly Gorenstein if $\mathcal{P}$ is normal and if its Ehrhart ring is a nearly Gorenstein ring. We study nearly Gorenstein polytopes arising from discrete polymatroids of bounded powers of edge ideals. Especially, it is shown that every nearly Gorenstein polytope coming from either a complete graph or a complete bipartite graph is level.

Explore related subjects

math.ACmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Takayuki Hibi, Seyed Amin Seyed Fakhari. 2026-10-17. Bounded powers of edge ideals: Nearly Gorenstein polytopes. https://arxiv.org/abs/2610.24438

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the (LC) conjecture

We prove the (LC) conjecture of Hochster and Huneke in some non-trivial cases. This has several applications. Recently, Brenner and Caminata answered a numerical evidence due to Dao and Smirnov on the shape of generalized Hilbert-Kunz functions of smooth curves. As applications, we first reprove this by a short argument. Then we give a proof of second numerical evidence predicted by Dao and Smirnov on the shape of generalized Hilbert-Kunz functions of nodal curves. Thirdly, we answer a question posted by Vraciu on the (LC) property of a proposed ring. Inspiring with the (LC) property, we present a connection to the stability theory. This leads us to investigate the stability and the strong semistability of the sheaf of relations on $\{x^2,y^2,z^2\}$ over the Klein's quartic curve. This answers questions of Brenner. After presenting a connection from (LC) to the $F$-threshold, we answer a question posted by Huneke et al. Additional applications and examples are given.

math.AC↗
arXiv2026

Huneke's degree-computing problem

In this short note, we deal with a problem posted by Huneke on a numerical invariant attached to symbolic powers of homogenous ideals.

math.AC↗
arXiv2026

Unique Factorization of Power Series Rings over Q-UFDs of Dimension at Most 3

Let $R$ be a Noetherian unique factorization domain containing $\mathbb Q$, with $\dim R\leq3$. We prove that $R[[t]]$ is a unique factorization domain if and only if two conditions hold: every two-generated parameter ideal $q$ in every height-two localization satisfies $\overline{q^2}\subseteq q$, and every height-three localization has depth three. No excellence or completion hypothesis is imposed. The main local result is that $A[[t]]$ is not a UFD whenever $A$ is a local $\mathbb Q$-UFD of dimension at least three and depth two. We also prove that the UFD property of $R[[t]]$ passes to every coefficient localization in dimension at most three, give an all-dimensional criterion when the completions of the maximal localizations satisfy Serre's condition $(S_2)$, and obtain an arbitrary-characteristic criterion for excellent UFDs of dimension at most three.

math.AC↗