[논문 리뷰] The structure of Zhu's algebras for certain W-algebras

Dražen Adamović, Antun Milas|arXiv (Cornell University)|2010. 06. 26.

Algebraic structures and combinatorial models참고 문헌 16인용 수 8

한 줄 요약

이 논문은 특정 $χ$-대칭을 가진 $χ$-대수에 대해 주지된 내부 방법을 개발하여, 삼중체 버전 대체물 $χ(p)$와 $N=1$ 초삼중체 버전 대체물 $χΣ(m)$에 적용한다. 이를 통해 $χ(χ(p)) = χ(χ(p))$와 $χ_{σ}(χΣ(m)) = χ(χΣ(m))$임을 증명하며, 이는 기존의 추측을 해결하고 각각 $6p-1$과 $12m+8$의 차원 공식을 확립한다.

ABSTRACT

We introduce a new approach that allows us to determine the structure of Zhu's algebra for certain vertex operator (super)algebras which admit horizontal $\mathbb{Z} $-grading. By using this method and an earlier description of Zhu's algebra for the singlet W-algebra, we completely describe the structure of Zhu's algebra for the triplet vertex algebra W(p). As a consequence, we prove that Zhu's algebra A(W(p)) and the related Poisson algebra P(W(p)) have the same dimension. We also completely describe Zhu's algebras for the N=1 triplet vertex operator superalgebra SW(m). Moreover, we obtain similar results for the c=0 triplet vertex algebra W_{2,3} important in logarithmic conformal field theory. Because our approach is "internal" we had to employ several constant term identities for purposes of getting right upper bounds on dimension of Zhu's algebras.

연구 동기 및 목표

• 버전(초버전) 대체물에 대해 수평 $χ$-중복 구조를 가진 주지된 대체물 $A(V)$를 계산하기 위한 새로운 내부 방법을 개발한다.
• 삼중체 대체물 $χ(p)$와 $N=1$ 초삼중체 대체물 $χΣ(m)$에 대해 주지된 대체물과 파울슨 대체물 간의 차원 동치에 대한 열려 있는 추측을 해결한다.
• 이 방법을 $c=0$ 삼중체 대체물 $βχ_{2,3}$로 확장하고 $A(V)$와 $A_{σ}(V)$의 차원 공식을 확립한다.
• 주지된 대체물과 파울슨 대체물 간의 차원 동치, 즉 $χ(χ(p)) = χ(χ(p))$와 $χ_{σ}(χΣ(m)) = χ(χΣ(m))$임을 증명하여 이전 연구의 추측을 확인한다.
• 주지된 대체물 $A(χ(p))$의 중심을 $A(\overline{M(1)})$에서의 호모모르피즘을 통해 완전히 기술하고, 핵을 주요 이상으로 식별한다.

제안 방법

• 주어진 호모모르피즘 $\Phi: A(\overline{M(1)}) \to A(\u03c7(p))$를 사용하여 $A(\u03c7(p))$의 중심을 $A(\overline{M(1)}) / \ker(\Phi)$의 부분대수로 연구한다.
• $\ker(\Phi)$가 $A(\overline{M(1)})$에서 주요 이상임을 증명함으로써 몫 대체물의 차원 계산을 가능하게 한다.
• $A(\overline{M(1)}) / \ker(\Phi)$의 차원이 $4p - 1$임을 증명함으로써 $\dim A(\u03c7(p)) = 6p - 1$을 이끌어낸다.
• $N=1$ 초삼중체 버전 대체물 초연산자 대체물 $χΣ(m)$에 유사한 기법을 적용하여 $\dim A(\u03c7Σ(m)) = 6m + 1$과 $\dim A_{\sigma}(\u03c7Σ(m)) = 12m + 8$를 계산한다.
• 상수항 항등식과 제일버거의 알고리즘을 사용하여 차원을 제한하고 동치성을 확인하는 데 핵심이 되는 잔여 항등식을 유도하고 검증한다.
• $\mathcal{P}_0(V)$에서 $\operatorname{gr} A(V)$로의 전사 사상으로 오차를 분석하여, $χΣ(m)$의 경우 비자명한 핵이 있음을 보여준다.

실험 결과

연구 질문

• RQ1 모든 $p \geq 2$에 대해 $\dim A(\u03c7(p)) = \dim \mathcal{P}(\u03c7(p))$가 성립하는가?
• RQ2 삼중체 대체물 $\u03c7(p)$의 주지된 대체물의 구조는 단일 대체물 $\overline{M(1)}$에서의 내부 호모모르피즘을 통해 완전히 기술될 수 있는가?
• RQ3 $\Phi: A(\overline{M(1)}) \to A(\u03c7(p))$의 핵이 주요 이상인가?
• RQ4 모든 $m \in \mathbb{N}$에 대해 $A_{\sigma}(\u03c7Σ(m))$와 $\mathcal{P}(\u03c7Σ(m))$의 차원이 일치하는가?
• RQ5 $A(\u03c7Σ(m))$와 $A_{\sigma}(\u03c7Σ(m))$의 정확한 차원은 무엇이며, $\mathcal{P}_0(\u03c7Σ(m))$과의 관계는 어떠한가?

주요 결과

• 삼중체 대체물 $χ(p)$의 주지된 대체물의 차원은 $6p - 1$이며, 모든 $p \geq 2$에 대해 $\dim A(\u03c7(p)) = \dim \mathcal{P}(\u03c7(p))$이다.
• $\Phi: A(\overline{M(1)}) \to A(\u03c7(p))$의 핵은 주요 이상이며, $\dim(A(\overline{M(1)}) / \ker(\Phi)) = 4p - 1$이다.
• $N=1$ 초삼중체 버전 대체물 초연산자 대체물 $χΣ(m)$의 경우, 비틀림이 없는 주지된 대체물의 차원은 $6m + 1$이다.
• $σ$-틀림 주지된 대체물 $A_{\sigma}(\u03c7Σ(m))$의 차원은 $12m + 8$이며, $\dim A_{\sigma}(\u03c7Σ(m)) = \dim \mathcal{P}(\u03c7Σ(m))$를 만족한다.
• $\mathcal{P}_0(\u03c7Σ(m))$에서 $\operatorname{gr} A(\u03c7Σ(m))$로의 자연스러운 사상은 비자명한 핵을 가지며, 이는 $\dim A(\u03c7Σ(m)) < \dim \mathcal{P}_0(\u03c7Σ(m))$임을 의미한다.
• 이 방법은 $c=0$ 삼중체 대체물 $βχ_{2,3}$로도 성공적으로 확장되었으며, 상수항 항등식과 제일버거의 알고리즘을 통해 유사한 차원 결과를 확인하였다.