Search arXiv⌕ Search

arXiv · 2610.02929

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

Abstract

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)$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bipul Saurabh. 2026-10-02. The double covering of compact quantum group $SO_q(4)$. https://arxiv.org/abs/2610.02929

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

KEEP EXPLORING

Related papers

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↗

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↗

A Lie Correspondence in the Setting of Hopf and Frobenius Algebras

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.

math.QA↗