Bounds on injective dimension and exceptional complete intersection maps
As a consequence of the proof that a certain Hecke algebra is a complete intersection (needed in the work by \textit{R. Taylor} and \textit{A. Wiles} [Ann. Math. (2) 141, No. 3, 553--572 (1995; Zbl 0823.11030)]. \textit{S. Brochard} proved a conjecture of de Smit about the ascend of flatness of an \(S\)-module \(M\), flat as an \(R\)-module, via a local homomorphism of local Noetherian rings \(f: (R,\mathfrak{m},k) \to (S,\mathfrak{n},l)\) (see [Compos. Math. 153, No. 11, 2310--2317 (2017; Zbl 1417.11095)]). There is a further generalization shown by \textit{S. Brochard} et al. [J. Inst. Math. Jussieu 22, No. 5, 2117--2129 (2023; Zbl 1537.13018)]. In their paper it is shown that a certain bound on the flat dimension of \(M\) as an \(R\)-module not only forces to be a free \(S\)-module, but also forces \(f\) to be a an exceptional complete intersection map. In his paper the author proves an analogue of this theorem involving the injective dimension: Let \(M\) be a non-zero finitely generated or Artinian \(S\)-module with \(\operatorname{id}_R M \leq \operatorname{edim} R - \operatorname{edim} S\) then it holds: (1) \(M\) is an injective \(S\)-module. (2) \(f\) is an exceptional complete intersection map (i.e. \(\operatorname{edim} R -\dim R=\operatorname{edim} S -\dim S\)). (3) \(\operatorname{id}_R M = \operatorname{edim} R - \operatorname{edim} S = \operatorname{fd}_R S\). In particular, if \(M\) is injective, then \(\operatorname{edim} R =\operatorname{edim} S\) and \(f\) is flat. Moreover, there is an analogue of the result by S. Brochard, S. Iyengar, and C. B. Klare (see loc. cit.) for Artinian modules.
- A FREENESS CRITERION WITHOUT PATCHING FOR MODULES OVER LOCAL RINGS
- André-Quillen homology of commutative algebras
- Completion, Čech and local homology and cohomology. Interactions between them
- Exceptional complete intersection maps of local rings
- Finiteness in derived categories of local rings
- Homological dimensions and Macaulay rings
- Homological dimensions of unbounded complexes
- Homotopical algebra
- scientific article; zbMATH DE number 3973001 (Why is no real title available?)
- scientific article; zbMATH DE number 3600152 (Why is no real title available?)
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 1552763 (Why is no real title available?)
- scientific article; zbMATH DE number 3445453 (Why is no real title available?)
- scientific article; zbMATH DE number 3370554 (Why is no real title available?)
- Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology
- Locally complete intersection maps and the proxy small property
- Minimal Injective Resolutions Under Flat Base Change
- Model categories and simplicial methods
- Modular elliptic curves and Fermat's Last Theorem
- Proof of de Smit's conjecture: a freeness criterion
- Ring-theoretic properties of certain Hecke algebras
- Structure of local homomorphisms
- The Cotangent Complex of a Morphism
- The Taylor-Wiles construction and multiplicity one
This page was built for publication: Bounds on injective dimension and exceptional complete intersection maps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7026890)
