Hopf quasigroups and the algebraic 7-sphere

DOI10.1016/J.JALGEBRA.2010.03.011MaRDI QIDQ975111zbMATH OpenOpenAlexFDO

Authors J. Klim, Shahn Majid

Publication date 8 June 2010

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

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

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)

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.

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.

Cites work

• scientific article; zbMATH DE number 821242 (Why is no real title available?)
• scientific article; zbMATH DE number 3227065 (Why is no real title available?)
• An envelope for Malcev algebras.
• Differential calculus on compact matrix pseudogroups (quantum groups)
• Quasialgebra structure of the octonions

Cited in

(43)

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

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)