[논문 리뷰] The Casimir elements of the Racah algebra

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

Advanced Topics in Algebra참고 문헌 15인용 수 4

한 줄 요약

이 논문은 특성 2가 아닌 체 위에서 Racah 대수의 카시미르 원소를 식별하고 특성화한다. 세 개의 특정 2차 원소 Ω_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}[Ω]$.

연구 동기 및 목표

• 양자역학의 Racah 문제로부터 유도되는 보편적인 2차 대수인 Racah 대수에서 카시미르 원소를 식별하고 특성화하는 것.
• 대수에 대한 충실한 D₆ 작용 하에서 {Ω_A, Ω_B, Ω_C}의 집합이 불변임을 확립하는 것.
• 기초 체의 특성이 0일 경우 Racah 대수의 중심의 구조를 규명하는 것.
• 모든 카시미르 원소가 α, β, γ, δ로 생성되는 교환 부분대수 위에서 대수적으로 독립임을 증명하는 것.
• 특성 0 조건 하에서 Racah 대수의 중심이 이 부분대수와 임의의 하나의 카시미르 원소로 생성됨을 보여주는 것.

제안 방법

• 정의: [A,B] = [B,C] = [C,A] = 2D 이며 α, β, γ, δ 가 중심인 생성자 A, B, C, D 를 통해 대수 ℝ 를 정의한다.
• 교환 부분대수 ℂ = F[α, β, γ, δ] 의 코스레트에 포함된 D² + A² + B² + ... 와 같은 표현을 카시미르 원소 후보로 도입한다.
• 세 개의 특정 원소를 구성한다: Ω_A = D² + (BAC + CAB)/2 + A² + Bγ - Cβ - Aδ, 그리고 Ω_B 와 Ω_C 에 대해 유사한 표현을 정의한다.
• 정의 관계를 사용하여 이 원소들이 모든 생성자와 교환됨을 보여, 이들이 카시미르 원소임을 증명한다.
• ℝ 에 대한 필터링과 귀납법을 사용하여 임의의 카시미르 원소 R 이 Ω^ℓα^rδ^sβ^t 의 F-선형 조합으로 표현될 수 있음을 보인다.
• 특성 0 조건과 교환자 항등식을 활용하여 비상수 단항식의 계수가 0이 됨을 보여, 대수적 독립성과 기저 구조를 증명한다.

실험 결과

연구 질문

• RQ1 Racah 대수의 카시미르 원소의 명시적 형태는 무엇인가?
• RQ2 D₆ 군은 Racah 대수에 어떻게 작용하며, 카시미르 원소의 불변성은 어떻게 구성되는가?
• RQ3 체의 특성이 0일 경우 Racah 대수의 중심의 구조는 어떠한가?
• RQ4 카시미르 원소들은 α, β, γ, δ 로 생성되는 교환 부분대수 ℂ 위에서 대수적으로 독립적인가?
• RQ5 Racah 대수의 중심은 하나의 카시미르 원소와 부분대수 ℂ 로 생성될 수 있는가?

주요 결과

• 원소 Ω_A, Ω_B, Ω_C 는 Racah 대수 ℝ 의 카시미르 원소이다.
• {Ω_A, Ω_B, Ω_C} 의 집합은 ℝ 에 대한 충실한 D₆ 작용에 대해 불변이다.
• ℝ 의 임의의 카시미르 원소 Ω 는 교환 부분대수 ℂ = F[α, β, γ, δ] 위에서 대수적으로 독립이다.
• char(𝔽) = 0 일 경우, ℝ 의 중심은 ℂ[Ω] 와 같으며, 이는 ℂ 위에서 한 개의 변수에 대한 다항식 대수임을 의미한다.
• ℝ 의 중심은 ℓ, r, s, t ∈ ℕ 인 단항식 Ω^ℓα^rδ^sβ^t 로 구성된 F-기저를 갖는다.
• 카시미르 원소 Ω_A 는 Ω_A ≡ D² mod ℝ₃ 를 만족하며, 이는 필터링과 귀납법을 통해 기저 구조를 확립하는 데 사용된다.