[논문 리뷰] On the Goulden-Jackson-Vakil conjecture for double Hurwitz numbers

Norman Do, Danilo Lewański|arXiv (Cornell University)|2020. 03. 18.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 5

한 줄 요약

이 논문은 일부 이중 허위츠 수의 골든-잭슨-바카일 추측을 증명한다. 이는 모듈리 공간의 호드 클래스, 스핀 곡선 위의 케오도 클래스, 그리고 안정 곡선의 타우토로지컬 클래스를 사용하는 세 가지 별개의 엘시브 유사 공식을 수립함으로써 이루어진다. 핵심 기여는 일부 이중 허위츠 수의 다항식 성질을 모듈리 공간의 교차 수치를 통해 정확히 기술하는 교차 이론적 공식을 제공하는 것이다. 이는 낮은 종수에서의 명시적 검증과 스핀 허위츠 수로의 일반화를 포함한다.

ABSTRACT

Goulden, Jackson and Vakil observed a polynomial structure underlying one-part double Hurwitz numbers, which enumerate branched covers of $\mathbb{CP}^1$ with prescribed ramification profile over $\infty$, a unique preimage over 0, and simple branching elsewhere. This led them to conjecture the existence of moduli spaces and tautological classes whose intersection theory produces an analogue of the celebrated ELSV formula for single Hurwitz numbers. In this paper, we present three formulas that express one-part double Hurwitz numbers as intersection numbers on certain moduli spaces. The first involves Hodge classes on moduli spaces of stable maps to classifying spaces; the second involves Chiodo classes on moduli spaces of spin curves; and the third involves tautological classes on moduli spaces of stable curves. We proceed to discuss the merits of these formulas against a list of desired properties enunciated by Goulden, Jackson and Vakil. Our formulas lead to non-trivial relations between tautological intersection numbers on moduli spaces of stable curves and hints at further structure underlying Chiodo classes. The paper concludes with generalisations of our results to the context of spin Hurwitz numbers.

연구 동기 및 목표

• 일부 이중 허위츠 수의 다항식 성질에 대한 골든-잭슨-바카일 추측을 해결하기 위해 명시적인 엘시브 유사 공식을 구성하는 것.
• 일부 이중 허위츠 수를 재현하는 교차 수를 갖는 모듈리 공간과 타우토로지컬 클래스를 식별하는 것.
• 안정 곡선, 사상, 스핀 곡선의 모듈리 공간 위의 교차 이론과 허위츠 수 세기 사이의 대응 관계를 설정하는 것.
• 결과를 스핀 허위츠 수의 맥락으로 일반화하고 케오도 적분에 대한 새로운 공식을 유도하는 것.

제안 방법

• 세 가지 별개의 엘시브 유사 공식을 유도: $B\mathbb{Z}_r$ 로의 안정 사상 모듈리 공간 위의 호드 클래스를 사용하는 공식, 스핀 곡선 위의 케오도 클래스를 사용하는 공식, $\overline{\mathcal{M}}_{g,n}$ 위의 타우토로지컬 클래스를 사용하는 공식.
• 저종수 허위츠 수 다항식이 종수 5 이하에서 잘 맞는지 확인하기 위해 컷-앤-재인 조건을 독립적으로 적용.
• 반무한 와이드 형식을 적용하여 스핀 허위츠 수의 생성함수를 유도하고 이를 케오도 적분과 연결.
• Sage 패키지 admcycles를 활용하여 주요 정리의 경우들을 수치적으로 검증, 특히 정리 5.1에 초점을 맞춤.
• 임의의 매개변수를 갖는 케오도 클래스의 $\epsilon_*$-푸시포워드를 도입하여 스핀 허위츠 수로의 일반화를 확립.
• 함수 $\mathcal{S}(x) = \sinh(x/2)/(x/2)$ 를 사용하여 생성함수를 표현하고 계수 추출을 통해 케오도 적분의 명시적 평가를 수행.

실험 결과

연구 질문

• RQ1 골든, 잭슨, 바카일이 추측한 바와 같이, 일부 이중 허위츠 수는 안정 곡선, 사상, 스핀 곡선의 모듈리 공간 위의 교차 수로 표현될 수 있는가?
• RQ2 제안된 공식들이 다항식성과 대칭성과 같은 유효한 엘시브 유사 공식에 요구되는 주요 및 보조 성질을 만족하는가?
• RQ3 일부 허위츠 수에서 관찰된 다항식성의 스핀 버전이 존재하는가? 만약 그렇다면, 케오도 적분을 통해 이를 포괄할 수 있는가?
• RQ4 허위츠 수 공식에서 나타나는 케오도 클래스의 구조는 그 성질을 더 깊이 이해하는 데 기여하는가?
• RQ5 공식은 오비폴드 또는 스핀 허위츠 수 맥락으로 일반화될 수 있으며, 새로운 항등식은 무엇이 도출되는가?

주요 결과

• 논문은 일부 이중 허위츠 수에 대해 세 가지 별개의 엘시브 유사 공식을 수립한다: $\overline{\mathcal{M}}_{g,n}(B\mathbb{Z}_r, d)$ 위의 호드 클래스를 포함하는 공식, 스핀 곡선 위의 케오도 클래스를 사용하는 공식, $\overline{\mathcal{M}}_{g,n}$ 위의 타우토로지컬 클래스를 사용하는 공식.
• 케오도 클래스를 사용하는 공식은 $\int_{\overline{\mathcal{M}}_{g,n}} \frac{\epsilon_*\mathrm{Chiodo}(pr,p;-q,\ldots,-q)}{\prod_{i=1}^{d/q}(1 - \frac{q}{pr}\psi_i)} = \left(\frac{q^{\lfloor q/pr\rfloor}}{\lfloor q/pr\rfloor!}\right)^{d/q} \cdot d^{3g-4+n} \cdot \text{계수 추출}$ 으로 주어진다.
• 스핀 허위츠 수의 경우, 생성함수는 $[z_1^r \cdots z_b^r] \, d^{b-1} \prod_{j=1}^b \mathcal{S}(d z_j) \prod_{i=1}^n \mathcal{S}(\mu_i z_{[b]}) \frac{z_{[b]}^{n-1}}{\mathcal{S}(z_{[b]})}$ 이며, 여기서 $b = (2g-1+n)/r$ 이고 $\mathcal{S}(x) = \sinh(x/2)/(x/2)$ 이다.
• 케오도 적분을 위한 공식은 이전 결과를 일반화한다: $\int_{\overline{\mathcal{M}}_{g,n}} \frac{\epsilon_*\mathrm{Chiodo}^{[dr]}_{g,n}(dr,d; -\mu_1,\ldots,-\mu_n)}{\prod_{i=1}^n (1 - \mu_i \psi_i)} = \frac{d^{3g-4+n}}{r^{A(r)}} \times \text{계수 추출}$ 이며, $A(r) = 1 - g + b$ 이다.
• 저종수 다항식은 컷-앤-재인 조건을 통해 검증되었으며, $h_{0;\mu}^{\text{one-part}} = d^{n-2}$, $h_{1;\mu}^{\text{one-part}} = \frac{d^n}{24}(\sum \mu_i^2 - 1)$, 종수 5 이하의 고차 다항식이 확인되었다.
• 결과는 $\overline{\mathcal{M}}_{g,n}$ 위의 타우토로지컬 교차 수 사이의 비자명한 관계를 드러내며, 특히 스핀 설정에서 케오도 클래스의 더 깊은 구조를 시사한다.