Showing 1–50 of 152 results for author: Herzog, J

Full-Trace Modules

Authors: Ela Celikbas, Olgur Celikbas, Jürgen Herzog, Shinya Kumashiro

Abstract: Motivated by the definition of nearly Gorenstein rings, we introduce the notion of full-trace modules over commutative Noetherian local rings--namely, finitely generated modules whose trace equals the maximal ideal. We investigate the existence of such modules and prove that, over rings that are neither regular nor principal ideal rings, every positive syzygy module of the residue field is full-tr… ▽ More Motivated by the definition of nearly Gorenstein rings, we introduce the notion of full-trace modules over commutative Noetherian local rings--namely, finitely generated modules whose trace equals the maximal ideal. We investigate the existence of such modules and prove that, over rings that are neither regular nor principal ideal rings, every positive syzygy module of the residue field is full-trace. Moreover, over Cohen-Macaulay rings, we study full-trace Ulrich modules--that is, maximally generated maximal Cohen-Macaulay modules that are full-trace. We establish the following characterization: a non-regular Cohen-Macaulay local ring has minimal multiplicity if and only if it admits a full-trace Ulrich module. Finally, for numerical semigroup rings with minimal multiplicity, we show that each full-trace Ulrich module decomposes as the direct sum of the maximal ideal and a module that is either zero or Ulrich. △ Less

Submitted 20 May, 2025; originally announced May 2025.

Report number: MPIM-Bonn-2025

Homological properties of the module of differentials

Authors: Jürgen Herzog, Benjamin Briggs, Srikanth B. Iyengar

Abstract: These notes were produced by Jürgen Herzog to accompany his lectures in Recife, Brazil, in 1980, on the homological algebra of noetherian local rings. They are are concerned with two conjectures made by Wolmer Vasconcelos: if the conormal module of a local ring has finite projective dimension, or if the module of differentials, taken over an appropriate field, has finite projective dimension, then… ▽ More These notes were produced by Jürgen Herzog to accompany his lectures in Recife, Brazil, in 1980, on the homological algebra of noetherian local rings. They are are concerned with two conjectures made by Wolmer Vasconcelos: if the conormal module of a local ring has finite projective dimension, or if the module of differentials, taken over an appropriate field, has finite projective dimension, then the ring must be complete intersection. The notes present an accessible and self-contained account of the strongest results known at the time in connection with these problems; this includes a number of ideas that have not appeared elsewhere. In the last section, Herzog turns his attention to the cotangent complex, and conjectures himself that if the cotangent complex of a local ring has bounded homology groups, then the ring must be complete intersection. Among other results, he proves that the conjecture holds for local rings of characteristic zero over which all modules have rational Poincaré series. Sadly Jürgen Herzog passed away in April of 2024. The notes in this form have been prepared in his memory, newly typeset and lightly edited. A short appendix has been added to survey some of the results of the intervening decades. △ Less

Submitted 19 February, 2025; originally announced February 2025.

Comments: To appear in a volume dedicated to Wolmer Vasconcelos

MSC Class: 13D07 (primary) 16E45; 13D02; 13D40 (secondary)

On the Rees algebra and the conductor of an ideal

Authors: Oleksandra Gasanova, Jürgen Herzog, Filip Jonsson Kling, Somayeh Moradi

Abstract: For an ideal $I$ in a Noetherian ring $R$, we introduce and study its conductor as a tool to explore the Rees algebra of $I$. The conductor of $I$ is an ideal $C(I)\subset R$ obtained from the defining ideals of the Rees algebra and the symmetric algebra of $I$ by a colon operation. Using this concept we investigate when adding an element to an ideal preserves the property of being of linear type.… ▽ More For an ideal $I$ in a Noetherian ring $R$, we introduce and study its conductor as a tool to explore the Rees algebra of $I$. The conductor of $I$ is an ideal $C(I)\subset R$ obtained from the defining ideals of the Rees algebra and the symmetric algebra of $I$ by a colon operation. Using this concept we investigate when adding an element to an ideal preserves the property of being of linear type. In this regard, a generalization of a result by Valla in terms of the conductor ideal is presented. When the conductor of a graded ideal in a polynomial ring is the graded maximal ideal, a criteria is given for when the Rees algebra and the symmetric algebra have the same Krull dimension. Finally, noting the fact that the conductor of a monomial ideal is a monomial ideal, the conductor of some families of monomial ideals, namely bounded Veronese ideals and edge ideals of graphs, are determined. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: 16 pages, 1 figure

MSC Class: 13A30 (Primary) 05E40 (Secondary)

On the Rees algebras of $t$-path ideals of cycles

Authors: Oleksandra Gasanova, Jürgen Herzog, Jiawen Shan

Abstract: In this paper we explore certain properties of the Rees algebra of $I_t(C_n)$, the $t$-path ideal of an $n$-cycle. Our main focus is on the cases when such ideals are of fiber type. In this paper we explore certain properties of the Rees algebra of $I_t(C_n)$, the $t$-path ideal of an $n$-cycle. Our main focus is on the cases when such ideals are of fiber type. △ Less

Submitted 29 November, 2024; v1 submitted 9 January, 2024; originally announced January 2024.

Comments: 23 pages

Ideals and their Fitting ideals

Authors: David Eisenbud, Antonino Ficarra, Jürgen Herzog, Somayeh Moradi

Abstract: For an ideal $I$ in a Noetherian ring $R$, the Fitting ideals $\textrm{Fitt}_j(I)$ are studied. We discuss the question of when $\textrm{Fitt}_j(I)=I$ or $\sqrt{\textrm{Fitt}_j(I)}=\sqrt{I}$ for some $j$. A classical case is the Hilbert-Burch theorem when $j=1$ and $I$ is a perfect ideal of grade $2$ in a local ring. For an ideal $I$ in a Noetherian ring $R$, the Fitting ideals $\textrm{Fitt}_j(I)$ are studied. We discuss the question of when $\textrm{Fitt}_j(I)=I$ or $\sqrt{\textrm{Fitt}_j(I)}=\sqrt{I}$ for some $j$. A classical case is the Hilbert-Burch theorem when $j=1$ and $I$ is a perfect ideal of grade $2$ in a local ring. △ Less

Submitted 31 December, 2023; originally announced January 2024.

MSC Class: 13C05; 05E40

Traces of semi-invariants

Authors: Ela Celikbas, Jürgen Herzog, Shinya Kumashiro

Abstract: This article investigates the traces of certain modules over rings of invariants associated with finite groups. More precisely, we provide a formula for computing the traces of arbitrary semi-invariants, thereby contributing to the understanding of the non-Gorenstein locus of rings of invariants. Additionally, we discuss applications of this formula, including criteria for rings of invariants to b… ▽ More This article investigates the traces of certain modules over rings of invariants associated with finite groups. More precisely, we provide a formula for computing the traces of arbitrary semi-invariants, thereby contributing to the understanding of the non-Gorenstein locus of rings of invariants. Additionally, we discuss applications of this formula, including criteria for rings of invariants to be Gorenstein on the punctured spectrum and nearly Gorenstein, as well as criteria for semi-invariants to be locally free. △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: 10 pages. Comments are welcome!

