Test modules, weakly regular homomorphisms and complete intersection dimension

DOI10.1216/JCA.2023.15.417MaRDI QIDQ6144937zbMATH OpenOpenAlexFDO

Publication date 8 January 2024

Published in Journal of Commutative Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1911.11290, https://www.projecteuclid.org/journals/journal-of-commutative-algebra/volume-15/issue-3/TEST-MODULES-WEAKLY-REGULAR-HOMOMORPHISMS-AND-COMPLETE-INTERSECTION-DIMENSION/10.1216/jca.2023.15.417.full

zbMATH Keywords

\(CI\)-dimension complete intersection local ring test module

Mathematics Subject Classification ID

Homological dimension and commutative rings (13D05) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: 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 investigate another question raised by Celikbas and Sather- Wagstaff concerning ascent properties of (pd-)test complexes under weakly regular homomorphisms.

Review text

Let \(R\) be a commutative Noetherian local ring. A finitely generated \(R\)-module \(T\) is called a test module over \(R\) if every \(R\)-module \(M\) with \(\mbox{Tor}_{\gg 0}(T,M)=0\), has finite projective dimension over \(R\). For example, the residue field of a local ring is a test module. \textit{O. Celikbas} et al. [Kyoto J. Math. 54, No. 2, 295--310 (2014; Zbl 1337.13011)] show that if a local ring \(R\) admits a test module of finite \(G\)-dimension, then \(R\) is Gorenstein. In this paper, the author proves the analogous result for \(CI\)-dimension and shows that if \(R\) is a local ring and \(T\) a test module for \(R\) such that \(\mbox{CI-dim}_R(T) < \infty\), then \(R\) is complete intersection. In order to prove the main theorem, the author also establishes results about test modules that are also independently interesting. In particular, the author proves the following. Let \(\phi:(R, \mathfrak{m})\to (S, \mathfrak{n})\) be a flat local homomorphism with regular fiber \(S/\mathfrak{m} S\), and assume that \(T\) is a test module for \(R\). If the residue field of \(R\) is uncountable or \(\mbox{CI-dim}_R(T) < \infty\), then \(T\otimes_RS\) is a test module for \(S\).

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Test modules, weakly regular homomorphisms and complete intersection dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6144937)