Downloads & Free Reading Options - Results

Let $S = k[x_1, \dotsc, x_n]$ be a polynomial ring over a field $k$ and let $M$ be a graded $S$-module with minimal free resolution $\mathbb{F}_\bullet$. Its linear part $lin(\mathbb{F}_\bullet)$ is obtained by deleting all non-linear entries from the differential of $\mathbb{F}_\bullet$. Our first result is an elementary description of $lin(\mathbb{F}_\bullet)$ in the case that $M$ is the Stanley-Reisner ring of a simplicial complex $\Delta$. Indeed, the differential of $lin(\mathbb{F}_\bullet)$ is simply a compilation of restriction maps in the simplicial cohomology of induced subcomplexes of $\Delta$. Our second result concerns the linearity defect of $M$, which is the largest $i$ such that $H_i(lin(\mathbb{F}_\bullet)) \neq 0$. We show that the linearity defect of $M$ is also the largest $i$, such that there exists a $g \in \mathbb{F}_{i}$ with $g\notin\mathfrak{m}\mathbb{F}_{i}$ and $\mathrm{d} g\in\mathfrak{m}^2\mathbb{F}_{i-1}$. Combining these two results, we obtain a description of the linearity defect of (the Stanley-Reisner ideal of) a simplicial complex, as well as a characterization of its componentwise linearity. Along the way, we also show that if a monomial ideal has at least one generator of degree $2$, then the linear strand of its resolution can be written using only $\pm 1$ coefficients.

We survey some recent results on the minimal graded free resolution of a square-free monomial ideal. The theme uniting these results is the point-of-view that the generators of a monomial ideal correspond to the maximal faces (the facets) of a simplicial complex \Delta.

We study when Taylor resolutions of monomial ideals are minimal. We consider monomial ideals with linear quotients. In particular, we determine precisely the stable ideals and the monomial ideals with linear resolutions having the miminal Taylor resolutions.

We introduce the class of lattice-linear monomial ideals and use the LCM-lattice to give an explicit construction for their minimal free resolution. The class of lattice-linear ideals includes (among others) the class of monomial ideals with linear free resolution and the class of Scarf monomial ideals. Our main tool is a new construction by Tchernev that produces from a map of posets $\eta:P\lra\mbb{N}^n$ a sequence of multigraded modules and maps.

There are many connections between the invariants of the different powers of an ideal. We investigate how to construct minimal resolutions for all powers at once using methods from algebraic and polyhedral topology with a focus on ideals arising from combinatorics. In one construction, we obtain cellular resolutions for all powers of edge ideals of bipartite graphs on n vertices, supported by (n-2)-dimensional complexes. Our main result is an explicit minimal cellular resolution for all powers of edge ideals of paths. These cell complexes are constructed by first subdividing polyhedral complexes and then modifying them using discrete Morse theory.

We construct a canonical free resolution for arbitrary monomial modules and lattice ideals. This includes monomial ideals and defining ideals of toric varieties, and it generalizes our joint results with Irena Peeva for generic ideals.

We explore resolutions of monomial ideals supported by simplicial trees. We argue that since simplicial trees are acyclic, the criterion of Bayer, Peeva and Sturmfels for checking if a simplicial complex supports a free resolution of a monomial ideal reduces to checking that certain induced subcomplexes are connected. We then use results of Peeva and Velasco to show that every simplicial tree appears as the Scarf complex of a monomial ideal, and hence supports a minimal resolution. We also provide a way to construct smaller Scarf ideals than those constructed by Peeva and Velasco.

Let R=S/I be a monomial ring whose minimal free resolution F is rooted. We describe an A-infinity algebra structure on F. Using this structure, we show that R is Golod if and only if the product on Tor^S(R,k) vanishes. Furthermore, we give a necessary and sufficient combinatorial condition for R to be Golod.

We show that a monomial ideal $I$ has projective dimension $\leq$ 1 if and only if the minimal free resolution of $S/I$ is supported on a graph that is a tree. This is done by constructing specific graphs which support the resolution of the $S/I$. We also provide a new characterization of quasi-trees, which we use to give a new proof to a result by Herzog, Hibi, and Zheng which characterizes monomial ideals of projective dimension 1 in terms of quasi-trees.

Given a free resolution of an ideal $J$ of holomorphic functions, one can construct a vector valued residue current $R$, whose annihilator is precisely $J$. In this paper we compute $R$ in case $J$ is a monomial ideal and the resolution is a cellular resolution in the sense of Bayer and Sturmfels. A description of $R$ is given in terms of the underlying polyhedral cell complex and it is related to irreducible decompositions of $J$.

Let $\mm=(m_0,...,m_n)$ be an arithmetic sequence, i.e., a sequence of integers $m_0

We will explore some properties of minimal graded free resolutions of $R/I$, where $R$ is a trivariate polynomial ring over a field and $I$ is a monomial ideal. Our focus will be to consider a specific form of the resolutions when $I$ is primary to the homogeneous maximal ideal. We will identify certain characteristics of the last matrix of these resolutions, and observe differences in the resolutions for generic ideals in comparison to non-generic ideals. Finally, we learn how to identify whether $I$ is generic by knowing the structure of the last matrix in the minimal free resolution of $R/I$.

Given an arbitrary field k and an arithmetic sequence of positive integers m_0