MSC Class: 13A50; 13H10; 13C05

The reduced divisor class group and the torsion number

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: The reduced divisor class group of a normal Cohen--Macaulay graded domain together with its torsion number is introduced. They are studied in detail especially for normal affine semigroup rings. The reduced divisor class group of a normal Cohen--Macaulay graded domain together with its torsion number is introduced. They are studied in detail especially for normal affine semigroup rings. △ Less

Submitted 15 September, 2023; originally announced September 2023.

MSC Class: 13H10; 13D02; 05E40

The eventual shape of the Betti table of $\mathfrak{m}^kM$

Authors: Antonino Ficarra, Jürgen Herzog, Somayeh Moradi

Abstract: Let $S$ be the polynomial ring over a field $K$ in a finite set of variables, and let $ \mathfrak{m}$ be the graded maximal ideal of $S$. It is known that for a finitely generated graded $S$-module $M$ and all integers $k\gg 0$, the module $ \mathfrak{m}^kM$ is componentwise linear. For large $k$ we describe the pattern of the Betti table of $ \mathfrak{m}^kM$ when $\mathrm{char}(K)=0$ and $M$ is… ▽ More Let $S$ be the polynomial ring over a field $K$ in a finite set of variables, and let $ \mathfrak{m}$ be the graded maximal ideal of $S$. It is known that for a finitely generated graded $S$-module $M$ and all integers $k\gg 0$, the module $ \mathfrak{m}^kM$ is componentwise linear. For large $k$ we describe the pattern of the Betti table of $ \mathfrak{m}^kM$ when $\mathrm{char}(K)=0$ and $M$ is a submodule of a finitely generated graded free $S$-module. Moreover, we show that for any $k\gg 0$, $ \mathfrak{m}^kI$ has linear quotients if $I$ is a monomial ideal. △ Less

Submitted 7 September, 2023; v1 submitted 1 August, 2023; originally announced August 2023.

MSC Class: 13D02; 13F20; 13F55

The toric ring of one dimensional simplicial complexes

Authors: Antonino Ficarra, Jürgen Herzog, Dumitru I. Stamate

Abstract: Let $Δ$ be a 1-dimensional simplicial complex. Then $Δ$ may be identified with a finite simple graph $G$. In this article, we investigate the toric ring $R_G$ of $G$. All graphs $G$ such that $R_G$ is a normal domain are classified. For such a graph, we determine the set $\mathcal{P}_G$ of height one monomial prime ideals of $R_G$. In the bipartite case, and in the case of whiskered cycles, this s… ▽ More Let $Δ$ be a 1-dimensional simplicial complex. Then $Δ$ may be identified with a finite simple graph $G$. In this article, we investigate the toric ring $R_G$ of $G$. All graphs $G$ such that $R_G$ is a normal domain are classified. For such a graph, we determine the set $\mathcal{P}_G$ of height one monomial prime ideals of $R_G$. In the bipartite case, and in the case of whiskered cycles, this set is explicitly described. As a consequence, we determine the canonical class $[ω_{R_G}]$ and characterize the Gorenstein property of $R_G$. For a bipartite graph $G$, we show that $R_G$ is Gorenstein if and only if $G$ is unmixed. For a subclass of non-bipartite graphs $G$, which includes whiskered cycles, $R_G$ is Gorenstein if and only if $G$ is unmixed and has an odd number of vertices. Finally, it is proved that $R_G$ is a pseudo-Gorenstein ring if $G$ is an odd cycle. △ Less

Submitted 8 June, 2023; originally announced June 2023.

Reflexive polytopes and discrete polymatroids

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: A classification of discrete polymatroids whose independence polytopes are reflexive will be presented. A classification of discrete polymatroids whose independence polytopes are reflexive will be presented. △ Less

Submitted 24 February, 2023; originally announced February 2023.

The divisor class group of a discrete polymatroid

Authors: Jürgen Herzog, Takayuki Hibi, Somayeh Moradi, Ayesha Asloob Qureshi

Abstract: In this paper we introduce toric rings of multicomplexes. We show how to compute the divisor class group and the class of the canonical module when the toric ring is normal. In the special case that the multicomplex is a discrete polymatroid, its toric ring is studied deeply for several classes of polymatroids. In this paper we introduce toric rings of multicomplexes. We show how to compute the divisor class group and the class of the canonical module when the toric ring is normal. In the special case that the multicomplex is a discrete polymatroid, its toric ring is studied deeply for several classes of polymatroids. △ Less

Submitted 8 June, 2024; v1 submitted 24 February, 2023; originally announced February 2023.

MSC Class: 13A02; 13P10; 05E40

Toric rings attached to simplicial complexes

Authors: Jürgen Herzog, Somayeh Moradi, Ayesha Asloob Qureshi

Abstract: We consider standard graded toric rings $R_Δ$ whose generators correspond to the faces of a simplicial complex $Δ$. When $R_Δ$ is normal, it is shown that its divisor class group is free. For a flag complex $Δ$ which is the clique complex of a perfect graph, a nice description for the class group and the canonical module of $R_Δ$ in terms of the minimal vertex covers of the graph is given. Moreove… ▽ More We consider standard graded toric rings $R_Δ$ whose generators correspond to the faces of a simplicial complex $Δ$. When $R_Δ$ is normal, it is shown that its divisor class group is free. For a flag complex $Δ$ which is the clique complex of a perfect graph, a nice description for the class group and the canonical module of $R_Δ$ in terms of the minimal vertex covers of the graph is given. Moreover, for a quasi-forest simplicial complex a quadratic Gröbner basis for the defining ideal of $R_Δ$ is presented. Using this fact we give combinatorial descriptions for the $a$-invariant and the Gorenstein property of $R_Δ$. △ Less

Submitted 10 October, 2023; v1 submitted 7 February, 2023; originally announced February 2023.

Comments: 15 pages

MSC Class: 13A02; 13P10; 05E40

Dirac's theorem and multigraded syzygies

Authors: Antonino Ficarra, Jürgen Herzog

