[논문 리뷰] Regular representations of vertex operator algebras, I

Haisheng Li|ArXiv.org|1999. 08. 19.

Algebraic structures and combinatorial models참고 문헌 22인용 수 3

한 줄 요약

이 논문은 정점 연산자 대수 $V$의 모듈 $W$와 복소수 $z$로부터 $V \otimes V$-모듈 ${\cal{D}}_{P(z)}(W)$를 정규화하여, 타입 ${W' \choose W_1 W_2}$의 상호작용 연산자들과 $V \otimes V$-준동형사상들 사이의 일대일 대응을 수립한다. 주요 기여는 $W = V$일 때 정규 표현 ${\cal{D}}_{P(z)}(V)$에 대한 Peter-Weyl 유형의 분해를 제공함으로써, VOAs에서의 상호작용 연산자에 대한 구조적 프레임워크를 확립하는 것이다.

ABSTRACT

In this paper, given a module $W$ for a vertex operator algebra $V$ and a nonzero complex number $z$ we construct a canonical (weak) $V\otimes V$-module ${\cal{D}}_{P(z)}(W)$ (a subspace of $W^{*}$ depending on $z$). We prove that for $V$-modules $W, W_{1}$ and $W_{2}$, a $P(z)$-intertwining map of type ${W'\choose W_{1}W_{2}}$ ([H3], [HL0-3]) exactly amounts to a $V\otimes V$-homomorphism from $W_{1}\otimes W_{2}$ into ${\cal{D}}_{P(z)}(W)$. Using Huang and Lepowsky's one-to-one linear correspondence between the space of intertwining operators and the space of $P(z)$-intertwining maps of the same type we obtain a canonical linear isomorphism from the space ${\cal{V}}^{W'}_{W_{1}W_{2}}$ of intertwining operators of the indicated type to $\Hom_{V\otimes V}(W_{1}\otimes W_{2},{\cal{D}}_{P(z)}(W))$. In the case that $W=V$, we obtain a decomposition of Peter-Weyl type for ${\cal{D}}_{P(z)}(V)$, which are what we call the regular representations of $V$.

연구 동기 및 목표

• $V$-모듈과 복소수 매개변수 $z$로부터 $V \otimes V$-모듈을 체계적으로 구성하는 것.
• 상호작용 연산자와 $V \otimes V$-준동형사상 사이의 범주론적 프레임워크를 제공하는 것.
• $P(z)$-채널 구성 방식을 활용하여 상호작용 연산자의 이론을 일반화하는 것.
• $W = V$일 때 정규 표현 ${\cal{D}}_{P(z)}(V)$에 대한 Peter-Weyl 유형의 분해를 도출하는 것.

제안 방법

• $z \in \mathbb{C}^\times$에 따라 매개변수화된 $W^*$의 부분공간으로서 모듈 ${\cal{D}}_{P(z)}(W)$를 정의한다.
• Huang와 Lepowsky의 상호작용 연산자와 $P(z)$-상호작용 맵 사이의 선형 대응을 사용하여, 연산자 공간과 준동형사상 공간을 연결한다.
• $W_1 \otimes W_2$에서 ${\cal{D}}_{P(z)}(W)$로의 $V \otimes V$-준동형사상 공간 $\Hom_{V \otimes V}(W_1 \otimes W_2, {\cal{D}}_{P(z)}(W))$로의 체계적 선형 동형사상을 구성한다.
• $P(z)$-상호작용 맵의 타입 ${W' \choose W_1 W_2}$가 정확히 ${\cal{D}}_{P(z)}(W)$로의 $V \otimes V$-준동형사상들과 일대일 대응됨을 증명한다.
• ${\cal{D}}_{P(z)}(V)$를 $V$의 정규 표현으로서의 구조를 분석하여, Peter-Weyl 이론과 유사한 분해를 이끌어낸다.
• $W = V$의 경우를 적용하여 정규 표현을 기약 성분들로의 분해를 얻는다.

실험 결과

연구 질문

• RQ1 $V$-모듈과 복소수 매개변수 $z$로부터 $V \otimes V$-모듈을 어떻게 체계적으로 구성할 수 있는가?
• RQ2 $P(z)$-상호작용 맵과 $V \otimes V$-준동형사상 사이의 정확한 관계는 무엇인가?
• RQ3 상호작용 연산자 공간이 $V \otimes V$-모듈 준동형사상 공간과 체계적으로 일치할 수 있는가?
• RQ4 정규 표현 ${\cal{D}}_{P(z)}(V)$에서 어떤 구조적 분해가 발생하는가?
• RQ5 이 구성은 $V$의 정규 표현에 대해 Peter-Weyl 유형의 분해를 도출하는가?

주요 결과

• 모든 $V$-모듈 $W$와 $z \in \mathbb{C}^\times$에 대해 $W^*$의 부분공간으로서 정규화된 약한 $V \otimes V$-모듈 ${\cal{D}}_{P(z)}(W)$가 구성된다.
• ${W' \choose W_1 W_2}$ 타입의 상호작용 연산자 공간과 $W_1 \otimes W_2$에서 ${\cal{D}}_{P(z)}(W)$로의 $V \otimes V$-모듈 준동형사상 공간 사이에 체계적 선형 동형사상이 존재한다.
• 이 구성은 ${W' \choose W_1 W_2}$ 타입의 $P(z)$-상호작용 맵과 ${\cal{D}}_{P(z)}(W)$로의 $V \otimes V$-준동형사상 사이의 일대일 대응을 수립한다.
• $W = V$일 때, 모듈 ${\cal{D}}_{P(z)}(V)$는 Peter-Weyl 유형의 분해를 갖는다. 이는 $V$의 정규 표현으로서 식별된다.
• 이 이론은 $V \otimes V$-모듈에서 표현론적 준동형사상들을 통한 상호작용 연산자의 분류를 위한 통합적 프레임워크를 제공한다.
• 결과들은 상호작용 연산자의 구조를 모듈 이론적 구성 방식을 통해 일반화하고 체계화한다.