[논문 리뷰] Uniform product of A_{g,n}(V) for an orbifold model V and G-twisted Zhu algebra

Masahiko Miyamoto, K. TANABE|ArXiv.org|2001. 12. 06.

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

한 줄 요약

이 논문은 유한 자동형군 $G$ 를 가진 정점 연산자 대수 $V$ 에 대해 통합된 $G$--twisted Zhu 대수 $A_{G,n}(V)$ 를 도입하며, $g$-twisted Zhu 대수 $A_{g,n}(V)$ 가 $g$ 의 고유공간에 의존하는 문제를 해결한다. 모든 $g \in G$ 에 대해 일관되게 $A_{g,n}(V)$ 로 감소하는 $V$ 상에서의 통일된 곱 $*_{n}$ 을 구성함으로써, 저자들은 $V^G$ 와 유한 차원 반단순 대수 ${\cal A}_\alpha(G,{\cal S})$ 사이의 Schur-Weyl 유형의 쌍대성 정리를 증명하며, 모든 기약 $g$-twisted $V$-모듈이 $V^G$-모듈로서 완전 가역적임을 보인다.

ABSTRACT

Let V be a vertex operator algebra and G a finite automorphism group of V. For each g\in G and nonnegative rational number n\in {\mathbb Z}/|g|, a g-twisted Zhu algebra A_{g,n}(V) plays an important role in the theory of vertex operator algebras, but the given product in A_{g,n}(V) depends on the eigenspaces of g. We show that there is a uniform definition of products on V and we introduce a G-twisted Zhu algebra A_{G,n}(V) which covers all g-twisted Zhu algebras. Assume that V is simple and let {\cal S} be a finite set of inequivalent irreducible twisted V-modules which is closed under the action of G. There is a finite dimensional semisimple associative algebra {\cal A}_α(G,{\cal S}) for a suitable 2-cocycle naturally determined by the G-action on {\cal S}. We show that a duality theorem of Schur-Weyl type holds for the actions of {\cal A}_α(G,{\cal S}) and V^G on the direct sum of twisted V-modules in {\cal S} as an application of the theory of A_{G,n}(V). It follows as a natural consequence of the result that for any g\in G every irreducible g-twisted V-module is a completely reducible V^G-module.

연구 동기 및 목표

• 정점 연산자 대수 $V$ 에 대해 $g$-twisted Zhu 대수 $A_{g,n}(V)$ 가 $g$ 의 고유공간에 의존하는 문제를 해결하기 위해, $g$ 의 고유공간 분해에 영향을 받지 않는 통일된 곱 $*_{n}$ 을 $V$ 에 정의함으로써.
• 모든 $g \in G$ 에 대해 $A_{g,n}(V)$ 를 통합하는 $G$-twisted Zhu 대수 $A_{G,n}(V) = V / \bigcap_{g \in G} O_{g,n}(V)$ 를 구성함으로써.
• 고정점 대수 $V^G$ 와 $G$-안정인 기약 twisted $V$-모듈의 집합 ${\cal S}$ 과 관련된 유한 차원 반단순 대수 ${\cal A}_\alpha(G,{\cal S})$ 사이의 Schur-Weyl 유형의 쌍대성 정리를 수립함으로써.
• 모든 기약 $g$-twisted $V$-모듈이 $V^G$-모듈로서 완전 가역적임을 증명함으로써, 기존 중심에 속하는 $g$ 에서의 결과를 임의의 $g \in G$ 로 일반화함으로써.

제안 방법