Abstract: Let $G$ be a simple finite graph. A famous theorem of Dirac says that $G$ is chordal if and only if $G$ admits a perfect elimination order. It is known by Fröberg that the edge ideal $I(G)$ of $G$ has a linear resolution if and only if the complementary graph $G^c$ of $G$ is chordal. In this article, we discuss some algebraic consequences of Dirac's theorem in the theory of homological shift ideal… ▽ More Let $G$ be a simple finite graph. A famous theorem of Dirac says that $G$ is chordal if and only if $G$ admits a perfect elimination order. It is known by Fröberg that the edge ideal $I(G)$ of $G$ has a linear resolution if and only if the complementary graph $G^c$ of $G$ is chordal. In this article, we discuss some algebraic consequences of Dirac's theorem in the theory of homological shift ideals of edge ideals. Recall that if $I$ is a monomial ideal, $\mbox{HS}_k(I)$ is the monomial ideal generated by the $k$th multigraded shifts of $I$. We prove that $\mbox{HS}_1(I)$ has linear quotients, for any monomial ideal $I$ with linear quotients generated in a single degree. For and edge ideal $I(G)$ with linear quotients, it is not true that $\mbox{HS}_k(I(G))$ has linear quotients for all $k\ge0$. On the other hand, if $G^c$ is a proper interval graph or a forest, we prove that this is the case. Finally, we discuss a conjecture of Bandari, Bayati and Herzog that predicts that if $I$ is polymatroidal, $\mbox{HS}_k(I)$ is polymatroidal too, for all $k\ge0$. We are able to prove that this conjecture holds for all polymatroidal ideals generated in degree two. △ Less

Submitted 1 December, 2022; originally announced December 2022.

The canonical trace of determinantal rings

Authors: Antonino Ficarra, Jürgen Herzog, Dumitru I. Stamate, Vijaylaxmi Trivedi

Abstract: We compute the canonical trace of generic determinantal rings and provide a sufficient condition for the trace to specialize. As an application we determine the canonical trace $\mbox{tr}(ω_R)$ of a Cohen-Macaulay ring $R$ of codimension two, which is generically Gorenstein. It is shown that if the defining ideal $I$ of $R$ is generated by $n$ elements, then $\mbox{tr}(ω_R)$ is generated by the… ▽ More We compute the canonical trace of generic determinantal rings and provide a sufficient condition for the trace to specialize. As an application we determine the canonical trace $\mbox{tr}(ω_R)$ of a Cohen-Macaulay ring $R$ of codimension two, which is generically Gorenstein. It is shown that if the defining ideal $I$ of $R$ is generated by $n$ elements, then $\mbox{tr}(ω_R)$ is generated by the $(n-2)$-minors of the Hilbert-Burch matrix of $I$. △ Less

Submitted 4 December, 2022; v1 submitted 1 December, 2022; originally announced December 2022.

Behaviour of the normalized depth function

Authors: Antonino Ficarra, Jürgen Herzog, Takayuki Hibi

Abstract: Let $I\subset S=K[x_1,\dots,x_n]$ be a squarefree monomial ideal, $K$ a field. The $k$th squarefree power $I^{[k]}$ of $I$ is the monomial ideal of $S$ generated by all squarefree monomials belonging to $I^k$. The biggest integer $k$ such that $I^{[k]}\ne(0)$ is called the monomial grade of $I$ and it is denoted by $ν(I)$. Let $d_k$ be the minimum degree of the monomials belonging to $I^{[k]}$. Th… ▽ More Let $I\subset S=K[x_1,\dots,x_n]$ be a squarefree monomial ideal, $K$ a field. The $k$th squarefree power $I^{[k]}$ of $I$ is the monomial ideal of $S$ generated by all squarefree monomials belonging to $I^k$. The biggest integer $k$ such that $I^{[k]}\ne(0)$ is called the monomial grade of $I$ and it is denoted by $ν(I)$. Let $d_k$ be the minimum degree of the monomials belonging to $I^{[k]}$. Then, $\text{depth}(S/I^{[k]})\ge d_k-1$ for all $1\le k\leν(I)$. The normalized depth function of $I$ is defined as $g_{I}(k)=\text{depth}(S/I^{[k]})-(d_k-1)$, $1\le k\leν(I)$. It is expected that $g_I(k)$ is a non-increasing function for any $I$. In this article we study the behaviour of $g_{I}(k)$ under various operations on monomial ideals. Our main result characterizes all cochordal graphs $G$ such that for the edge ideal $I(G)$ of $G$ we have $g_{I(G)}(1)=0$. They are precisely all cochordal graphs $G$ whose complementary graph $G^c$ is connected and has a cut vertex. As a far-reaching application, for given integers $1\le s<m$ we construct a graph $G$ such that $ν(I(G))=m$ and $g_{I(G)}(k)=0$ if and only if $k=s+1,\dots,m$. Finally, we show that any non-increasing function of non-negative integers is the normalized depth function of some squarefree monomial ideal. △ Less

Submitted 14 May, 2023; v1 submitted 1 October, 2022; originally announced October 2022.

Comments: This is the final version of our paper accepted for pubblication in the Electronic Journal of Combinatorics. Some minor changes and typos fixed, bybliography updated

MSC Class: 13C15; 05E40; 05C70

Toric rings arising from vertex cover ideals

Authors: Jürgen Herzog, Takayuki Hibi, Somayeh Moradi

Abstract: We extend the sortability concept to monomial ideals which are not necessarily generated in one degree and as an application we obtain normal Cohen-Macaulay toric rings attached to vertex cover ideals of graphs. Moreover, we consider a construction on a graph called a clique multi-whiskering which always produces vertex cover ideals with componentwise linear powers. We extend the sortability concept to monomial ideals which are not necessarily generated in one degree and as an application we obtain normal Cohen-Macaulay toric rings attached to vertex cover ideals of graphs. Moreover, we consider a construction on a graph called a clique multi-whiskering which always produces vertex cover ideals with componentwise linear powers. △ Less

Submitted 22 September, 2022; originally announced September 2022.

MSC Class: 05E40; 13A02; 13P10

The normalized depth function of squarefree powers

Authors: Nursel Erey, Jürgen Herzog, Takayuki Hibi, Sara Saeedi Madani

Abstract: The depth of squarefree powers of a squarefree monomial ideal is introduced. Let $I$ be a squarefree monomial ideal of the polynomial ring $S=K[x_1,\ldots,x_n]$. The $k$-th squarefree power $I^{[k]}$ of $I$ is the ideal of $S$ generated by those squarefree monomials $u_1\cdots u_k$ with each $u_i\in G(I)$, where $G(I)$ is the unique minimal system of monomial generators of $I$. Let $d_k$ denote th… ▽ More The depth of squarefree powers of a squarefree monomial ideal is introduced. Let $I$ be a squarefree monomial ideal of the polynomial ring $S=K[x_1,\ldots,x_n]$. The $k$-th squarefree power $I^{[k]}$ of $I$ is the ideal of $S$ generated by those squarefree monomials $u_1\cdots u_k$ with each $u_i\in G(I)$, where $G(I)$ is the unique minimal system of monomial generators of $I$. Let $d_k$ denote the minimum degree of monomials belonging to $G(I^{[k]})$. One has $\operatorname{depth}(S/I^{[k]}) \geq d_k -1$. Setting $g_I(k) = \operatorname{depth}(S/I^{[k]}) - (d_k - 1)$, one calls $g_I(k)$ the normalized depth function of $I$. The computational experience strongly invites us to propose the conjecture that the normalized depth function is nonincreasing. In the present paper, especially the normalized depth function of the edge ideal of a finite simple graph is deeply studied. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Binomial ideals attached to finite collections of cells

