Wolffhardt's projective-dimension conjecture for symmetric algebras

Let RR be a regular local ring and let MM be a finitely generated RR-module. Write SymR(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 SymR(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.

Sources & referencesView supporting material

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.