[논문 리뷰] Differential equations, duality and modular invariance

Yi-Zhi Huang|ArXiv.org|2003. 03. 05.

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

한 줄 요약

이 논문은 $C_2$-cofiniteness, 완전 가역성, 그리고 그레이딩 조건을 만족하는 정점 연산자 대수에서, 계수 0 데이터로부터 계수 1의 편재성(correlation functions)을 구성하는 새로운 방법을 수립한다. $q$-트레이스가 정칙 특이점을 가진 모듈러 불변 미분방정식을 만족함을 증명함으로써, 교환자 공식에 의존하지 않고 처음으로 완전한 모듈러 불변성과 이중성(duality)을 확보한다.

ABSTRACT

We solve the problem of constructing all chiral genus-one correlation functions from chiral genus-zero correlation functions associated to a vertex operator algebra satisfying the following conditions: (i) the weight of any nonzero homogeneous elements of V is nonnegative and the weight zero subspace is one-dimensional, (ii) every N-gradable weak V-module is completely reducible and (iii) V is C_2-cofinite. We establish the fundamental properties of these functions, including suitably formulated commutativity, associativity and modular invariance. The method we develop and use here is completely different from the one previously used by Zhu and other people. In particular, we show that the $q$-traces of products of certain geometrically-modified intertwining operators satisfy modular invariant systems of differential equations which, for any fixed modular parameter, reduce to doubly-periodic systems with only regular singular points. Together with the results obtained by the author in the genus-zero case, the results of the present paper solves essentially the problem of constructing chiral genus-one weakly conformal field theories from the representations of a vertex operator algebra satisfying the conditions above.

연구 동기 및 목표

• 정점 연산자 대수에서 계수 0 데이터로부터 계수 1의 편재성 함수를 구성하는 오랜 문제를 해결하는 것.
• 자연스러운 대수적 조건 하에서 이러한 편재성 함수에 대해 모듈러 불변성, 결합법칙, 교환법칙을 확립하는 것.
• Zhu의 교환자 기반 접근법에 의존하지 않는 새로운 방법을 제시하여 일반적인 상호작용 연산자에 적용 가능하게 하는 것.
• $q$-트레이스가 기하적으로 수정된 상호작용 연산자의 곱에 대해 모듈러 불변 미분방정식계를 만족함을 증명하는 것.
• 모듈의 레이저 텐서 범주에 대한 Verlinde 추측과 강성의 증명을 위한 기초를 마련하는 것.

제안 방법

• 모듈러 매개변수 의존성을 포함시키기 위해 기하적으로 수정된 상호작용 연산자를 도입한다.
• 이러한 연산자의 곱의 $q$-트레이스에 대해 이중 주기적 계수를 가진 미분방정식계 (3.5)–(3.6)를 유도한다.
• 계수 1의 결합법칙(정리 4.3)을 활용하여 서로 다른 점에서의 편재성 함수를 연결함으로써 귀납적 구성이 가능하도록 한다.
• 연산자의 수에 대한 귀납법을 적용하여 수렴성과 해 공간 $\mathcal{F}_{w_1,\dots,w_{n+1}}$ 내의 속성을 증명한다.
• 고정된 $q = q_\tau$에 대해 특이점의 정칙성을 활용하여 잘 정의된 해를 보장한다.
• 해가 구멍이 있는 계수 1 곡선의 매개변수 공간 위의 평탄한 접속을 가진 벡터 다발의 전역 섹션과 대응됨을 확립한다.

실험 결과

연구 질문

• RQ1 교환자 공식에 의존하지 않고 계수 0 데이터로부터 계수 1의 편재성 함수를 구성할 수 있는가?
• RQ2 기하적으로 수정된 상호작용 연산자의 곱의 $q$-트레이스는 모듈러 불변 미분방정식을 만족하는가?
• RQ3 이러한 미분방정식계의 해 공간은 계수 1의 결합법칙과 이중성에 대해 닫혀 있는가?
• RQ4 $C_2$-cofiniteness와 완전 가역성 조건 하에서 일반적인 편재성 함수에 대해 모듈러 불변성을 증명할 수 있는가?
• RQ5 이 미분계의 해 공간은 매개변수 공간에 대한 기하학적 해석은 무엇인가?

주요 결과

• 기하적으로 수정된 상호작용 연산자의 곱의 $q$-트레이스는 오직 정칙 특이점을 가지는 모듈러 불변 미분방정식계를 만족한다.
• 모든 고정된 $q = q_\tau$에 대해, 이 방정식계는 정칙 특이점을 가진 이중 주기적 시스템으로 줄어들며, 수렴성과 해석성을 보장한다.
• 계수 1의 결합법칙 관계(정리 4.3)를 이용하여 귀납적으로 편재성 함수가 해 공간 $\mathcal{F}_{w_1,\dots,w_{n+1}}$에 속한다는 것을 증명한다.
• 제시된 조건 하에서 모든 편재성 함수에 대해 모듈러 불변성이 확립되며, Zhu의 결과를 일반화한다.
• 이 미분계의 해 공간은 구멍이 있는 계수 1 리만 곡면의 매개변수 공간 위의 (다중값 함수인) 전역 섹션의 공간과 일치한다.
• 이 방법은 교환자 공식이 필요 없음을 이용하여, 정점 연산자 외의 일반적인 상호작용 연산자에 대해서도 구성이 가능하게 한다.