A Counterexample to the Huneke-Wiegand Conjecture
We construct a symmetric numerical semigroup $Γ$ of multiplicity $56$, embedding dimension $26$, and Frobenius number $181$ such that, over every field $k$, the one-dimensional Gorenstein local domain $R=k[t^Γ]_{\mathfrak{m}}$ has a nonprincipal ideal $I=(t^{56},t^{70})R$ for which $I\otimes_R\operatorname{Hom}_R(I,R)$ is torsion-free. This gives a counterexample to the Huneke-Wiegand conjecture in its general Gorenstein formulation. The proof reduces to an explicit finite sumset identity, interpreted through the Huneke-Iyengar-Wiegand colon criterion and Leamer's tensor-torsion formula. We…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.07615
curl -X POST /api/v1/records/arxiv/2609.07615/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.07615/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'