A FREENESS CRITERION WITHOUT PATCHING FOR MODULES OVER LOCAL RINGS

DOI10.1017/S147474802100061XMaRDI QIDQ6171801zbMATH OpenOpenAlexFDO

Authors Sylvain Brochard, Srikanth B. Iyengar, Chandrashekhar Khare

Publication date 16 August 2023

Published in Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2010.08026

zbMATH Keywords

complete intersectionfreeness criterionpatching

Mathematics Subject Classification ID

Galois representations (11F80) Projective and free modules and ideals in commutative rings (13C10) Syzygies, resolutions, complexes and commutative rings (13D02)

Abstract: It is proved that if $varphicolonAoB$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated $B$-module $N$ whose flat dimension over $A$ is at most $mathrmedim,A-mathrmedim,B$, is free over $B$, and $varphi$ is a special type of complete intersection. This result is motivated by a "patching method" developed by Taylor and Wiles, and a conjecture of de Smit, proved by the first author, dealing with the special case when $N$ is flat over $A$.

Recommendations

• Proof of de Smit's conjecture: a freeness criterion
• Wiles Defect for Modules and Criteria for Freeness
• Independent sequences and freeness criteria
• Eine Bemerkung zu freien Moduln über regulären lokalen Ringen. (Remark on free modules over regular local rings)
• A Local Flatness Criterion for Complete Modules

Cites work

• Adjoint Selmer groups of automorphic Galois representations of unitary type
• André-Quillen homology of commutative algebras
• Codimension and multiplicity
• Finiteness in derived categories of local rings
• scientific article; zbMATH DE number 1194481 (Why is no real title available?)
• scientific article; zbMATH DE number 3463763 (Why is no real title available?)
• scientific article; zbMATH DE number 1983917 (Why is no real title available?)
• scientific article; zbMATH DE number 2046147 (Why is no real title available?)
• Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology
• Modular elliptic curves and Fermat's Last Theorem
• Modularity lifting beyond the Taylor-Wiles method
• Potential automorphy and the Leopoldt conjecture
• Proof of de Smit's conjecture: a freeness criterion
• Ring-theoretic properties of certain Hecke algebras
• Structure of local homomorphisms
• Symmetric power functoriality for holomorphic modular forms. II.
• The Cotangent Complex of a Morphism
• The Taylor-Wiles construction and multiplicity one

Cited in

(6)

• The new intersection theorem and descent of flatness for integral extensions
• Wiles Defect for Modules and Criteria for Freeness
• Bounds on Gorenstein dimensions and exceptional complete intersection maps
• Bounds on injective dimension and exceptional complete intersection maps
• Model category structure on simplicial algebras via Dold-Kan correspondence. I
• Free summands of syzygies of modules over local rings

This page was built for publication: A FREENESS CRITERION WITHOUT PATCHING FOR MODULES OVER LOCAL RINGS

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