In the first part of the paper we answer (positively) a question raised by the first author which has to do with some sort of rigity of the tail of resolution of an ideal. Let $I$ be a homogeneous ideal in a polynomial ring over a field of characteristic 0. Denote by $β_i(I)$ the $i$-th Betti number of $I$ and by $Gin(I)$ the revlex generic initial ideal of $I$. In general one has $β_i(I)\leq β_i(Gin(I))$ and we show that if $β_i(I)=β_i(Gin(I))$ for some $i$ then $β_j(I)=β_j(Gin(I))$ for all $j>i$.
In the second part of the paper we answer a question of Eisenbud and Huneke. We prove that if $I$ is $m$-primary and $I\subset m^d$ then $β_i(m^d)\leq β_i(Gin(I))$ for all $i$.
Let $P$ be a finite partially ordered set with unique minimal element $\hat{0}$. We study the Betti poset of $P$, created by deleting elements $q\in P$ for which the open interval $(\hat{0}, q)$ is acyclic. Using basic simplicial topology, we demonstrate an isomorphism in homology between open intervals of the form $(\hat{0},p)\subset P$ and corresponding open intervals in the Betti poset. Our motivating application is that the Betti poset of a monomial ideal's lcm-lattice encodes both its $\mathbb{Z}^{d}$-graded Betti numbers and the structure of its minimal free resolution. In the case of ri…
Let S=K[X_1,...,X_n] be the polynomial ring over a field K. For bounded below Z^n-graded S-modules M and N we show that if Tor^S_p(M,N) is nonzero, then for every i between 0 and p, the dimension of the K-vector space Tor^S_i(M,N) is at least as big as the binomial coefficient (p,i). In particular, we get lower bounds for the total Betti numbers. These results are related to a conjecture of Buchsbaum and Eisenbud.
Motivated by applications to topological data analysis, we give an efficient algorithm for computing a (minimal) presentation of a bigraded $K[x,y]$-module $M$, where $K$ is a field. The algorithm takes as input a short chain complex of free modules $X\xrightarrow{f} Y \xrightarrow{g} Z$ such that $M\cong \ker{g}/\mathrm{im}{f}$. It runs in time $O(|X|^3+|Y|^3+|Z|^3)$ and requires $O(|X|^2+|Y|^2+|Z|^2)$ memory, where $|\cdot |$ denotes the rank. Given the presentation computed by our algorithm, the bigraded Betti numbers of $M$ are readily computed. Our approach is based on a simple matrix red…
We discuss extremal Betti tables of resolutions in three different contexts. We begin over the graded polynomial ring, where extremal Betti tables correspond to pure resolutions. We then contrast this behavior with that of extremal Betti tables over regular local rings and over a bigraded ring.
Let $K$ be a field, $S$ a polynomial ring and $E$ an exterior algebra over $K$, both in a finite set of variables. We study rigidity properties of the graded Betti numbers of graded ideals in $S$ and $E$ when passing to their generic initial ideals. First, we prove that if the graded Betti numbers $β_{ii+k}^S(S/I)=β_{ii+k}^S(S/\Gin(I))$ for some $i>1$ and $k \geq 0$, then $β_{qq+k}^S(S/I)= β_{qq+k}^S(S/\Gin(I))$ for all $q \geq i$, where $I\subset S$ is a graded ideal. Second, we show that if $β_{ii+k}^E(E/I)= β_{ii+k}^E(E/\Gin(I))$ for some $i>1$ and $k \geq 0$, then $β_{qq+k}^E(E/I)= β_{qq+k…
We study inequalities between graded Betti numbers of ideals in a standard graded algebra over a field and their images under embedding maps, defined earlier by us in [Math. Z. 274, (2013), no. 3-4, pp. 809-819; arXiv:1009.4488]. We show that if graded Betti numbers do not decrease when we replace ideals in an algebra by their embedded versions, then the same behaviour is carried over to ring extensions. As a corollary we give alternative inductive proofs of earlier results of Bigatti, Hulett, Pardue, Mermin-Peeva-Stillman and Murai. We extend a hypersurface restriction theorem of Herzog-Popes…
In 2018 Celikbas, Laxmi, Kraśkiewicz, and Weyman exhibited an interesting family of perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two with trivial multiplication on the Tor algebra. All previously known perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two had been found by Brown in 1987. Brown's ideals all have non-trivial multiplication on the Tor algebra. We prove that all of the ideals of Brown are obtained from the ideals of Celikbas, Laxmi, Kraśkiewicz, and Weyman by (non-homogeneous) specialization. We also prove that b…
We consider vector-spread Borel ideals. We show that these ideals have linear quotients and thereby we determine the graded Betti numbers and the bigraded Poincaré series. A characterization of the extremal Betti numbers of such a class of ideals is given. Finally, we classify all Cohen-Macaulay vector-spread Borel ideals.
Let $Q\in \K[x_1,...,x_n] = S$ be a homogeneous polynomial of degree $d$. The freeness of the logarithmic derivation module, $D(Q)$, and of its natural generalizations, has been widely studied. In the free case, $D(Q) \simeq \bigoplus_{i=1}^n S(-d_i)$ where the $d_i$'s are the exponents of the module; and as a direct consequence of the Saito-Ziegler criterion, the formula $d = \sum_i d_i$ holds. In this paper we give a generalization of this formula in the non-free case. Moreover, we show that an equivalent formula is also true in the quasi-homogeneous case, and show to what extent it can be g…
In this paper we investigate the class of rigid monomial ideals. We give a characterization of the minimal free resolutions of certain classes of these ideals. Specifically, we show that the ideals in a particular subclass of rigid monomial ideals are lattice-linear and thus their minimal resolution can be constructed as a poset resolution. We then use this result to give a description of the minimal free resolution of a larger class of rigid monomial ideals by using $\mathcal{L}(n)$, the lattice of all lcm-lattices of monomial ideals with $n$ generators. By fixing a stratum in $\mathcal{L}(n)…
Let $S$ be a polynomial ring over a field and $I\subseteq S$ a homogeneous ideal containing a regular sequence of forms of degrees $d_1, \ldots, d_c$. In this paper we prove the Lex-plus-powers Conjecture when the field has characteristic 0 for all regular sequences such that $d_i \geq \sum_{j=1}^{i-1} (d_j-1)+1$ for each $i$; that is, we show that the Betti table of $I$ is bounded above by the Betti table of the lex-plus-powers ideal of $I$. As an application, when the characteristic is 0, we obtain bounds for the Betti numbers of any homogeneous ideal containing a regular sequence of known d…
Using the concept of $d$-collapsibility from combinatorial topology, we define chordal simplicial complexes and show that their Stanley-Reisner ideals are componentwise linear. Our construction is inspired by and an extension of "chordal clutters'' which was defined by Bigdeli, Yazdan Pour and Zaare-Nahandi in 2017, and characterizes Betti tables of all ideals with linear resolution in a polynomial ring. We show $d$-collapsible and $d$-representable complexes produce componentwise linear ideals for appropriate $d$. Along the way, we prove that there are generators that when added to the ideal,…
Let Z be a finite set of double points in P^1 x P^1 and suppose further that X, the support of Z, is arithmetically Cohen-Macaulay (ACM). We present an algorithm, which depends only upon a combinatorial description of X, for the bigraded Betti numbers of I_Z, the defining ideal of Z. We then relate the total Betti numbers of I_Z to the shifts in the graded resolution, thus answering a special case of a question of T. Roemer.
Numerical invariants of a minimal free resolution of a module $M$ over a regular local ring $(R,\n)$ can be studied by taking advantage of the rich literature on the graded case. The key is to fix suitable $\n$-stable filtrations ${\mathbb M} $ of $M $ and to compare the Betti numbers of $M$ with those of the associated graded module $ gr_{\mathbb M}(M). $ This approach has the advantage that the same module $M$ can be detected by using different filtrations on it. It provides interesting upper bounds for the Betti numbers and we study the modules for which the extremal values are attained. Am…
This paper studies mixed multiplicities of an arbitrary standard bigraded algebra and mixed multiplicities of two ideals I, J in a local ring (A,m), where I is an m-primary ideal and J an arbitrary ideal. The main results are criteria for their positivity which can be used to compute them effectively. We also show that the range of positive mixed multiplicities of a bigraded algebra is rigid if the algebra satisfies the first chain condition and is connected in codimension one and that this range is always rigid for mixed multiplicities of ideals. These results can be used to study the mu-inva…
