Dice Question Streamline Icon: https://streamlinehq.com

Simultaneous finiteness of cid(φ) and cid_R(R_φ)

Determine whether, for a local ring homomorphism φ: R → R, the two invariants cid(φ) (the complete intersection dimension attached to a Cohen factorization of φ) and cid_R(R_φ) (the complete intersection dimension of the R-module R with scalar action restricted along φ) are simultaneously finite.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper studies ghost maps via André–Quillen homology and applies the resulting ghost lemma to derive criteria for regularity and complete intersection properties. In comparing their results with those of Majadas and others, the author highlights invariants that measure singularity in terms of complete intersection dimension (CI-dimension).

Blanco–Majadas and Majadas use two closely related finiteness conditions: cid(φ), defined via CI-dimension of a Cohen factorization of the local homomorphism φ, and cid_R(R_φ), the CI-dimension of the module R under the scalar action induced by φ. Establishing whether these notions are simultaneously finite is identified as an open problem that would bridge existing results and the paper’s ghost-map-based criteria.

References

As far as the author is aware, these results are separated by two open problems. The first is whether \cid(\phi) and \cid_R(R_\phi) are simultaneously finite (see 2.15 and ).

A Ghost Lemma for Commutative Ring Homomorphisms via André-Quillen Homology (2507.13988 - McCormick, 18 Jul 2025) in Remark rem:majadas, Section 7 (Applications to Singularities)