sl(n,H)-Current Algebra on S^3

Abstract

We introduce three non-trivial 2-cocycles $c_k$, k=0,1,2, on the Lie algebra $S^3H=Map(S^3,H)$ with the aid of the corresponding basis vector fields on $S^3$, and extend them to 2-cocycles on the Lie algebra $S^3gl(n,H)=S^3H \otimes gl(n,C)$. Then we have the corresponding central extension $S^3gl(n,H)\oplus \oplus_k (Ca_k)$. As a subalgebra of $S^3H$ we have the algebra $C[ϕ]$ of the Laurent polynomial spinors on $S^3$. Then we have a Lie subalgebra $\hat{gl}(n, H)=C[ϕ] \otimes gl(n, C)$ of $S^3gl(n,H)$, as well as its central extension by the 2-cocycles ${c_k}$ and the Euler vector field $d$: $\hat{gl}=\hat{gl}(n, H) \oplus \oplus_k(Ca_k)\oplus Cd$ . The Lie algebra $\hat{sl}(n,H)$ is defined as a Lie subalgebra of $\hat{gl}(n,H)$ generated by $C[ϕ]\otimes sl(n,C))$. We have the corresponding central extension of $\hat{sl}(n,H)$ by the 2-cocycles ${c_k}$ and the derivation $d$, which becomes a Lie subalgebra $\hat{sl}$ of $\hat{gl}$. Let $h_0$ be a Cartan subalgebra of $sl(n,C)$ and $\hat{h}=h_0 \oplus \oplus_k(Ca_k)\oplus Cd$. The root space decomposition of the $ad(\hat{h})$-representation of $\hat{sl}$ is obtained. The set of roots is $Δ=\{ m/2 δ+ α; α\in Δ_0, m \in Z\} \bigcup \{m/2 δ; m \in Z \}$ . And the root spaces are $\hat{g}_{m/2 δ+ α}= C[ϕ;m] \otimes g_α$, for $α\neq 0$ , $\hat{g}_{m/2 δ}= C[ϕ;m] \otimes h_0$, for $m \neq 0$, and $\hat{g}_{0 δ}= \hat{h}$, where $C[ϕ;m]$ is the subspace with the homogeneous degree m. The Chevalley generators of $\hat{sl}$ are given.