[논문 리뷰] Vertex algebras and Teichmüller modular forms

Giulio Codogni|arXiv (Cornell University)|2019. 01. 10.

Algebraic structures and combinatorial models참고 문헌 29인용 수 8

한 줄 요약

이 논문은 안정 곡선의 매니폴드 공간 위에서 상관 함수와 공공백 배럴을 사용하여, 힐베르트 모듈러 형식의 한 종류인 테이히뮐러 모듈러 형식의 구성법을 제안한다. 이 형식들이 매핑 클래스 군 작용 하에서 모듈러 형식으로 변환됨을 증명하고, 종수 1일 때는 주의 모듈러성 결과를 복원함을 보인다. 주요 기여는 슈롯키 좌표계에서의 종수 전개로, 이는 슈롯키 문제 및 버텍스 대수의 분류에의 적용을 가능하게 하며, 특히 효과적 콘의 기울기 조건 하에서 종수 6까지의 달의 버텍스 대수에 대한 유일성 결과를 도출한다.

ABSTRACT

We associate to any holomorphic vertex algebra a collection of Teichmüller modular forms, one in each genus. In genus one we obtain the character of the vertex algebra, and we thus reprove Zhu's modularity result. In higher genus, we prove that these forms have an expansion in terms of the correlation functions of the vertex algebra. We propose applications to the Schottky problem, to the study of the slope of the effective cone of the moduli space of curves, and to the classification of holomorphic vertex algebras. In particular, we prove a uniqueness result for high genera partition functions of the moonshine vertex algebra.

연구 동기 및 목표

• 안정 곡선의 매니폴드 공간 위에서 임의의 힐베르트 버텍스 대수에 대해 자연스러운 선다발 섹션(분할 함수)을 부여한다.
• 이 분할 함수들이 매핑 클래스 군의 작용 하에서 모듈러 형식이 됨을 증명하고, 주의 종수 1 결과를 일반화한다.
• 상관 함수를 사용하여 슈롯키 좌표계에서 분할 함수의 종수 전개를 개발한다.
• 이 구성법을 슈롯키 문제 및 힐베르트 버텍스 대수의 분류에 적용하며, 특히 달의 버텍스 대수에 초점을 맞춘다.
• 분할 함수의 동일성과 버텍스 대수의 동형성 간의 연관성을 제안하는 추측을 제시하고, 분류에 적용 가능한 효과적 형태를 제시한다.

제안 방법

• 버텍스 대수와 유리형 형식의 텐서곱에서 버텍스 대수의 자기 사상으로 가는 사상을 구성하고, 이미지 아이디얼에 대한 몫으로 공공백을 정의한다.
• 공공백에서 진공 벡터의 상이 매니폴드 M̄g,n 위의 허드지 선다발 λ^⊗(c/2)의 영이 아닌 섹션을 이룬다.
• 경계 디바이더 δ₀ 근처의 슈롯키 좌표를 사용하여 분할 함수를 q₁,…,qg에 대한 멱급수로 전개하고, 계수로는 상관 함수를 사용한다.
• 스테이트 시리즈와 모듈러 불변성의 성질을 이용하여 전개가 매핑 클래스 군 작용 하에서 무게 c/2의 테이히뮐러 모듈러 형식으로 변환됨을 증명한다.
• 특정 버텍스 대수, 예를 들어 달의 버텍스 대수에 대해 분할 함수를 비교하고 M̄g의 효과적 콘에 대한 기울기 경계를 사용하여 구성법을 적용한다.
• 전개와 모듈러 성질을 이용하여, 시겔 모듈러 형식이 곡선의 다양체에 대해 영이 되는지 여부를 테스트함으로써 슈롯키 문제를 연구한다.

실험 결과

연구 질문

• RQ1 모든 힐베르트 버텍스 대수에 대해 곡선의 매니폴드 공간 위에서 기하학적 구성법을 통해 자연스러운 모듈러 형식을 부여할 수 있는가?
• RQ2 버텍스 대수의 분할 함수는 곡선의 붕괴에 어떻게 반응하며, 국소 좌표계에서 전개될 수 있는가?
• RQ3 분할 함수가 힐베르트 버텍스 대수의 동형류를 어느 정도 결정하는가?
• RQ4 이 구성법을 사용하여 서로 동형이 아닌 버텍스 대수를 구별할 수 있는가, 특히 달의 모듈러에 대한 맥락에서?
• RQ5 M̄g의 효과적 콘에 어떤 조건이 성립하면, 낮은 종수에서 분할 함수의 동일성이 버텍스 대수의 동형성을 이끌어내는가?

주요 결과

• 힐베르트 버텍스 대수의 분할 함수는 M̄g,n 위의 λ^⊗(c/2)에 대한 영이 아닌 섹션을 정의하며, 클러치 및 프로젝션 사상에 대해 보존된다.
• 종수 1일 때 분할 함수는 주의 모듈러성 결과를 복원한다: 특성은 무게 c/2의 모듈러 형식이다.
• 분할 함수는 슈롯키 좌표계에서 종수 전개를 가진다: 1g(V) = ∑χk q₁^{k₁}⋯qg^{kg}, 여기서 χk는 버텍스 연산자의 상관 함수이다.
• 매핑 클래스 군 작용 하에서 전개는 무게 c/2의 테이히뮐러 모듈러 형식으로 변환되며, 보편적인 정칙 함수를 제외하고는 그대로 유지된다.
• 중심 임계값 24이고 V♮₁=0인 달의 버텍스 대수 V♮의 분할 함수는 종수 6까지 다른 모든 유사한 버텍스 대수의 것과 일치한다.
• 모든 g ≤ g₀에 대해 M̄g의 효과적 콘의 기울기가 6를 초과한다면, 종수 g₀까지의 분할 함수의 동일성은 버텍스 대수의 동형성을 이끌어낸다.