The triviality conjecture for extensions of Taft algebras

About 2 years old · traced to

Let nn be a positive integer, let ω\omega be the parameter in the Taft algebra, and define

Tn(ω):=k⟨g,x⟩/(gn−1,xn,gx−ωxg).T_n(\omega):=\Bbbk\langle g,x\rangle/(g^n-1,x^n,gx-\omega xg).

An extension consists of a Frobenius automorphism ϕ\phi and an element θ\theta; call it ϕ\phi-trivial when ϕ=id⁡Tn(ω)\phi=\operatorname{id}_{T_n(\omega)}. The Taft-algebra conjecture. Every extension of Tn(ω)T_n(\omega) is ϕ\phi-trivial, and its additional element satisfies

θ∈kx⊕kgx⊕⋯⊕kgn−1x.\theta\in \Bbbk x\oplus\Bbbk gx\oplus\cdots\oplus\Bbbk g^{n-1}x.

The paper proves the assertion for n=2n=2 and proposes the displayed description for general Taft algebras; the general case remains open in the supplied text.

References

Primary source

Agustina Czenky, Jacob Kesten, Abiel Quinonez and Chelsea Walton, “On extended Frobenius structures”, arXiv:2410.18232 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.