Commutative Algebra

Date: Fri, 21 Jun 2024 | Total: 8

#1 Invariant rings of the special orthogonal group have nonunimodal $h$-vectors [PDF] [Copy] [Kimi]

Authors: Aldo Conca ; Anurag K. Singh ; Matteo Varbaro

For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero, Boutot's theorem implies that the invariant ring has rational singularities; when $K$ has positive characteristic, the invariant ring is $F$-regular, as proven by Hashimoto using good filtrations. We give a new proof of this, viewing the invariant ring for $\operatorname{SO}_t(K)$ as a cyclic cover of the invariant ring for the corresponding orthogonal group; this point of view has a number of useful consequences, for example it readily yields the $a$-invariant and information on the Hilbert series. Indeed, we use this to show that the $h$-vector of the invariant ring for $\operatorname{SO}_t(K)$ need not be unimodal.

Subject: Commutative Algebra

Publish: 2024-06-20 16:03:52 UTC

#2 Minimal Attached Primes of Local Cohomology Modules of Binomial Edge Ideals of Block Graphs [PDF] [Copy] [Kimi]

Author: David Williams

We calculate the minimal attached primes of the local cohomology modules of the binomial edge ideals of block graphs. In particular, we obtain a combinatorial characterisation of which of these modules are non-vanishing. We further conjecture that every attached prime of these modules is minimal, and, more strongly, that the binomial edge ideals of block graphs are sequentially Cohen-Macaulay.

Subject: Commutative Algebra

Publish: 2024-06-20 14:40:46 UTC

#3 (u,v)-absorbing (prime) hyperideals in commutative multiplicative hyperrings [PDF] [Copy] [Kimi]

Author: Mahdi Anbarloei

In this paper, we will introduce the notion of (u,v)-absorbing hyperideals in multiplicative hyperrings and we will show some properties of them. Then we extend this concept to the notion of (u,v)-absorbing prime hyperideals and thhen we will give some results about them.

Subject: Commutative Algebra

Publish: 2024-06-20 12:59:00 UTC

#4 The Structure of Symbolic Powers of Matroids [PDF] [Copy] [Kimi]

Authors: Paolo Mantero ; Vinh Nguyen

We describe the structure of the symbolic powers $I^{(\ell)}$ of the Stanley-Reisner ideals, and cover ideals, $I$, of matroids. We (a) prove a structure theorem describing a minimal generating set for every $I^{(\ell)}$; (b) describe the (non--standard graded) symbolic Rees algebra $\mathcal{R}_s(I)$ of $I$ and show its minimal algebra generators have degree at most ht $I$; (c) provide an explicit, simple formula to compute the largest degree of a minimal algebra generator of $\mathcal{R}_s(I)$; (d) provide algebraic applications, including formulas for the symbolic defects of $I$, the initial degree of $I^{(\ell)}$, and the Waldschmidt constant of $I$; (e) provide a new algorithm allowing fast computations of very large symbolic powers of $I$. One of the by-products is a new characterization of matroids in terms of minimal generators of $I^{(\ell)}$ for some $\ell\geq 2$. In particular, it yields a new, simple characterization of matroids in terms of the minimal generators of $I^{(2)}$. This is the first characterization of matroids in terms of $I^{(2)}$, and it complements a celebrated theorem by Minh-Trung, Varbaro, and Terai-Trung which requires the investigation of homological properties of $I^{(\ell)}$ for some $\ell\geq 3$.

Subject: Commutative Algebra

Publish: 2024-06-19 18:13:26 UTC

#5 On squarefree powers of simplicial trees [PDF] [Copy] [Kimi]

Authors: Elshani Kamberi ; Francesco Navarra ; Ayesha Asloob Qureshi

In this article, we study the squarefree powers of facet ideals associated with simplicial trees. Specifically, we examine the linearity of their minimal free resolution and their regularity. Additionally, we investigate when the first syzygy module of squarefree powers of a simplicial tree is linearly related. Finally, we provide a combinatorial formula for the regularity of the squarefree powers of $t$-path ideals of path graphs.

Subject: Commutative Algebra

Publish: 2024-06-19 16:21:11 UTC

#6 Generalized Hamming weights and symbolic powers of Stanley-Reisner ideals of matroids [PDF] [Copy] [Kimi]

Authors: Michael DiPasquale ; Louiza Fouli ; Arvind Kumar ; Ştefan O. Tohǎneanu

It is well-known that the first generalized Hamming weight of a code, more commonly called \textit{the minimum distance} of the code, corresponds to the initial degree of the Stanley-Reisner ideal of the matroid of the dual code. Our starting point in this paper is a generalization of this fact -- namely, the $r$-th generalized Hamming weight of a code is the smallest degree of a squarefree monomial in the $r$-th symbolic power of the Stanley-Reisner ideal of the matroid of the dual code (in the appropriate range for $r$). It turns out that the squarefree monomials in successive symbolic powers of the Stanley-Reisner ideal of a matroid suffice to describe all symbolic powers of the Stanley-Reisner ideal. This implies that generalized Hamming weights -- which can be defined in a natural way for matroids -- are fundamentally tied to the structure of symbolic powers of Stanley-Reisner ideals of matroids. We illustrate this by studying initial degree statistics of symbolic powers of the Stanley-Reisner ideal of a matroid in terms of generalized Hamming weights and working out many examples that are meaningful from a coding-theoretic perspective. Our results also apply to projective varieties known as matroid configurations introduced by Geramita-Harbourne-Migliore-Nagel.

Subject: Commutative Algebra

Publish: 2024-06-19 16:01:40 UTC

#7 Wilf's question in numerical semigroups $S_3$ revisited and inequalities for higher genera [PDF] [Copy] [Kimi]

Author: Leonid G. Fel

We consider numerical semigroups $S_3 = \langle d_1,d_2,d_3 \rangle$, minimally generated by three positive integers. We revisit the Wilf question in $S_3$ and, making use of identities for degrees of syzygies of such semigroups, give a short proof of existence of an affirmative answer. We find also the lower bound for Frobenius numbers of $S_3$ and upper and lower bounds for higher genera.

Subject: Commutative Algebra

Publish: 2024-06-19 14:15:28 UTC

#8 Sextactic and type-9 points on the Fermat cubic and associated objects [PDF] [Copy] [Kimi]

Authors: Łukasz Merta ; Maciej Zięba

In this note we study line and conic arrangements associated to sextactic and type 9 points on the Fermat cubic $F$ and we provide explicit coordinates for each of the 72 type 9 points on $F$.

Subjects: Algebraic Geometry ; Commutative Algebra

Publish: 2024-06-19 20:06:35 UTC