Authors: Jürgen Herzog, Takayuki Hibi, Somayeh Moradi

Abstract: We consider the ideal of inner $2$-minors $I_{\mathcal{P}}$ of a finite set of cells $\mathcal{P}$, which we call the cell ideal of $\mathcal{P}$. A nice interpretation for the height of an unmixed ideal $I_{\mathcal{P}}$, in terms of the number of cells of $\mathcal{P}$ is given. Moreover, the coordinate rings of cell ideals with isolated singularities are determined. We consider the ideal of inner $2$-minors $I_{\mathcal{P}}$ of a finite set of cells $\mathcal{P}$, which we call the cell ideal of $\mathcal{P}$. A nice interpretation for the height of an unmixed ideal $I_{\mathcal{P}}$, in terms of the number of cells of $\mathcal{P}$ is given. Moreover, the coordinate rings of cell ideals with isolated singularities are determined. △ Less

Submitted 8 June, 2024; v1 submitted 13 May, 2022; originally announced May 2022.

MSC Class: Primary 13F20; Secondary 05E40

Rings of invariants for three dimensional modular representations

Authors: Jürgen Herzog, Vijaylaxmi Trivedi

Abstract: Let $p>3$ be a prime number. We compute the rings of invariants of the elementary abelian $p$-group $(\mathbb Z/p\mathbb Z)^r$ for $3$-dimensional generic representations. Furthermore we show that these rings of invariants are complete intersections rings with embedding dimension $\lceil r/2\rceil +3$. This proves a conjecture of Campbell, Shank and Wehlau in [CSW], which they proved for $r=3$,… ▽ More Let $p>3$ be a prime number. We compute the rings of invariants of the elementary abelian $p$-group $(\mathbb Z/p\mathbb Z)^r$ for $3$-dimensional generic representations. Furthermore we show that these rings of invariants are complete intersections rings with embedding dimension $\lceil r/2\rceil +3$. This proves a conjecture of Campbell, Shank and Wehlau in [CSW], which they proved for $r=3$, and later Pierron and Shank proved it for $r=4$. △ Less

Submitted 30 August, 2023; v1 submitted 4 May, 2022; originally announced May 2022.

Comments: 35 pages, Final version, accepted for publication in Math. Zeitschrift

MSC Class: 13A50; 20C20

Finite distributive lattices, polyominoes and ideals of König type

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: Finite distributive lattices whose join-meet ideals are of König type will be classified. Furthermore, a class of polyominoes whose polyomino ideals are of König type will be studied. Finite distributive lattices whose join-meet ideals are of König type will be classified. Furthermore, a class of polyominoes whose polyomino ideals are of König type will be studied. △ Less

Submitted 19 February, 2022; originally announced February 2022.

MSC Class: 13P10; 05E40

Upper bound on the colength of the trace of the canonical module in dimension one

Authors: Jürgen Herzog, Shinya Kumashiro

Abstract: We study the upper bound of the colength of trace of the canonical module in one-dimensional Cohen-Macaulay rings. We answer the two questions posed by Herzog-Hibi-Stamate and Kobayashi. We study the upper bound of the colength of trace of the canonical module in one-dimensional Cohen-Macaulay rings. We answer the two questions posed by Herzog-Hibi-Stamate and Kobayashi. △ Less

Submitted 29 January, 2022; originally announced January 2022.

Comments: 9 pages

MSC Class: 13H10; 13C13

Some homological properties of Borel type ideals

Authors: Jürgen Herzog, Somayeh Moradi, Masoomeh Rahimbeigi, Guangjun Zhu

Abstract: We study ideals of Borel type, including $k$-Borel ideals and $t$-spread Veronese ideals. We determine their free resolutions and their homological shift ideals. The multiplicity and the analytic spread of equigenerated squarefree principal Borel ideals are computed. For the multiplicity, the result is given under an additional assumption which is always satisfied for squarefree principal Borel id… ▽ More We study ideals of Borel type, including $k$-Borel ideals and $t$-spread Veronese ideals. We determine their free resolutions and their homological shift ideals. The multiplicity and the analytic spread of equigenerated squarefree principal Borel ideals are computed. For the multiplicity, the result is given under an additional assumption which is always satisfied for squarefree principal Borel ideals. These results are used to analyze the behaviour of height, multiplicity and analytic spread of the homological shift ideals $HS_j(I)$ as functions of $j$, when $I$ is an equigenerated squarefree Borel ideal. △ Less

Submitted 22 December, 2021; originally announced December 2021.

MSC Class: 13F20; 13A15; 05E40

On the set of trace ideals of a Noetherian ring

Authors: Jürgen Herzog, Masoomeh Rahimbeigi

Abstract: We consider trace ideals in Noetherian rings and focus our attention to one-dimensional analytically irreducible local rings. For such rings we classify those Gorenstein rings which admit only a finite number of trace ideals. We consider trace ideals in Noetherian rings and focus our attention to one-dimensional analytically irreducible local rings. For such rings we classify those Gorenstein rings which admit only a finite number of trace ideals. △ Less

Submitted 8 December, 2021; originally announced December 2021.

MSC Class: 13C99; 13H05

Classes of cut ideals and their Betti numbers

Authors: Jürgen Herzog, Masoomeh Rahimbeigi, Tim Römer

Abstract: We study monomial cut ideals associated to a graph $G$, which are a monomial analogue of toric cut ideals as introduced by Sturmfels and Sullivant. Primary decompositions, projective dimensions, and Castelnuovo-Mumford regularities are investigated if the graph can be decomposed as $0$-clique sums and disjoint union of subgraphs. The total Betti numbers of a cycle are computed. Moreover, we classi… ▽ More We study monomial cut ideals associated to a graph $G$, which are a monomial analogue of toric cut ideals as introduced by Sturmfels and Sullivant. Primary decompositions, projective dimensions, and Castelnuovo-Mumford regularities are investigated if the graph can be decomposed as $0$-clique sums and disjoint union of subgraphs. The total Betti numbers of a cycle are computed. Moreover, we classify all Freiman ideals among monomial cut ideals. △ Less

Submitted 8 December, 2021; originally announced December 2021.

MSC Class: 05E40; 13C99

Rings of Teter type

Authors: Oleksandra Gasanova, Jürgen Herzog, Takayuki Hibi, Somayeh Moradi

