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