[논문 리뷰] Compact automorphism groups of vertex operator algebras

Chongying Dong, Haisheng Li외 1명|ArXiv.org|1996. 08. 13.

Algebraic structures and combinatorial models참고 문헌 9인용 수 18

한 줄 요약

이 논문은 컴act 리 군의 작용과 고정점에 대한 정점 연산자 대수 사이에 슈어-베일 유형의 대칭성을 확립하며, 단순 정점 연산자 대수 $V$가 $V = \bigoplus_{\lambda} W_\lambda \otimes V_\lambda$로 분해됨을 보여준다. 여기서 $W_\lambda$는 $G$-모듈이며 $V_\lambda$는 $V^G$-모듈이다. 또한 $G$의 닫힌 부분군과 $V^G$를 포함하는 정점 연산자 부분대수 사이의 갈루아 대응을 증명하여, 컴 pact 아벨 리 군의 경우까지 결과를 확장한다.

ABSTRACT

Let $V$ be a simple vertex operator algebra which admits the continuous, faithful action of a compact Lie group $G$ of automorphisms. We establish a Schur-Weyl type duality between the unitary, irreducible modules for $G$ and the irreducible modules for $V^G$ which are contained in $V$ where $V^G$ is the space of $G$-invariants of $V.$ We also prove a concomitant Galois correspondence between vertex operator subalgebras of $V$ which contain $V^G$ and closed Lie subgroups of $G$ in the case that $G$ is abelian.

연구 동기 및 목표

• 단순 정점 연산자 대수 $V$에 대한 컴 pact 리 군 $G$의 연속 작용과 고정점 부분대수 $V^G$ 사이의 슈어-베일 유형의 대칭성을 수립하는 것.
• 닫힌 $G$의 부분군과 $V^G$를 포함하는 $V$의 정점 연산자 부분대수 사이의 갈루아 대응을 컴 pact 아벨 리 군의 경우로 확장하는 것.
• 이전의 유한 가해군 결과를 연속 컴 pact 군 작용, 특히 유도자에 의한 무한소 경우까지 일반화하는 것.
• $V^G$가 단순 정점 연산자 대수임을 증명하고, 서로 다른 $\lambda$에 대해 불일치하는 $V_\lambda$가 각각 $V^G$-모듈로서 비자명임을 보이는 것.

제안 방법

• 정점 연산자 대수의 구조를 포함하는 유도자 $D = \frac{d}{dt} \otimes 1 + 1 \otimes L(-1)$를 사용하여 $V$에서 ${\mathbb{Z}}$-gradation된 리 대수 $\hat{V}$를 구성한다.
• 컴 pact 리 군의 표현 이론을 활용하여 $V$를 $G$-모듈 $W_\lambda$와 $V^G$-모듈 $V_\lambda$의 직합으로 분해함으로써, $V = \bigoplus_{\lambda} W_\lambda \otimes V_\lambda$의 대칭성을 확립한다.
• 유한 차원 설정에서 정점 연산자 대수에 적응된 하우의 대칭 아이디어를 적용하여 슈어-베일 대칭성을 증명한다.
• 정점 연산자 대수의 유도자를 $[D, Y(u,z)] = Y(Du,z)$를 만족하는 차수를 유지하는 선형 변환으로 정의하고, 이 리 대수가 $V$에 작용하며 최고 무게 모듈을 형성함을 보인다.
• 유도자에 의한 단순 리 대수의 최고 무게 벡터 공간 $V_\lambda$가 $V^{{\mathfrak{g}}}$-모듈로서 불가약하다는 것을 증명하고, 이는 무한소 대칭성 정리로 이어진다.
• 컴 pact 아벨 리 군 $G \cong A \times T^n$의 구조와 폰트리아진 대칭을 활용하여, 닫힌 부분군과 $V^G$를 포함하는 부분대수 $V^H$ 사이의 일대일 대응을 보인다.

실험 결과

연구 질문

• RQ1 컴 pact 리 군 $G$의 단순 정점 연산자 대수 $V$에 대한 작용이 $G$-모듈과 $V^G$-모듈 사이의 대칭성을 어떻게 유도하는가?
• RQ2 닫힌 리 부분군 $H$와 $V^G$를 포함하는 $V$의 정점 연산자 부분대수 사이에 갈루아 대응을 설정할 수 있는가?
• RQ3 연속 컴 pact 군 작용 하에서 고정점 대수 $V^G$의 구조는 어떻게 되며, 그것이 단순한 정점 연산자 대수인지 여부는 무엇인가?
• RQ4 $G$가 $V$의 유도자에 대한 단순 리 대수로 대체될 경우, 무한소 형태의 대칭성은 어떻게 행동하는가?
• RQ5 $V = \bigoplus_{\lambda} W_\lambda \otimes V_\lambda$의 분해가 비가해군인 컴 pact 군에 대해서도 성립하는가? 그리고 양자 갈루아 이론에 어떤 함의를 갖는가?

주요 결과

• $V = \bigoplus_{\lambda \in I} W_\lambda \otimes V_\lambda$의 분해는 컴 pact 리 군 $G$가 단순 정점 연산자 대수 $V$에 연속적으로 작용할 경우 항상 성립하며, 여기서 $W_\lambda$는 $G$-모듈이고 $V_\lambda$는 $V^G$-모듈이다.
• $\lambda$가 서로 다를 경우 $V_\lambda$는 $V^G$-모듈로서 상호 불일치하며, 각 $V_\lambda$는 비자명한 불가약한 $V^G$-모듈이다.
• $V^G$는 고정점 부분대수로서 자명한 $G$-모듈 $W_1$에 대응하므로 단순 정점 연산자 대수이다.
• 유도자에 의한 단순 리 대수 $\mathfrak{g}$에 대해 최고 무게 벡터의 공간 $V_\lambda$는 불가약한 $V^\mathfrak{g}$-모듈을 형성하며, $V = \bigoplus_{\lambda \in P} L(\lambda) \otimes V_\lambda$로 표현된다.
• 갈루아 대응이 성립한다: $G$의 닫힌 리 부분군 $H$와 $V^G$를 포함하는 $V$의 정점 연산자 부분대수 사이에 일대일 대응이 존재하며, 이는 $H \mapsto V^H$로 주어진다.
• $G = S^1$의 경우, $V^{S^1}$을 포함하는 $V$의 정점 연산자 부분대수들은 정확히 $S^1$의 유한 순환 부분군 $F$에 대해 $V^F$의 형태를 띈다. 이는 '닫힘=유한' 위상의 예시를 보여준다.