Abstract: Let $R$ be a Cohen--Macaulay local $K$-algebra or a standard graded $K$-algebra over a field $K$ with a canonical module $ω_R$. The trace of $ω_R$ is the ideal $tr(ω_R)$ of $R$ which is the sum of those ideals $\varphi(ω_R)$ with $\varphi\in Hom_R(ω_R,R)$. The smallest number $s$ for which there exist $\varphi_1, \ldots, \varphi_s \in Hom_R(ω_R,R)$ with… ▽ More Let $R$ be a Cohen--Macaulay local $K$-algebra or a standard graded $K$-algebra over a field $K$ with a canonical module $ω_R$. The trace of $ω_R$ is the ideal $tr(ω_R)$ of $R$ which is the sum of those ideals $\varphi(ω_R)$ with $\varphi\in Hom_R(ω_R,R)$. The smallest number $s$ for which there exist $\varphi_1, \ldots, \varphi_s \in Hom_R(ω_R,R)$ with $tr(ω_R)=\varphi_1(ω_R) + \cdots + \varphi_s(ω_R)$ is called the Teter number of $R$. We say that $R$ is of Teter type if $s = 1$. It is shown that $R$ is not of Teter type if $R$ is generically Gorenstein. In the present paper, we focus especially on $0$-dimensional graded and monomial $K$-algebras and present various classes of such algebras which are of Teter type. △ Less

Submitted 14 December, 2021; v1 submitted 8 December, 2021; originally announced December 2021.

MSC Class: 13H10; 13M05

The tiny trace ideals of the canonical modules in Cohen-Macaulay rings of dimension one

Authors: Jürgen Herzog, Shinya Kumashiro, Dumitru I. Stamate

Abstract: We study one-dimensional Cohen-Macaulay rings whose trace ideal of the canonical module is as small as possible. In this paper we call such rings far-flung Gorenstein rings. We investigate far-flung Gorenstein rings in relation with the endomorphism algebras of the maximal ideals and numerical semigroup rings. We show that the solution of the Rohrbach problem in additive number theory provides an… ▽ More We study one-dimensional Cohen-Macaulay rings whose trace ideal of the canonical module is as small as possible. In this paper we call such rings far-flung Gorenstein rings. We investigate far-flung Gorenstein rings in relation with the endomorphism algebras of the maximal ideals and numerical semigroup rings. We show that the solution of the Rohrbach problem in additive number theory provides an upper bound for the multiplicity of far-flung Gorenstein numerical semigroup rings. Reflexive modules over far-flung Gorenstein rings are also studied. △ Less

Submitted 17 June, 2021; originally announced June 2021.

Comments: 15 pages. Comments are welcome!

MSC Class: 13H10

Graded ideals of König type

Authors: Jürgen Herzog, Takayuki Hibi, Somayeh Moradi

Abstract: Inspired by the notion of König graphs we introduce graded ideals of König type with respect to a monomial order $<$. It is shown that if $I$ is of König type, then the Cohen--Macaulay property of $\ini_<(I)$ does not depend on the characteristic of the base field. This happens to be the case also for $I$ itself when $I$ is a binomial edge ideal. Attached to an ideal of König type is a sequence of… ▽ More Inspired by the notion of König graphs we introduce graded ideals of König type with respect to a monomial order $<$. It is shown that if $I$ is of König type, then the Cohen--Macaulay property of $\ini_<(I)$ does not depend on the characteristic of the base field. This happens to be the case also for $I$ itself when $I$ is a binomial edge ideal. Attached to an ideal of König type is a sequence of linear forms, whose elements are variables or differences of variables. This sequence is a system of parameters for $\ini_<(I)$, and is a potential system of parameters for $I$ itself. We study in detail the ideals of König type among the edge ideals, binomial edge ideals and the toric ideal of a Hibi ring and use the König property to determine explicitly their canonical module. △ Less

Submitted 13 March, 2021; originally announced March 2021.

MSC Class: 13H10; 13C15

Componentwise linear powers and the $x$-condition

Authors: Jürgen Herzog, Takayuki Hibi, Somayeh Moradi

Abstract: Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gröbner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded components $A_k$ of $A$ have linear quotients and with additional assumptions are componentwise linear. A typical example of such an algebra is the Rees ring… ▽ More Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gröbner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded components $A_k$ of $A$ have linear quotients and with additional assumptions are componentwise linear. A typical example of such an algebra is the Rees ring $R(I)$ of a graded ideal or the symmetric algebra $Sym(M)$ of a module $M$. We apply our criterion to study certain symmetric algebras and the powers of vertex cover ideals of certain classes of graphs. △ Less

Submitted 22 October, 2020; originally announced October 2020.

MSC Class: 05E40; 13A02

On the symbolic powers of binomial edge ideals

Authors: Viviana Ene, Jürgen Herzog

Abstract: We show that under some conditions, if the initial ideal in$_<(I)$ of an ideal $I$ in a polynomial ring has the property that its symbolic and ordinary powers coincide, then the ideal $I$ shares the same property. We apply this result to prove the equality between symbolic and ordinary powers for binomial edge ideals with quadratic Gröbner basis. We show that under some conditions, if the initial ideal in$_<(I)$ of an ideal $I$ in a polynomial ring has the property that its symbolic and ordinary powers coincide, then the ideal $I$ shares the same property. We apply this result to prove the equality between symbolic and ordinary powers for binomial edge ideals with quadratic Gröbner basis. △ Less

Submitted 7 September, 2020; originally announced September 2020.

Journal ref: in Combinatorial Structures in Algebra and Geometry (D. Stamate, T. Szemberg, Eds), Springer Proceedings in Mathematics & Statistics 331,Springer 2020, 43-50

Canonical trace ideal and residue for numerical semigroup rings

Authors: Jürgen Herzog, Takayuki Hibi, Dumitru I. Stamate

Abstract: For a numerical semigroup ring $K[H]$ we study the trace of its canonical ideal. The colength of this ideal is called the residue of $H$. This invariant measures how far is $H$ from being symmetric, i.e. $K[H]$ from being a Gorenstein ring. We remark that the canonical trace ideal contains the conductor ideal, and we study bounds for the residue. For $3$-generated numerical semigroups we give ex… ▽ More For a numerical semigroup ring $K[H]$ we study the trace of its canonical ideal. The colength of this ideal is called the residue of $H$. This invariant measures how far is $H$ from being symmetric, i.e. $K[H]$ from being a Gorenstein ring. We remark that the canonical trace ideal contains the conductor ideal, and we study bounds for the residue. For $3$-generated numerical semigroups we give explicit formulas for the canonical trace ideal and the residue of $H$. Thus, in this setting we can classify those whose residue is at most one (the nearly-Gorenstein ones), and we show the eventual periodic behaviour of the residue in a shifted family. △ Less

Submitted 4 August, 2020; originally announced August 2020.

Comments: 16 pages; this paper contains most of the results related to numerical semigroups from the initial version of our paper arXiv:1612.02723 [math.AC]

MSC Class: 13H10; 20M10; 20M25; 13D02; 05E40

Journal ref: Semigroup Forum 103 (2021), 550-566

Systems of parameters and the Cohen--Macaulay property

Authors: Jürgen Herzog, Somayeh Moradi

