Hopf quasigroups and the algebraic 7-sphere

DOI10.1016/J.JALGEBRA.2010.03.011zbMATH Open1200.81087arXiv0906.5026OpenAlexW2963791109MaRDI QIDQ975111FDOQ975111

Authors: J. Klim, Shahn Majid 

Publication date: 8 June 2010

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: We introduce the notions of Hopf quasigroup and Hopf coquasigroup $H$ generalising the classical notion of an inverse property quasigroup $G$ expressed respectively as a quasigroup algebra $kG$ and an algebraic quasigroup $k[G]$. We prove basic results as for Hopf algebras, such as anti(co)multiplicativity of the antipode $S:HoH$, that $S^2=id$ if $H$ is commutative or cocommutative, and a theory of crossed (co)products. We also introduce the notion of a Moufang Hopf (co)quasigroup and show that the coordinate algebras $k[S^{2^n-1}]$ of the parallelizable spheres are algebraic quasigroups (commutative Hopf coquasigroups in our formulation) and Moufang. We make use of the description of composition algebras such as the octonions via a cochain $F$ introduced in cite{Ma99}. We construct an example $$ of a Hopf coquasigroup which is noncommutative and non-trivially Moufang. We use Hopf coquasigroup methods to study differential geometry on $k[S^7]$ including a short algebraic proof that $S^7$ is parallelizable. Looking at combinations of left and right invariant vector fields on $k[S^7]$ we provide a new description of the structure constants of the Lie algebra $g_2$ in terms of the structure constants $F$ of the octonions. In the concluding section we give a new description of the $q$-deformation quantum group $C_q[S^3]$ regarded trivially as a Moufang Hopf coquasigroup (trivially since it is in fact a Hopf algebra) but now in terms of $F$ built up via the Cayley-Dickson process.

Full work available at URL: https://arxiv.org/abs/0906.5026

Recommendations

• The twisted smash product for Hopf quasigroups.
• Bicrossproduct Hopf quasigroups
• Actions of Hopf Quasigroups
• Quasialgebra structure of the octonions
• Algebra deformations of Hopf quasigroups.

zbMATH Keywords

cocycleHopf algebraquantum groupquaternionsphereoctonionmonoidal categoryloopquasigroupMoufang identityquasihopf algebra

Mathematics Subject Classification ID

Quantum groups (quantized enveloping algebras) and related deformations (17B37) Quantum groups and related algebraic methods applied to problems in quantum theory (81R50) Hopf algebras and their applications (16T05) Quantum groups (quantized function algebras) and their representations (20G42) Loops, quasigroups (20N05) Mal'tsev rings and algebras (17D10)

Cites Work

• Title not available (Why is that?)
• Differential calculus on compact matrix pseudogroups (quantum groups)
• An envelope for Malcev algebras.
• Quasialgebra structure of the octonions
• Title not available (Why is that?)

Cited In (43)

• Weak quasi-entwining structures
• The fundamental theorem of Hopf modules for Hopf braces
• The rational homology of the outer automorphism group of \(F_7\).
• Quasigroupoids and weak Hopf quasigroups
• Hopf algebras in non-associative Lie theory
• A new approach to braided monoidal categories
• Symmetry classes of quantum quasigroups
• Faithfully flat descent for magmas
• \(R\)-smash products of Hopf quasigroups.
• Quasitriangular Hopf group-quasialgebras and generalized quantum Yang–Baxter equations
• Generalized Yetter–Drinfeld (quasi)modules and Yetter–Drinfeld–Long bi(quasi)modules for Hopf quasigroups
• Multiplication alteration by two-cocycles: the non-associative version
• Quantum quasigroups and the quantum Yang-Baxter equation
• Quantum quasigroups and loops.
• The group of continuous autotopisms of the loop \(S^ 7\)
• Bicrossproduct Hopf quasigroups
• Double centralizer properties related to (co)triangular Hopf coquasigroups
• Twisted Smash Products and L-R Smash Products for Biquasimodule Hopf Quasigroups
• Actions of Hopf Quasigroups
• Poisson principal bundles
• Cleft comodules over Hopf quasigroups
• MONOIDAL FUNCTORS AND EXACT SEQUENCES OF GROUPS FOR HOPF QUASIGROUPS
• Galois extensions for quasigroupoid magmas
• Algebraic aspects of boundaries in the Kitaev quantum double model
• Ore extensions of Hopf coquasigroups.
• Maschke Type Theorems for Nonassociative Hopf Algebras
• Fundamental theorems of Doi-Hopf modules in a nonassociative setting
• Co-Moufang deformations of the universal enveloping algebra of the algebra of traceless octonions
• One-sided quantum quasigroups and loops.
• One-sided Hopf algebras and quantum quasigroups
• A characterization of weak Hopf (co) quasigroups
• The antipode and the (co)invariants of a finite Hopf (co)quasigroup
• Almost cocommutative and quasitriangular Hopf coquasigroups
• Projections and Yetter-Drinfel'd modules over Hopf (co)quasigroups
• Schur–Weyl quasi-duality and (co)triangular Hopf quasigroups
• Non-existence of coassociative quantized universal enveloping algebras of the traceless octonions
• Cleft and Galois extensions associated with a weak Hopf quasigroup
• Natural transformations for quasigroupoids
• A new approach to Rota–Baxter coalgebras
• Algebraic properties of quantum quasigroups
• Hopf quasicomodules and Yetter-Drinfel’d quasicomodules
• Yetter–Drinfel’d modules over weak Hopf quasigroups
• \(E_7\), Wirtinger inequalities, Cayley 4-form, and homotopy

This page was built for publication: Hopf quasigroups and the algebraic 7-sphere

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q975111)