Exceptional complete intersection maps of local rings

DOI10.2140/PJM.2022.318.275MaRDI QIDQ2168221zbMATH OpenOpenAlexFDO

Authors Srikanth B. Iyengar, Janina C. Letz, Jian Liu, Josh Pollitz

Publication date 31 August 2022

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

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

exceptional complete intersection Hochschild cohomology thick subcategory truncated Atiyah class

Morphisms of commutative rings (13B10) (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Derived categories and commutative rings (13D09)

Abstract: This work concerns surjective maps

v a r p h i c o l o n R o S

of commutative noetherian local rings with kernel generated by a regular sequence that is part of a minimal generating set for the maximal ideal of

R

. The main result provides criteria for detecting such exceptional complete intersection maps in terms of the lattices of thick subcategories of the derived category of complexes of finite length homology. A key input is a characterization of such maps in terms of the truncated Atiyah class of

v a r p h i

.

Review text

Let \(f: R\rightarrow S\) be an epimorphism of commutative noetherian local rings. Then \(f\) is said to be ``complete intersection if \(\mathrm{Ker}(f)\) is generated by a regular sequence on \(R\). In particular, \(f\) is said to be ``exceptional complete intersection if \(\mathrm{Ker}(f)\) is generated by a regular sequence on \(R\) that is part of a minimal generating set for the maximal ideal of \(R\). Such maps arise naturally in various contexts; for example, the diagonal of a smooth map has this property locally. On the other hand, for each \(S\)-complex \(X\), there is a naturally defined morphism in the derived category \(\mathcal{D}(S)\) called the ``truncated Atiyah class of \(f\) at \(X\) and denoted by \(\mathrm{at}^{f}(X)\). The authors prove the following characterization of exceptional complete intersection maps. Theorem. Let \(f: R\rightarrow S\) be an epimorphism of commutative noetherian local rings, and \(k\) the common residue field of \(R\) and \(S\). Then the following assertions are equivalent: \begin{itemize} \item[(i)] \(f\) is exceptional complete intersection. \item[(ii)] \(\mathrm{pd}_{R}(S)< \infty\) and \(\mathrm{at}^{f}(k)=0\). \end{itemize} Using this result, they further establish the following characterization of exceptional complete intersection maps. Theorem. Let \(f: R\rightarrow S\) be an epimorphism of commutative noetherian local rings. Then the following assertions are equivalent: \begin{itemize} \item[(i)] \(f\) is exceptional complete intersection. \item[(ii)] \(\mathrm{pd}_{R}(S)< \infty\) and the restriction of scalars functor \(f_{\ast}:\mathcal{D}^{\mathrm{fl}}_{\square}(S)\rightarrow \mathcal{D}^{\mathrm{fl}}_{\square}(R)\) induces an isomorphism between the lattices of thick subcategories. \end{itemize}

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Exceptional complete intersection maps of local rings

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