Locally complete intersection maps and the proxy small property

DOI10.1093/IMRN/RNAB041MaRDI QIDQ5097038zbMATH OpenOpenAlexFDO

Authors Benjamin Briggs, Janina C. Letz, Josh Pollitz, Srikanth B. Iyengar

Publication date 19 August 2022

Published in IMRN. International Mathematics Research Notices (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Module categories and commutative rings (13C60) (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08)

Abstract: It is proved that a map $varphicolonRoS$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory generated by $S$ as a module over the enveloping algebra $Sotime{s}_{R}S$ contains a perfect complex supported fully on the diagonal ideal. This is in the spirit of the classical result that $varphi$ is smooth if and only if $S$ is small as a bimodule, that is to say, it is itself equivalent to a perfect complex. The geometric analogue, dealing with maps between schemes, is also established. Applications include simpler proofs of factorization theorems for locally complete intersection maps.

Recommendations

• The derived category of a locally complete intersection ring
• Localization of complete intersections
• Exceptional complete intersection maps of local rings
• scientific article; zbMATH DE number 701173
• CONSTRUCTING NONPROXY SMALL TEST MODULES FOR THE COMPLETE INTERSECTION PROPERTY

Cited in

(10)

• Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology
• Exceptional complete intersection maps of local rings
• The derived category of a locally complete intersection ring
• Applications of Differential Graded Algebra Techniques in Commutative Algebra
• CONSTRUCTING NONPROXY SMALL TEST MODULES FOR THE COMPLETE INTERSECTION PROPERTY
• Cohomological jump loci and duality in local algebra
• Lifting (co)stratifications between tensor triangulated categories
• Proxy-small objects present compactly generated categories
• Bounds on Gorenstein dimensions and exceptional complete intersection maps
• Bounds on injective dimension and exceptional complete intersection maps

This page was built for publication: Locally complete intersection maps and the proxy small property

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