[논문 리뷰] The cohomology of the moduli space of abelian varieties

Gerard van der Geer|arXiv (Cornell University)|2011. 12. 10.

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

한 줄 요약

이 종합 검토는 주로 극대화된 아벨 다양체의 모듈리 공간의 코homology를 조사하며, 타우톨로지컬 링, 분할( notamment Ekedahl-Oort), 미분 형식, 그리고 시겔 모듈라 형식과의 연결성을 중심으로 다룬다. 유한체 위의 곡선 수를 세는 새로운 방법을 제시하여 히케 연산자의 고유값 추적을 계산함으로써, 1, 2, 3차 모듈라 형식 간의 합동관계를 수치적으로 검증하고, 새로운 리프팅과 산술적 관계를 예측한다.

ABSTRACT

This is a survey on various aspects of the cohomology of the moduli space of abelian varieties

연구 동기 및 목표

• 주로 극대화된 아벨 다양체의 모듈리 공간의 코homology와 그 산술 및 기하학적 연결고리 탐색.
• 이 맥락에서 에케다-오르트 분할의 사이클 클래스와 타우톨로지컬 링 분석.
• 유한체 위에서 종수 ≤3인 곡선의 수와 연결된 히케 고유값 추적을 계산하는 프레임워크 수립.
• 특히 종수 2와 3에 대해, 기존의 모듈라 형식 간 합동관계를 더 높은 종수와 레벨 구조로 확장.
• 로컬 시스템의 코homology와 그 시겔 모듈라 형식과의 관계에 대한 추측을 수립하고 검증.

제안 방법

• 저자들은 유한체 위에서 종수 g ≤ 3인 곡선의 모듈리 공간을 사용하여, 시겔 모듈라 형식 공간에서 히케 연산자의 추적을 계산한다.
• 모듈리 스택 위의 유리점 수와 로컬 시스템의 오일러 특성 간의 추측적 비례 원리를 적용한다.
• 유한체 F_q 위에서 종수 1, 2, 3인 곡선의 수를 세는 방식을 통해 A_g의 코homological 불변량을 결정한다.
• 종수 2와 3의 경우, 토리켈리 사상과 스택의 구조를 활용하여 M_g와 A_g를 연결함으로써 곡선 수를 통한 코homology 계산을 가능하게 한다.
• Sp(4,Z/2Z) ≅ S_6의 작용을 이용하여 A_2의 레벨 2 구조로의 확장을 다루며, 여섯 개의 위어스트라스 점을 가진 곡선의 모듈리에 대해 분석한다.
• 이론적 예측은 계산된 추적을 바탕으로 수치적으로 검증되며, 이로 인해 다양한 종수 간의 히케 연산자 고유값 간의 관찰된 합동관계가 도출된다.

실험 결과

연구 질문

• RQ1 유한체 위의 산술적 수를 통해 주로 극대화된 아벨 다양체의 모듈리 공간의 코homology는 어떻게 계산할 수 있는가?
• RQ2 A_g의 타우톨로지컬 링과 에케다-오르트 분할의 사이클 클래스 사이의 정확한 관계는 무엇인가?
• RQ3 유한체 위 곡선 수의 수치 데이터는 서로 다른 무게와 종수를 가진 시겔 모듈라 형식의 히케 고유값 간 합동관계를 예측하고 검증할 수 있는가?
• RQ4 A_g 위의 로컬 시스템의 코homology 군은 모듈리 공간의 기하학과 모듈라 형식과 어떻게 관련되는가?
• RQ5 토리켈리 사상은 종수 3에서 M_g에서 A_g로 코homological 데이터를 전달하는 데 어떤 역할을 하는가?

주요 결과

• 종수 2에서, A_2[2] 위의 로컬 시스템 V_{4,2}의 코homology는 e_c = -45L^3 + 45 - S[Γ_2[2],(2,5)]로 계산되어 히케 연산자의 추적 계산이 가능해진다.
• Γ_2[2] 위에서 무게 (2,5)인 시겔 모듈라 형식에 대해 히케 고유값 λ(23) = -323440이 곡선 수 계산 방법을 통해 수치적으로 검증되었다.
• 종수 3에서, 오일러 특성 e_c(A_3, V_{10,4,0}) = -L^7 + L + S[6,8]가 계산되었으며, S[6,8]는 종수 2의 경우와 일치한다.
• 코homology e_c(A_3, V_{8,4,4}) = -S[12]L^6 + S[12] + S[4,0,8]는 무게 (4,0,8)인 진정한 시겔 모듈라 형식의 존재를 드러낸다.
• 곡선 수의 수치 데이터는 종수 1에서 종수 2 및 종수 1에서 종수 3 모듈라 형식으로의 리프팅 존재를 지지한다.
• p ≤ 37에 대해 λ(p) ≡ p^8 + a(p) + p^13 (mod 41)와 같은 합동관계가 수치적으로 검증되었으며, 고전적 합동관계 τ(p) ≡ p^11 + 1 (mod 691)를 확장한다.