Heisenberg and Drinfeld doubles of Uq(gl(1|1)) and Uq(osp(1|2)) super-algebras

We study the Heisenberg double and the Drinfeld double of the Borel half of $Uq (gl(1|1))$ and of the $Uq (gl(1|1))$ when q is a root of unity. We also study the Borel half of Uq (osp(1|2)) for both cases when qis a root of unity and when it is not. We prove the isomorphism between the Heisenberg doubles and the handle algebras, which is missing in the literature, and extend the isomorphism to the graded Heisenberg doubles and the handle algebras in the context of the Z2-graded generalisation of Alekseev-Schomerus combinatorial quantisation of Chern-Simons theory [1, 2], as well as illustrate it on the example of the Heisenberg double of the $Uq (gl(1|1))$ Hopf algebra for q being a root of unity. In addition, we generalise an isomorphism between the Drinfeld double and the loop algebra from the Alekseev-Schomerus combinatorial quantisation to the graded setting.

💡 Research Summary

The paper provides a comprehensive study of Heisenberg and Drinfeld doubles for the Z₂‑graded quantum super‑algebras U₍q₎(gl(1|1)) and U₍q₎(osp(1|2)), treating both the generic case (q not a root of unity) and the root‑of‑unity case. After a brief review of graded Hopf algebras, the authors define the Heisenberg double H(A) of a Z₂‑graded Hopf algebra A as the smash product A*⋊A, where the left action of A on its dual A* is induced by the non‑degenerate Hopf pairing. They introduce the canonical element
W = Σ_i e_i ⊗ e^i (with {e_i} a basis of A and {e^i} the dual basis) and prove that W satisfies the graded pentagon relation W₁₂W₁₃W₂₃ = W₂₃W₁₂. This pentagon identity replaces the Yang‑Baxter equation that characterises Drinfeld doubles.

The Drinfeld double D(A) is then recalled as A ⊗ A*^{cop} equipped with the universal R‑matrix R = Σ_i e_i ⊗ e^i, which in the graded setting carries the sign (−1)^{|e_i||e^i|}. The authors construct an explicit algebra embedding φ : D(A) → H(A) ⊗ H(A) and verify that φ is an isomorphism onto its image, thereby extending the well‑known non‑graded relationship between Drinfeld and Heisenberg doubles to the super‑case.

A central theme of the work is the connection of these algebraic structures to the combinatorial quantisation of Chern‑Simons theory pioneered by Alekseev and Schomerus. In that framework the “handle algebra” (the graph algebra for a torus without punctures) is known to be isomorphic to the Heisenberg double of the gauge‑group Hopf algebra, while the “loop algebra” (graph algebra for a once‑punctured sphere) is isomorphic to the Drinfeld double. The authors prove, for the first time in the graded setting, that H(A) ≅ Handle(A) and D(A) ≅ Loop(A). Their proofs are constructive, providing explicit generators and relations that match those of the corresponding graph algebras.

The paper then turns to concrete examples. For the Borel sub‑algebra B ⊂ U₍q₎(gl(1|1)) the authors work out the full finite‑dimensional structure when q is a primitive ℓ‑th root of unity. In this case B has dimension 4ℓ, and its dual B* is also finite‑dimensional. They write down the generators (E, K, N) and their coproducts, compute the smash product B*⋊B, and exhibit the canonical element W. By comparing with the handle algebra of GL(1|1) Chern‑Simons theory they establish an explicit isomorphism, confirming that the Heisenberg double reproduces the observable algebra of the theory.

For U₍q₎(osp(1|2)) the analysis is more involved because the Borel part behaves differently depending on whether q is a root of unity. When q is generic the Borel sub‑algebra is infinite‑dimensional, yet the Drinfeld double remains quasi‑triangular. When q is a primitive ℓ‑th root of unity the Borel sub‑algebra becomes finite‑dimensional (dimension 2ℓ) and the authors construct both H(B) and D(B) explicitly. They again verify the isomorphisms H(B) ≅ Handle(B) and D(B) ≅ Loop(B), thereby extending the Alekseev‑Schomerus picture to the orthosymplectic super‑group.

An appendix treats the well‑known case of the Borel sub‑algebra of U₍q₎(sl(2)) with q not a root of unity, providing a pedagogical illustration of the conventions used throughout the paper and serving as a sanity check for the more exotic super‑cases.

In the concluding section the authors emphasise that the graded Heisenberg‑Drinfeld double machinery works uniformly for non‑semisimple, finite‑dimensional quantum super‑algebras at roots of unity, and that it furnishes the algebraic backbone for the combinatorial quantisation of super‑Chern‑Simons theories. They suggest several future directions: extending the construction to infinite‑dimensional super‑algebras, exploring braided tensor‑category generalisations, and investigating applications to 3‑dimensional quantum gravity, topological quantum computing, and quantum circuit optimisation where the pentagon relation plays a role analogous to the Yang‑Baxter equation.