[논문 리뷰] C_1-cofiniteness and Fusion Products of Vertex Operator Algebras

Masahiko Miyamoto|arXiv (Cornell University)|2013. 05. 14.

Algebraic structures and combinatorial models참고 문헌 2인용 수 12

한 줄 요약

이 논문은 두 개의 $C_1$-cofinite $\mathbb{N}$-gradable 정점 연산자 대수 모듈러스의 융합 곱이 스스로 $C_1$-cofinite임을 증명하여, 이러한 모듈러스의 범주에서 융합 곱의 존재성 및 유한성 성질을 보장한다. $g(V)$-모듈러스를 통한 프로젝티브 극한 구조와 통합 연산자에 대한 미분방정식을 이용하여, 몫 $T/C_1(T)$ 의 차원이 모듈러스에만 의존하는 상수에 의해 유계임을 증명함으로써 융합 곱의 $C_1$-cofiniteness를 확보한다.

ABSTRACT

Let V be a vertex operator algebra. We prove that if U and W are C_1-cofinite {\mathbb N}-gradable V-modules, then a fusion product U\boxtimes W is well-defined and also a C_1-cofinite {\mathbb N}-gradable V-module, where the fusion product is defined by (logarithmic) intertwining operators. This is also true for C_2-cofinite {\mathbb N}-gradable modules.

연구 동기 및 목표

• 정점 연산자 대수(VOA) 표현 이론에서 존재하지 않는 융합 곱 문제를 해결하기 위해 $g(V)$-모듈러스를 기반으로 하는 새로운 프레임워크를 도입한다.
• 특히 $C_1$-cofiniteness를 핵심 기준으로 삼아 융합 곱의 존재성과 잘 정의된 성질을 확립한다.
• 두 개의 $C_1$-cofinite $\mathbb{N}$-gradable 모듈러스의 융합 곱이 여전히 $C_1$-cofinite임을 증명하여, 이 범주가 융합에 대해 닫혀 있음을 보장한다.
• $C_m$-cofiniteness에 대해 모든 $m \geq 1$ 에 대해 일반화하여, 몫 $T/C_m(T)$ 의 차원 성장이 유계임을 보인다.
• 유니버설 성질과 통합 연산자의 전개를 통해 융합 곱의 결합법칙을 증명하여 잘 정의된 텐서 범주 구조를 확립한다.

제안 방법

• $V$-모듈러스에 대한 $C_m$-cofiniteness를 정의한다. 이는 $C_m(U) = \text{Span}_{\mathbb{C}}\{v_{-m}u \mid \text{wt}(v) > 1 - m\}$ 의 부분공간이 $U$ 에서 유한차원임을 의미한다.
• 융합 곱 $U \boxtimes W$ 를 $V$-모듈러스의 프로젝티브 극한으로 구성한다. 이를 통해 $g(V)$-모듈러스로 간주함으로써 존재성을 보장한다.
• 제약된 쌍대공간 $T'$ 와 이중형식 $\langle \theta, \mathcal{Y}(u,z)w \rangle$ 을 사용하여, $\theta \in \text{Annih}(C_m(T)) \cap T'$ 인 통합 연산자를 분석한다.
• $F(\theta, p, q; z) = \langle \theta, \mathcal{Y}(p,z)q \rangle$ 가 계수들이 $\mathbb{C}[z, z^{-1}]$ 에 속하는 $F(\theta, p^i, q^j; z)$ 의 선형 조합임을 증명하며, 이는 $\theta$ 에 독립적임을 보인다.
• 무게에 대한 귀납법을 사용하여, $U$ 와 $W$ 에서의 전사 통합 연산자를 받는 임의의 모듈러스 $T$ 에 대해 $\dim T / C_m(T)$ 의 균일한 상계 $f_m(U,W)$ 를 확립한다.
• 통합 연산자의 유니버설 성질과 미분방정식의 해의 결합법칙을 활용하여, 결합법칙 동형사상 $U \boxtimes (W \boxtimes T) \cong (U \boxtimes W) \boxtimes T$ 를 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $\mathbb{N}$-gradable 모듈러스의 범주에서 $V$-모듈러스로서의 융합 곱 $U \boxtimes W$ 가 존재하는가?
• RQ2 $U$ 와 $W$ 의 $C_1$-cofiniteness 가 그 융합 곱 $U \boxtimes W$ 의 $C_1$-cofiniteness 를 보장하는가?
• RQ3 $U$ 와 $W$ 에서의 전사 통합 연산자를 받는 임의의 $\mathbb{N}$-gradable $V$-모듈러스 $T$ 에 대해 $\dim T / C_m(T)$ 에 대한 균일한 상계가 존재하는가?
• RQ4 통합 연산자의 구조와 그들이 만족하는 미분방정식의 해가 융합 곱의 결합법칙을 어떻게 보장하는가?
• RQ5 융합 곱의 구성은 형식적 멱급수(비로그형) 통합 연산자로 확장될 수 있으며, 이 경우 $C_1$-cofiniteness 가 유지되는가?

주요 결과

• 두 개의 $C_1$-cofinite $\mathbb{N}$-gradable $V$-모듈러스의 융합 곱 $U \boxtimes W$ 는 $V$-모듈러스로서 스스로 $C_1$-cofinite이다.
• 임의의 $\mathbb{N}$-gradable $V$-모듈러스 $T$ 가 $U$ 와 $W$ 에서의 전사 통합 연산자를 받는 경우, $\dim T / C_1(T)$ 는 오직 $U$ 와 $W$ 에만 의존하는 상수 $f_1(U,W)$ 에 의해 유계이다.
• $C_1$-cofinite $\mathbb{N}$-gradable 모듈러스의 범주에서, 결합법칙 동형사상 $U \boxtimes (W \boxtimes T) \cong (U \boxtimes W) \boxtimes T$ 가 성립하며, 이는 유니버설 성질에 의해 유도되는 표준 동형사상이다.
• $g(V)$-모듈러스 범주에서의 프로젝티브 극한을 통한 융합 곱의 구성은 존재성을 보장하며, $C_1$-cofiniteness 조건은 극한이 $V$-모듈러스임을 보장한다.
• 이 결과는 $C_m$-cofiniteness 로 일반화된다: $U$ 와 $W$ 가 $C_m$-cofiniteness 를 만족하면, $U \boxtimes W$ 도 $C_m$-cofiniteness 를 만족하며, $\dim T / C_m(T) < f_m(U,W)$ 이다.
• $\mathbb{N}$-gradable $C_1$-cofinite 모듈러스의 범주 $\mathcal{O}^{C_1}$ 는 융합에 대해 닫혀 있으며, 융합 곱은 결합법칙을 만족하여 텐서 범주의 공리들을 충족한다.