[논문 리뷰] On the $\ell$-adic Galois representations attached to nonsimple abelian varieties

Davide Lombardo|arXiv (Cornell University)|2014. 02. 06.

Algebraic Geometry and Number Theory참고 문헌 31인용 수 5

한 줄 요약

이 논문은 유한 생성 체 위의 비단순 아벨 다양체에 부착된 $\alpha$-adic Galois 표현이 그 단순 성분들에 부착된 표현들의 곱으로 분해되는 충분조건을 확립한다. 리 이론 기준과 $\alpha$-adic 버전의 호지 이론 결과를 사용하여, 인접한 성분들이 비이sovolumetric이고 그 내적 대칭 대칭 대수 및 표현에 대해 특정 대수 조건을 만족할 경우 $H_{\ell}(A_1 \times A_2) \cong H_{\ell}(A_1) \times H_{\ell}(A_2)$임을 증명한다. 이는 고전 결과를 양의 특성으로 확장하며, 저차원 다양체에 대한 Mumford-Tate 추측의 검증을 제공한다.

ABSTRACT

We study Galois representations attached to nonsimple abelian varieties over finitely generated fields of arbitrary characteristic. We give sufficient conditions for such representations to decompose as a product, and apply them to prove arithmetical analogues of results shown by Moonen and Zarhin in the context of complex abelian varieties (of dimension at most 5).

연구 동기 및 목표

• 유한 생성 체 위의 비단순 아벨 다양체에 부착된 $\alpha$-adic Galois 표현의 구조를 이해하는 것.
• 알고리즘적 단일화 그룹 $H_{\ell}(A_1 \times A_2)$가 $H_{\ell}(A_1) \times H_{\ell}(A_2)$로 분해되는 데 필요한 충분조건을 제공하는 것.
• Hazama와 Ichikawa의 호지 이론 결과를 임의의 특성에서 $\alpha$-adic 설정으로 확장하는 것.
• 복소수 체의 유한 생성 부분체 위에서 차원이 5 이하인 아벨 다양체에 대해 Mumford-Tate 추측을 검증하는 것.

제안 방법

• $H_{\ell}(A)$의 리 대수 구조와 그 $\overline{\mathbb{Q}}_{\ell}$ 위의 단순 성분으로의 분해를 이용하여 갈로아 작용을 분석한다.
• Ribet 스타일의 보조정리와 Larsen-Pink, Pink의 기법을 적용하여 $H_{\ell}(A)$의 도출 부분군을 제어한다.
• 상대 차원과 내적 대칭 대칭 대수의 Albert 분류를 이용하여 아벨 다양체의 유형을 구분한다.
• ℓ-adic 설정에서 랭크 비교 및 이소겐시 기법을 통해 $H_{\ell}(A) \cong H_{\ell}(A_1) \times H_{\ell}(A_2)$의 동형을 확립한다.
• $H_{\ell}(A)$의 랭크가 $\ell$에 독립적이므로, 한 소수 $\ell$에서의 국소 동형으로부터 전역 동형을 유도한다.
• 차원 4 다양체의 경우 가능한 $H_{\ell}(A)$를 분류하기 위해 [16]의 일반적 Lefschetz 유형 및 [21]의 $\operatorname{SL}_2^n$의 $\mathbb{Q}$-형태 결과를 적용한다.

실험 결과

연구 질문

• RQ1 비이sovolumetric인 아벨 다양체의 곱에 대한 $\ell$-adic Galois 표현이 성분들의 표현들의 곱으로 분해되는 조건은 무엇인가?
• RQ2 복소수 아벨 다양체에 대한 Ichikawa의 호지 이론 기준을 양의 특성에서 $\ell$-adic 설정으로 확장할 수 있는가?
• RQ3 복소수 체의 유한 생성 부분체 위에서 차원이 5 이하인 아벨 다양체에 대해, 다양체가 $\overline{K}$-이소젠스로 단순 성분의 곱이면 Mumford-Tate 추측이 성립하는가?
• RQ4 $A_1$이 유형 IV이고 $A_2$가 유형 I, II 또는 III인 경우, $H_{\ell}(A_1 \times A_2) \cong H_{\ell}(A_1) \times H_{\ell}(A_2)$는 언제 성립하는가?
• RQ5 상대 차원과 최고 무게 안정성은 $H_{\ell}(A)$의 분해를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 정리 4.1은 리 대수와 그 작용의 반복성 및 표현론적 호환성에 기반한 $H_{\ell}(A_1 \times A_2) \cong H_{\ell}(A_1) \times H_{\ell}(A_2)$의 충분조건을 제공한다.
• 계량 4.5는 $K \subset \mathbb{C}$ 이고, 차원 $\leq 2$인 절대 단순인 $A_i$들이 상호 비이sovolumetric이면, $A$가 $\prod A_i^{k_i}$에 대해 $\overline{K}$-이소젠스일 경우 $H_{\ell}(A) \cong \prod H_{\ell}(A_i)$가 성립하며, 이 경우 Mumford-Tate 추측도 성립함을 보여준다.
• 정리 4.7은 $A_1$이 유형 I, II 또는 III이고 $A_2$가 유형 IV이며, 둘 다 홀수 상대 차원이고 비이sovolumetric이면, 특성 0에서 $H_{\ell}(A_1 \times A_2) \cong H_{\ell}(A_1) \times H_{\ell}(A_2)$임을 증명한다.
• 양의 특성에서는 정리 5.7과 5.9가 유사한 조건 하에서 약간 더 약한 가정으로 유사한 결과를 제공하며, 상대 차원과 비이sovolumetric 조건 하에서 곱 분해가 성립함을 보여준다.
• 내적 대칭 대수 $\operatorname{End}_{\overline{K}}(A_1) = \mathbb{Z}$인 차원 4 아벨 다양체의 경우, 이소젠시 기법을 통해 랭크 모순을 배제함으로써 모든 $\ell$에 대해 $H_{\ell}(A_1 \times A_2) \cong H_{\ell}(A_1) \times H_{\ell}(A_2)$임을 보여준다.
• 논문은 $\overline{K}$-이소젠스로 절대 단순 성분의 곱이 되며, 상호 비이sovolumetric 성분을 가진 복소수 체의 유한 생성 부분체 위에서 차원이 $\leq 5$인 모든 아벨 다양체에 대해 Mumford-Tate 추측을 확인한다.