[논문 리뷰] Cohomology of moduli spaces of curves of genus three via point counts

Jonas Bergström|arXiv (Cornell University)|2006. 11. 27.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 유한체 위에서의 점 수를 이용하여 종수 3의 안정 곡선의 모듈리 공간의 $\sigma$-등변 코homology를 계산한다. 비초월적 종수 3 곡선(평면 4차 곡선을 통해)의 $\sigma$-등변 점 수와 이전 종수 및 초월적 부분공간에 대한 알려진 점 수를 조합하여, $n \leq 5$일 때 $\overline{\mathcal{M}}_{3,n}$ 및 $\mathcal{M}_{3,n}$의 $\sigma$-등변 갈루아 및 호지 구조를 규명한다. 또한 국소계의 오일러 특성 수를 활용하여 $n=6,7$로 결과를 확장한다.

ABSTRACT

In this article we consider the moduli space of smooth $n$-pointed non-hyperelliptic curves of genus 3. In the pursuit of cohomological information about this space, we make $\mathbb{S}_n$-equivariant counts of its numbers of points defined over finite fields for $n \leq 7$. Combining this with results on the moduli spaces of smooth pointed curves of genus 0, 1 and 2, and the moduli space of smooth hyperelliptic curves of genus 3, we can determine the $\mathbb{S}_n$-equivariant Galois and Hodge structure of the ($\ell$-adic respectively Betti) cohomology of the moduli space of stable curves of genus 3 for $n \leq 5$ (to obtain $n \leq 7$ we would need counts of ``8-pointed curves of genus 2'').

연구 동기 및 목표

• 종수 3의 안정 곡선 모듈리 공간의 코homology에 대한 $\sigma$-등변 갈루아 및 호지 구조를 규명하는 것.
• 종수 3의 비초월적 곡선 모듈리 공간에 대해 $n \leq 7$인 경우에 대한 $\sigma$-등변 점 수를 유한체 위에서 계산하는 것.
• 이러한 점 수를 종수 0, 1, 2 및 초월적 종수 3 곡선에 대한 알려진 점 수와 결합하여 $\overline{\mathcal{M}}_{3,n}$의 코homological 불변량을 도출하는 것.
• 완전한 다항식 점 수가 아직 확보되지 않은 경우, $\mathcal{M}_3$ 위의 국소계의 오일러 특성 수를 이용해 $n=6$ 및 $n=7$로 결과를 확장하는 것.

제안 방법

• 유한체 $\mathbb{F}_q$ 위에서 $n$개의 점을 통과하는 비특이 평면 4차 곡선의 수를 세기 위해 선형체적 방법을 사용하며, 단계적으로 특이 곡선을 제거한다.
• 레프셰츠 추적 공식과 프로베누스 고유값의 성질을 적용하여 타원곡선 위의 점 수를 코homological 자료와 연결한다.
• 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$의 분할을 활용하여 저종수 및 초월적 부분공간의 점 수를 통합한다.
• 다항식 점 수가 $\mathbb{F}_q$ 위에서 가능하면, 반데르보가르트–에디크스벤의 정리와 파버–반더게어의 정리를 통해 $\sigma$-등변 갈루아 및 호지 구조가 결정됨을 이용한다.
• 조합기하학적 방법을 통해 유한체 위에서 4차 곡선 및 3차 곡선의 선형계 차원을 계산한다.
• 레미마 15.3을 반복 적용하여 $\mathcal{M}_{1,n}$에 대한 $\sigma$-등변 점 수를 $n=10$까지 계산하며, 추적 공식과 자기동형군 자료를 활용한다.

실험 결과

연구 질문

• RQ1 $n \leq 5$일 때 $\overline{\mathcal{M}}_{3,n}$의 $\sigma$-등변 갈루아 및 호지 구조는 무엇인가?
• RQ2 유한체 방법을 사용하여 $n \leq 7$인 비초월적 종수 3 곡선의 $\sigma$-등변 점 수를 계산할 수 있는가?
• RQ3 $\mathcal{M}_{3,n}$의 코homological 불변량은 $\mathcal{M}_{1,n}$, $\mathcal{M}_{2,n}$ 및 $\mathcal{H}_{3,n}$의 것과 어떻게 관련이 있는가?
• RQ4 평면 4차 곡선의 모듈리 공간은 $\mathcal{M}_{3,n}$의 코homology 계산에 어떤 역할을 하는가?
• RQ5 $n=6,7$일 때 전체 다항식 점 수가 확보되지 않은 상황에서도 $\mathcal{M}_{3,n}$의 코homology를 규명할 수 있는가?

주요 결과

• $n \leq 5$일 때, 다항식 점 수를 이용하여 $\overline{\mathcal{M}}_{3,n}$ 및 $\mathcal{M}_{3,n}$의 $\sigma$-등변 갈루아 및 호지 구조가 완전히 규명된다.
• $n=6$ 및 $n=7$일 때, $\mathcal{M}_3$ 위의 특정 국소계에 대한 $\sigma$-등변 갈루아 오일러 특성 수가 계산되어 다항식 점 수 범위를 초월한 코homological 정보가 확장된다.
• $n \leq 10$인 $\mathcal{M}_{1,n}$에 대한 $\sigma$-등변 점 수는 레미마 15.3의 반복적 적용을 통해 계산되며, 게츠러의 호지 오일러 특성 수 결과와 일치한다.
• 특이 곡선을 하나, 두 개 또는 그 이상의 특이점을 가진 경우를 단계적으로 제거하는 선형체적 방법을 통해 $n$-중의 점을 통과하는 비특이 평면 4차 곡선의 수를 계산한다. 이때 보정 항이 정확히 고려된다.
• $n=8$일 때, 쌍의 원추 및 직선 쌍 구성이 새로운 현상으로 나타나며, 점 수 공식에 추가 보정 항 $c$ 및 $d$가 필요로 한다.
• 이 방법은 점 수가 $\mathbb{F}_q$에 대해 다항식일 경우, $\sigma$-등변 갈루아 및 호지 구조가 다항식에 의해 결정됨을 이용한다.