[논문 리뷰] Sur la cohomologie des systèmes locaux sur les espaces des modules des courbes de genre 2 et des surfaces abéliennes

Carel Faber, Gerard van der Geer|ArXiv.org|2003. 05. 06.

Advanced Algebra and Geometry인용 수 29

한 줄 요약

이 논문은 종수 2 곡선과 아벨 표면의 모듈리 공간 위의 국소계에 대한 모티브적 오일러 특성수를 계산하며, 아이젠슈타인 코hom로지에 대한 명시적 공식과 내림차순 기여에 대한 추측 공식을 제시한다. 유한체 위에서의 점 수 계산을 통해 시겔 모듈라 형식에 대한 세부 정보를 도출하며, 특히 낮은 무게에서의 코hom로지적 불변량에 대한 명시적 공식을 수립하고, 산술기하학과 모듈라 표현 이론을 통해 이를 검증한다.

ABSTRACT

We consider the cohomology of local systems on the moduli space of curves of genus 2 and the moduli space of abelian surfaces. We give an explicit formula for the Eisenstein cohomology and a conjectural formula for the endoscopic contribution. We show how counting curves over finite fields provides us with detailed information about Siegel modular forms.

연구 동기 및 목표

• 종수 2 곡선의 모듈리 공간과 정칙 편향을 가진 아벨 표면의 모듈리 공간 위의 국소계에 대한 모티브적 오일러 특성수를 계산하기 위해.
• 산술기하학과 자동형형식 기법을 사용하여 이러한 공간의 아이젠슈타인 코호몰로지에 대한 명시적 공식을 도출하기 위해.
• 유한체 위의 점 수 계산과 모듈라 형식 이론을 활용하여 $ \mathcal{A}_2 $의 코호몰로지에 대한 내림차순 기여에 대한 추측 공식을 제안하기 위해.
• 유한체 위에서의 곡선 수의 산술적 계산과 2차수의 시겔 모듈라 형식의 구조를 연결하기 위해.
• 모듈리 공간 위의 국소계에 대한 컴act 지지 코호몰로지에 대한 명시적 공식을 제공하며, 낮은 무게에서 검증하기 위해.

제안 방법

• 저자들은 혼합 호지 구조 또는 초등 모티브의 그로텐디크 군 안에서의 모티브적 오일러 특성수 $ e_c({\frak A}_2, {V}_{l,m}) = \sum (-1)^i [H^i_c({\frak A}_2, {V}_{l,m})] $ 를 사용한다.
• 내부 코호몰로지 사상의 코어레일러를 분리하여 아이젠슈타인 코호몰로지를 고립시키기 위해 분해 $ H^*_c = H^*_! + \text{Eis} $ 를 적용한다.
• 하더, 핑크, 슈베르머의 산술군의 아이젠슈타인 코호몰로지 및 시겔 모듈라 형식에 관한 기법을 활용한다.
• 유한체 $ \mathbb{F}_q $ 위에서 종수 2 곡선의 점 수 계산을 통해 $ e_c({\cal M}_{2,n}) $ 를 계산하며, 이를 코호몰로지 불변량과 연결한다.
• 특히 이구사의 생성자와 츠시마의 차원 공식을 포함한 기존의 시겔 모듈라 형식 결과를 활용하여 코호몰로지 데이터를 해석한다.
• 공식 $ e_c({\cal M}_{2,10}) $ 과 $ e_c({\cal M}_{2,16}) $ 를 검증하며, 이를 테이트 모티브 $ L $, 모듈라 형식 $ S[k] $, 및 $ S[6,8] $ 로 표현한다.

실험 결과

연구 질문

• RQ1 국소계가 종수 2 곡선 및 아벨 표면의 모듈리 공간 위에 있을 때 아이젠슈타인 코호몰로지의 명시적 구조는 무엇인가?
• RQ2 유한체 위에서 종수 2 곡선의 점 수는 $ \mathcal{M}_2 $ 위의 국소계에 대한 모티브적 코호몰로지에 어떻게 반영되는가?
• RQ3 모듈리 공간 $ \mathcal{A}_2 $ 위의 $ V_{l,m} $ 계수에 대한 내림차순 기여의 추측적 형태는 무엇인가?
• RQ4 2차수의 시겔 모듈라 형식은 어떻게 모듈리 공간의 코호몰로지 불변량을 해석하고 검증하는 데 사용되는가?
• RQ5 작은 $ n $ 에 대해 $ \mathcal{M}_{2,n} $ 의 정확한 모티브적 오일러 특성수는 무엇이며, 이를 알려진 모티브로 어떻게 분해할 수 있는가?

주요 결과

• 아이젠슈타인 코호몰로지에 대한 정확한 공식: $ e_{\rm Eis}({\cal A}_2, {V}_{l,m}) = s_{l-m+2} - s_{l+m+4}L^{m+1} + \begin{cases} S[m+2]+1 & l \text{ 짝수}, \\ -S[l+3] & l \text{ 홀수} \end{cases} $, 여기서 $ s_n $ 은 $ \mathrm{SL}(2,\mathbb{Z}) $ 에 대해 무게 $ n $ 인 파라볼릭 모듈라 형식의 차원이다.
• $ l = m > 0 $ 인 경우, 공식은 $ m $ 이 짝수일 수 있는 예상치 못한 $ L $-함수 상쇄 현상으로 인해 예외가 있을 수 있다.
• 모티브적 오일러 특성수 $ e_c({\cal M}_{2,10}) $ 는 $ L $ 과 $ S[12] $ 의 다항식으로 명시적으로 계산되었으며, 차수 13까지의 계수를 포함한다.
• 공식 $ e_c({\cal M}_{2,16}) $ 는 $ A(L) $, $ B(L) $, $ C(L) $, $ D(L) $, 및 $ e_c({\cal M}_2, {V}_{11,5}) $ 를 포함하며, 후자는 $ -S[6,8] - (L+1)S[12] - (L^5 + \cdots + 2) $ 로 표현된다.
• 논문은 $ S_{6,8} $ 가 1차원임을 확인하고, 16차원 격자로부터 구성된 명시적인 비영 형식 $ F \in S_{6,8} $ 를 제공한다.
• 이 방법은 $ n \leq 16 $ 에 대해 $ e_c({\cal M}_{2,n}) $ 를 성공적으로 계산하였으며, 내림차순 부분은 알려져 있고 전체 특성류는 결정되었다.