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$.     

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.     

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.     

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 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.     

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$.     

Almost slender rings and compact rings

Classical results concerning slenderness for commutative integral domains are generalized to commutative rings with zero divisors. This is done by extending the methods from the domain case and bringing them in connection with results on the linear topologies associated to non-discrete Hausdorff filtrations. In many cases a weakened notion “almost slenderness” of slenderness is appropriate for rings with zero divisors. Special results for countable rings are extended to rings said to be of “bounded type” (including countable rings, ‘small’ rings, and, for instance, rings that are countably generated as algebras over an Artinian ring).More precisely, for a ring R of bounded type it is proved that R is slender if R is reduced and has no simple ideals, or if R is Noetherian and has no simple ideals; moreover, R is almost slender if R is not perfect (in the sense of H. Bass). We use our methods to study various special classes of rings, for instance von Neumann regular rings and valuation rings. Among other results we show that the following two rings are slender: the ring of Puiseux series over a field and the von Neumann regular ring $k^{\mathbb{N}}/k^{(\mathbb{N})}$ over a von Neumann regular ring k.For a Noetherian ring R we prove that R is a finite product of local complete rings iff R satisfies one of several (equivalent) conditions of algebraic compactness. A 1-dimensional Noetherian ring is outside this ‘compact’ class precisely when it is almost slender. For the rings of classical algebraic geometry we prove that a localization of an algebra finitely generated over a field is either Artinian or almost slender. Finally, we show that a Noetherian ring R is a finite product of local complete rings with finite residue fields exactly when there exists a map of R-algebras $R^{\mathbb{N}}\to R$ vanishing on $R^{(\mathbb{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 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.     

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.     

The Golod property for powers of ideals and Koszul ideals

Let S be a regular local ring or a polynomial ring over a field and I be an ideal of S. Motivated by a recent result of Herzog and Huneke, we study the natural question of whether $I^m$ is a Golod ideal for all $m\ge 2$. We observe that the Golod property of an ideal can be detected through the vanishing of certain maps induced in homology. This observation leads us to generalize some known results from the graded case to local rings and obtain new classes of Golod ideals.     

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].     

Representations of elementary abelian p-groups and finite subgroups of fields

Suppose $\mathbb{F}$ is a field of prime characteristic p and E is a finite subgroup of the additive group $(\mathbb{F},+)$. Then E is an elementary abelian p-group. We consider two such subgroups, say E and $E^{\prime }$, to be equivalent if there is an $\alpha \in {\mathbb{F}}^{\times }:=\mathbb{F}?\{0\}$ such that $E=\alpha E^{\prime }$. In this paper we show that rational functions can be used to distinguish equivalence classes of subgroups and, for subgroups of prime rank or rank less than twelve, we give explicit finite sets of separating invariants.     

Gaps in the number of generators of monomial Togliatti systems

Let $I_{d,n}?k[x_0,?,x_n]$ be a minimal monomial Togliatti system of forms of degree d. In [4], Mezzetti and Miró-Roig proved that the minimal number of generators $\mu (I_{d,n})$ of $I_{d,n}$ lies in the interval $[2n+1,\left(\begin{array}{c}n+d?1\\ n?1\end{array}\right)]$. In this paper, we prove that for $n\ge 4$ and $d\ge 3$, the integer values in $[2n+3,3n?1]$ cannot be realized as the number of minimal generators of a minimal monomial Togliatti system. We classify minimal monomial Togliatti systems $I_{d,n}?k[x_0,?,x_n]$ of forms of degree d with $\mu (I_{d,n})=2n+2$ or 3n (i.e. with the minimal number of generators reaching the border of the non-existence interval). Finally, we prove that for $n=4$, $d\ge 3$ and $\mu \in [9,\left(\begin{array}{c}d+3\\ 3\end{array}\right)]?\{11\}$ there exists a minimal monomial Togliatti system $I_{d,n}?k[x_0,?,x_n]$ of forms of degree d with $\mu (I_{n,d})=\mu$.