Quaternifications and extensions of current algebras on S^3
Infinite-dimensional Lie (super)algebras (17B65) Kac-Moody (super)algebras; extended affine Lie algebras; toroidal Lie algebras (17B67) Loop groups and related constructions, group-theoretic treatment (22E67) Infinite-dimensional groups and algebras motivated by physics, including Virasoro, Kac-Moody, (W)-algebras and other current algebras and their representations (81R10)
Summary: Let \(\mathbf{H}\) be the quaternion algebra. Let \(\mathfrak{g}\) be a complex Lie algebra and let \(U(\mathfrak{g})\) be the enveloping algebra of \(\mathfrak{g}\). The quaternification \(\mathfrak{g}^{\mathbf{H}} = (\mathbf{H} \otimes U(\mathfrak{g}), [\;,\;]_{\mathfrak{g}^{\mathbf{H}}})\) of \(\mathfrak{g}\) is defined by the bracket \(\left[\mathbf{z}\otimes X,\mathbf{w}\otimes Y\right]_{\mathfrak{g}^{\mathbf{H}}} = (\mathbf{z} \cdot \mathbf{w}) \otimes(X Y) -(\mathbf{w} \cdot \mathbf{z}) \otimes(Y X),\) for \(\mathbf{z}, \mathbf{w} \in \mathbf{H}\) and the basis vectors \(X\) and \(Y\) of \(U(\mathfrak{g})\). Let \(S^3 \mathbf{H}\) be the ( non-commutative) algebra of \(\mathbf{H}\)-valued smooth mappings over \(S^3\) and let \(S^3 \mathfrak{g}^{\mathbf{H}} = S^3 \mathbf{H} \otimes U(\mathfrak{g})\). The Lie algebra structure on \(S^3 \mathfrak{g}^{\mathbf{H}}\) is induced naturally from that of \(\mathfrak{g}^{\mathbf{H}}\). We introduce a 2-cocycle on \(S^3 \mathfrak{g}^{\mathbf{H}}\) by the aid of a tangential vector field on \(S^3 \subset \mathbf{C}^2\) and have the corresponding central extension \(S^3 \mathfrak{g}^{\mathbf{H}} \oplus(\mathbf{C} a)\). As a subalgebra of \(S^3 \mathbf{H}\) we have the algebra of Laurent polynomial spinors \(\mathbf{C} [\phi^\pm]\) spanned by a complete orthogonal system of eigen spinors \(\{\phi^{\pm(m, l, k)} \}_{m, l, k}\) of the tangential Dirac operator on \(S^3\). Then \(\mathbf{C} [\phi^\pm] \otimes U(\mathfrak{g})\) is a Lie subalgebra of \(S^3 \mathfrak{g}^{\mathbf{H}}\). We have the central extension \(\hat{\mathfrak{g}}(a) = (\mathbf{C} [\phi^\pm] \otimes U(\mathfrak{g})) \oplus(\mathbf{C} a)\) as a Lie-subalgebra of \(S^3 \mathfrak{g}^{\mathbf{H}} \oplus(\mathbf{C} a)\). Finally we have a Lie algebra \(\hat{\mathfrak{g}}\) which is obtained by adding to \(\hat{\mathfrak{g}}(a)\) a derivation \(d\) which acts on \(\hat{\mathfrak{g}}(a)\) by the Euler vector field \(d_0\). That is the \(\mathbf{C}\)-vector space \(\hat{\mathfrak{g}} = \left(\mathbf{C}[\phi^\pm]\otimes U(\mathfrak{g})\right) \oplus(\mathbf{C} a) \oplus(\mathbf{C} d)\) endowed with the bracket \(\left[\phi_1\otimes X_1+\lambda_1a+\mu_1d,\phi_2 \otimes X_2+\lambda_2a+\mu_2d\right]_{\hat{\mathfrak{g}}} = (\phi_1 \phi_2) \otimes(X_1 X_2) -(\phi_2 \phi_1) \otimes(X_2 X_1) + \mu_1 d_0 \phi_2 \otimes X_2 - \mu_2 d_0 \phi_1 \otimes X_1 +(X_1 | X_2) c(\phi_1, \phi_2) a .\) When \(\mathfrak{g}\) is a simple Lie algebra with its Cartan subalgebra \(\mathfrak{h}\) we shall investigate the weight space decomposition of \(\hat{\mathfrak{g}}\) with respect to the subalgebra \(\hat{\mathfrak{h}} = (\phi^{+(0, 0, 1)} \otimes \mathfrak{h}) \oplus(\mathbf{C} a) \oplus(\mathbf{C} d)\).
- Quasiinvariants of \(S_{3}\)
- Algebras of vector fields over the quaternions
- Lie algebra extensions of current algebras on S3
- Generalizations of the quaternion algebra and Lie algebras
- The family of quaternionic quasi-unitary Lie algebras and their central extensions
- Biquaternions Lie algebra and complex-projective spaces
- Quaternionic Lie algebras
This page was built for publication: Quaternifications and extensions of current algebras on \(S^3\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2406262)