Call a monomial ideal M "generic" if no variable appears with the same nonzero exponent in two distinct monomial generators. Using a convex polytope first studied by Scarf, we obtain a minimal free resolution of M. Any monomial ideal M can be made generic by deformation of its generating exponents. Thus, the above construction yields a (usually nonminimal) resolution of M for arbitrary monomial ideals, bounding the Betti numbers of M in terms of the Upper Bound Theorem for Convex Polytopes. We show that our resolutions are DG-algebras, and consider realizability questions and irreducible decompositions.

In this paper we primarily study monomial ideals and their minimal free resolutions by studying their associated LCM lattices. In particular, we formally define the notion of coordinatizing a finite atomic lattice P to produce a monomial ideal whose LCM lattice is P, and we give a complete characterization of all such coordinatizations. We prove that all relations in the lattice L(n) of all finite atomic lattices with n ordered atoms can be realized as deformations of exponents of monomial ideals. We also give structural results for L(n). Moreover, we prove that the cellular structure of a minimal free resolution of a monomial ideal M can be extended to minimal resolutions of certain monomial ideals whose LCM lattices are greater than that of M in L(n).

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 rigid monomial ideals, we use the data of the Betti poset to explicitly construct the minimal free resolution. Subsequently, we introduce the notion of rigid deformation, a generalization of Bayer, Peeva, and Sturmfels' generic deformation.

We investigate monomial labellings on cell complexes, giving a minimal cellular resolution of the ideal generated by these monomials, and such that the associated quotient ring is Cohen-Macaulay. We introduce a notion of such a labelling being maximal. There is only a finite number of maximal labellings for each cell complex, and we classify these for trees, partly for subdivisions of polygons, and for some classes of selfdual polytopes.

Using discrete Morse theory, we give an algorithm that prunes the excess of information in the Taylor resolution and constructs a new cellular free resolution for an arbitrary monomial ideal. The pruned resolution is not simplicial in general, but we can slightly modify our algorithm in order to obtain a simplicial resolution. We also show that the Lyubeznik resolution fits into our pruning strategy. We finally use our methods to give a different approach to the theory of splitting of monomial ideals.

In this paper, we study Cstelnuovo-Mumford regularity of square-free monomial ideals generated in degree 3. We define some operations on the clutters associated to such ideals and prove that the regularity is conserved under these operations. We apply the operations to introduce some classes of ideals with linear resolutions and also show that any clutter corresponding to a triangulation of the sphere does not have linear resolution while any proper sub-clutter of it has a linear resolution.

Suppose that $f: Y\to X$ is a proper, dominant, tamely ramified morphism of algebraic surfaces, over a perfect field. We show that it is possible to perform sequences of monoidal transforms $Y'\to Y$ and $X'\to X$ to obtain an induced morphism $Y'\to Y$ which is a monomial morphism.

We introduce the notion of a resolution supported on a poset. When the poset is a CW-poset, i.e. the face poset of a regular CW-complex, we recover the notion of cellular resolution. Work of Velasco has shown that there are monomial ideals whose minimal free resolutions are not cellular, hence cannot be supported on any CW-poset. We show that for any monomial ideal there is instead a homology CW-poset that supports the minimal free resolution of the ideal. In general there is more than one choice for the isomorphism class of such a poset, and it is an open question whether there is a canonical one.

Alexander duality has, in the past, made its way into commutative algebra through Stanley-Reisner rings of simplicial complexes. This has the disadvantage that one is limited to squarefree monomial ideals. The notion of Alexander duality is generalized here to arbitrary monomial ideals. It is shown how this duality is naturally expressed by Bass numbers, in their relations to the Betti numbers of a monomial ideal and its Alexander dual. Relative cohomological constructions on cellular complexes are shown to relate cellular free resolutions of a monomial ideal to free resolutions of its Alexander dual ideal. As an application, a new canonical resolution for monomial ideals is constructed.

Let $I \subset k[x_1, \dotsc, x_n]$ be a squarefree monomial ideal a polynomial ring. In this paper we study multiplications on the minimal free resolution $\mathbb{F}$ of $S/I$. In particular, we characterize the possible vectors of total Betti numbers for such ideals which admit a differential graded algebra (DGA) structure on $\mathbb{F}$. We also show that under these assumptions the maximal shifts of the graded Betti numbers are subadditive. On the other hand, we present an example of a strongly generic monomial ideal which does not admit a DGA structure on its minimal free resolution. In particular, this demonstrates that the Hull resolution and the Lyubeznik resolution do not admit DGA structures in general. Finally, we show that it is enough to modify the last map of $\mathbb{F}$ to ensure that it admits the structure of a DG algebra.

Given a monomial ideal $I$ with minimal free resolution $\mathcal{F}$ supported in characteristic $p>0$ on a CW-complex $X$ with regular $2$-skeleton, we construct a CW-complex $Y$ that also supports~$\mathcal{F}$ and such that the face poset $P(Y)$ also supports $\mathcal{F}$ in the sense of Clark and Tchernev.

A minimal monomial ideal is the combinatorially simplest monomial ideal whose lcm-lattice equals a given finite atomic lattice $\hat{L}$. The minimal ideal inherits many nice properties of any ideal $I$ whose lcm-lattice also equals $\hat{L}$, e.g. Cohen-Macaulayness and the dual property of having a linear resolution. Conversely, any ideal having a linear resolution is shown to be (essentially) minimal.

A minimal monomial ideal is the combinatorially simplest monomial ideal whose lcm-lattice equals a given finite atomic lattice $\hat{L}$. The minimal ideal inherits many nice properties of any ideal $I$ whose lcm-lattice also equals $\hat{L}$, e.g. Cohen-Macaulayness and the dual property of having a linear resolution. Conversely, any ideal having a linear resolution is shown to be (essentially) minimal.