English

Rigidity properties of the cotangent complex

Commutative Algebra 2022-01-25 v2 Algebraic Geometry

Abstract

This work concerns maps φ ⁣:RS\varphi \colon R\to S of commutative noetherian rings, locally of finite flat dimension. It is proved that the Andr\'e-Quillen homology functors are rigid, namely, if Dn(S/R;)=0\mathrm{D}_n(S/R;-)=0 for some n2n\ge 2, then Dn(S/R;)=0\mathrm{D}_n(S/R;-)=0 for all n2n\ge 2 and φ\varphi is locally complete intersection. This extends Avramov's theorem that draws the same conclusion assuming Dn(S/R;)\mathrm{D}_n(S/R;-) vanishes for all n0n\gg 0, confirming a conjecture of Quillen. The rigidity of Andr\'e-Quillen functors is deduced from a more general result about the higher cotangent modules which answers a question raised by Avramov and Herzog, and subsumes a conjecture of Vasconcelos that was proved recently by the first author. The new insight leading to these results concerns the equivariance of a map from Andr\'e-Quillen cohomology to Hochschild cohomology defined using the universal Atiyah class of φ\varphi.

Keywords

Cite

@article{arxiv.2010.13314,
  title  = {Rigidity properties of the cotangent complex},
  author = {Benjamin Briggs and Srikanth B. Iyengar},
  journal= {arXiv preprint arXiv:2010.13314},
  year   = {2022}
}

Comments

20 pages. Major revision; to appear in the Journal of the American Mathematical Society

R2 v1 2026-06-23T19:38:26.546Z