[论文解读] 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的域上识别并表征了 Racah 代数中的 Casimir 元素。证明了三个特定的二次元素 Ω_A、Ω_B 和 Ω_C 是在 D₆ 作用下不变的 Casimir 元素，并表明当域的特征为零时，该代数的中心是关于由 α、β、γ、δ 生成的交换子代数以及任意此类 Casimir 元素的多项式代数。

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}[Ω]$.

研究动机与目标

• 识别并表征从量子力学 Racah 问题中导出的通用二次代数——Racah 代数中的 Casimir 元素。
• 确立集合 {Ω_A, Ω_B, Ω_C} 在代数上忠实的 D₆ 作用下的不变性。
• 在基域特征为零时，确定 Racah 代数中心的结构。
• 证明任意 Casimir 元素在由 α、β、γ、δ 生成的交换子代数上代数独立。
• 证明 Racah 代数的中心在特征为零时可由该子代数与任意一个 Casimir 元素生成。

提出的方法

• 通过生成元 A、B、C、D 及关系 [A,B] = [B,C] = [C,A] = 2D 和 α、β、γ、δ 为中央元素，定义 Racah 代数 ℝ。
• 引入交换子代数 ℂ = F[α, β, γ, δ] 的陪集，其中包含 D² + A² + B² + ... 作为 Casimir 元素的候选。
• 构造三个特定元素：Ω_A = D² + (BAC + CAB)/2 + A² + Bγ - Cβ - Aδ，以及 Ω_B 和 Ω_C 的类似表达式。
• 通过使用定义关系证明这些元素与所有生成元可交换，从而证明其为 Casimir 元素。
• 在 ℝ 上使用滤子论证并结合归纳法，证明任意 Casimir 元素 R 可表示为 F-线性组合 ∑ Ω^ℓα^rδ^sβ^t。
• 利用特征为零的假设及换位子恒等式，证明非常数单项式的系数为零，从而证明代数独立性与基结构。

实验结果

研究问题

• RQ1 Racah 代数中 Casimir 元素的显式形式是什么？
• RQ2 D₆ 群如何作用于 Racah 代数？Casimir 元素的不变性结构如何？
• RQ3 当域的特征为零时，Racah 代数的中心结构是什么？
• RQ4 Casimir 元素在由 α、β、γ、δ 生成的交换子代数 ℂ 上是否代数独立？
• RQ5 Racah 代数的中心能否由一个 Casimir 元素与子代数 ℂ 生成？

主要发现

• 元素 Ω_A、Ω_B 和 Ω_C 是 Racah 代数 ℝ 的 Casimir 元素。
• 集合 {Ω_A, Ω_B, Ω_C} 在 ℝ 上的忠实 D₆ 作用下保持不变。
• ℝ 的任意 Casimir 元素 Ω 在交换子代数 ℂ = F[α, β, γ, δ] 上代数独立。
• 当 char(𝔽) = 0 时，ℝ 的中心等于 ℂ[Ω]，即它是关于 ℂ 的一个变量的多项式代数。
• ℝ 的中心存在一个 F-基，由单项式 Ω^ℓα^rδ^sβ^t（ℓ, r, s, t ∈ ℕ）构成。
• Casimir 元素 Ω_A 满足 Ω_A ≡ D² mod ℝ₃，该关系被用于通过滤子和归纳法建立基结构。