[논문 리뷰] Equivariant counts of points of the moduli spaces of pointed hyperelliptic curves

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

Algebraic Geometry and Number Theory인용 수 2

한 줄 요약

이 논문은 고리수 g의 n점 부착된 초타원곡선의 모듈리 공간 Hg,n에서 유한체 위의 Sn-등변 점 수에 대한 재귀 관계를 수립하여, Lefschetz 추적 공식을 통해 ℓ-adic 및 Betti 호모로지 구조를 계산할 수 있게 한다. 핵심 결과는 n ≤ 7일 때, 고리수 0 및 고리수 1의 경우만으로도 모든 g에 대해 이러한 불변량을 계산할 수 있으며, 특성에 따른 영향은 유일하게 무게 6 및 고리수 ≥3에서 나타난다.

ABSTRACT

We consider the moduli space $\Hh_{g,n}$ of $n$-pointed smooth hyperelliptic curves of genus $g$. In order to get cohomological information we wish to make $\s_n$-equivariant counts of the numbers of points defined over finite fields of this moduli space. We find recurrence relations in the genus that these numbers fulfill. Thus, if we can make $\s_n$-equivariant counts of $\Hh_{g,n}$ for low genus, then we can do this for every genus. Information about curves of genus 0 and 1 is then found to be sufficient to compute the answers for $\Hh_{g,n}$ for all $g$ and for $n \leq 7$. These results are applied to the moduli spaces of stable curves of genus 2 with up to 7 points, and this gives us the $\s_n$-equivariant Galois (resp. Hodge) structure of their $\ell$-adic (resp. Betti) cohomology.

연구 동기 및 목표

• 고리수 g의 n점 부착된 매끄러운 초타원곡선의 모듈리 공간 Hg,n에서 Fq 유리점의 Sn-등변 수를 계산하기 위해.
• 낮은 고리수의 점 수를 모든 고리수로 올리는 데 사용할 수 있는 고리수 g에 대한 재귀 관계를 유도하기 위해.
• 고리수 2 및 n ≤ 7인 경우에 대해 모듈리 공간 Mg,n의 Sn-등변 갈루아(ℓ-adic) 및 허드지(Betti) 호모로지 구조를 규명하기 위해.
• 특성에 따른 영향이 이러한 불변량에 처음 나타나는 무게 및 고리수를 규명하기 위해.
• Hg에서 국소계의 호모로지에 대한 모티빅 및 무게 필터링된 호모로지와 점 수를 연결하는 프레임워크를 수립하기 위해.

제안 방법

• 대칭 함수와 원형합을 통해 초타원곡선 호모로지와 연결된 계수 aλ|g를 통해 Sn-등변 점 수를 정의하기 위해.
• 유한체 위 다항식으로 aλ|g를 표현하고, 홀수 및 짝수 특성의 경우를 구분하기 위해.
• 모노닉 제곱과 제곱 자유 부분으로의 유일한 인수분해를 통해 aλ|g의 구축 요소인 ug에 대한 재귀 관계를 유도하기 위해.
• 정리 5.2에 의해 주어진 특성 다항식을 사용하여 aλ|g에 대한 선형 재귀 관계를 수립하고, 큰 고리수에 대해 보간을 적용하기 위해.
• Lefschetz 추적 공식을 적용하여 점 수를 ℓ-adic 호모로지 위의 프로베니우스 추적과 연결하고, 그로텐디크 군 내에서 무게 필터링된 오일러 지표로 변환하기 위해.
• 점 수의 순수성과 다항성에 기반하여 정리 3.4를 통해 개별 호모로지 군의 갈루아 및 허드지 구조를 유추하기 위해.

실험 결과

연구 질문

• RQ1 저고리수 데이터만으로 모든 g에 대해 Hg,n에서의 Sn-등변 점 수를 어떻게 계산할 수 있는가?
• RQ2 고리수 g에서의 등변 점 수 aλ|g를 지배하는 재귀 관계는 무엇이며, 홀수 및 짝수 특성의 경우에 어떻게 다를까?
• RQ3 Hg,n의 호모로지 불변량에서 특성에 따른 영향이 처음 나타나는 무게와 고리수는 언제인가?
• RQ4 ℓ-adic 및 Betti 호모로지의 Mg,n(고리수 2 및 n ≤ 7)는 이러한 점 수로부터 얼마나 정확히 재구성할 수 있는가?
• RQ5 무게 필터링된 호모로지 ew_c(Hg ⊗ Q, Vλ)가 어떤 조건에서 안정화되거나 영이 되는가, 특히 λ1 > |λ|/2인 경우에 대해?

주요 결과

• n ≤ 7일 때, Hg,n의 Sn-등변 점 수는 고리수 0 및 고리수 1의 데이터로 완전히 결정되며, 모든 g에 대해 재귀 관계를 통해 계산이 가능하다.
• 홀수 및 짝수 특성 모두에서 점 수 aλ|g는 유한체의 크기 q에 대한 다항식이며, 특성에 따른 영향은 유일하게 무게 6 및 고리수 ≥3에서 나타난다.
• 무게 ≤5에서는 불변량이 기저 체의 특성과 무관하지만, 무게 6에서는 고리수 3부터 특성에 따른 영향이 나타나기 시작한다.
• 무게 필터링된 호모로지 ew_c(Hg ⊗ Q, Vλ) 위의 프로베니우스 추적은 g ≥ |λ| − 1일 때 다항식 Rλ(q)|g로 주어지며, q에 대한 명시적인 유리함수 표현이 존재한다.
• ew_c(Hg ⊗ Q, Vλ) = 0 이다. g ≥ |λ| − 1 이고 w = 5|λ| − 9 일 때, λ1 > |λ|/2 인 모든 λ에 대해 이 추측은 참이며, |λ| ≤ 30인 경우에 대해 검증되었다.
• 결과는 Bini–van der Geer, Getzler, Tommasi의 이전 추측 및 계산과 일치하며, 초타원곡선 및 안정 곡선 모듈리 공간의 모티빅 및 호모로지 불변량에 대한 것이다.