Commutative Algebra

New submissions

• New submissions

New submissions for Thu, 13 Jan 22

[1]  arXiv:2201.04164 [pdf, ps, other]

Title: The Principal Component of the Jets of a Graph

Authors: Nicholas Iammarino

Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Combinatorics (math.CO)

We define the s-order principal component of the jets of a graph and give a description of the primary decomposition of its edge ideal in terms of the minimal vertex covers of the base graph. As an application, we show the s-order principal component of the jets of a cochordal graph is cochordal, and connect this to Froberg's theorem on the linear resolution of edge ideals of cochordal graphs. An appendix is provided describing some computations of jets in the computer algebra system Macaulay2.

[2]  arXiv:2201.04220 [pdf, ps, other]

Title: Combinatorial aspects of Gröbner degenerations of toric ideals

Authors: Hernán de Alba Casillas, Daniel Duarte, Raúl Vargas Antuna

Subjects: Commutative Algebra (math.AC); Combinatorics (math.CO)

We give an explicit set of generators for the semigroup of the Gr\"obner degeneration of a toric ideal. We then study several combinatorial aspects of such semigroup: approximation of semigroups, non-preservation of saturation, Betti elements, uniqueness of presentations, and M\"obius functions.

[3]  arXiv:2201.04251 [pdf, ps, other]

Title: A criterion for cofiniteness of modules

Authors: Mohammad Khazaei, Reza Sazeedeh

Subjects: Commutative Algebra (math.AC)

Let $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak a)$ of modules and we assume that $H_{\frak a}^s(M)\in\cS_{n}(\frak a)$ for all $s\leq m$. We show that $H_{\frak a}^s(M)$ is $\frak a$-cofinite for all $s\leq m$ if either $n=1$ or $n\geq 2$ and $\Ext_A^{i}(A/\frak a,H_{\frak a}^{t+s-i}(M))$ is finitely generated for all $1\leq t\leq n-1$, $i\leq t-1$ and $s\leq m$. If $A$ is a ring of dimension $d$ and $M\in\cS_n(\frak a)$ for any ideal $\frak a$ of dimension $\leq d-1$, then we prove that $M\in\cS_n(\frak a)$ for any ideal $\frak a$ of $A$.

[4]  arXiv:2201.04595 [pdf, ps, other]

Title: Shifting operations and completely $t$-spread lexsegment ideals

Authors: Antonino Ficarra, Marilena Crupi

Subjects: Commutative Algebra (math.AC)

In this paper we introduce the concepts of arbitrary $t$-spread lexsegments and of arbitrary $t$-spread lexsegment ideals with $t$ a positive integer. These concepts are a natural generalization of arbitrary lexsegments and arbitrary lexsegment ideals. An ideal generated by an arbitrary $t$-spread lexsegment is called completely $t$-spread lexsegment if it is equal to the intersection of an initial $t$-spread lexsegment ideal and of a final $t$-spread lexsegment ideal. We study the class of arbitrary $t$-spread lexsegment ideals. In particular, we characterize all completely $t$-spread lexsegment ideals. Moreover, we classify all completely $t$-spread lexsegment ideals with a linear resolution.

• New submissions