Embeddings of canonical modules and resolutions of connected sums

For an ideal $I_{m,n}$ generated by all square-free monomials of degree m in a polynomial ring R with n variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this explicit embedding depends on a minimal free R-resolution of an ideal generated by $I_{m,n}$. Using this embedding, we give a resolution of connected sums of several copies of certain Artin $\mathsf{k}$-algebras where $\mathsf{k}$ is a field.     

Applications and homological properties of local rings with decomposable maximal ideals

We construct a local Cohen–Macaulay ring R with a prime ideal $\mathfrak{p}\in \mathrm{Spec}(R)$ such that R satisfies the uniform Auslander condition (UAC), but the localization $R_{\mathfrak{p}}$ does not satisfy Auslander's condition (AC). Given any positive integer n, we also construct a local Cohen–Macaulay ring R with a prime ideal $\mathfrak{p}\in \mathrm{Spec}(R)$ such that R has exactly two non-isomorphic semidualizing modules, but the localization $R_{\mathfrak{p}}$ has $2^n$ non-isomorphic semidualizing modules. Each of these examples is constructed as a fiber product of two local rings over their common residue field. Additionally, we characterize the non-trivial Cohen–Macaulay fiber products of finite Cohen–Macaulay type.     

The structure of DGA resolutions of monomial ideals

Let $I?\mathbb{k}[x_1,\dots ,x_n]$ be a squarefree monomial ideal in a polynomial ring. In this paper we study multiplications on the minimal free resolution $\mathbb{F}$ of $\mathbb{k}[x_1,\dots ,x_n]/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.     

Stabilization of Boij–Söderberg decompositions of ideal powers

Given an ideal I we investigate the decompositions of Betti diagrams of the graded family of ideals ${\{I^k\}}_k$ formed by taking powers of I. We prove conjectures of Engström from [5] and show that there is a stabilization in the Boij–Söderberg decompositions of $I^k$ for $k>>0$ when I is a homogeneous ideal with generators in a single degree. In particular, the number of terms in the decompositions with positive coefficients remains constant for $k>>0$, the pure diagrams appearing in each decomposition have the same shape, and the coefficients of these diagrams are given by polynomials in k. We also show that a similar result holds for decompositions with arbitrary coefficients arising from other chains of pure diagrams.     

Torsion completions are bounded

Given a commutative ring A and a finitely generated ideal I, we prove that $I^{\infty }$-torsion A-modules that are also I-adically complete (or merely derived I-complete) must have bounded $I^{\infty }$-torsion, i.e., they are killed by $I^n$ for some $n\ge 0$.     

Projective generation of ideals in a certain ring

Let R be an affine domain of dimension $n\ge 3$ over a field of characteristic 0 and $D=R[X,Y]/(XY)$. Let $I?D$ be a local complete intersection ideal of height n such that $\mu (I/I^2)=n$. This paper examines under what condition I is surjective image of a projective D-module of rank n.     

Saturation of Jacobian ideals: Some applications to nearly free curves,line arrangements and rational cuspidal plane curves

In this note we describe the minimal resolution of the ideal $I_f$, the saturation of the Jacobian ideal of a nearly free plane curve $C:f=0$. In particular, it follows that this ideal $I_f$ can be generated by at most 4 polynomials. Related general results by Hassanzadeh and Simis on the saturation of codimension 2 ideals are discussed in detail. Some applications to rational cuspidal plane curves and to line arrangements are also given.     

The symbolic defect of an ideal

Let I be a homogeneous ideal of $\mathbb{k}[x_0,\dots ,x_n]$. To compare $I^{(m)}$, the m-th symbolic power of I, with $I^m$, the regular m-th power, we introduce the m-th symbolic defect of I, denoted $\mathrm{sdefect}(I,m)$. Precisely, $\mathrm{sdefect}(I,m)$ is the minimal number of generators of the R-module $I^{(m)}/I^m$, or equivalently, the minimal number of generators one must add to $I^m$ to make $I^{(m)}$. In this paper, we take the first step towards understanding the symbolic defect by considering the case that I is either the defining ideal of a star configuration or the ideal associated to a finite set of points in ${\mathbb{P}}^2$. We are specifically interested in identifying ideals I with $\mathrm{sdefect}(I,2)=1$.     

Powers of ideals associated to (C4,2K2)-free graphs

Let G be a $(C_4,2K_2)$-free graph with edge ideal $I(G)?\mathbb{k}[x_1,\dots ,x_n]$. We show that $I{(G)}^s$ has linear resolution for every $s\ge 2$. Also, we show that every power of the vertex cover ideal of G has linear quotients. As a result, we describe the Castelnuovo–Mumford regularity of powers of $I{(G)}^{\vee }$ in terms of the maximum degree of G.     

