Hermann’s finite-generation question for the Xu–Snashall algebra

Let AA be a finite-dimensional algebra over a field KK, and let G⊆HH∗(A)\mathcal{G}\subseteq \mathrm{HH}^*(A) be the Gerstenhaber ideal generated by all homogeneous nilpotent elements of the Hochschild cohomology ring. Is the quotient algebra HH∗(A)/G\mathrm{HH}^*(A)/\mathcal{G} finitely generated over KK for every finite-dimensional algebra AA?

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed progress

A recent preprint claims to settle the Xu–Snashall example: one quotient is not finitely generated, while the stronger quotient collapses to the base field, but the general question remains open.

Hermann asked whether the Hochschild-cohomology quotient by the weak Gerstenhaber ideal generated by homogeneous nilpotents is finitely generated. For the Xu–Snashall algebra, the latest preprint claims a complete computation of the Gerstenhaber structure and a negative answer for that quotient.

Known results

Oke showed that the weak Gerstenhaber ideal equals the ideal N\mathcal{N} generated by homogeneous nilpotent elements, yielding a negative answer for the Xu–Snashall case.

September 2026 claimed resolution

Qi Long, Ziyang Shi, and Guodong Zhou report that HH∗/G\mathrm{HH}^*/\mathcal{G} is not finitely generated, whereas HH∗/G ⁣full≅k\mathrm{HH}^*/\mathcal{G}_{\!\mathrm{full}}\cong k. This distinguishes the weak and full Gerstenhaber quotients and settles the canonical example if the preprint’s computation is correct; the claim is unverified.

Current status (as of September 2026): The Xu–Snashall case is claimed resolved negatively for the weak quotient and identified with kk for the full quotient, but the claim is unverified and the question for arbitrary finite-dimensional algebras remains open.

Sources

Solutions 0

No solutions have been posted yet.