A Counterexample to the Huneke-Wiegand Conjecture

We construct a symmetric numerical semigroup $\mathrm{\Gamma }$ 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^{\mathrm{\Gamma }}{]}_{\mathfrak{m}}$ has a nonprincipal ideal $I=(t^{56},t^{70})R$ for which $I{\otimes }_R{\mathrm{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 also identify the tensor product with the trace ideal of $I$, compute ${\mathrm{End}}_R(I)=R[t^{101},t^{107}]$ and its conductor, and show that the counterexample persists under completion. A separate graded tensor-graph calculation and exact, standard-library Python verifiers accompany the paper. We explain how the example differs from the field-extension construction of Christensen, Gerko, and Iyengar.