[논문 리뷰] On the Chow ring of the Hurwitz space of degree three covers of ${\bf P}^{1}$

Anand Patel, Ravi Vakil|arXiv (Cornell University)|2015. 05. 16.

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

한 줄 요약

이 논문은 $ℚ$-계수를 가진 $ℚ^1$에 대한 차수 3 쌍대 덮개를 매개변수화하는 허리츠 공간의 초순환 링을 결정하며, 이는 $ℚ[\kappa_1]/(\kappa_1^2)$와 동형임을 보여주어 링이 당연한 것임을 증명한다. 이 결과는 빈 허리츠 스트라타와 그들의 초순환 링 내 관계를 분석함으로써 도출되며, 알려진 당연한 클래스와 경계 스트라타를 활용하여 변수를 제거하고 $κ_1^2$의 소멸을 확립한다. 이는 차수 3의 경우에 대한 당연한 구조에 관한 질문을 해결한다.

ABSTRACT

We determine that the Chow ring (with ${\bf Q}$-coefficients) of the Hurwitz space parametrizing degree three covers of ${\bf P}^{1}$ is tautological. We also compute the rational Picard groups of auxiliary spaces of degree three maps with special marked points.

연구 동기 및 목표

• 차수 3의 $ℚ^1$에 대한 덮개를 매개변수화하는 허리츠 공간 $ℜ_{3,g}$의 초순환 링을 계산한다.
• 초순환 링이 당연한지, 페네브 및 바킬이 제기한 질문에 답한다.
• 마킹된 점을 가진 보조적인 차수 3 사상 공간의 유리수 피카르 군을 계산한다.
• 경계 스트라타의 초순환 링 내 구조와 관계를 분석한다.

제안 방법

• 초순환 링의 생성자로 특히 $\kappa_1 = \phi_*(c_1^2(\omega_\phi))$를 사용한다.
• 카자리안과 란도(2004)의 결과를 활용하여, 차수 3의 경우에 대한 허리츠 스트라타의 기본 클래스에 대한 알려진 공식을 적용한다.
• 일부 허리츠 스트라타(예: $S_{1^2}, S_{3^1}, S_{1^12^1}$)가 $\mathcal{H}_{3,g}$ 내에서 빈 것으로 밝혀져 초순환 링 내 관계를 이끌어낸다.
• 빈 스트라타 관계를 통해 변수를 제거한다: $\xi_1 = \frac{1}{6}b(b+2)\psi$ 및 $-b\psi^2 + 2\xi_1\psi = 0$로 이어져 $\psi^2 = 0$을 얻는다.
• $\sigma_{2^1} = \frac{1}{3}(b^2 - b)\psi$가 비영이므로 $\psi$가 비영임을 보임으로써 $\psi$가 $\kappa_1$의 비영 배수임을 증명하고, 따라서 $\kappa_1^2 = 0$임을 확립한다.
• 결론적으로 $A^*(\mathcal{H}_{3,g}) = \mathbb{Q}[\kappa_1]/(\kappa_1^2)$임을 도출하며, 당연한 구조를 확인한다.

실험 결과

연구 질문

• RQ1 허리츠 공간 $\mathcal{H}_{3,g}$의 초순환 링은 당연한가, 즉 $\kappa_1$와 같은 내재된 클래스들로 생성되는가?
• RQ2 차수 3의 $\mathbb{P}^1$에 대한 덮개에 대해 $\mathbb{Q}$-계수를 가진 초순환 링 $A^*(\mathcal{H}_{3,g})$의 구조는 무엇인가?
• RQ3 초순환 링 내의 관계는 $4$중 분기점 또는 동일한 이미지로 향하는 다중 단순 분기점들을 가진 일부 허리츠 스트라타의 빈도에서 기인하는가?
• RQ4 프레임드 허리츠 공간 $\mathcal{H}^\dagger_{3,g}$의 유리수 피카르 군은 유사한 방법으로 계산될 수 있는가?
• RQ5 고차수 영역($d \geq 2g+1$)에서의 코homology의 안정화가 $\mathcal{H}_{3,g}$의 초순환 링에 대해서도 유사한 안정화를 암시하는가?

주요 결과

• 초순환 링 $A^*(\mathcal{H}_{3,g})$는 $\mathbb{Q}$-계수를 가질 때 $\mathbb{Q}[\kappa_1]/(\kappa_1^2)$와 동형이며, 이는 링이 당연하다는 것을 증명한다.
• $\kappa_1^2$는 빈 허리츠 스트라타에서 유도된 관계로부터 변수를 제거함으로써 $A^*(\mathcal{H}_{3,g})$ 내에서 소멸됨을 보였다.
• 경계 클래스 $\psi$는 비영이며 $\kappa_1$에 비례한다. 왜냐하면 $\sigma_{2^1} = \frac{1}{3}(b^2 - b)\psi$가 비영이므로 $\sigma_{2^1} = [\mathcal{T}_1]$는 비영인 경계이기 때문이다.
• $\xi_1 = \frac{1}{6}b(b+2)\psi$는 $S_{1^2}$ 스트라타의 빈도에서 유도되며, 이는 차수 3 덮개에서는 불가능하다.
• $-b\psi^2 + 2\xi_1\psi = 0$은 $S_{3^1}$과 $S_{1^12^1}$의 빈도 조건을 조합하여 유도되며, 이로 인해 $\psi^2 = 0$이 된다.
• 결과적으로 $A^*(\mathcal{H}_{3,g})$ 내의 모든 관계가 특정 허리츠 스트라타의 빈도에 의해 설명됨을 확인하였으며, 이는 더 넓은 당연한 관계에 관한 추측을 지지한다.