Abstract: We recall a numerical criteria for Cohen--Macaulayness related to system of parameters, and introduce monomial ideals of König type which include the edge ideals of König graphs. We show that a monomial ideal is of König type if and only if its corresponding residue class ring admits a system of parameters whose elements are of the form $x_i-x_j$. This provides an algebraic characterization of Kön… ▽ More We recall a numerical criteria for Cohen--Macaulayness related to system of parameters, and introduce monomial ideals of König type which include the edge ideals of König graphs. We show that a monomial ideal is of König type if and only if its corresponding residue class ring admits a system of parameters whose elements are of the form $x_i-x_j$. This provides an algebraic characterization of König graphs. We use this special parameter systems for the study of the edge ideal of König graphs and the study of the order complex of a certain family of posets. Finally, for any simplicial complex $Δ$ we introduce a system of parameters for $K[Δ]$ with a universal construction principle, independent of the base field and only dependent on the faces of $Δ$. This system of parameters is an efficient tool to test Cohen--Macaulayness of the Stanley--Reisner ring of a simplicial complex. △ Less

Submitted 30 June, 2020; originally announced June 2020.

MSC Class: Primary 13H10; Secondary 05C25

Restricted classes of Veronese type ideals and algebras

Authors: Rodica Dinu, Jürgen Herzog, Ayesha Asloob Qureshi

Abstract: We study ideals which are generated by monomials of degree $d$ in the polynomial ring in $n$ variables and which satisfy certain numerical side conditions regarding their exponents. Typical examples of such ideals are the ideals of Veronese type, squarefree Veronese ideals or $t$-spread Veronese ideals. In this paper we focus on $c$-bounded $t$-spread Veronese ideals and on Veronese ideals of boun… ▽ More We study ideals which are generated by monomials of degree $d$ in the polynomial ring in $n$ variables and which satisfy certain numerical side conditions regarding their exponents. Typical examples of such ideals are the ideals of Veronese type, squarefree Veronese ideals or $t$-spread Veronese ideals. In this paper we focus on $c$-bounded $t$-spread Veronese ideals and on Veronese ideals of bounded support. Their powers as well as their fiber cone is also be considered. △ Less

Submitted 19 May, 2020; originally announced May 2020.

Homological shift ideals

Authors: Jürgen Herzog, Somayeh Moradi, Masoomeh Rahimbeigi, Guangjun Zhu

Abstract: For a monomial ideal $I$, we consider the $i$th homological shift ideal of $I$, denoted by $\text{HS}_i(I)$, that is, the ideal generated by the $i$th multigraded shifts of $I$. Some algebraic properties of this ideal are studied. It is shown that for any monomial ideal $I$ and any monomial prime ideal $P$, $\text{HS}_i(I(P))\subseteq \text{HS}_i(I)(P)$ for all $i$, where $I(P)$ is the monomial lo… ▽ More For a monomial ideal $I$, we consider the $i$th homological shift ideal of $I$, denoted by $\text{HS}_i(I)$, that is, the ideal generated by the $i$th multigraded shifts of $I$. Some algebraic properties of this ideal are studied. It is shown that for any monomial ideal $I$ and any monomial prime ideal $P$, $\text{HS}_i(I(P))\subseteq \text{HS}_i(I)(P)$ for all $i$, where $I(P)$ is the monomial localization of $I$. In particular, we consider the homological shift ideal of some families of monomial ideals with linear quotients. For any $\textbf{c}$-bounded principal Borel ideal $I$ and for the edge ideal of complement of any path graph, it is proved that $\text{HS}_i(I)$ has linear quotients for all $i$. As an example of $\textbf{c}$-bounded principal Borel ideals, Veronese type ideals are considered and it is shown that the homological shift ideal of these ideals are polymatroidal. This implies that for any polymatroidal ideal which satisfies the strong exchange property, $\text{HS}_j(I)$ is again a polymatroidal ideal for all $j$. Moreover, for any edge ideal with linear resolution, the ideal $\text{HS}_j(I)$ is characterized and it is shown that $\text{HS}_1(I)$ has linear quotients. △ Less

Submitted 9 March, 2020; originally announced March 2020.

MSC Class: 13F20; 13H10

Journal ref: Collectanea Mathematica 2020

Graded Bourbaki ideals of graded modules

Authors: Jürgen Herzog, Shinya Kumashiro, Dumitru I. Stamate

Abstract: In this paper we study graded Bourbaki ideals. It is a well-known fact that for torsionfree modules over Noetherian normal domains, Bourbaki sequences exist. We give criteria in terms of certain attached matrices for a homomorphism of modules to induce a Bourbaki sequence. Special attention is given to graded Bourbaki sequences. In the second part of the paper, we apply these results to the Koszul… ▽ More In this paper we study graded Bourbaki ideals. It is a well-known fact that for torsionfree modules over Noetherian normal domains, Bourbaki sequences exist. We give criteria in terms of certain attached matrices for a homomorphism of modules to induce a Bourbaki sequence. Special attention is given to graded Bourbaki sequences. In the second part of the paper, we apply these results to the Koszul cycles of the residue class field and determine particular Bourbaki ideals explicitly. We also obtain in a special case the relationship between the structure of the Rees algebra of a Koszul cycle and the Rees algebra of its Bourbaki ideal. △ Less

Submitted 11 January, 2021; v1 submitted 21 February, 2020; originally announced February 2020.

Comments: 29 pages

MSC Class: 13A02; 13A30; 13D02; 13H10

On the initial behaviour of the number of generators of powers of monomial ideals

Authors: Reza Abdolmaleki, Jürgen Herzog, Rashid Zaare-Nahandi

Abstract: Given a number $q$, we construct a monomial ideal $I$ with the property that the function which describes the number of generators of $I^k$ has at least $q$ local maxima. Given a number $q$, we construct a monomial ideal $I$ with the property that the function which describes the number of generators of $I^k$ has at least $q$ local maxima. △ Less

Submitted 19 February, 2020; originally announced February 2020.

The regularity of edge rings and matching numbers

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: Let $K[G]$ denote the edge ring of a finite connected simple graph $G$ on $[d]$ and $\mat(G)$ the matching number of $G$. It is shown that $\reg(K[G]) \leq \mat(G)$ if $G$ is non-bipartite and $K[G]$ is normal, and that $\reg(K[G]) \leq \mat(G) - 1$ if $G$ is bipartite. Let $K[G]$ denote the edge ring of a finite connected simple graph $G$ on $[d]$ and $\mat(G)$ the matching number of $G$. It is shown that $\reg(K[G]) \leq \mat(G)$ if $G$ is non-bipartite and $K[G]$ is normal, and that $\reg(K[G]) \leq \mat(G) - 1$ if $G$ is bipartite. △ Less

Submitted 22 November, 2019; originally announced November 2019.

Regularity and Gorenstein property of the $L$-convex Polyominoes

Authors: Viviana Ene, Jürgen Herzog, Ayesha Asloob Qureshi, Francesco Romeo

