[논문 리뷰] Cofiniteness conditions, projective covers and the logarithmic tensor product theory

Yi-Zhi Huang|ArXiv.org|2007. 12. 26.

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

한 줄 요약

이 논문은 $V$에 대한 grading-restricted generalized $V$-모듈의 범주에서 $C_1$-cofiniteness 조건과 $A_N(V)$의 유한차원성 조건 하에 기약 모듈에 대한 사영 코팅의 존재를 확립한다. 핵심 결과는 이 범주가 유한 아벨 범주가 되며, 추가로 $\mathbb{R}$-grading과 $C_1$-cofiniteness 조건이 만족될 경우 로그적 텐서곱 연산에 대해 닫혀 있으며 브레드 텐서 범주를 이룬다는 것이다.

ABSTRACT

We construct projective covers of irreducible V-modules in the category of grading-restricted generalized V-modules when V is a vertex operator algebra satisfying the following conditions: 1. V is C_{1}-cofinite in the sense of Li. 2. There exists a positive integer N such that the differences between the real parts of the lowest conformal weights of irreducible V-modules are bounded by N and such that the associative algebra A_{N}(V) is finite dimensional. This result shows that the category of grading-restricted generalized V-modules is a finite abelian category over C. Using the existence of projective covers, we prove that if such a vertex operator algebra V satisfies in addition Condition 3, that irreducible V-modules are R-graded and C_{1}-cofinite in the sense of the author, then the category of grading-restricted generalized V-modules is closed under P(z)-tensor product operations for z in C^{ imes}. We also prove that other conditions for applying the logarithmic tensor product theory developed by Lepowsky, Zhang and the author hold. Consequently, for such V, this category has a natural structure of braided tensor category. In particular, when $V$ is of positive energy and C_{2}-cofinite, Conditions 1--3 are satisfied and thus all the conclusions hold.

연구 동기 및 목표

• grading-restricted generalized $V$-모듈의 범주에서 기약 $V$-모듈에 대한 사영 코팅의 존재를 증명하는 것.
• $C_1$-cofiniteness와 $A_N(V)$의 유한차원성 조건 하에 이 범주가 $\mathbb{C}$ 위의 유한 아벨 범주가 되는 것을 보여주는 것.
• 저자 정의의 $\mathbb{R}$-grading과 $C_1$-cofiniteness 조건이 만족될 경우, 이 범주가 로그적 텐서곱 연산 $\otimes_{P(1)}^\prime$ 에 대해 닫혀 있음을 확립하는 것.
• 로그적 텐서곱 연산 구조를 갖춘 결과 범주가 브레드 텐서 범주가 되는 것을 보여주는 것.
• 로그적 텐서곱 이론의 프레임워크를 사영 코팅과 유한 아벨 구조를 포함하도록 확장하는 것.

제안 방법

• 정점 연산자 대수 $V$에 대해 Li의 $C_1$-cofiniteness 조건을 활용하여 모듈 범주 내의 유한성 성질을 보장한다.
• 일부 양의 정수 $N$에 대해 분할 대수 $A_N(V)$의 유한차원성을 적용하여 기약 모듈의 구조를 통제한다.
• grading-restricted generalized 모듈의 이론과 $V$의 표현 이론을 이용하여 사영 코팅을 구성한다.
• 특히 $\otimes_{P(1)}^\prime$ 연산을 포함한 [HLZ2]에서 개발된 로그적 텐서곱 이론을 활용하여 텐서 구조를 정의한다.
• 범주가 로그적 텐서곱 연산에 대해 닫혀 있음을 보장하기 위해 사영 코팅의 존재에 의존한다.
• [HLZ2]의 프레임워크를 이용하여 결합성, 브레딩, 단위 동형사상 등 브레드 텐서 범주의 공리가 만족됨을 검증한다.

실험 결과

연구 질문

• RQ1 grading-restricted generalized $V$-모듈의 범주가 기약 모듈에 대해 사영 코팅을 갖는 조건은 무엇인가?
• RQ2 grading-restricted generalized $V$-모듈의 범주가 $\mathbb{C}$ 위의 유한 아벨 범주가 되는 조건은 무엇인가?
• RQ3 로그적 텐서곱 연산 $\otimes_{P(1)}^\prime$ 에 대해 범주가 닫혀 있음을 보장하는 조건은 무엇인가?
• RQ4 저자가 정의한 $\mathbb{R}$-grading과 $C_1$-cofiniteness 조건은 텐서 범주 구조에 어떤 영향을 미치는가?
• RQ5 사영 코팅이 존재할 경우, 로그적 텐서곱 이론을 어떻게 확장하여 브레드 텐서 범주를 얻을 수 있는가?

주요 결과

• 모듈이 $C_1$-cofinite 이고 $A_N(V)$가 유한차원일 경우, grading-restricted generalized $V$-모듈의 범주에서 모든 기약 $V$-모듈에 대해 사영 코팅이 존재한다.
• 제시된 cofiniteness 및 유한성 조건 하에, grading-restricted generalized $V$-모듈의 범주는 $\mathbb{C}$ 위의 유한 아벨 범주가 된다.
• $V$-모듈이 $\mathbb{R}$-grading이며 저자 정의의 $C_1$-cofiniteness 조건을 만족할 경우, 이 범주는 로그적 텐서곱 $\otimes_{P(1)}^\prime$ 에 대해 닫혀 있다.
• 로그적 텐서곱 연산, 단위 대상 $V$, [HLZ2]에서 유도된 브레딩 및 결합성 동형사상과 함께 장비된 범주는 브레드 텐서 범주를 이룬다.
• 사영 코팅의 존재는 로그적 설정에서 브레드 텐서 범주의 전체적인 구조를 지원함을 보장한다.
• $A_N(V)$의 유한차원성과 $N$에 의해 제한된 최저 conformal weight의 차이가 유한성과 아벨 구조의 핵심 조건이다.