[논문 리뷰] String and dilaton equations for counting lattice points in the moduli space of curves

Paul Norbury|arXiv (Cornell University)|2009. 05. 26.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 10

한 줄 요약

이 논문은 곡선 $xy - y^2 = 1$의 Eynard-Orantin 심플렉틱 불변량과 종수 $g$ 곡선의 모듈리 공간의 오비폴드 오일러 특성수 사이의 직접적 대응을 수립하여 $g > 1$일 때 $F^{(g)} = \chi(\mathcal{M}_g)$를 증명한다. 이 불변량을 특정한 분지 덮개의 가중 수로 해석함으로써, 리만 구면 위의 분지 덮개 수에 대한 투르비에 유형의 조합 문제와 연결하고, 새로운 재귀 관계—스트링 및 딜라톤 방정식—을 유도함으로써 위상수학적 재귀와 모듈리 공간의 조합 기하학을 연결한다.

ABSTRACT

We prove that the Eynard-Orantin symplectic invariants of the curve xy-y^2=1 are the orbifold Euler characteristics of the moduli spaces of genus g curves. We do this by associating to the Eynard-Orantin invariants of xy-y^2=1 a problem of enumerating covers of the two-sphere branched over three points. This viewpoint produces new recursion relations---string and dilaton equations---between the quasi-polynomials that enumerate such covers.

연구 동기 및 목표

• 곡선 $xy - y^2 = 1$의 Eynard-Orantin 심플렉틱 불변량에 대해 모듈리 공간 불변량으로서의 비재귀적 공식을 수립한다.
• 이 불변량을 $S^2$ 위에 고정된 세 점에서의 분지 구조를 가진 분지 덮개를 세는 투르비에 유형의 조합 문제와 연결한다.
• 분지 덮개를 세는 데 사용되는 준다항식 $N_{g,n}(b_1,\dots,b_n)$ 사이의 새로운 재귀 관계—스트링 및 딜라톤 방정식—을 도출한다.
• 이러한 수의 생성함수 $F^{(g)}_n$이 해당 불변량과 일치함을 보여, 이는 Eynard-Orantin 불변량과의 직접적 연결을 확립한다.

제안 방법

• 분지가 $\{0,1,\infty\}$ 이외에는 분지하지 않으며, 1에서 분지수 2, $\infty$에서 임의의 분지, 0에서 비자명한 분지를 가지며, 자동화군의 순서로 가중치를 반전시킨 연결된 종수 $g$ 분지 덮개의 수로 $N_{g,n}(b_1,\dots,b_n)$을 정의한다.
• $N_{g,n}(b_1,\dots,b_n)$이 $b_i$에 대해 대칭적인 준다항식이며, $2\mathbb{Z}^n$의 여부에 따라 분해되는 다항식 $N^{(k)}_{g,n}$들로 표현되며, 변수로는 $b_i^2$를 사용함을 보인다.
• 생성함수 $F^{(g)}_n(z_1,\dots,z_n) = \sum_{b_i>0} N_{g,n}(b_1,\dots,b_n) z_1^{b_1}\cdots z_n^{b_n}$를 정의하고, 이는 $\mathbb{C}^n$으로 유리형으로 확장되며, 이를 통해 Eynard-Orantin 불변량을 정의한다.
• Eynard-Orantin 체계의 잔여 계산 및 재귀적 구조를 이용하여, $b_i = 1$ 또는 $2$를 삽입했을 때 $N_{g,n}$의 행동을 분석함으로써 스트링 및 딜라톤 방정식을 도출한다.
• 디엘라톤 방정식을 $n=0$ 경우에 적용하고 $\chi(\mathcal{M}_{g,1})$의 알려진 값을 사용함으로써, 심플렉틱 불변량 $F^{(g)}$가 $\chi(\mathcal{M}_g)$와 같음을 증명한다.
• 구체적인 계산을 통해 $(x,y) = (z+1/z, z)$일 때 저차 종수의 불변량 $\omega^{g}_n$을 확인하여, 유리 함수 표현식과 준다항식 수의 계산이 일치함을 보였다.

실험 결과

연구 질문

• RQ1 곡선 $xy - y^2 = 1$의 Eynard-Orantin 심플렉틱 불변량 $F^{(g)}$는 $g > 1$일 때 오비폴드 오일러 특성수 $\chi(\mathcal{M}_g)$와 같은가?
• RQ2 Eynard-Orantin 불변량은 분지 덮개 수를 세는 방식으로 모듈리 공간의 격자점 수를 해석할 수 있는가?
• RQ3 분지 덮개를 세는 데 사용되는 준다항식 $N_{g,n}(b_1,\dots,b_n)$ 사이에 성립하는 스트링 및 딜라톤 방정식은 무엇인가?
• RQ4 심플렉틱 불변량 $F^{(g)}$는 특히 $n=0$ 경우에 $\mathcal{M}_{g,n}$의 오일러 특성수와 어떻게 관련이 있는가?
• RQ5 이 곡선의 Eynard-Orantin 불변량은 스트링 및 딜라톤 방정식을 통해 $N_{g,n}$으로부터 완전히 재구성될 수 있는가?

주요 결과

• 곡선 $xy - y^2 = 1$의 Eynard-Orantin 심플렉틱 불변량 $F^{(g)}$는 $g > 1$일 때 오비폴드 오일러 특성수 $\chi(\mathcal{M}_g)$와 같으며, 이는 $n=0$ 경우에 딜라톤 방정식을 적용함으로써 증명되었다.
• 분지 덮개 수 $N_{g,n}(b_1,\dots,b_n)$의 생성함수 $F^{(g)}_n(z_1,\dots,z_n)$은 곡선의 Eynard-Orantin 불변량 $\omega^{g}_n$과 일치하며, 이는 조합 기하학과 위상수학적 재귀 사이의 직접적 연결을 확립한다.
• 스트링 방정식은 $N_{g,n+1}(1,b_1,\dots,b_n) = \sum_{j=1}^n \sum_{k=1}^{b_j} k N_{g,n}(b_1,\dots,b_n)\big|_{b_j=k}$ 및 $N_{g,n+1}(2,b_1,\dots,b_n) = \sum_{j=1}^n \sum_{k=1}^{b_j} k N_{g,n}(b_1,\dots,b_n)\big|_{b_j=k} - \frac{1}{2}\sum_{j=1}^n b_j N_{g,n}(b_1,\dots,b_n)$이며, 이는 종수 0 준다항식을 유일하게 결정한다.
• 딜라톤 방정식은 $N_{g,n+1}(2,b_1,\dots,b_n) - N_{g,n+1}(0,b_1,\dots,b_n) = (2g-2+n)N_{g,n}(b_1,\dots,b_n)$이며, 이는 준다항식 $N_{g,n}$ 사이의 관계로서 성립하며, $N_{g,n}(0,\dots,0) = \chi(\mathcal{M}_{g,n})$임을 뜻한다.
• 종수 0일 때 $N_{0,3}(b_1,b_2,b_3) = 1$이며, 이는 $b_1+b_2+b_3$가 짝수일 때이고, 否론 0이다. 이 초기 조건과 스트링 방정식을 함께 사용하면 모든 $N_{0,n}$을 완전히 결정할 수 있다.
• 구체적인 계산을 통해 대응 관계가 확인되었다. 예를 들어, $\omega^{(0)}_3(z_1,z_2,z_3) = \left\{ \frac{1}{2\prod(1-z_i)^2} - \frac{1}{2\prod(1+z_i)^2} \right\} \prod dz_i$이며, 이는 $N_{0,3}$의 준다항식 표현과 정확히 일치한다.