Quillen's conjectures on André–Quillen homology

Let φ ⁣:RS\varphi\colon R\to S be a ring homomorphism, and let Dn(S ⁣ ⁣R,)\operatorname{D}_n(S\!\mid\!R,-) denote André–Quillen homology with arbitrary coefficients. Quillen's conjectures. Assume that φ\varphi is essentially of finite type.

(a) If φ\varphi is locally of finite flat dimension and Dn(S ⁣ ⁣R,)=0\operatorname{D}_n(S\!\mid\!R,-)=0 for all n0n\gg 0, then φ\varphi is locally complete intersection.

(b) If Dn(S ⁣ ⁣R,)=0\operatorname{D}_n(S\!\mid\!R,-)=0 for all n0n\gg 0, then Dn(S ⁣ ⁣R,)=0\operatorname{D}_n(S\!\mid\!R,-)=0 for all n3n\geqslant 3.

These are two conjectures discussed together in the source; the first is attributed there as solved by Avramov, while the supplied status information does not separately resolve the second.

Sources & referencesView supporting material

Primary source

Saeed Nasseh and Sean K. Sather-Wagstaff, “Applications of Differential Graded Algebra Techniques in Commutative Algebra”, arXiv:2011.02065 (2020).

Additional references

4 papers in this index state this conjecture (2002–2020). The statement above is taken from the most recent of them; the others are arXiv:1307.0860, arXiv:0804.3553, arXiv:math/0210037.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.