[논문 리뷰] A modular invariance property of multivariable trace functions for regular vertex operator algebras

Matthew Krauel, Masahiko Miyamoto|arXiv (Cornell University)|2014. 12. 31.

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

한 줄 요약

이 논문은 정규 버텍스 연산자 대수(VOA)의 모듈러에 대한 다변수 추적 함수에 대해 SL₂(ℤ)-불변성 성질을 수립한다. 이는 Zhu의 단일 변수 모듈라 불변성 결과를 고유도 설정으로 확장한 것으로, 주요 기여는 이러한 다변수 추적 함수가 전체 모듈라 군에 대해 공변적으로 변환됨을 증명한 것이다. 이는 시겔 θ 시리즈의 역행렬 공식에 대한 새로운 증명을 이끌어내며, 정규 보조VOA의 모든 단순 모듈러가 환경 VOA의 어떤 단순 모듈러에 포함됨을 시사한다.

ABSTRACT

We prove an $ ext{SL}_2 (\mathbb{Z})$-invariance property of multivariable trace functions on modules for a regular VOA. Applying this result, we provide a proof of the inversion transformation formula for Siegel theta series. As another application, we show that if $V$ is a regular VOA containing a regular subVOA $U$ whose commutant $U^c$ is regular and satisfies $(U^c)^c =U$, then all simple $U$-modules appear in some simple $V$-module.

연구 동기 및 목표

• 정규 VOA에 대한 단일 변수 추적 함수의 Zhu의 모듈라 불변성 결과를 다변수 추적 함수로 확장한다.
• 다변수 추적 함수가 시겔 상반평면에서 SL₂(ℤ)에 대해 공변적으로 변환됨을 증명하여 타원 모듈라 형식 프레임워크를 일반화한다.
• 이 불변성을 응용하여 시겔 θ 시리즈의 역행렬 공식을 유도하고, 수론의 고전적 결과에 대한 새로운 증명을 제공한다.
• 만약 단순 정규 VOA U가 단순 정규 공액 Uᶜ를 가지며 (Uᶜ)ᶜ = U를 만족한다면, U의 모든 단순 모듈러가 어떤 단순 V-모듈러에 포함됨을 보여준다.

제안 방법

• g차원 조르단 부분대수에서 유래한 정점 연산자와 등온 벡터를 사용하여 시겔 상반평면 H_g에서 다변수 추적 함수를 정의한다.
• 단일 변수 추적 함수의 Zhu의 모듈라 불변성 결과를 기초 도구로 삼아 다변수 경우의 변환 법칙을 도출한다.
• V_L-모듈러 M = V_{L+κ}에 대해 다변수 추적 함수 Tr_M(o(1):A)를 구성하며, 행렬 A ∈ H_g에 대한 지수 항으로 가중된 격자 벡터의 합으로 표현한다.
• A의 직교 대각화를 통해 추적 함수를 시겔 θ 시리즈 γ_M(A) = ∑_{β∈L+κ} exp(πi tβ̃ A β̃)로 표현한다. 여기서 β̃는 쌍대 계수 벡터이다.
• Im(A)의 정부호 정의성에 기반해 지수 감쇠를 보여 추적 함수의 해석적 성질을 입증함으로써 H_g에서의 수렴성을 확보한다.
• 버린드의 공식과 모듈라 S행렬을 적용하여 역행렬 변환 법칙을 유도한다: (−i/det(A))^{g/2} γ_W^j(−A⁻¹) = ∑_h s_jh γ_W^h(A), 여기서 s_jh는 S행렬 성분이다.

실험 결과

연구 질문

• RQ1 정규 VOA에 대해 단일 변수 추적 함수의 모듈라 불변성이 시겔 상반평면에서의 다변수 추적 함수로 확장되는가?
• RQ2 모듈라 S행렬의 추적 함수에 대한 작용이 시겔 θ 시리즈의 역행렬 공식을 도출하는 데 사용될 수 있는가?
• RQ3 보조VOA U와 그 공액 Uᶜ에 대해 어떤 조건이 성립할 경우, 정규 VOA V의 모든 단순 U-모듈러가 어떤 단순 V-모듈러에 포함되는가?
• RQ4 H_g에서의 다변수 추적 함수는 고전적 시겔 모듈라 형식과 θ 시리즈와 어떻게 관련이 있는가?
• RQ5 고유도에서 전체 SL₂(ℤ) 작용에 대한 다변수 추적 함수의 정확한 변환 법칙은 무엇인가?

주요 결과

• 모든 정규 격자 VOA V_L와 그 단순 모듈러 M에 대해 다변수 추적 함수 Tr_M(o(1):A)는 시겔 상반평면 H_g에서 해석적이다.
• 함수 γ_M(A) = Tr_M(o(1):A) ∏_{i=1}^g η(μ_i)는 격자 L+κ와 관련된 고전적 시겔 θ 시리즈이다.
• 함수 γ_W^j(A)는 SL₂(ℤ)에 대해 전체 모듈라 변환 법칙을 만족하며, 역행렬 공식은 (−i/det(A))^{g/2} γ_W^j(−A⁻¹) = ∑_h s_jh γ_W^h(A)로 주어진다. 여기서 s_jh는 S행렬 계수이다.
• 다변수 추적 함수의 모듈라 불변성은 시겔 θ 시리즈의 역행렬 공식에 대한 새로운 증명을 제공한다.
• 만약 정규 VOA V의 단순 정규 보조VOA U가 단순 정규 공액 Uᶜ를 가지며 (Uᶜ)ᶜ = U를 만족한다면, 모든 단순 U-모듈러는 어떤 단순 V-모듈러의 부분모듈러로 포함된다.
• 이 구성은 Zhu 이론에서 유도된 S행렬이 다변수 추적 함수의 변환을 지배함을 확인하며, 고유도로의 모듈라 함수수학적 기능의 구조를 확장한다.