Abstract: We study the coordinate ring of an $L$-convex polyomino, determine its regularity in terms of the maximal number of rooks that can be placed in the polyomino. We also characterize the Gorenstein $L$-convex polyominoes and those which are Gorenstein on the punctured spectrum, and compute the Cohen--Macaulay type of any $L$-convex polyomino in terms of the maximal rectangles covering it. We study the coordinate ring of an $L$-convex polyomino, determine its regularity in terms of the maximal number of rooks that can be placed in the polyomino. We also characterize the Gorenstein $L$-convex polyominoes and those which are Gorenstein on the punctured spectrum, and compute the Cohen--Macaulay type of any $L$-convex polyomino in terms of the maximal rectangles covering it. △ Less

Submitted 19 November, 2019; originally announced November 2019.

Matchings and squarefree powers of edge ideals

Authors: Nursel Erey, Jürgen Herzog, Takayuki Hibi, Sara Saeedi Madani

Abstract: Squarefree powers of edge ideals are intimately related to matchings of the underlying graph. In this paper we give bounds for the regularity of squarefree powers of edge ideals, and we consider the question of when such powers are linearly related or have linear resolution. We also consider the so-called squarefree Ratliff property. Squarefree powers of edge ideals are intimately related to matchings of the underlying graph. In this paper we give bounds for the regularity of squarefree powers of edge ideals, and we consider the question of when such powers are linearly related or have linear resolution. We also consider the so-called squarefree Ratliff property. △ Less

Submitted 25 September, 2019; originally announced September 2019.

Comments: 21 pages, 6 figures

The saturation number of $\cb$-bounded stable monomial ideals and their powers

Authors: Reza Abdolmaleki, Jürgen Herzog, Guangjun Zhu

Abstract: Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$. In this paper, we compute the socle of $\cb$-bounded strongly stable ideals and determine that the saturation number of strongly stable ideals and of equigenerated $\cb$-bounded strongly stable ideals. We also provide explicit formulas for the saturation number $\sat(I)$ of Veronese type ideals $I$. Using this form… ▽ More Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$. In this paper, we compute the socle of $\cb$-bounded strongly stable ideals and determine that the saturation number of strongly stable ideals and of equigenerated $\cb$-bounded strongly stable ideals. We also provide explicit formulas for the saturation number $\sat(I)$ of Veronese type ideals $I$. Using this formula, we show that $\sat(I^k)$ is quasi-linear from the beginning and we determine the quasi-linear function explicitly. △ Less

Submitted 23 September, 2019; originally announced September 2019.

MSC Class: Primary 13F20; Secondary 13H10; 05E40

Journal ref: Kyoto J. Math. 62, no. 3 (2022), 471-484

Sortable Freiman ideals

Authors: Jürgen Herzog, Guangjun Zhu

Abstract: In this paper it is shown that a sortable ideal $I$ is Freiman if and only if its sorted graph is chordal. This characterization is used to give a complete classification of Freiman principal Borel ideals and of Freiman Veronese type ideals with constant bound. In this paper it is shown that a sortable ideal $I$ is Freiman if and only if its sorted graph is chordal. This characterization is used to give a complete classification of Freiman principal Borel ideals and of Freiman Veronese type ideals with constant bound. △ Less

Submitted 23 September, 2019; originally announced September 2019.

MSC Class: Primary 13C99; Secondary 13H05; 13H10

The socle module of a monomial ideal

Authors: Lizhong Chu, Jürgen Herzog, Dancheng Lu

Abstract: For any ideal $I$ in a Noetherian local ring or any graded ideal $I$ in a standard graded $K$-algebra over a field $K$, we introduce the socle module $\mathrm{Soc}(I)$, whose graded components give us the socle of the powers of $I$. It is observed that $\mathrm{Soc}(I)$ is a finitely generated module over the fiber cone of $I$. In the case that $S$ is the polynomial ring and all powers of… ▽ More For any ideal $I$ in a Noetherian local ring or any graded ideal $I$ in a standard graded $K$-algebra over a field $K$, we introduce the socle module $\mathrm{Soc}(I)$, whose graded components give us the socle of the powers of $I$. It is observed that $\mathrm{Soc}(I)$ is a finitely generated module over the fiber cone of $I$. In the case that $S$ is the polynomial ring and all powers of $I\subseteq S$ have linear resolution, we define the module $\mathrm{Soc}^*(I)$ which is a module over the Rees ring of $I$. For the edge ideal of a graph and for classes of polymatroidal ideals we study the module structure of their socle modules. △ Less

Submitted 15 September, 2019; originally announced September 2019.

Comments: 18

MSC Class: Primary 13F20; Secondary 13H10

Ulrich elements in normal simplicial affine semigroups

Authors: Jürgen Herzog, Raheleh Jafari, Dumitru I. Stamate

Abstract: Let $H\subseteq \mathbb{N}^d$ be a normal affine semigroup, $R=K[H]$ its semigroup ring over the field $K$ and $ω_R$ its canonical module. The Ulrich elements for $H$ are those $h$ in $H$ such that for the multiplication map by $\mathbf{x}^h$ from $R$ into $ω_R$, the cokernel is an Ulrich module. We say that the ring $R$ is almost Gorenstein if Ulrich elements exist in $H$. For the class of slim s… ▽ More Let $H\subseteq \mathbb{N}^d$ be a normal affine semigroup, $R=K[H]$ its semigroup ring over the field $K$ and $ω_R$ its canonical module. The Ulrich elements for $H$ are those $h$ in $H$ such that for the multiplication map by $\mathbf{x}^h$ from $R$ into $ω_R$, the cokernel is an Ulrich module. We say that the ring $R$ is almost Gorenstein if Ulrich elements exist in $H$. For the class of slim semigroups that we introduce, we provide an algebraic criterion for testing the Ulrich propery. When $d=2$, all normal affine semigroups are slim. Here we have a simpler combinatorial description of the Ulrich property. We improve this result for testing the elements in $H$ which are closest to zero. In particular, we give a simple arithmetic criterion for when is $(1,1)$ an Ulrich element in $H$. △ Less

Submitted 25 October, 2020; v1 submitted 15 September, 2019; originally announced September 2019.

Comments: v3:minor changes.To appear in the Pacific Journal of Mathematics. v2: 24 pages. This is a major revision. The statement of Theorem 2.4 was corrected. Now Theorem 3.2 characterizes Ulrich elements for slim semigroups, that we introduce. The results in dimension two stay unchanged, and these are now split in several sections. Section 5 in (v1) will pe part of a different paper. Comments are welcome

MSC Class: 13H10; 05E40 (Primary) 13H15; 20M25 (Secondary)

Journal ref: Pacific J. Math. 309 (2020) 353-380

Sortable simplicial complexes and $t$-independence ideals of proper interval graphs

Authors: Jürgen Herzog, Fahimeh Khosh-Ahang, Somayeh Moradi, Masoomeh Rahimbeigi

