Overview
A recent finding presents a symmetric counterexample to the Snashall–Solberg conjecture. This conjecture stipulates that the Hochschild cohomology ring of a finite-dimensional algebra, when considered modulo nilpotence, constitutes a finitely generated algebra. The identified counterexample specifically involves the trivial extension of the Xu–Snashall algebra.
Research Context
The Snashall–Solberg conjecture addresses a fundamental property within the realm of homological algebra, particularly concerning the structure of Hochschild cohomology rings of finite-dimensional algebras. The conjecture posits a specific algebraic characteristic: that these rings, after factoring out their nilpotent elements, should exhibit finite generation.
Approach
The method employed involved constructing and analyzing a specific algebraic structure: the trivial extension of the Xu–Snashall algebra. This construction was then evaluated against the conditions set forth by the Snashall–Solberg conjecture.
Findings
The trivial extension of the Xu–Snashall algebra has been demonstrated to serve as a symmetric counterexample to the Snashall–Solberg conjecture. This finding indicates that the conjecture's premise—that the Hochschild cohomology ring of a finite-dimensional algebra modulo nilpotence is a finitely generated algebra—does not hold universally. Notably, this specific counterexample is identified as the first known self-injective counterexample to the conjecture.