English

The Casimir elements of the Racah algebra

Rings and Algebras 2020-03-17 v3

Abstract

Let F\mathbb{F} denote a field with charF2{\rm char\,}\mathbb{F}\not=2. The Racah algebra R\mathfrak{R} is the unital associative F\mathbb{F}-algebra defined by generators and relations in the following way. The generators are AA, BB, CC, DD. The relations assert that [A,B]=[B,C]=[C,A]=2D [A,B]=[B,C]=[C,A]=2D and each of the elements \begin{gather*} \alpha=[A,D]+AC-BA, \qquad \beta=[B,D]+BA-CB, \qquad \gamma=[C,D]+CB-AC \end{gather*} is central in R\mathfrak{R}. Additionally the element δ=A+B+C\delta=A+B+C is central in R\mathfrak{R}. The algebra R\mathfrak{R} was introduced by Genest-Vinet-Zhedanov. We consider a mild change in their setting to call each element in \begin{equation*} D^2+A^2+B^2 +\frac{(\delta+2)\{A,B\}-\{A^2,B\}-\{A,B^2\}}{2} +A (\beta-\delta) +B (\delta-\alpha)+\mathfrak{C} \end{equation*} a Casimir element of R\mathfrak{R}, where C\mathfrak{C} is the commutative subalgebra of R\mathfrak{R} generated by α\alpha, β\beta, γ\gamma, δ\delta. The main results of this paper are as follows. Each of the following distinct elements is a Casimir element of R\mathfrak{R}: \begin{align*} \Omega_A = D^2 + \frac{B A C +C A B}{2} + A^2 +B \gamma -C \beta -A \delta, \Omega_B = D^2 + \frac{C B A +A B C}{2} + B^2 +C \alpha -A \gamma -B\delta, \Omega_C = D^2 + \frac{A C B +B C A}{2} + C^2 +A \beta -B\alpha -C\delta. \end{align*} The set {ΩA,ΩB,ΩC}\{\Omega_A,\Omega_B,\Omega_C\} is invariant under a faithful D6D_6-action on R\mathfrak{R}. Moreover we show that any Casimir element Ω\Omega is algebraically independent over C\mathfrak{C}; if charF=0{\rm char\,}\mathbb{F}=0 then the center of R\mathfrak{R} is C[Ω]\mathfrak{C}[\Omega].

Keywords

Cite

@article{arxiv.1711.09574,
  title  = {The Casimir elements of the Racah algebra},
  author = {Sarah Bockting-Conrad and Hau-Wen Huang},
  journal= {arXiv preprint arXiv:1711.09574},
  year   = {2020}
}

Comments

18 pages