Wolffhardt's projective-dimension conjecture for symmetric algebras

About 8 years old · traced to

Let RR be a regular local ring and let MM be a finitely generated RR-module. Write Sym⁡R(M)\operatorname{Sym}_R(M) for its symmetric algebra, UFD⁡\operatorname{UFD} for unique factorization domain, and p.dim⁡(M)\operatorname{p.dim}(M) for the projective dimension of MM.

Wolffhardt's conjecture. If Sym⁡R(M)\operatorname{Sym}_R(M) is a UFD⁡\operatorname{UFD}, then

p.dim⁡(M)≤1.\operatorname{p.dim}(M)\leq 1.

The conjecture asks whether factoriality of the symmetric algebra over a regular local ring forces the module to have projective dimension at most one. The supplied text cites it as Conjecture 6.1.4 in Wolffhardt but gives no resolution.

References

Primary source

Mohsen Asgharzadeh, “Reflexivity revisited”, arXiv:1812.00830 (2025).

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.