Dice Question Streamline Icon: https://streamlinehq.com

Triviality criteria for cohomology classes arising from trivial extensions

Characterize the triviality of the cohomology classes constructed from the trivial extension A = B ⊕ D B of a finite-dimensional algebra B, specifically the class in H^1(Der(B, D B), A^×) and its inflation to H^1(HH_1(B)^*, A^× ∩ Z(A)). Provide necessary and sufficient conditions on B for these classes to vanish.

Information Square Streamline Icon: https://streamlinehq.com

Background

In the trivial extension A = B ⊕ D B, the paper constructs cohomological invariants by restricting the Nakayama Jacobian cocycle to derivations and related groups, yielding classes in H1(Der(B, D B), A×) and, via inflation, H1(HH_1(B)*, A× ∩ Z(A)). Examples show these classes are often non-trivial, though in some special cases (e.g., certain quivers without oriented cycles), triviality can occur.

After presenting a necessary condition derived directly from definitions, the authors explicitly state that they do not know how to characterize the triviality of these classes in general. A complete criterion would clarify when these invariants vanish and illuminate their structural role.

References

We do not know how to characterize the triviality of these classes.

The action of the Nakayama automorphism of a Frobenius algebra on Hochschild cohomology (2502.04546 - Suárez-Álvarez, 6 Feb 2025) in Subsubsection “An example: trivial extensions” (label: subsubsect:jac:trivial)