Let R=k[x_1,...,x_n] be a polynomial ring over a field k. Let J={j_1,...,j_t} be a subset of [n]={1,...,n}, and let m_J denote the ideal (x_{j_1},...,x_{j_t}) of R. Given subsets J_1,...,J_s of [n] and positive integers a_1,...,a_s, we study ideals of the form I=m_{J_1}^{a_1} \cap ... \cap m_{J_s}^{a_s}. These ideals arise naturally, for example, in the study of fat points, tetrahedral curves, and Alexander duality of squarefree monomial ideals. Our main focus is determining when ideals of this form are componentwise linear. Using polymatroidality, we prove that I is always componentwise linear when s <= 3 or when J_i \cup J_j = [n] for all i \neq j. When s >= 4, we give examples to show that I may or may not be componentwise linear. We apply these results to ideals of small sets of general fat points in multiprojective space, and we extend work of Fatabbi, Lorenzini, Valla, and the first author by computing the graded Betti numbers in the s=2 case. Since componentwise linear ideals satisfy the Multiplicity Conjecture of Herzog, Huneke, and Srinivasan when char(k)=0, our work also yields new cases in which this conjecture holds.
When a monomial ideal has linear quotients with respect to an admissible order of increasing support-degree, we provide two proofs of different flavors to show that it is componentwise support-linear. We also introduce the variable decomposable monomial ideals. In squarefree case, these ideals correspond to the vertex decomposable simplicial complexes. We study the relationships of the variable decomposable ideals with weakly polymatroidal ideals, weakly stable ideals and ideals with linear quotients. We also investigate the componentwise properties of all these ideals.
A monomial ideal $I$ admits a Betti splitting $I=J+K$ if the Betti numbers of $I$ can be determined in terms of the Betti numbers of the ideals $J,K$ and $J \cap K$. Given a monomial ideal $I$, we prove that $I=J+K$ is a Betti splitting of $I$, provided $J$ and $K$ are componentwise linear, generalizing a result of Francisco, Hà and Van Tuyl. If $I$ has a linear resolution, the converse also holds. We apply this result recursively to the Alexander dual of vertex-decomposable, shellable and constructible simplicial complexes and to determine the graded Betti numbers of the defining ideal of thr…
We characterize componentwise linear monomial ideals with minimal Taylor resolution and consider the lower bound for the Betti numbers of componentwise linear ideals.
Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial ideal $I$ contains no variable and some power of $I$ is componentwise linear, then $I$ satisfies gcd condition. For a square-free monomial ideal $I$ which contains no variable, we show that $S/I$ is a Golod ring provided that for some integer $s\geq 1$, the ideal $I^s$ has linear quotient with respect to a monomial order. We also provide a lower bound for some…
If $I$ is a monomial ideal with linear quotients, then it has componentwise linear quotients. However, the converse of this statement is an open question. In this paper, we provide two classes of ideals for which the converse of this statement holds. First class is the componentwise polymatroidal ideals in $K[x,y]$ and the second one is the componentwise polymatroidal ideals with strong exchange property.
In this paper we consider monomial localizations of monomial ideals and conjecture that a monomial ideal is polymatroidal if and only if all its monomial localizations have a linear resolution. The conjecture is proved for squarefree monomial ideals where it is equivalent to a well-known characterization of matroids. We prove our conjecture in many other special cases. We also introduce the concept of componentwise polymatroidal ideals and extend several of the results, known for polymatroidal ideals, to this new class of ideals.
In 1999 Herzog and Hibi introduced componentwise linear ideals. A homogeneous ideal $I$ is componentwise linear if for all non-negative integers $d$, the ideal generated by the homogeneous elements of degree $d$ in $I$ has a linear resolution. For square-free monomial ideals, componentwise linearity is related via Alexander duality to the property of being sequentially Cohen-Macaulay for the corresponding simplicial complexes. In general, the property of being componentwise linear is not preserved by taking powers. In 2011, Herzog, Hibi, and Ohsugi conjectured that if $I$ is the cover ideal of…
We introduce the concept of $t$-spread monomials and $t$-spread strongly stable ideals. These concepts are a natural generalization of strongly stable and squarefree strongly stable ideals. For the study of this class of ideals we use the $t$-fold stretching operator. It is shown that $t$-spread strongly stable ideals are componentwise linear. Their height, their graded Betti numbers and their generic initial ideal are determined. We also consider the toric rings whose generators come from $t$-spread principal Borel ideals.
In two dimensional regular local rings integrally closed ideals have a unique factorization property and have a Cohen-Macaulay associated graded ring. In higher dimension these properties do not hold for general integrally closed ideals and the goal of the paper is to identify a subclass of integrally closed ideals for which they do. We restrict our attention to 0-dimensional homogeneous ideals in polynomial rings $R$ of arbitrary dimension and identify a class of integrally closed ideals, the Goto-class $\G^*$, that is closed under product and that has a suitable unique factorization property…
We show that the mixed volumes of arbitrary convex bodies are equal to mixed multiplicities of graded families of monomial ideals, and to normalized limits of mixed multiplicities of monomial ideals. This result evinces the close relation between the theories of mixed volumes from convex geometry and mixed multiplicities from commutative algebra.
In this paper we extend one direction of Fröberg's theorem on a combinatorial classification of quadratic monomial ideals with linear resolutions. We do this by generalizing the notion of a chordal graph to higher dimensions with the introduction of d-chorded and orientably-d-cycle-complete simplicial complexes. We show that a certain class of simplicial complexes, the d-dimensional trees, correspond to ideals having linear resolutions over fields of characteristic 2 and also give a necessary combinatorial condition for a monomial ideal to be componentwise linear over all fields.
Let $I$ be a homogeneous ideal in a polynomial ring over a field. Let $I^{(n)}$ be the $n$-th symbolic power of $I$. Motivated by results about ordinary powers of $I$, we study the asymptotic behavior of the regularity function $\text{reg}~ (I^{(n)})$ and the maximal generating degree function $ω(I^{(n)})$, when $I$ is a monomial ideal. It is known that both functions are eventually quasi-linear. We show that, in addition, the sequences $\{\text{reg}~ I^{(n)}/n\}_n$ and $\{ω(I^{(n)})/n\}_n$ converge to the same limit, which can be described combinatorially. We construct an example of an equidi…
We study the dependence of graded Betti numbers of monomial ideals on the characteristic of the base field. The examples we describe include bipartite ideals, Stanley--Reisner ideals of vertex-decomposable complexes and ideals with componentwise linear resolutions. We give a description of bipartite graphs and, using discrete Morse theory, provide a way of looking at the homology of arbitrary simplicial complexes through bipartite ideals. We also prove that the Betti table of a monomial ideal over the field of rational numbers can be obtained from the Betti table over any field by a sequence o…
In this article, by using the technique of gluing semigroups, we give infinitely many families of 1-dimensional local rings with non-decreasing Hilbert functions. More significantly, these are local rings whose associated graded rings are not necessarily Cohen-Macaulay. In this sense, we give an effective technique to construct large families of 1-dimensional Gorenstein local rings associated to monomial curves, which support Rossi's conjecture saying that every Gorenstein local ring has non-decreasing Hilbert function.
We study arithmetic properties of tangent cones associated to affine monomial curves, using the concept of gluing. In particular we characterize the Cohen-Macaulay and Gorenstein properties of tangent cones of some families of monomial curves obtained by gluing. Moreover, we provide new families of monomial curves with non--decreasing Hilbert functions.
In this paper we discuss the problem of characterizing the Cohen-Macaulay property of certain families of monomial ideals with fixed radical. More precisely, we consider generically complete intersection monomial ideals whose radical corresponds to special classes of simplicial complexes.
Continuing a well established tradition of associating convex bodies to monomial ideals, we initiate a program to construct asymptotic Newton polyhedra from decompositions of monomial ideals. This is achieved by forming a graded family of ideals based on a given decomposition. We term these graded families powers since they generalize the notions of ordinary and symbolic powers. Asymptotic invariants for these graded families are expressed as solutions to linear optimization problems on the respective convex bodies. This allows to establish a lower bound on the Waldschmidt constant of a monomi…
We study the weak Lefschetz property and the Hilbert function of level Artinian monomial almost complete intersections in three variables. Several such families are shown to have the weak Lefschetz property if the characteristic of the base field is zero or greater than the maximal degree of any minimal generator of the ideal. Two of the families have an interesting relation to tilings of hexagons by lozenges. This lends further evidence to a conjecture by Migliore, Miro-Roig, and the second author. Finally, using our results about the weak Lefschetz property, we show that the Hilbert function…
Let $S=\mathbb{K}[x_1,\ldots,x_n]$ the polynomial ring over a field $\mathbb{K}$. In this paper for some families of monomial ideals $I \subset S$ we study the minimal number of generators of $I^k$. We use this results to find some other Betti numbers of these families of ideals for special choices of $n$, the number of variables.
When do syzygies depend on the characteristic of the field? Even for well-studied families of examples, very little is known. For a family of random monomial ideals, namely the Stanley--Reisner ideals of random flag complexes, we prove that the Betti numbers asymptotically almost always depend on the characteristic. Using this result, we also develop a heuristic for characteristic dependence of asymptotic syzygies of algebraic varieties.
We study the irreducibility of resonance varieties of graded rings over an exterior algebra E with particular attention to Orlik-Solomon algebras. We prove that for a stable monomial ideal in E the first resonance variety is irreducible. If J is an Orlik- Solomon ideal of an essential central hyperplane arrangement, then we show that its first resonance variety is irreducible if and only if the subideal of J generated by all degree 2 elements has a 2-linear resolution. As an application we characterize those hyperplane arrangements of rank less than or equal to 3 where J is componentwise linea…
The Non-Pure Dual Exchange Property in Low Dimensions
Institute for Advanced Studies in Basic Sciences (IASBS)（基础科学高等研究院）；Lahore University of Management Sciences（拉合尔管理科学大学）；Osaka Institute of Technology（大阪工业大学）
The support poset of a monomial ideal $I\subseteq\mathbf{k}[x_1,\dots,x_n]$ encodes the relation between the variables $x_1,\dots,x_n$ and the minimal monomial generators of $I$. It is known that not every poset is realizable as the support poset of some monomial ideal. We describe some posets $P$ for which we can explicitly find at least one monomial ideal $I_P$ such that $P$ is the support poset of $I_P$. Also, for some families of monomial ideals we describe their support posets and study their properties. As an example of application we examine the relation between forests and series-paral…
This article provides a method for constructing invariants and semi-invariants of a binary $N$-ic form over a field $k$ characteristics $0$ or $p > N$. A practical and broadly applicable sufficient condition for ensuring nontriviality of the symmetrization of a graph-monomial is established. This allows construction of infinite families of invariants (especially, skew-invariants) and families of $k$-linearly independent semi-invariants. These constructions are very useful in the quantum physics of Fermions. Additionally, they permit us to establish a new polynomial-type lower bound on the coef…
We provide an algorithm that computes a set of generators for any complete ideal in a smooth complex surface. More interestingly, these generators admit a presentation as monomials in a set of maximal contact elements associated to the minimal log-resolution of the ideal. Furthermore, the monomial expression given by our method is an equisingularity invariant of the ideal. As an outcome, we provide a geometric method to compute the integral closure of a planar ideal and we apply our algorithm to some families of complete ideals.
The question we address in this paper is: which monomial ideals have minimal cellular resolutions, that is, minimal resolutions obtained from homogenizing the chain maps of CW-complexes? Velasco gave families of examples of monomial ideals that do not have minimal cellular resolutions, but those examples have large minimal generating sets. In this paper, we show that if a monomial ideal has at most four generators, then the ideal and its (monomial) Artinian reductions have minimal cellular resolutions. When the ideal is generated by two monomials, we can give a precise description of the CW-co…
Let $S=\mathbb{K}[x_1,\ldots, x_n]$ be the polynomial ring over a field $\mathbb{K}$ and $\mathfrak{m}= (x_1, \ldots, x_n)$ be the irredundant maximal ideal of $S$. For an ideal $I \subset S$, let $\mathrm{sat}(I)$ be the minimum number $k$ for which $I \colon \mathfrak{m}^k = I \colon \mathfrak{m}^{k+1}$. In this paper, we compute the saturation number of irreducible monomial ideals and their powers. We apply this result to find the saturation number of the ordinary powers and symbolic powers of some families of monomial ideals in terms of the saturation number of irreducible components appea…
We study the projective closures of three important families of affine monomial curves in dimension $4$, namely the Backelin curve, the Bresinsky curve and the Arslan curve, in order to explore possible connections between syzygies and the arithmetic Cohen-Macaulay property.
Given a squarefree monomial ideal $I \subseteq R =k[x_1,\ldots,x_n]$, we show that $\widehatα(I)$, the Waldschmidt constant of $I$, can be expressed as the optimal solution to a linear program constructed from the primary decomposition of $I$. By applying results from fractional graph theory, we can then express $\widehatα(I)$ in terms of the fractional chromatic number of a hypergraph also constructed from the primary decomposition of $I$. Moreover, expressing $\widehatα(I)$ as the solution to a linear program enables us to prove a Chudnovsky-like lower bound on $\widehatα(I)$, thus verifying…
In this work a combinatorial approach towards the weak Lefschetz property is developed that relates this property to enumerations of signed perfect matchings as well as to enumerations of signed families of non-intersecting lattice paths in certain triangular regions. This connection is used to study Artinian quotients by monomial ideals of a three-dimensional polynomial ring. Extending a main result in the recent memoir [Boij, Migliore, Miró-Roig, Nagel, Zanello], we completely classify the quotients of type two that have the weak Lefschetz property in characteristic zero. We also derive resu…
Let F be a field and let G be a finite graph with a total ordering on its edge set. Richard Stanley noted that the Stanley-Reisner ring F(G) of the broken circuit complex of G is Cohen-Macaulay. Jason Brown gave an explicit description of a homogeneous system of parameters for F(G) in terms of fundamental cocircuits in G. So F(G) modulo this hsop is a finite dimensional vector space. We conjecture an explicit monomial basis for this vector space in terms of the circuits of G and prove that the conjecture is true for two infinite families of graphs. We also explore an application of these ideas…
We give conditions for determining the extremal behavior for the (graded) Betti numbers of squarefree monomial ideals. For the case of non-unique minima, we give several conditions which we use to produce infinite families, exponentially growing with dimension, of Hilbert functions which have no smallest (graded) Betti numbers among squarefree monomial ideals and all ideals. For the case of unique minima, we give two families of Hilbert functions, one with exponential and one with linear growth as dimension grows, that have unique minimal Betti numbers among squarefree monomial ideals.
We continue the study of intersection algebras $\mathcal B = \mathcal B_R(I, J)$ of two ideals $I, J$ in a commutative Noetherian ring $R$. In particular, we exploit the semigroup ring and toric structures in order to calculate various invariants of the intersection algebra when $R$ is a polynomial ring over a field and $I,J$ are principal monomial ideals. Specifically, we calculate the $F$-signature, divisor class group, and Hilbert-Samuel and Hilbert-Kunz multiplicities, sometimes restricting to certain cases in order to obtain explicit formulæ. This provides a new class of rings where formu…
Starting from \cite{Ayy2} we compute the Groebner basis for the defining ideal, P, of the monomial curves that correspond to arithmetic sequences, and then give an elegant description of the generators of powers of the initial ideal of P, inP. The first result of this paper introduces a procedure for generating infinite families of Ratliff-Rush ideals, in polynomial rings with multivariables, from a Ratliff-Rush ideal in polynomial rings with two variables. The second result is to prove that all powers of inP are Ratliff-Rush. The proof is through applying the first result of this paper combin…
We present three families of minimal border rank tensors: they come from highest weight vectors, smoothable algebras, or monomial algebras. We analyse them using Strassen's laser method and obtain an upper bound $2.431$ on $ω$. We also explain how in certain monomial cases using the laser method directly is less profitable than first degenerating. Our results form possible paths in the search for valuable tensors for the laser method away from Coppersmith-Winograd tensors.
M. Morales introduced a family of binomial ideals that are binomial extensions of square free monomial ideals. Let $I\subset \si$ be a square free monomial ideal and $J\subset\sis$ a sum of scroll ideals with some extra conditions, we define the binomial extension of $I$ as $\B=I+J\subset \sis$. We set $p_2(\B)$ the minimal $i\in\N$ such that there exists $j>2$ such that $β_{i,i+j}(\B)\neq 0$. In the case where J=0, Fröberg characterized combinatorally the case $p_2(I)=\infty$; later Eisenbud et al. solved the case $p_2(I)<\infty$. We obtain a similar result as Fröberg for the binomial extensi…
We give explicit criteria that imply the resurgence of a self-radical ideal in a regular ring is strictly smaller than its codimension, which in turn implies that the stable version of Harbourne's conjecture holds for such ideals. This criterion is used to give several explicit families of such ideals, including the defining ideals of space monomial curves. Other results generalize known theorems concerning when the third symbolic power is in the square of an ideal, and a strong resurgence bound for some classes of space monomial curves.
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 …
Let $k$ be an arbitrary field, the purpose of this work is to provide families of positive integers $\mathcal{A} = \{d_1,\ldots,d_n\}$ such that either the toric ideal $I_{\mathcal A}$ of the affine monomial curve $\mathcal C = \{(t^{d_1},\ldots,\,t^{d_n}) \ | \ t \in k\} \subset \mathbb{A}_k^n$ or the toric ideal $I_{\mathcal A^{\star}}$ of its projective closure ${\mathcal C^{\star}} \subset \mathbb{P}_k^n$ is a complete intersection. More precisely, we characterize the complete intersection property for $I_{\mathcal A}$ and for $I_{\mathcal A^{\star}}$ when: (a) $\mathcal{A}$ is a generaliz…
