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 algebraloopmonoidal categoryMoufang identityoctonionquantum groupquasigroupquasihopf algebraquaternionsphere

Mathematics Subject Classification ID

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

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

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

Cited in

(46)

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

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)