• 정점 연산자 $Y(u,z)v$ 를 포함하는 잔여 구조를 사용하여, $u$ 와 $v$ 의 차수에만 의존하는 계수를 가지는 통일된 곱 $u *_{n} v$ 를 $V$ 상에서 정의함.
• $G$-twisted Zhu 대수 $(A_{G,n}(V), *_{n})$ 를 $V / \bigcap_{g \in G} O_{g,n}(V)$ 로 정의하며, $V$ 가 단순할 경우 $A_{G,n}(V)$ 가 $\bigoplus_{g \in G} A_{g,n}(V)$ 와 동형임을 보임.
• $G$-안정인 기약 twisted $V$-모듈의 집합 ${\cal S}$ 에 대한 $G$-작용에서 자연히 유도되는 2-코호몰로지 $\alpha$ 를 사용하여, $\mathbb{C}$ 상에서의 유한 차원 반단순 결합 대수 ${\cal A}_\alpha(G,{\cal S})$ 를 구성함.
• $A_{G,n}(V)$ 의 이론을 사용하여 $V^G$ 와 ${\cal A}_\alpha(G,{\cal S})$ 가 직접합 $\mathcal{M} = \bigoplus_{M \in \mathcal{S}} M$ 에 작용하는 방식을 분석함으로써, Schur-Weyl 쌍대성 분해 $\mathcal{M} \cong \bigoplus_{j,\lambda} W^j_\lambda \otimes M^j_\lambda$ 를 수립함.
• 부록에 있는 이항계수 행렬 $A$ 의 비특이성을 보이기 위해, 차수의 차이와 변수의 거듭제곱의 곱으로 분해하여 조합적 항등식을 사용하여 행렬의 행렬식을 계산함.
• 행렬 $A$ 의 비특이성 을 적용하여 Schur-Weyl 쌍대성의 타당성과 분해에서의 $V^G$-모듈의 기약성을 보장함.

실험 결과

연구 질문

• RQ1 정점 연산자 대수 $V$ 에서 $g$ 의 고유공간 분해에 영향을 받지 않는 통일된 곱 $*_{n}$ 을 정의할 수 있는가? 이 곱의 영상이 각 $A_{g,n}(V)$ 에서 표준적인 $g$-twisted 곱을 회복하는가?
• RQ2 모든 $g$-twisted Zhu 대수 $A_{g,n}(V)$ 를 하나의 대수적 구조로 통합하는 $G$-twisted Zhu 대수 $A_{G,n}(V)$ 의 구성이 가능한가?
• RQ3 고정점 대수 $V^G$ 와 $G$-안정인 기약 twisted $V$-모듈의 직접합에 작용하는 유한 차원 반단순 대수 ${\cal A}_\alpha(G,{\cal S})$ 사이에 Schur-Weyl 쌍대성이 존재하는가?
• RQ4 이 쌍대성이 모든 기약 $g$-twisted $V$-모듈이 $V^G$-모듈로서 완전 가역적임을 의미하는가? 특히 $g$ 가 $G$ 의 중심에 있지 않은 경우에도 성립하는가?
• RQ5 쌍대성 증명에 사용된 일반화된 이항계수 행렬의 행렬식은 무엇이며, 그 비특이성은 주요 결과를 뒷받침하는 데 어떻게 기여하는가?

주요 결과

• $V$ 가 단순할 경우 $G$-twisted Zhu 대수 $A_{G,n}(V)$ 는 대수적으로 $\bigoplus_{g \in G} A_{g,n}(V)$ 와 동형임을 보여, 통합된 곱의 구성이 일관됨을 확인한다.
• $V$ 상의 통일된 곱 $*_{n}$ 은 $\phi_n(u *_{n} v) = (u *_{g,n} v + O_{g,n}(V))_{g \in G}$ 를 만족하며, 여기서 $\phi_n: V \to \bigoplus_{g \in G} A_{g,n}(V)$ 는 대수적 준동형사상이다.
• $G$-안정인 기약 twisted $V$-모듈의 직접합 $\mathcal{M} = \bigoplus_{M \in \mathcal{S}} M$ 는 $\mathcal{M} \cong \bigoplus_{j,\lambda} W^j_\lambda \otimes M^j_\lambda$ 로 분해되며, 여기서 $W^j_\lambda$ 는 ${\cal A}_\alpha(G,{\cal S})$ 의 단순 모듈이고 $M^j_\lambda$ 는 기약 $V^G$-모듈이다.
• $V^G$-모듈 $M^j_\lambda$ 는 서로 다른 $(j,\lambda)$ 에 대해 서로 이sovolumetric이 아니며, 각각의 $M^j_\lambda$ 는 단순 ${\cal A}_\alpha(G,{\cal S})$-모듈의 다중도 공간이다.
• $1 \leq i \leq t$, $0 \leq k \leq b-1$ 에 대해 이항계수 $\binom{x_i}{a+k}$ 를 성분으로 가지는 행렬 $A$ 는 비특이적이며, 그 행렬식은 차수의 차이와 변수의 거듭제곱을 포함하는 유리함수로 주어진다.
• $A$ 의 비특이성은 Schur-Weyl 쌍대성 분해의 타당성을 보장하며, 모든 기약 $g$-twisted $V$-모듈이 $V^G$-모듈로서 완전 가역적임을 증명하는 데 기초가 된다.