Related papers: Big Cohen-Macaulay modules, morphisms of perfect c…
We prove that if a local ring admits a (pd-)test module of finite complete intersection dimension, then it is a complete intersection ring. This answers, positively, a question proposed by Celikbas, Dao and Takahashi. To this aim, we first…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
In this paper we study homological dimensions of finitely generated modules over commutative Noetherian local rings, called reducing homological dimensions. We obtain new characterizations of Gorenstein and complete intersection local rings…
We investigate various homotopy invariant formulations of commutative algebra in the context of rational homotopy theory. The main subject is the complete intersection condition, where we show that a growth condition implies a structure…
We study the ideal of maximal minors in Littlewood varieties, a class of quadratic complete intersections in spaces of matrices. We give a geometric construction for a large class of modules, including all powers of this ideal, and show…
Let R be a commutative noetherian local ring. A finitely generated R-module C is semidualizing if it is self-orthogonal and satisfies the condition Hom_R(C,C) \cong R. We prove that a Cohen-Macaulay ring R with dualizing module D admits a…
In this paper we show that a large class of one-dimensional Cohen-Macaulay local rings $(A,\mathfrak{m})$ has the property that if $M$ is a maximal Cohen-Macaulay $A$-module then the Hilbert function of $M$ ( with respect to $\mathfrak{m}$)…
An ideal I of a local Cohen-Macaulay ring R is called a cohomologically complete intersection if H^i_I(R) = 0 for all i \neq c = height(I). Here H^i_I(R), i \in Z denotes the local cohomology of R with respect to I. For instance, a…
In the present paper we investigate reflexive modules over the endomorphism algebras of reflexive trace ideals in a one-dimensional Cohen-Macaulay local ring. The main theorem generalizes both of the results of S. Goto, N. Matsuoka, and T.…
For any $d\ge 4$, by deformation theory of schemes, we present examples of (complete or excellent) $d$-dimensional mixed characteristic normal local domains admitting no small Cohen-Macaulay algebra, but admitting instances of small…
We define and study the derived categories of the first kind for curved DG and A-infinity algebras complete over a pro-Artinian local ring with the curvature elements divisible by the maximal ideal of the local ring. We develop the Koszul…
In this article a higher order support theory, called the cohomological jump loci, is introduced and studied for dg modules over a Koszul extension of a local dg algebra. The generality of this setting applies to dg modules over local…
In this short note, we prove a general nilpotence theorem for a rational rigid 2-ring all of whose objects satisfy a certain ``moderate growth condition'' inspired from the theory of tensor categories. This applies in particular to the…
This paper is a continuation of an earlier paper of the authors on the probem of specializations of modules. The aim here is to define specialisations of finitely generated modules over local rings of the form k(u)[X]_P, where u is a family…
We define very proper intersections of modules and projective subschemes. It turns out that equidimensional locally Cohen-Macaulay modules intersect very properly if and only if they intersect properly. We prove a Bezout theorem for modules…
The main result of this article is to prove that any Noetherian local domain of mixed characteristic maps to an integral perfectoid big Cohen-Macaulay algebra. The proof of this result is based on the construction of almost Cohen-Macaulay…
The notion of linkage with respect to a semidualizing module is introduced. It is shown that over a Cohen-Macaulay local ring with canonical module, every Cohen-Macaulay module of finite Gorenstein injective dimension is linked with respect…
Given a bounded complex of finitely generated modules $M$ over a commutative noetherian local ring $R$, one assigns to it a variety, $\mathcal V_R(M)$, called the cohomological support variety of $M$ over $R$. The variety $\mathcal V_R(M)$…
We establish new results on (co)homology vanishing and Ext-Tor dualities, and derive a number of freeness criteria for finite modules over Cohen-Macaulay local rings. In the main application, we settle the long-standing Auslander-Reiten…
We prove that the depth formula holds for two finitely generated Tor-independent modules over Cohen-Macaulay local rings if one of the modules considered has finite reducing projective dimension (for example, if it has finite projective…