Quillen's conjectures on André–Quillen homology

At least 23 years old · documented by

Let φ ⁣:R→S\varphi\colon R\to S be a ring homomorphism, and let D⁡n(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 D⁡n(S ⁣∣ ⁣R,−)=0\operatorname{D}_n(S\!\mid\!R,-)=0 for all n≫0n\gg 0, then φ\varphi is locally complete intersection.

(b) If D⁡n(S ⁣∣ ⁣R,−)=0\operatorname{D}_n(S\!\mid\!R,-)=0 for all n≫0n\gg 0, then D⁡n(S ⁣∣ ⁣R,−)=0\operatorname{D}_n(S\!\mid\!R,-)=0 for all n⩾3n\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.

References

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.