[논문 리뷰] Regularity of rational vertex operator algebras

Chongying Dong, Haisheng Li외 1명|ArXiv.org|1995. 08. 24.

Algebraic structures and combinatorial models참고 문헌 5인용 수 4

한 줄 요약

이 논문은 유리 정점 연산자 대수(VOA)가 정규적임을 보장하는 충분조건을 수립한다. 즉, 모든 약한 모듈러가 기약 일반 모듈러의 직합으로 분해된다는 뜻이다. 이는 몬스터 모듈러 $V^\natural$, 아핀 $\\-widehat{\mathfrak{g}}$-모듈러 $L(l,0)$, 바이라소로 이산계열 $L(c_{p,q},0)$, 격자 정점 대수 $V_L$와 같은 핵심 예시들에 대해 정규성을 증명하며, 비양의성인 격자에 대해서도 완전한 기약 분해 성질을 확장한다.

ABSTRACT

A regular vertex operator algebra is a vertex operator algebra such that any weak module (without grading) is a direct sum of ordinary irreducible modules. In this paper we give several sufficient conditions under which a rational vertex operator algebra is regular. We prove that the moonshine module vertex operator algebra $V^{ atural},$ the vertex operator algebras $L(l,0)$ associated with the integrable representations of affine algebras of level $l,$ the vertex operator algebras $L(c_{p,q},0)$ associated with irreducible highest weight representations for the discrete series of the Virasoro algebra and the vertex operator algebras $V_L$ associated with positive definite even lattices $L$ are regular. Our result for $L(l,0)$ implies that any restricted integrable module of level $l$ for the corresponding affine Lie algebra is a direct sum of irreducible highest weight integrable modules. The space $V_L$ in general is a vertex algebra if $L$ is not positive definite. In this case we establish the complete reducibility of any weak module.

연구 동기 및 목표

• 유리 정점 연산자 대수가 정규적임을 보장하는 충분조건을 수립하기 위해.
• 유리 VOA 위의 약한 모듈러가 기약 일반 모듈러의 직합으로 분해됨을 증명하기 위해.
• 비양의성인 짝수 격자에 관련된 정점 대수에 대해 완전한 기약 분해 성질을 확장하기 위해.
• 레벨 $l$인 아핀 리 대수에 대한 제한적이고 통합 가능한 모듈러가 기약 최고 가중치 모듈러의 직합임을 보여주기 위해.

제안 방법

• 정점 연산자 대수의 표현 이론과 약한 모듈러의 성질을 활용한다.
• 아핀 리 대수의 통합 모듈러 이론을 적용하여 $L(l,0)$ VOA를 분석한다.
• 바이라소로 대수 표현의 구조를 활용하여 $L(c_{p,q},0)$ VOA를 연구한다.
• 짝수 격자 $L$에 대한 격자 정점 대수 $V_L$를 분석하며, 비양의성인 경우도 포함한다.
• 정규성의 정의를 사용한다: 모든 약한 모듈러가 기약 일반 모듈러의 직합이다.
• 양자 대수학과 정점 대수 이론의 결과를 응용하여 다양한 VOA에서 정규성을 검증한다.

실험 결과

연구 질문

• RQ1 유리 정점 연산자 대수가 정규적일 조건은 무엇인가?
• RQ2 레벨 $l$인 아핀 리 대수에 관련된 $L(l,0)$ 정점 연산자 대수에서 약한 모듈러의 완전한 기약 분해가 성립하는가?
• RQ3 몬스터 모듈러 $V^\natural$은 정규적이고, 약한 모듈러의 직합 분해 성질을 만족하는가?
• RQ4 격자가 양의 정부호가 아닐 경우 정점 대수 $V_L$의 정규성 성질이 유지되는가?
• RQ5 레벨 $l$인 아핀 리 대수에 대한 제한적이고 통합 가능한 모듈러는 기약 최고 가중치 모듈러의 직합으로 완전히 기약 분해되는가?

주요 결과

• 몬스터 모듈러 정점 대수 $V^\natural$는 정규적이다. 즉, 모든 약한 모듈러가 기약 일반 모듈러의 직합으로 분해된다.
• 레벨 $l$인 아핀 리 대수의 통합 표현에 관련된 정점 연산자 대수 $L(l,0)$는 정규적이다.
• 바이라소로 대수의 이산계열에 해당하는 정점 연산자 대수 $L(c_{p,q},0)$는 정규적이다.
• 격자 $L$이 양의 정부호가 아니더라도 격자 정점 대수 $V_L$는 정규적이다. 이는 모든 약한 모듈러의 완전한 기약 분해를 보장한다.
• $L(l,0)$의 정규성은 해당 아핀 리 대수에 대한 임의의 제한적이고 통합 가능한 모듈러가 기약 최고 가중치 통합 모듈러의 직합임을 의미한다.