Table of Contents
Fetching ...

$\imath$Hopf algebras associated with self-dual Hopf algebras

Jiayi Chen, Shiquan Ruan

TL;DR

The paper introduces $\imath$Hopf algebras built from symmetrically self-dual Hopf algebras, using Green-type identities to guarantee associativity of a new product defined on the same basis as the original Hopf algebra. A base-change strategy via a symmetric self-duality map $\varphi$ (with $\varphi=\varphi^*$) allows reduction to cases where the structure constants satisfy $F_{ij}^k=G_{ij}^k$, or a scaled version thereof, ensuring a well-defined $\imath$-multiplication $\diamond$ and unit. The construction is formalized for general self-dual Hopf algebras, with a detailed base-change framework and explicit formulas for the new structure constants ${}^{\imath}\widetilde{F}$ in terms of the original constants and a representation matrix $S$ of $\varphi$. As an application, the authors define the $\imath$Taft algebra $H_2^{\imath}(q)$, prove its commutativity, and show it is isomorphic to the group algebra of $\mathbb{Z}/4\mathbb{Z}$ over an algebraically closed field, thereby connecting $\imath$-Hopf theory to concrete finite-dimensional examples and known Hopf algebras. Overall, the work provides a new pathway to realize $\imath$quantum groups via $\imath$Hopf algebras and offers a concrete base-change toolkit for extending the construction to broader classes of self-dual Hopf algebras.

Abstract

Motivated by the construction of $\imath$Hall algebras and $Δ$-Hall algebras, we introduce $\imath$Hopf algebras associated with symmetrically self-dual Hopf algebras. We prove that the $\imath$Hopf algebra is an associative algebra with a unit, where the associativity relies on an analogue of Green's formula in the framework of Hopf algebras. As an application, we construct the $\imath$Taft algebra of dimension 4, which is proved to be isomorphic to the group algebra of $\mathbb{Z}/4\mathbb{Z}$.

$\imath$Hopf algebras associated with self-dual Hopf algebras

TL;DR

The paper introduces Hopf algebras built from symmetrically self-dual Hopf algebras, using Green-type identities to guarantee associativity of a new product defined on the same basis as the original Hopf algebra. A base-change strategy via a symmetric self-duality map (with ) allows reduction to cases where the structure constants satisfy , or a scaled version thereof, ensuring a well-defined -multiplication and unit. The construction is formalized for general self-dual Hopf algebras, with a detailed base-change framework and explicit formulas for the new structure constants in terms of the original constants and a representation matrix of . As an application, the authors define the Taft algebra , prove its commutativity, and show it is isomorphic to the group algebra of over an algebraically closed field, thereby connecting -Hopf theory to concrete finite-dimensional examples and known Hopf algebras. Overall, the work provides a new pathway to realize quantum groups via Hopf algebras and offers a concrete base-change toolkit for extending the construction to broader classes of self-dual Hopf algebras.

Abstract

Motivated by the construction of Hall algebras and -Hall algebras, we introduce Hopf algebras associated with symmetrically self-dual Hopf algebras. We prove that the Hopf algebra is an associative algebra with a unit, where the associativity relies on an analogue of Green's formula in the framework of Hopf algebras. As an application, we construct the Taft algebra of dimension 4, which is proved to be isomorphic to the group algebra of .

Paper Structure

This paper contains 10 sections, 9 theorems, 63 equations.

Key Result

Proposition 2.1

Let $A$ be a vector space with an algebra structure $(A,\cdot,u)$ and a coalgebra structure $(A,\Delta,\varepsilon)$. $(1)$ The comultiplication $\Delta$ is an algebra morphism if and only if for any $i,j,k',k"$, we have $(2)$ The counit $\varepsilon$ is an algebra morphism if and only if for any $i,j$, the following holds $(3)$ The unit $u$ is a coalgebra morphism if and only if for any $i,j$,

Theorems & Definitions (20)

  • Proposition 2.1
  • proof
  • Remark 2.2
  • Theorem 3.1
  • proof
  • Proposition 3.2
  • proof
  • Proposition 4.1
  • proof
  • Lemma 4.2
  • ...and 10 more