Abstract: We introduce the notion of sortability and $t$-sortability for a simplicial complex and study the graphs for which their independence complexes are either sortable or $t$-sortable. We show that the proper interval graphs are precisely the graphs whose independence complex is sortable. By using this characterization, we show that the ideal generated by all squarefree monomials corresponding to inde… ▽ More We introduce the notion of sortability and $t$-sortability for a simplicial complex and study the graphs for which their independence complexes are either sortable or $t$-sortable. We show that the proper interval graphs are precisely the graphs whose independence complex is sortable. By using this characterization, we show that the ideal generated by all squarefree monomials corresponding to independent sets of vertices of $G$ of size $t$ (for a given positive integer $t$) has the strong persistence property, when $G$ is a proper interval graph. Moreover, all of its powers have linear quotients. △ Less

Submitted 20 August, 2019; originally announced August 2019.

MSC Class: 13F20; 05E45

The edge ideal of a graph and its splitting graphs

Authors: Jürgen Herzog, Somayeh Moradi, Masoomeh Rahimbeigi

Abstract: We introduce and study the concept which we call the splitting of a graph and compare algebraic properties of the edge ideals of graphs and those of their splitting graphs. We introduce and study the concept which we call the splitting of a graph and compare algebraic properties of the edge ideals of graphs and those of their splitting graphs. △ Less

Submitted 24 August, 2019; v1 submitted 10 August, 2019; originally announced August 2019.

Comments: to appear in Journal of Commutative Algebra

On the monomial reduction number of a monomial ideal in $K[x,y]$

Authors: Jürgen Herzog, Somayeh Moradi, Masoomeh Rahimbeigi, Ali Soleyman Jahan

Abstract: The reduction number of monomial ideals in the polynomial $K[x,y]$ is studied. We focus on ideals $I$ for which $J=(x^a,y^b)$ is a reduction ideal. The computation of the reduction number amounts to solve linear inequalities. In some special cases the reduction number can be explicitly computed. The reduction number of monomial ideals in the polynomial $K[x,y]$ is studied. We focus on ideals $I$ for which $J=(x^a,y^b)$ is a reduction ideal. The computation of the reduction number amounts to solve linear inequalities. In some special cases the reduction number can be explicitly computed. △ Less

Submitted 10 August, 2019; originally announced August 2019.

Journal ref: Bull. Math. Soc. Sci. Math. Roumanie (2019)

The saturation number of powers of graded ideals

Authors: Jürgen Herzog, Shokoufe Karimi, Amir Mafi

Abstract: Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$ with maximal ideal $\frak{m}=(x_1,...,x_n)$, and let $I$ be a graded ideal of $S$. In this paper, we define the saturation number $\sat(I)$ of $I$ to be the smallest non-negative integer $k$ such that $I:\mm^{k+1}= I:\mm^k$. We show that $f(k)$ is linearly bounded, and that $f(k)$ is a quasi-linear function for… ▽ More Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$ with maximal ideal $\frak{m}=(x_1,...,x_n)$, and let $I$ be a graded ideal of $S$. In this paper, we define the saturation number $\sat(I)$ of $I$ to be the smallest non-negative integer $k$ such that $I:\mm^{k+1}= I:\mm^k$. We show that $f(k)$ is linearly bounded, and that $f(k)$ is a quasi-linear function for $k\gg 0$, if $I$ is a monomial ideal. Furthermore, we show that $\sat(I^k)=k$ if $I$ is a principal Borel ideal and prove that $\sat(I_{d,n}^k) =\max\{l\:\; (kd-l)/(k-l) \leq n\},$ where $I_{d,n}$ is the squarefree Veronese ideal generated in degree $d$. \end{abstract} △ Less

Submitted 1 September, 2019; v1 submitted 6 July, 2019; originally announced July 2019.

Comments: 8 pages, comments welcome

Matching numbers and the regularity of the Rees algebra of an edge ideal

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: The regularity of the Rees ring of the edge ideal of a finite simple graph is studied. We show that the matching number is a lower and matching number~$+1$ is an upper bound of the regularity, if the Rees algebra is normal. In general the induced matching number is a lower bound for the regularity, which can be shown by applying the squarefree divisor complex. The regularity of the Rees ring of the edge ideal of a finite simple graph is studied. We show that the matching number is a lower and matching number~$+1$ is an upper bound of the regularity, if the Rees algebra is normal. In general the induced matching number is a lower bound for the regularity, which can be shown by applying the squarefree divisor complex. △ Less

Submitted 6 May, 2019; originally announced May 2019.

On the fiber cone of monomial ideals

Authors: Jürgen Herzog, Guangjun Zhu

Abstract: We consider the fiber cone of monomial ideals. It is shown that for monomial ideals $I\subset K[x,y]$ of height $2$, generated by $3$ elements, the fiber cone $F(I)$ of $I$ is a hypersurface ring, and that $F(I)$ has positive depth for interesting classes of height $2$ monomial ideals $I\subset K[x,y]$, which are generated by $4$ elements. For these classes of ideals we also show that $F(I)$ is Co… ▽ More We consider the fiber cone of monomial ideals. It is shown that for monomial ideals $I\subset K[x,y]$ of height $2$, generated by $3$ elements, the fiber cone $F(I)$ of $I$ is a hypersurface ring, and that $F(I)$ has positive depth for interesting classes of height $2$ monomial ideals $I\subset K[x,y]$, which are generated by $4$ elements. For these classes of ideals we also show that $F(I)$ is Cohen--Macaulay if and only if the defining ideal $J$ of $F(I)$ is generated by at most 3 elements. In all the cases a minimal set of generators of $J$ is determined. △ Less

Submitted 9 April, 2019; originally announced April 2019.

MSC Class: Primary 13C15; Secondary 05E40; 13A02; 13F20; 13H10

Measuring the non-Gorenstein locus of Hibi rings and normal affine semigroup rings

Authors: Jürgen Herzog, Fatemeh Mohammadi, Janet Page

Abstract: The trace of the canonical module of a Cohen-Macaulay ring describes its non-Gorenstein locus. We study the trace of the canonical module of a Segre product of algebras, and we apply our results to compute the non-Gorenstein locus of toric rings. We provide several sufficient and necessary conditions for Hibi rings and normal semigroup rings to be Gorenstein on the punctured spectrum. The trace of the canonical module of a Cohen-Macaulay ring describes its non-Gorenstein locus. We study the trace of the canonical module of a Segre product of algebras, and we apply our results to compute the non-Gorenstein locus of toric rings. We provide several sufficient and necessary conditions for Hibi rings and normal semigroup rings to be Gorenstein on the punctured spectrum. △ Less

Submitted 14 March, 2019; originally announced March 2019.

Journal ref: Journal of Algebra 540 (2019), 78-99

An upper bound for the regularity of powers of edge ideals

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: For a finite simple graph $G$ we give an upper bound for the regularity of the powers of the edge ideal $I(G)$. For a finite simple graph $G$ we give an upper bound for the regularity of the powers of the edge ideal $I(G)$. △ Less

Submitted 15 October, 2018; originally announced October 2018.