[논문 리뷰] Cosets of the $\mathcal{W}^k(\mathfrak{sl}_4, f_{ ext{subreg}})$-algebra

Thomas Creutzig, Andrew R. Linshaw|arXiv (Cornell University)|2017. 11. 29.

Algebraic structures and combinatorial models참고 문헌 38인용 수 10

한 줄 요약

이 논문은 $ k = -4 + (m+4)/3 $ 이며 $ m > 2 $, $ \gcd(m+1,3) = 1 $ 인 경우, $ \mathcal{C}_k = \text{Com}(\mathcal{H}, \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}})) $ 가 유리적이고 정규적인 $ \mathcal{W} $-대수 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $ 와 동형임을 증명한다. 이 결과는 랭크-1 격자 VOA와의 단순 전류 확장을 통해 $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 의 유리성과 $ C_2 $-비유한성을 확립하며, 코셋 가족에 대해 무작위 강한 생성 집합이 $ \mathcal{W}(2,3,4,5,6,7,8,9) $ 형식임을 보여준다.

ABSTRACT

Let $\mathcal {W}^k(\mathfrak{sl}_4, f_{ ext {subreg}})$ be the universal $\mathcal{W}$-algebra associated to $\mathfrak{sl}_4$ with its subregular nilpotent element, and let $\mathcal {W}_k(\mathfrak{sl}_4, f_{ ext {subreg}})$ be its simple quotient. There is a Heisenberg subalgebra $\mathcal{H}$, and we denote by $\mathcal{C}^k$ the coset $ ext{Com}(\mathcal{H}, \mathcal {W}^k(\mathfrak{sl}_4, f_{ ext {subreg}}))$, and by $\mathcal{C}_k$ its simple quotient. We show that for $k=-4+(m+4)/3$ where $m$ is an integer greater than $2$ and $m+1$ is coprime to $3$, $\mathcal{C}_k$ is isomorphic to a rational, regular $\mathcal W$-algebra $\mathcal{W}(\mathfrak{sl}_m, f_{ ext{reg}})$. In particular, $\mathcal{W}_k(\mathfrak{sl}_4, f_{ ext {subreg}})$ is a simple current extension of the tensor product of $\mathcal{W}(\mathfrak{sl}_m, f_{ ext{reg}})$ with a rank one lattice vertex operator algebra, and hence is rational.

연구 동기 및 목표

• 특정 수준에서 $ \mathcal{W}^k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 와 그 히젠베르크 부분대수의 코셋이 유리적 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-대수와 동형임을 증명하는 오랫동안 남아있던 물리학적 추측을 해결하는 것.
• 이 수준들에서 $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 의 유리성과 $ C_2 $-비유한성을 단순 전류 확장 구조를 통해 확립하는 것.
• 코셋 $ \mathcal{C}_k $ 가 무작위로 강한 생성 집합을 형성하며, 무게 2에서 9까지의 장들로 생성된다는 것을 보여주는 것. 이는 유니버설 대수가 무게 $ m $ 까지 생성된다는 점과는 대조된다.
• 단순 몫에서 고차수 생성자를 분리시키는 데 기여하는 특이 벡터의 역할을 명확히 하는 것.

제안 방법

• 코셋 $ \mathcal{C}^k = \text{Com}(\mathcal{H}, \mathcal{W}^k(\mathfrak{sl}_4,f_{\text{subreg}})) $ 는 $ U(1) $-오르비폭조 구조 $ \mathcal{W}^k(\mathfrak{sl}_4,f_{\text{subreg}})^{U(1)} $ 를 통해 연구되며, 이는 $ \mathcal{C}^k \otimes \mathcal{H} $ 와 동형이다.
• 고전적 불변량 이론은 무게 1,2,3,… 에서의 무한한 강한 생성 집합을 제공하며, 무게 10부터 정규 순서 관계를 계산한다.
• OPE 계수의 다항식적 의존성 $ k $ 를 이용하여, 관계가 고차수 생성자를 제거하지 못하는 비일반적 값들(예: $ k = -2, -5/2, -8/3 $) 을 식별한다.
• OPE 대수는 $ V_L \otimes \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $ 와의 일치를 통해 재구성되며, 임의의 생성자 간 OPE를 유일하게 결정하기 위해 자코비 항등식을 사용한다.
• 주어진 수준 조건 하에서 후보 대수의 $ X_1, X_{n-1}, J, T, W $ 의 OPE가 $ \mathfrak{sl}_4 $ 의 하위정규 $ \mathcal{W} $-대수의 OPE와 일치함을 보여, 동형성을 증명한다.
• 유니버설 대수에서 무게 10의 특이 벡터가 단순 몫에서 고차수 생성자를 분리시키는 원인을 제공함으로써, $ \mathcal{C}_k $ 가 무게 2–9로 균일하게 강하게 생성됨을 유도한다.

실험 결과

연구 질문

• RQ1 특정 수준 $ k = -4 + (m+4)/3 $ 에서 코셋 $ \mathcal{C}_k = \text{Com}(\mathcal{H}, \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}})) $ 는 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-대수와 동형인가?
• RQ2 $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 는 랭크-1 격자 VOA와의 단순 전류 확장으로 표현될 수 있는가?
• RQ3 유니버설 대수가 $ \mathcal{W}(2,3,\dots,m) $ 형식으로 생성됨에도 불구하고, $ m \geq 9 $ 에서 코셋 $ \mathcal{C}_k $ 가 왜 항상 $ \mathcal{W}(2,3,4,5,6,7,8,9) $ 형식으로 균일하게 강하게 생성되는가?
• RQ4 유니버설 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-대수에서 특이 벡터가 단순 몫에서 고차수 생성자를 분리시키는 데 어떤 역할을 하는가?

주요 결과

• 특정 수준 $ k = -4 + (m+4)/3 $ 이며 $ m > 2 $, $ \gcd(m+1,3) = 1 $ 인 경우, 코셋 $ \mathcal{C}_k $ 는 유리적이고 정규적인 $ \mathcal{W} $-대수 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $ 와 동형이다.
• $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 는 랭크-1 격자 버텍스 연산자 대수 $ V_L $ 와의 단순 전류 확장으로 표현되며, 이는 $ V_L \otimes \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $ 와 동형이다.
• 모든 비일반적 $ k $ 에서 코셋 $ \mathcal{C}^k $ 는 형식 $ \mathcal{W}(2,3,4,5,6,7,8,9) $ 으로 표현되며, 이 강한 생성 집합은 주어진 수준에서 단순 몫 $ \mathcal{C}_k $ 에 내림내림된다.
• 코셋 $ \mathcal{C}_k $ 가 무게 2–9로 균일하게 잘리게 되는 것은, 유니버설 $ \mathcal{W}(\mathfrak{sl}_m,f_{\text{reg}}) $-대수에서 무게 10의 특이 벡터가 무게 10에서 $ m $ 까지의 생성자에 대한 분리 관계를 유도하기 때문이다.
• $ \mathcal{W}_k(\mathfrak{sl}_4,f_{\text{subreg}}) $ 의 OPE 대수는 히젠베르크 장 $ J $, 바이라소르 장 $ T $, 무게 3 장 $ W $, 그리고 $ U(1) $-전자 장 $ X_1, X_{n-1} $ 간의 자코비 항등식에 의해 유일하게 결정되며, 이는 동형성을 이끈다.
• 결과는 $ r = 4 $ 인 물리학적 추측 [B–H] 를 확인하며, 이러한 수준에서 하위정규 $ \mathcal{W} $-대수의 유리성을 $ \mathfrak{sl}_4 $ 로 확장한다.