[논문 리뷰] Enumerative geometry via the moduli space of super Riemann surfaces

Paul Norbury|arXiv (Cornell University)|2020. 05. 09.

Homotopy and Cohomology in Algebraic Topology인용 수 9

한 줄 요약

이 논문은 초하이퍼볼릭 표면의 모듈리 공간 부피와 안정 리만 표면의 모듈리 공간 위의 코homology 클래스 사이의 연결을 설정하며, 초기幾何 기법으로 이전에 유도된 초부피에 대한 재귀식을 대수기하학을 통해 증명한다. 핵심 결과는 $\Theta_{g,n}$ 클래스와 토폴로지 클래스의 교차수에 대한 생성함수가 KdV 타우 함수임을 보여주며, 미르자카니의 콘테스비치-위튼 정리 증명과 유사한 구조를 지닌다.

ABSTRACT

In this paper we relate volumes of moduli spaces of super Riemann surfaces to integrals over the moduli space of stable Riemann surfaces $\overline{\cal M}_{g,n}$. This allows us to prove via algebraic geometry a recursion between the volumes of moduli spaces of super hyperbolic surfaces previously proven via super geometry techniques by Stanford and Witten. The recursion between the volumes of moduli spaces of super hyperbolic surfaces is proven to be equivalent to the fact that a generating function for the intersection numbers of a natural collection of cohomology classes $Θ_{g,n}$ with tautological classes on $\overline{\cal M}_{g,n}$ is a KdV tau function. This is analogous to Mirzakhani's proof of the Kontsevich-Witten theorem regarding a generating function for the intersection numbers of tautological classes on $\overline{\cal M}_{g,n}$ using volumes of moduli spaces of hyperbolic surfaces.

연구 동기 및 목표

• 초기幾何학적 방법으로 스탠포드와 윌튼이 이전에 초기幾何학적으로 유도한 초하이퍼볼릭 표면 모듈리 공간 부피에 대한 재귀식에 대한 대수기하학적 증명을 제공한다.
• 이러한 초부피를 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 상의 코homology 클래스 $\Theta_{g,n}$ 와 연결하여, 월퍼트와 미르자카니의 결과를 초기 경우로 확장한다.
• 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 상에서 $\Theta_{g,n}$ 와 토폴로지 클래스의 교차수에 대한 생성함수가 KdV 타우 함수임을 보이며, 콘테스비치-위튼 정리와 깊은 유사성을 확립한다.

제안 방법

• 초하이퍼볼릭 표면 부피를 $\overline{\mathcal{M}}_{g,n}$ 상의 통합으로 표현하며, 이는 코homology 클래스 $\Theta_{g,n}$ 와 토폴로지 클래스 $\kappa_1$, $\psi_i$ 를 포함한다.
• 부피 다항식 $V^\Theta_{g,n}(L_1,\dots,L_n) = \int_{\overline{\mathcal{M}}_{g,n}} \Theta_{g,n} \cdot \exp\left\{2\pi^2\kappa_1 + \frac{1}{2}\sum_{i=1}^n L_i^2\psi_i\right\}$ 을 통해 부피를 표현한다.
• 원추 각도 $\phi$ 를 허수 길이 $i\phi$ 로 해석하는 일반화된 맥쇼운 공식을 적용하여 재귀 관계를 유도한다.
• _bundle$E_{g,n}$의 오일러 형식과 그 코homological 성질을 활용하여 초리만 표면의 변형 이론을 교차 이론과 연결한다.
• $V^\Theta_{g,n+1}(2\pi i, L_1, \dots, L_n) = (2g-2+n)V^\Theta_{g,n}(L_1, \dots, L_n)$ 와 같은 항등식을 사용하여 도함수 없이 재귀 관계를 도출한다.
• 대칭 다항식의 차수 $n$ 미만일 경우, 한 변수에서의 값에 의해 유일하게 결정됨을 이용하여 부피의 재귀적 재구성을 가능하게 한다.

실험 결과

연구 질문

• RQ1 초기幾何학적 방법 대신 대수기하학적 접근을 통해 초하이퍼볼릭 표면 부피의 재귀식을 어떻게 도출할 수 있는가?
• RQ2 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 상의 클래스에 대한 초부피 통합의 정확한 코homological 해석은 무엇인가?
• RQ3 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 상에서 $\Theta_{g,n}$ 와 토폴로지 클래스의 교차수에 대한 생성함수가 클래스적 경우와 마찬가지로 KdV 타우 함수인가?
• RQ4 $L_i = 2\pi i$ 를 포함하는 함수 방정식으로부터 초부피의 재귀식을 유도할 수 있는가, 미르자카니의 재귀식과 유사하게?
• RQ5 초부피 재귀식에서 도함수의 부재(Weil-Petersson 경우와 대비)는 어떤 깊은 구조적 차이를 반영하는가?

주요 결과

• 재귀식 $V^\Theta_{g,n+1}(2\pi i, L_1, \dots, L_n) = (2g-2+n)V^\Theta_{g,n}(L_1, \dots, L_n)$ 이 성립하며, 이는 초부피 재귀식에 대한 직접적인 대수기하학적 유도를 제공한다.
• $\overline{\mathcal{M}}_{g,n}$ 상에서 $\Theta_{g,n}$ 와 토폴로지 클래스의 교차수에 대한 생성함수가 KdV 타우 함수임을 보이며, 콘테스비치-위튼 정리와 깊은 유사성을 확립한다.
• 초부피 $V^{SW}_{g,0} = 2^{1-g}V^\Theta_{g,0}$ 는 $V^\Theta_{g,1}(2\pi i) = (2g-2)V^\Theta_{g,0}$ 를 통해 결정되며, 이는 $n=0$ 경우가 재귀식으로 복원 가능함을 보여준다.
• $n < g-1$ 일 경우, 부피 다항식 $V^\Theta_{g,n}$ 는 재귀식 (94)를 통해 $V^\Theta_{g,g-1}$ 로부터 결정되며, 이는 재귀적 구성이 가능함을 의미한다.
• $n \geq g$ 일 경우, $L_i^2$ 에 대한 차수 $g-1$ 의 대칭 다항식 $V^\Theta_{g,n}$ 는 $L_n = 2\pi i$ 에서의 값에 의해 유일하게 결정되며, 이는 재귀식을 통해 $V^\Theta_{g,n-1}$ 과 연결된다.
• 초부피 재귀식에서 도함수의 부재는 Weil-Petersson 경우와 대비되며, $\partial V^{WP}_{g,n+1}/\partial L_{n+1}(\dots, 2\pi i) = 2\pi i(2g-2+n)V^{WP}_{g,n}$ 라는 관계와 대비되어, 다른 기초 구조를 반영하고 있음을 시사한다.