[論文レビュー] The Casimir elements of the Racah algebra

Sarah Bockting-Conrad, Hau-Wen Huang|arXiv (Cornell University)|Nov 27, 2017

Advanced Topics in Algebra参考文献 15被引用数 4

ひとこと要約

本稿は、2でない特性を持つ体上のラカハ代数におけるカシミール要素を同定し、特徴づける。3つの特定の二次的要素、Ω_A、Ω_B、Ω_C が、D₆群作用に関して不変であるカシミール要素であることを証明し、体の特性が0であるとき、代数の中心が、α、β、γ、δ で生成される可換部分代数と任意のカシミール要素に関して多項式代数であることを示す。

ABSTRACT

Let $\mathbb{F}$ denote a field with ${ m char\,}\mathbb{F} ot=2$. The Racah algebra $\mathfrak{R}$ is the unital associative $\mathbb{F}$-algebra defined by generators and relations in the following way. The generators are $A$, $B$, $C$, $D$. The relations assert that $$ [A,B]=[B,C]=[C,A]=2D $$ and each of the elements \begin{gather*} α=[A,D]+AC-BA, \qquad β=[B,D]+BA-CB, \qquad γ=[C,D]+CB-AC \end{gather*} is central in $\mathfrak{R}$. Additionally the element $δ=A+B+C$ is central in $\mathfrak{R}$. The algebra $\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{(δ+2)\{A,B\}-\{A^2,B\}-\{A,B^2\}}{2} +A (β-δ) +B (δ-α)+\mathfrak{C} \end{equation*} a Casimir element of $\mathfrak{R}$, where $\mathfrak{C}$ is the commutative subalgebra of $\mathfrak{R}$ generated by $α$, $β$, $γ$, $δ$. The main results of this paper are as follows. Each of the following distinct elements is a Casimir element of $\mathfrak{R}$: \begin{align*} Ω_A = D^2 + \frac{B A C +C A B}{2} + A^2 +B γ-C β-A δ, Ω_B = D^2 + \frac{C B A +A B C}{2} + B^2 +C α-A γ-Bδ, Ω_C = D^2 + \frac{A C B +B C A}{2} + C^2 +A β-Bα-Cδ. \end{align*} The set $\{Ω_A,Ω_B,Ω_C\}$ is invariant under a faithful $D_6$-action on $\mathfrak{R}$. Moreover we show that any Casimir element $Ω$ is algebraically independent over $\mathfrak{C}$; if ${ m char\,}\mathbb{F}=0$ then the center of $\mathfrak{R}$ is $\mathfrak{C}[Ω]$.

研究の動機と目的

• ラカハ代数、すなわち量子力学におけるラカハ問題から生じる普遍的二次代数におけるカシミール要素を同定し、特徴づけること。
• 代数への忠実なD₆作用に関して、集合{Ω_A, Ω_B, Ω_C}の不変性を確立すること。
• 基礎体の特性が0であるときのラカハ代数の中心の構造を特定すること。
• 任意のカシミール要素が、α、β、γ、δ で生成される可換部分代数上で代数的独立であることを証明すること。
• 特性が0のとき、ラカハ代数の中心が、この部分代数と任意の1つのカシミール要素によって生成されることを示すこと。

提案手法

• 生成元A, B, C, Dと関係式[A,B] = [B,C] = [C,A] = 2Dおよびα, β, γ, δ が可換であるという関係により、ラカハ代数ℝを定義する。
• 可換部分代数ℂ = F[α, β, γ, δ] のコセットとして、D² + A² + B² + ... の形の式をカシミール要素の候補として導入する。
• 3つの特定の要素を構成する：Ω_A = D² + (BAC + CAB)/2 + A² + Bγ - Cβ - Aδ および Ω_B、Ω_C に対する同様の式。
• 定義関係を用いて、これらの要素がすべての生成子と可換であることを示すことにより、これらがカシミール要素であることを証明する。
• ℝにおけるフィルトレーションと帰納法を用いて、任意のカシミール要素Rが、Ω^ℓα^rδ^sβ^t のF線形結合として表せることを示す。
• 特性0の仮定と交換子恒等式を活用して、非定数単項式の係数が消えることを示し、代数的独立性および基底構造を証明する。

実験結果

リサーチクエスチョン

• RQ1 ラカハ代数におけるカシミール要素の明示的形は何か？
• RQ2 D₆群はラカハ代数にどのように作用するのか？また、カシミール要素の不変構造はいかなるものか？
• RQ3 体の特性が0であるとき、ラカハ代数の中心の構造は何か？
• RQ4 カシミール要素は、α、β、γ、δ で生成される可換部分代数ℂ上で代数的独立か？
• RQ5 ラカハ代数の中心は、1つのカシミール要素と部分代数ℂによって生成可能か？

主な発見

• 要素Ω_A、Ω_B、Ω_C は、ラカハ代数ℝのカシミール要素である。
• 集合{Ω_A, Ω_B, Ω_C} は、ℝにおける忠実なD₆作用に関して不変である。
• ℝの任意のカシミール要素Ω は、可換部分代数ℂ = F[α, β, γ, δ] 上で代数的独立である。
• char(𝔽) = 0 のとき、ℝの中心はℂ[Ω]に等しく、これはℂ上の1変数多項式代数である。
• ℝの中心は、ℓ, r, s, t ∈ ℕ に対して、単項式Ω^ℓα^rδ^sβ^t からなるF基底を備える。
• カシミール要素Ω_A はΩ_A ≡ D² mod ℝ₃ を満たし、これがフィルトレーションと帰納法を用いた基底構造の確立に用いられる。