The triviality conjecture for extensions of Taft algebras

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

Tn(ω):=kg,x/(gn1,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 ϕ=idTn(ω)\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

θkxkgxkgn1x.\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.

Sources & referencesView supporting material

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.