Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.04046

A Lie Correspondence in the Setting of Hopf and Frobenius Algebras

Matt Alexander
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper we demonstrate that Hopf algebras and Frobenius algebras provide an appropriate setting for an analogue of the classical Lie correspondence. We introduce a compatibility structure between Hopf and Frobenius algebras called Hopf-Frobenius modules, and give constructions that can be applied to any such module, which produce corresponding Lie groups and Lie algebras. Further, we show that classical Lie algebras and Lie groups give rise to Hopf-Frobenius modules for which the corresponding Lie groups and Lie algebras produced by our construction are those of the ordinary Lie correspondence.

Explore related subjects

math.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Matt Alexander. 2026-10-02. A Lie Correspondence in the Setting of Hopf and Frobenius Algebras. https://arxiv.org/abs/2610.04046

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Spectral Rigidity in Toroidal Grothendieck Rings and Multiparameter Quantum Groups

Let $Q$ be a bipartite Dynkin quiver of finite simply-laced type and $\mathscr C_Q$ the corresponding Hernandez--Leclerc category. We study a two-parameter specialization of the Fedele--Hernandez toroidal Grothendieck ring and identify its generic positive part with a Cartan-type multiparameter quantum group. The structural input is the identity \[ 2D^{(2)}-D_0=ω_Q\circ(°_Q,°_Q), \] where $D_0,D^{(2)}$ are the two effective toroidal commutation forms and $ω_Q$ is the antisymmetric Euler form of \(Q\). It realizes the specialized character algebra, after an auxiliary scalar extension, as a graded bicharacter twist of the one-parameter algebra at $v=t_0t^{1/2}$. This yields the required root grading and PBW graded dimensions. For every source--sink edge $r\to s$, these dimensions combine with the local \(A\)--\(Y\) commutation formula to give a quadratic annihilator for \(\operatorname{Ad}_{Z_r}\). Consequently \[ \operatorname{Spec}_{Z_r}(Z_s)=\{t_0t,t_0^{-1}\}, \] without thinness or type-specific character formulas. The two spectral values yield the oriented multiparameter Serre relations. With \[ q_{ii}=t_0^2t,\qquad q_{ij}=t_0^{-1},\qquad q_{ji}=t_0^{-1}t^{-1}\quad(i\to j), \] and \(q_{ij}=1\) on nonedges, we obtain \[ U_{\mathbf q}^{+}(\mathfrak g) \simeq \mathscr K_\infty(\mathscr C_Q)\otimes_RK \] for $\mathfrak g$ of type $A_n,D_n,E_6,E_7,E_8$.

math.QA↗
arXiv2026

Gaussian solutions to the Yang--Baxter equation and their twists

In this paper, we consider two explicit Gaussian solutions to the constant (or parameter-independent) quantum Yang--Baxter equation and produce the corresponding bialgebras using the Faddeev--Reshetikhin--Takhtajan construction (FRT). Additionally, we twist these two Gaussian solutions, via Zhang twists and corresponding 2-cocycle twists, to obtain solutions to the Yang--Baxter equation which are not necessarily Gaussian.

math.QA↗
arXiv2026

The double covering of compact quantum group $SO_q(4)$

We show that $\mathbb{Z}_2$ is a quantum normal subgroup of $SU_q(2)\times SU_q(2)$ and that the quotient group is isomorphic to $SO_q(4)$, thereby establishing that $SU_q(2)\times SU_q(2)$ is a double cover of $SO_q(4)$.

math.QA↗