No Arabic abstract
Let $S_n$ be a polynomial ring with $n$ variables over a field and ${I_n}_{n geq 1}$ a chain of ideals such that each $I_n$ is a monomial ideal of $S_n$ fixed by permutations of the variables. In this paper, we present a way to determine all nonzero positions of Betti tables of $I_n$ for all large intergers $n$ from the $mathbb Z^m$-graded Betti table of $I_m$ for some integer $m$. Our main result shows that the projective dimension and the regularity of $I_n$ eventually become linear functions on $n$, confirming a special case of conjectures posed by Le, Nagel, Nguyen and Romer.
Let $K$ be a field and $S = K[x_1,dots,x_n]$ be a polynomial ring over $K$. We discuss the behaviour of the extremal Betti numbers of the class of squarefree strongly stable ideals. More precisely, we give a numerical characterization of the possible extremal Betti numbers (values as well as positions) of such a class of squarefree monomial ideals.
Let $R = mathbb{K}[x_1, ldots, x_n]$ and $I subset R$ be a homogeneous ideal. In this article, we first obtain certain sufficient conditions for the subadditivity of $R/I$. As a consequence, we prove that if $I$ is generated by homogeneous complete intersection, then subadditivity holds for $R/I$. We then study a conjecture of Avramov, Conca and Iyengar on subadditivity, when $I$ is a monomial ideal with $R/I$ Koszul. We identify several classes of edge ideals of graphs $G$ such that the subadditivity holds for $R/I(G)$. We then study the strand connectivity of edge ideals and obtain several classes of graphs whose edge ideals are strand connected. Finally, we compute upper bounds for multigraded Betti numbers of several classes of edge ideals.
We prove a characterization of the j-multiplicity of a monomial ideal as the normalized volume of a polytopal complex. Our result is an extension of Teissiers volume-theoretic interpretation of the Hilbert-Samuel multiplicity for m-primary monomial ideals. We also give a description of the epsilon-multiplicity of a monomial ideal in terms of the volume of a region.
Let $A = K[X_1,ldots, X_d]$ and let $I$, $J$ be monomial ideals in $A$. Let $I_n(J) = (I^n colon J^infty)$ be the $n^{th}$ symbolic power of $I$ wrt $J$. It is easy to see that the function $f^I_J(n) = e_0(I_n(J)/I^n)$ is of quasi-polynomial type, say of period $g$ and degree $c$. For $n gg 0$ say [ f^I_J(n) = a_c(n)n^c + a_{c-1}(n)n^{c-1} + text{lower terms}, ] where for $i = 0, ldots, c$, $a_i colon mathbb{N} rt mathbb{Z}$ are periodic functions of period $g$ and $a_c eq 0$. In an earlier paper we (together with Herzog and Verma) proved that $dim I_n(J)/I^n$ is constant for $n gg 0$ and $a_c(-)$ is a constant. In this paper we prove that if $I$ is generated by some elements of the same degree and height $I geq 2$ then $a_{c-1}(-)$ is also a constant.
An explicit combinatorial minimal free resolution of an arbitrary monomial ideal $I$ in a polynomial ring in $n$ variables over a field of characteristic $0$ is defined canonically, without any choices, using higher-dimensional generalizations of combined spanning trees for cycles and cocycles (hedges) in the upper Koszul simplicial complexes of $I$ at lattice points in $mathbb{Z}^n$. The differentials in these sylvan resolutions are expressed as matrices whose entries are sums over lattice paths of weights determined combinatorially by sequences of hedges (hedgerows) along each lattice path. This combinatorics enters via an explicit matroidal expression for the Moore-Penrose pseudoinverses of the differentials in any CW complex as weighted averages of splittings defined by hedges. This Hedge Formula also yields a projection formula from CW chains to boundaries. The translation from Moore-Penrose combinatorics to free resolutions relies on Wall complexes, which construct minimal free resolutions of graded ideals from vertical splittings of Koszul bicomplexes. The algebra of Wall complexes applied to individual hedgerows yields explicit but noncanonical combinatorial minimal free resolutions of arbitrary monomial ideals in any characteristic.