[논문 리뷰] Integral and adelic aspects of the Mumford-Tate conjecture

Anna Cadoret, B.J. Moonen|arXiv (Cornell University)|2015. 08. 26.

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

한 줄 요약

이 논문은 복소수의 유한 생성 부분체 위의 아벨 다양체와 K3 곡면에 대해 믹스포드-테이트 추측의 정밀화된 적분 및 아델형 버전을 수립한다. 시무라 다양체의 기본군 표현을 분석함으로써, 믹스포드-테이트 추측과 호지-최대성 조건 하에서 전체 타이트 모듈러스 위의 갈루아 이미지가 아델형 믹스포드-테이트 군에서 열린다는 것을 증명한다; K3 곡면의 경우 그 자체로 최대성이 보장되므로 이는 조건 없이 성립한다.

ABSTRACT

Let $Y$ be an abelian variety over a subfield $k \subset \mathbb{C}$ that is of finite type over $\mathbb{Q}$. We prove that if the Mumford-Tate conjecture for $Y$ is true, then also some refined integral and adelic conjectures due to Serre are true for $Y$. In particular, if a certain Hodge-maximality condition is satisfied, we obtain an adelic open image theorem for the Galois representation on the (full) Tate module of $Y$. Our second main result is an (unconditional) adelic open image theorem for K3 surfaces. The proofs of these results rely on the study of a natural representation of the fundamental group of a Shimura variety.

연구 동기 및 목표

• 수체 위의 아벨 다양체에 대해 세르 추측의 정밀화된 적분 및 아델형 버전을 수립한다.
• 호지-최대성 조건 하에서 아델형 열린 이미지 정리를 증명하여 세르의 추측을 확장한다.
• K3 곡면에 대해 조건 없이 아델형 열린 이미지 정리를 수립한다. 이는 그 내재된 호지-최대성 덕분이다.
• 기하학적 갈루아-일반성 조건을 통해 코homology 위 갈루아 표현과 시무라 다양체 위 기본군 표현을 연결한다.
• 시무라 다양체 이론과 상호작용 법칙을 통해 아벨 다양체와 K3 곡면 간의 증명 기제를 통합한다.

제안 방법

• 아벨 다양체와 K3 곡면에 추가 구조를 가진 모듈리 공간으로서 시무라 다양체의 기하학적 구조를 활용한다.
• 시무라 다양체의 기하학적으로 기약 성분의 기본군에서 K₀ ⊂ G(𝔸_f)로의 표현 φ: π₁(S₀) → K₀를 구성한다.
• 델리뉴의 군론적 상호작용 법칙을 적용하여 기하학적 연결 성분 위 갈루아 작용을 묘사한다.
• 보고몰로프의 정리를 사용하여 점들의 ℓ-갈루아-일반성과 ℓ-아델형 설정에서의 이미지의 열림을 연결한다.
• 카도레트–크레트의 결과를 적용하여, 한 소수 ℓ에 대해 ℓ-갈루아-일반성이 성립하면 약한 조건 하에 아델형 열림이 성립함을 보인다.
• 코로나리 3.7을 통해 표현 φ의 아델형 이미지가 아델형 열림 정리에서 요구하는 '크다'는 성질을 만족함을 증명한다.

실험 결과

연구 질문

• RQ1 믹스포드-테이트 추측이 수체 위 아벨 다양체에 대해 세르 추측의 정밀화된 적분 및 아델형 버전을 유도하는가?
• RQ2 갈루아 표현의 전체 타이트 모듈러스 위 이미지가 아델형 믹스포드-테이트 군에서 열리기 위한 조건은 무엇인가?
• RQ3 호지-최대성 조건은 아벨 다양체의 맥락에서 아델형 열린 이미지 정리에 대해 필수적이고 충분한가?
• RQ4 K3 곡면에 대해 알려진 믹스포드-테이트 추측과 호지 구조 성질을 고려할 때, 아델형 열린 이미지 정리는 조건 없이 성립하는가?
• RQ5 기본군 표현 φ: π₁(S₀) → K₀가 기하학적 점을 통해 코homology 위 갈루아 표현과 어떻게 연결되는가?

주요 결과

• 믹스포드-테이트 추측을 만족하는 아벨 다양체에 대해, ℓ가 변할수록 [G_B(ℤ_ℓ) : Im(ρ_Y,ℓ)]의 지수가 유계이며, 거의 모든 ℓ에 대해 이미지가 교환자 부분군과 정수 스케일링을 포함한다.
• H₁(Y(ℂ), ℚ) 위의 호지 구조가 호지-최대일 경우, ρ_Y의 이미지는 G_B(𝔸_f)에서 열린다.
• K3 곡면의 경우 믹스포드-테이트 추측이 이미 알려져 있으며, 호지-최대성이 자연스럽게 성립하므로 아델형 열린 이미지 정리는 조건 없이 성립한다.
• 기본군 표현 φ: π₁(S₀) → K₀의 이미지는 코로나리 3.7에 의해 아델형 열림에 요구되는 '크다'는 성질을 만족한다.
• 갈루아 표현 ρ_Y는 φ∘σ_y의 합성으로 나타나며, σ_y는 S₀(k)의 기하학적 점 y에 의해 유도된다. 이는 코homology 위 갈루아 작용과 시무라 다양체 위의 모노드로미를 연결한다.
• 증명은 한 소수 ℓ에 대해 ℓ-갈루아-일반성이 성립하면 카도레트–크레트의 결과에 의해 아델형 열림이 성립함을 보여주며, 믹스포드-테이트 추측을 전제로 한다.