We gratefully acknowledge support from
the Simons Foundation and member institutions.

Commutative Algebra

New submissions

[ total of 4 entries: 1-4 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Thu, 13 Jan 22

[1]  arXiv:2201.04164 [pdf, ps, other]
Title: The Principal Component of the Jets of a Graph
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
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
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
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.

[ total of 4 entries: 1-4 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2201, contact, help  (Access key information)