The projective dimension of three cubics is at most 5

Let R be a polynomial ring over a field and I an ideal generated by three forms of degree three. Motivated by Stillman's question, Engheta proved that the projective dimension $\mathrm{pd}(R/I)$ of $R/I$ is at most 36, although the example with largest projective dimension he constructed has $\mathrm{pd}(R/I)=5$. Based on computational evidence, it had been conjectured that $\mathrm{pd}(R/I)\le 5$. In the present paper we prove this conjectured sharp bound.     

Powers of sums and their homological invariants

Let R and S be standard graded algebras over a field k, and $I?R$ and $J?S$ homogeneous ideals. Denote by P the sum of the extensions of I and J to $R{?}_{k}S$. We investigate several important homological invariants of powers of P based on the information about I and J, with focus on finding the exact formulas for these invariants. Our investigation exploits certain Tor vanishing property of natural inclusion maps between consecutive powers of I and J. As a consequence, we provide fairly complete information about the depth and regularity of powers of P given that R and S are polynomial rings and either $\mathrm{char}k=0$ or I and J are generated by monomials.     

On the powers of vertex cover ideals

Let $S=\mathbb{K}[x_1,\dots ,x_n]$ be a polynomial ring, where $\mathbb{K}$ is a field, and G be a simple graph on n vertices. Let $J(G)?S$ be the vertex cover ideal of G. Herzog, Hibi and Ohsugi have conjectured that all powers of vertex cover ideals of chordal graph are componentwise linear. Here we establish the conjecture for the special case of trees. We also show that if G is a unicyclic vertex decomposable graph, then symbolic powers of $J(G)$ are componentwise linear.     

A uniform bound of reducibility index of good parameter ideals for certain class of modules

Let $(R,\mathfrak{m})$ be a Noetherian local ring and M a finitely generated R-module. The invariants $\mathrm{p}(M)$ and $\mathrm{sp}(M)$ of M were introduced in [3] and [17] in order to measure the non-Cohen–Macaulayness and the non-sequential-Cohen–Macaulayness of M, respectively. Let $M=D_0?D_1?\dots ?D_k$ be the filtration of M such that $D_i$ is the largest submodule of M of dimension less than $\dim ?D_{i?1}$ for all $i\le k$ and $\mathrm{p}(D_k)\le 1$. In this paper we prove that if $\mathrm{sp}(M)\le 1$, then there exists a constant c such that ${\mathrm{ir}}_M(\mathfrak{q}M)\le c$ for all good parameter ideals $\mathfrak{q}$ of M with respect to this filtration. Here ${\mathrm{ir}}_M(\mathfrak{q}M)$ is the reducibility index of $\mathfrak{q}$ on M. This is an extension of the main results of [19], [20], [24].     

R+ˆ is surprisingly an integral domain

It is shown that if $(R,\mathfrak{m},k)$ is a complete local domain with $\mathrm{char}k=p>0$ and $R^{+}$ is its integral closure in an algebraic closure of the quotient field, then both the $\mathfrak{m}$-adic and p-adic completions of $R^{+}$ are integral domains. More generally, this theorem remains true if the completeness assumption is relaxed to allow R to be an analytically irreducible Henselian local ring. It is also shown that these rings, which are Cohen-Macaulay R-modules (even balanced in the $\mathfrak{m}$-adic case), will have dimension larger than the dimension of R unless $\dim ?R\le 1$.     

On invariant fields of vectors and covectors

Let ${\mathbb{F}}_q$ be the finite field of order q. Let G be one of the three groups $\mathrm{GL}(n,{\mathbb{F}}_q)$, $\mathrm{SL}(n,{\mathbb{F}}_q)$ or $\mathrm{U}(n,{\mathbb{F}}_q)$ and let W be the standard n-dimensional representation of G. For non-negative integers m and d we let $mW\oplus d{W}^{?}$ denote the representation of G given by the direct sum of m vectors and d covectors. We exhibit a minimal set of homogeneous invariant polynomials $\{{?}_1,{?}_2,\dots ,{?}_{(m+d)n}\}?{\mathbb{F}}_q{[mW\oplus d{W}^{?}]}^G$ such that ${\mathbb{F}}_q{(mW\oplus d{W}^{?})}^G={\mathbb{F}}_q({?}_1,{?}_2,\dots ,{?}_{(m+d)n})$ for all cases except when $md=0$ and $G=\mathrm{GL}(n,{\mathbb{F}}_q)$ or $\mathrm{SL}(n,{\mathbb{F}}_q)$.