We describe new classes of noetherian local rings $R$ whose finitely generated modules $M$ have the property that $Tor_i^R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension, or $Ext^i_R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension or finite injective dimension.
Foxby defined the (Krull) dimension of a complex of modules over a commutative Noetherian ring in terms of the dimension of its homology modules. In this note it is proved that the dimension of a bounded complex of free modules of finite rank can be computed directly from the matrices representing the differentials of the complex.
Let $R$ be a Noetherian ring. We prove that $R$ has global dimension at most two if, and only if, every prime ideal of $R$ is of linear type. Similarly, we show that $R$ has global dimension at most three if, and only if, every prime ideal of $R$ is syzygetic. As a consequence, one derives a characterization of these rings using the André-Quillen homology.
We prove that each positive power of the maximal ideal of a commutative Noetherian local ring is Tor-rigid, and strongly-rigid. This gives new characterizations of regularity and, in particular, shows that such ideals satisfy the torsion condition of a long-standing conjecture of Huneke and Wiegand.
Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known descriptions of the numerical invariants width and depth in terms of Koszul homology, local homology, and local cohomology. Also, we immediately recover a few renowned vanishing criteria scattered about…
We show that a modification of the proof of a result of Gulliksen gives an elementary proof of the following important theorem by Avramov: if $(A,k) \to (B,l)$ is a homomorphism of noetherian local rings and $B$ is of finite flat dimension over $A$, then the homomorphism induced in André-Quillen homology modules $H_2(A,l,l)\to H_2(B,l,l)$ is injective.
Conditions on the Koszul complex of a noetherian local ring $R$ guarantee that $\mathrm{Tor}^{R}_{i}(M,N)$ is non-zero for infinitely many $i$, when $M$ and $N$ are finitely generated $R$-modules of infinite projective dimension. These conditions are obtained from results concerning Tor of differential graded modules over certain trivial extensions of commutative differential graded algebras.
The stability theorem for persistent homology is a central result in topological data analysis. While the original formulation of the result concerns the persistence barcodes of $\mathbb{R}$-valued functions, the result was later cast in a more general algebraic form, in the language of \emph{persistence modules} and \emph{interleavings}. In this paper, we establish an analogue of this algebraic stability theorem for zigzag persistence modules. To do so, we functorially extend each zigzag persistence module to a two-dimensional persistence module, and establish an algebraic stability theorem f…
We investigate stable homology of modules over a commutative noetherian ring $R$ with respect to a semidualzing module $C$, and give some vanishing results that improve/extend the known results. As a consequence, we show that the balance of the theory forces $C$ to be trivial and $R$ to be Gorenstein.
Let $A$ be a commutative noetherian ring, let $\mathfrak{a}\subseteq A$ be an ideal, and let $I$ be an injective $A$-module. A basic result in the structure theory of injective modules states that the $A$-module $Γ_{\mathfrak{a}}(I)$ consisting of $\mathfrak{a}$-torsion elements is also an injective $A$-module. Recently, de Jong proved a dual result: If $F$ is a flat $A$-module, then the $\mathfrak{a}$-adic completion of $F$ is also a flat $A$-module. In this paper we generalize these facts to commutative noetherian DG-rings: let $A$ be a commutative non-positive DG-ring such that $\mathrm{H}^…
Technical University of Munich (TUM)(慕尼黑工业大学);Munich Data Science Institute (MDSI)(慕尼黑数据科学研究所);Munich Center for Machine Learning (MCML)(慕尼黑机器学习中心);Institute of Mathematics, Technical University of Berlin(柏林工业大学数学研究所);Department of Mathematics, SUNY Albany(纽约州立大学奥尔巴尼分校数学系)
This work concerns finite free complexes over commutative noetherian rings, in particular over group algebras of elementary abelian groups. The main contribution is the construction of complexes such that the total rank of their underlying free modules, or the total length of their homology, is less than predicted by various conjectures in the theory of transformation groups and in local algebra.