[논문 리뷰] Genus Two Zhu Theory for Vertex Operator Algebras

Thomas Patrick Gilroy, Tuite, Michael P.|arXiv (Cornell University)|2015. 11. 24.

Algebraic structures and combinatorial models참고 문헌 28인용 수 7

한 줄 요약

이 논문은 두 토러스를 봉합하여 구성된 광원 두 개의 리만 곡면 위에서 정의된 버텍스 연산자 대수(VOA)의 n점 상관 함수를 (n−1)점 상관 함수로 완전히 표현하는 광원 두 개의 주지 재귀 공식을 도입한다. 이 방법은 일반화된 위어스트라스 함수와 시겔 상반평면 위의 미분 연산자에 기반하며, 분할 함수, 이차형식, 프로젝티브 연결과 같은 핵심 대상에 대한 해석적 미분 방정식을 도출한다. 이는 히젠베르크 및 바이라소 VOA에 응용되며, 바이라소 특이 벡터 방정식의 계수들이 해석적임을 증명한다.

ABSTRACT

We consider correlation functions for a vertex operator algebra on a genus two Riemann surface formed by sewing two tori together. We describe a generalisation of genus one Zhu recursion where we express an arbitrary genus two $n$--point correlation function in terms of $(n-1)$--point functions. We consider several applications including the correlation functions for the Heisenberg vertex operator algebra and its modules, Virasoro correlation functions and genus two Ward identities. We derive novel differential equations in terms of a differential operator on the genus two Siegel upper half plane for holomorphic $1$--differentials, the normalised bidifferential of the second kind, the projective connection and the Heisenberg partition function. We prove that the holomorphic mapping from the sewing parameter domain to the Siegel upper half plane is injective but not surjective. We also demonstrate that genus two differential equations arising from Virasoro singular vectors have holomorphic coefficients.

연구 동기 및 목표

• 두 토러스를 봉합하여 구성된 광원 두 개의 리만 곡면으로 광원 일의 주지 재귀를 일반화하여 VOA의 상관 함수 프레임워크를 확장하는 것.
• 형광 무게에 따라 의존하는 일반화된 위어스트라스 함수를 사용하여 광원 두 개의 n점 상관 함수를 (n−1)점 상관 함수로 줄이는 형식적 재귀 항등식을 수립하는 것.
• 재귀의 계수 함수가 해석적임을 증명하며, 특히 1차 및 2차 미분형식에 대해 이를 확인하고, 정규화된 이차형식과 프로젝티브 연결과 같은 핵심 기하 대상에 대한 해석적 미분 방정식을 도출하는 것.
• 광원 두 개에서 바이라소 특이 벡터로부터 유도된 미분 방정식의 계수가 해석적임을 보이며, 광원 두 개의 분할 함수의 수렴성과 모듈러 성질을 뒷받침하는 것.
• 봉합 매개변수 영역의 기하학을 분석하여, 이로부터 시겔 상반평면으로 유도되는 사상이 단사적이지만 전사적이지 않음을 증명하는 것.

제안 방법

• 토러스 접합 기반의 봉합 절차를 사용하여 무한한 형식적 합으로 광원 일의 상관 함수를 조합하여 광원 두 개의 상관 함수를 구성하는 것.
• 형광 무게 $N$에 따라 의존하는 일반화된 광원 두 개의 위어스트라스 함수(예: $^N\mathcal{P}_1$, $^N\mathcal{P}_2$)를 정의하며, 이는 재귀 계수로 기능한다.
• 각 토러스 성분에 대해 광원 일의 주지 재귀를 적용한 후, 유도된 재귀 항등식의 연립 방정식을 해결하여 광원 두 개의 재귀 공식을 도출하는 것.
• 시겔 상반평면 위에서 작용하는 미분 연산자 $\nabla_x$를 사용하여 상관 함수에 대한 미분 방정식을 표현하는 것. 이는 세르 도함수를 일반화한 것이다.
• 계수 함수의 해석성을 증명하기 위해, 이를 해석적 미분형식과 제2종의 정규화된 이차형식과 연결하는 것.
• closed-form 표현식을 $^2\mathcal{P}_1$ 및 $^2\mathcal{P}_2$에 대해 유도하며, 이들이 $N$-미분형식의 리만-로흐 차원과 일치함을 보이는 것.

실험 결과

연구 질문

• RQ1 두 토러스를 봉합하여 구성된 광원 두 개의 리만 곡면으로 광원 일의 주지 재귀를 어떻게 일반화할 수 있는가?
• RQ2 형광 무게 $N \geq 1$에 대해 일반화된 위어스트라스 함수 $^N\mathcal{P}_1(x,y)$ 및 $^N\mathcal{P}_2(x,y)$의 성질은 무엇이며, 이들은 해석적인가?
• RQ3 광원 두 개에서 바이라소 특이 벡터로부터 도출된 미분 방정식의 계수는 해석적인가?
• RQ4 봉합 매개변수 영역에서 시겔 상반평면으로의 사상의 기하학적 성격은 무엇이며, 이는 상관 함수의 모듈러성에 어떤 영향을 미치는가?
• RQ5 $C_2$-비현저한 VOA의 광원 두 개 분할 함수가 해석적 미분 방정식을 만족함을 보일 수 있는가?

주요 결과

• 광원 두 개의 주지 재귀는 감소된 벡터의 형광 무게 $N$에 따라 의존하는 일반화된 위어스트라스 함수를 사용하여 임의의 $n$-점 상관 함수를 $(n-1)$-점 상관 함수로 표현한다.
• $N=1$일 때, 1-점 상관 함수는 2개의 계수 함수로 표현된다; $N \geq 2$일 경우, $2N-1$개의 계수 함수를 사용하며, 이는 리만-로흐 공식에 의해 해석적 $N$-미분형식의 공간 차원과 일치한다.
• $N=1$의 계수 함수는 해석적 1-미분형식과 제2종의 정규화된 이차형식을 통해 해석적임을 증명한다.
• 광원 두 개의 바이라소 1-점 상관 함수는 봉합 매개변수에 대한 분할 함수의 도함수로 주어지며, 광원 두 개의 워드 항등식 역시 동일한 미분 연산자를 포함한다.
• $N=2$에 대해 일반화된 위어스트라스 함수의 닫힌 해석적 공식을 도출하여, 바이라소 $n$-점 상관 함수와 워드 항등식의 모든 계수의 해석성이 확인된다.
• 봉합 영역 $\mathcal{D}_{\text{sew}}$에서 시겔 상반평면으로의 해석적 사상이 단사적이지만 전사적이지 않음을 증명하였다.