[논문 리뷰] Vertex Operator Algebras with Two Simple Modules - the Mathur-Mukhi-Sen Theorem Revisited

Geoffrey Mason, Kiyokazu Nagatomo외 1명|arXiv (Cornell University)|2018. 03. 29.

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

한 줄 요약

이 논문은 수학적으로 강한 정규성 조건을 만족하는 정점 연산자 대수(VOA)에서 정확히 두 개의 기약 모듈을 가지는 경우를 완전히 분류하였다. Mathur-Mukhi-Sen 정리의 엄밀한 재검토를 통해, VOA, 모듈라 선형미분방정식(MLDE), 가우스 초함수급수 간의 연결을 이용하여, 이러한 VOA는 네 종류의 레벨 1 아핀 카크-무르히 대수이거나 중심적 차수 $-22/5$에서의 양-레이 비라소로 최소모형임을 증명하였다. 이는 1980년대 초반 연구에서 오랫동안 남아 있던 애매함을 해결하였다.

ABSTRACT

Let $V$ be a strongly regular vertex operator algebra and let $\frak{ch}_V$ be the space spanned by the characters of the irreducible $V$-modules.\ It is known that $\frak{ch}_V$ is the space of solutions of a so-called \emph{modular linear differential equation (MLDE)}.\ In this paper we obtain a near-classification of those $V$ for which the corresponding MLDE is irreducible and monic of order $2$.\ As a consequence we derive the complete classification when $V$ has exactly two simple modules.\ It turns out that $V$ is either one of four affine Kac-Moody algebras of level $1$, or the Yang-Lee Virasoro model of central charge ${-}22/5$.\ Our proof establishes new connections between the characters of $V$ and Gauss hypergeometric series, and puts the finishing touches to work of Mathur, Mukhi and Sen who first considered this problem forty years ago.

연구 동기 및 목표

• Mathur, Mukhi, Sen 가 1980년대에 제안한 두 개의 주요 장이 있는 이중 차원 초대칭 양자장론의 완전하지 않은 분류를 해결하기 위해.
• 정확히 두 개의 기약 모듈을 가지는 강한 정규성 조건을 만족하는 VOA에 대한 수학적으로 엄밀한 분류를 제공하기 위해.
• 현대의 MLDE 이론과 초함수 함수 이론을 활용하여 원래의 Mathur-Mukhi-Sen 접근법에서 남아 있던 잔류 모순을 제거하기 위해.
• 기약적이고, 단위계수이며, 이阶 모듈라 선형미분방정식(MLDE)을 만족하는 VOA의 특성에 대한 완전한 기술을 수립하기 위해.
• 그러한 VOA의 유일한 예는 네 종류의 레벨 1 아핀 카크-무르히 대수와 중심적 차수 $c = -22/5$에서의 양-레이 비라소로 최소모형뿐임을 증명하기 위해.

제안 방법

• 강한 정규성 조건을 만족하는 VOA $V$의 특성 함수 공간 $\mathfrak{ch}_V$ 를 모듈라 선형미분방정식(MLDE)의 해로 분석하기 위해.
• MLDE와 가우스 초함수급수 간의 관계를 이용하여 특성 함수의 모듈라 성질을 기술하기 위해.
• S-행렬의 모듈라 불변성과 대칭 조건 $S_{ij} = S_{ji}$ 를 적용하여 후보 VOA를 배제하기 위해.
• 모듈라 브라운스키안과 주아의 정리를 이용하여 $\mathfrak{ch}_V$ 가 차수 $n = \dim \mathfrak{ch}_V$ 인 MLDE의 해공간임을 보여주기 위해.
• 리 대수의 분류와 중심적 차수 제약 조건을 이용하여 $c = 2/5, 38/5, -5, -6, -8, -10$ 인 경우의 허위 사례를 제거하기 위해.
• 최종적으로 $c = 1, 26/5, -22/5$ 인 경우만 일관되게 성립하며, 이에 대응하는 $V_1$-대수 또는 자명한 $V_1$ 를 확인하기 위해.

실험 결과

연구 질문

• RQ1 정확히 두 개의 기약 모듈을 가지는 강한 정규성 조건을 만족하는 VOA는 무엇이며, 그 완전한 분류는 어떻게 이루어지는가?
• RQ2 원래의 Mathur-Mukhi-Sen 이 이중 주요 장을 가진 CFT를 분류한 방식을 완전한 수학적 엄밀성으로 보완할 수 있는가?
• RQ3 가우스 초함수급수는 기약적이고, 단위계수이며, 이계 모듈라 선형미분방정식(MLDE)을 만족하는 VOA의 특성과 어떻게 관련되어 있는가?
• RQ4 모듈라 불변성과 $S$-행렬의 대칭성은 두 개의 모듈을 가진 후보 VOA에 어떤 제약을 가하는가?
• RQ5 왜 $c = -6, -8, -10$ 과 같은 중심적 차수들은 MLDE를 만족함에도 불구하고 이러한 VOA를 지지하지 못하는가?

주요 결과

• 정확히 두 개의 기약 모듈을 가지는 유일한 강한 정규성 조건을 만족하는 VOA는 $A_1, A_2, G_2, F_4$ 유형의 네 종류의 레벨 1 아핀 카크-무르히 대수뿐이다.
• 비아핀 예외는 중심적 차수 $c = -22/5$에서의 양-레이 비라소로 최소모형뿐이며, 이 경우 $V_1$ 은 자명하고 $\tilde{c} = 2/5$ 이다.
• 이 VOA의 특성 함수는 가우스 초함수급수와 $\Delta_3(\tau)$, $I_3(\tau)$ 와 같은 모듈라 형식으로 완전히 기술된다.
• $c = -6, -8, -10$ 인 경우는 비대칭적인 $S$-행렬로 인해 특성 함수의 모듈라 불변성이 위반되어 배제된다.
• $c = 2/5, 38/5, -5$ 도 리 대수의 차원과 랭크 제약 조건을 통해 모순을 드러내어 분류 과정에서 제거된다.
• 증명 과정은 두 개의 모듈을 가지는 VOA와 기약적이고, 단위계수이며, 이계 MLDE의 해 사이에 완전하고 엄밀한 대응 관계를 확립한다.