[논문 리뷰] Lectures on the ELSV formula

Chiu-Chu Melissa Liu|arXiv (Cornell University)|2010. 04. 06.

Algebraic Geometry and Number Theory참고 문헌 41인용 수 3

한 줄 요약

이 논문은 Graber와 Vakil의 접근을 따르며, 쌍 $(\mathbb{P}^1, \infty)$ 에 대한 상대적 안정 맵의 모듈리 공간 위에서의 가상 국소화를 사용하여 ELSV 공식의 자가 포함된 기초적인 기초를 제공한다. 이는 $\mathbb{P}^1$ 에 대한 분지 덮개를 세는 히르츠 수와 $\overline{\mathcal{M}}_{g,h}$ 위의 호지 적분 사이에 정확한 대응 관계를 수립하여, $\psi$-류와 $\lambda$-류를 포함하는 유리적 적분을 사용하여 히르츠 수를 닫힌 형식으로 표현하는 공식을 도출한다.

ABSTRACT

The ELSV formula, first proved by Ekedahl, Lando, Shapiro, and Vainshtein, relates Hurwitz numbers to Hodge integrals. Graber and Vakil gave another proof of the ELSV formula by virtual localization on moduli spaces of stable maps to the projective line, and also explained how to simplify their proof using moduli spaces of relative stable maps to the projective line relative to a point. In this expository article, we explain what the ELSV formula is and how to prove it by virtual localization on moduli spaces of relative stable maps, following Graber-Vakil. This note is based on lectures given by the author at Summer School on "Geometry of Teichmuller Spaces and Moduli Spaces of Curves" at Center of Mathematical Sciences, Zhejiang University, July 14--20, 2008.

연구 동기 및 목표

• 현대 대수기하학 기법을 사용하여 ELSV 공식의 명확하고 접근 가능한 유도를 제공하는 것.
• 지정된 분지 조건을 가진 $\mathbb{P}^1$ 에 대한 분지 덮개를 세는 히르츠 수가 상대적 안정 맵의 모듈리 공간 위의 교차 수로 어떻게 해석될 수 있는지 설명하는 것.
• 가상 국소화가 호드 적분을 계산하는 데 있어서 대수적 범주에서의 강력한 도구임을 보여주는 것.
• 이전의 $\mathbb{P}^1$ 에 대한 안정 맵에 기반한 접근 방식에 비해 상대적 안정 맵을 사용하여 Graber와 Vakil의 증명 전략을 통합하고 명확화하는 것.
• 유사한 방법론을 사용하여 다른 호드 적분 항등식, 예를 들어 Mariño-Vafa 공식을 증명하기 위한 기초 틀을 마련하는 것.

제안 방법

• 쌍 $(\mathbb{P}^1, \infty)$ 에 대한 상대적 안정 맵의 모듈리 공간을 사용하며, 이는 완비한 딜레인-무디 스택이자 완벽한 오염 이론을 가진다.
• 상대적 안정 맵의 모듈리 공간 위의 $\mathbb{C}^*$-작용에 대한 가상 국소화를 적용하여 가상 기본류를 고정점 성분들로 분해한다.
• 변형 및 오염 공간의 고정 및 이동 성분으로 분해함으로써, 등급을 부여한 코homology를 사용하여 가상 정규(bundle)과 그 오일러 클래스를 계산한다.
• 기본류를 곡선의 모듈리 공간으로의 忘却 사상에 따라 푸시 포워드함으로써, 히르츠 수의 생성함수를 $\overline{\mathcal{M}}_{g,h}$ 위의 적분으로 연결한다.
• 등급을 부여한 체르니 클래스와 Atiyah-Bott 국소화 공식을 사용하여 각 고정점 성분의 기여도를 계산하며, 특히 중심 성분 $F_r$ 에 초점을 맞춘다.
• 가상 국소화 계산과 히르츠 수의 생성함수를 매칭시킴으로써 ELSV 공식을 유도하며, 이는 $\psi$-류와 $\lambda$-류를 포함하는 유리 함수 형태로 나타난다.

실험 결과

연구 질문

• RQ1 현대적 교차 이론을 사용하여 $\overline{\mathcal{M}}_{g,n}$ 위의 호드 적분과 히르츠 수를 체계적으로 연결할 수 있는 방법은 무엇인가?
• RQ2 이전의 $\mathbb{P}^1$ 에 대한 안정 맵을 통한 접근 방식에 비해 상대적 안정 맵이 ELSV 공식의 증명을 단순화하는 데 어떤 역할을 하는가?
• RQ3 상대적 모듈리 공간 위에서의 가상 국소화가 호드 적분을 계산하는 데 통일된 틀을 어떻게 제공하는가?
• RQ4 등급을 부여한 코homology와 고정점 분해를 사용함으로써 가상 기본류의 명시적 계산이 어떻게 가능해지는가?
• RQ5 ELSV 공식은 Mariño-Vafa 공식과 같은 더 일반적인 호드 적분 항등식의 극한으로서 도출될 수 있는가?

주요 결과

• ELSV 공식은 $(\mathbb{P}^1, \infty)$ 에 대한 상대적 안정 맵의 모듈리 공간 위에서의 가상 국소화의 결과로 도출되며, 히르츠 수와 호드 적분 사이의 항등식을 확인한다.
• 가상 기본류 $[F_r]^{\mathrm{vir}}$ 는 $\overline{\mathcal{M}}_{g,h}$ 의 기본류의 푸시 포워드와 비례하며, 비례 계수는 $\frac{1}{\mu_1 \cdots \mu_h}$ 이다.
• 히르츠 수의 생성함수는 $ H_{g,\mu} = \frac{r!}{\#\mathrm{Aut}(\mu)} \prod_{i=1}^h \frac{\mu_i^{\mu_i}}{\mu_i!} \int_{\overline{\mathcal{M}}_{g,h}} \frac{\Lambda_g^\vee(1)}{\prod_{i=1}^h (1 - \mu_i \psi_i)} $ 로 표현되며, 여기서 $\Lambda_g^\vee(u) = \sum_{i=0}^g (-1)^i \lambda_i u^{g-i}$ 이다.
• 최종 공식은 등급을 부여한 매개변수 $u$ 에 독립적이며, $u=1$ 로 설정하면 표준적인 ELSV 공식 형태로 수렴한다.
• 이 방법은 상대적 안정 맵을 더 일반적인 대상에 적용함으로써 다른 호드 적분 항등식, 예를 들어 Mariño-Vafa 공식으로도 일반화될 수 있다.
• 계산 결과, 중심 고정점 성분 $F_r$ 의 기여가 전체 히르츠 수를 포괄하며, 가상 정규(bundle)이 $\mu_i^{\mu_i}/\mu_i!$ 와 $\lambda$-류를 포함하는 유리 계수를 기여하고 있음을 확인한다.