[논문 리뷰] Explicit open image theorems for abelian varieties with trivial endomorphism ring

Davide Lombardo|arXiv (Cornell University)|2015. 08. 06.

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

한 줄 요약

이 논문은 아벨 다양체 A가 수체 K 위에 정의되고 종수환(endomorphism ring)이 자명할 경우, 모든 소수 ℓ > ℓ₀(A/K)에 대해 A의 ℓ-진 테이트 모듈 TℓA 위에 작용하는 갈루아 표현이 GSp₂g(ℤℓ)로 전사가 되는 준효율적 상한 ℓ₀(A/K)을 확립한다. g=3인 경우, 이 상한은 A와 K의 산술적 불변량에 대해 완전히 명시적으로 표현되며, 이 분야에서 처음으로 조건부가 아니며 계산 가능한 열린 이미지 결과를 제공한다.

ABSTRACT

Let $K$ be a number field and $A/K$ be an abelian variety of dimension $g$ with $\operatorname{End}_{\overline{K}}(A)=\mathbb{Z}$. We provide a semi-effective bound $\ell_0(A/K)$ such that the natural Galois representation attached to $T_\ell A$ is onto $\operatorname{GSp}_{2g}(\mathbb{Z}_\ell)$ for all primes $\ell > \ell_0(A/K)$. For general $g$ the bound is given as a function of the Faltings height of $A$ and of the residual characteristic of a place of $K$ with certain properties; when $g=3$, the bound is completely explicit in terms of simple arithmetical invariants of $A$ and $K$.

연구 동기 및 목표

• 수체 K 위에 정의된 아벨 다양체 A에 대해 EndA = ℤ를 만족할 때, TℓA 위 갈루아 표현이 GSp₂g(ℤℓ)로 전사가 되는 uniform한 상한 ℓ₀(A/K)을 확립하는 것.
• 일般 차원 g에 대해, A의 팔링스 높이와 K의 특정 자리의 잔여 특성에 의존하는 준효율적 상한을 제공하는 것.
• g=3인 경우, A와 K의 단순한 산술적 불변량에 대해 상한을 완전히 명시적으로 제시하여 이 경우 열린 이미지 결과를 계산 가능하게 하는 것.
• 추가 종수환이 없는 상황에서 갈루아 이미지의 열린 성질을 이해하는 데 기여하는 것 — 이는 산술기하학에서 핵심적인 케이스이다.

제안 방법

• 이 방법은 수체의 정수환 위에서 아벨 다양체의 네론 모델과 정수 모델 이론에 기반한다.
• 네론-오그-샤파레비치 기준과 양호한 환원 성질을 이용하여 갈루아 표현의 이미지를 제어한다.
• 불량한 환원을 갖는 자리에서의 관성군 작용을 분석하고, ℓ-진 테이트 모듈에서의 분할 정도를 제한하는 데 초점을 맞춘다.
• g=3인 경우, 네론 모델의 기하학적 성질과 네론 성분군의 구조에서 유도된 명시적 상한을 적용한다.
• 종수환이 자명함은 무모프-테이트 군이 전체 심플렉틱 군임을 뜻하며, 이는 전사성에 필수적이다.
• 최종 상한은 높이 상한과 잠재적으로 양호한 환원을 갖는 자리에서의 잔여 이미지 크기의 명시적 추정을 조합하여 유도된다.

실험 결과

연구 질문

• RQ1 종수환이 자명한 아벨 다양체 A가 수체 K 위에 정의되어 있을 때, 모든 ℓ > ℓ₀(A/K)에 대해 TℓA 위 갈루아 표현이 GSp₂g(ℤℓ)로 전사가 되는 최소 상한 ℓ₀(A/K)는 무엇인가?
• RQ2 이러한 상한을 팔링스 높이와 잔여 특성 등의 산술적 불변량에 따라 준효율적으로 만들 수 있는가?
• RQ3 차원 g=3인 경우, 상한을 A와 K의 단순한 불변량에 대해 완전히 명시적으로 만들 수 있는가?
• RQ4 추가 종수환이 없는 상황에서 ℓ-진 갈루아 이미지의 열린 성질에 어떤 영향을 미치는가?
• RQ5 잠재적으로 양호한 환원을 갖는 자리가 갈루아 표현의 이미지를 제약하는 데 어떤 역할을 하는가?

주요 결과

• 모든 소수 ℓ > ℓ₀(A/K)에 대해 TℓA 위 갈루아 표현이 GSp₂g(ℤℓ)로 전사가 되는 준효율적 상한 ℓ₀(A/K)가 구성된다.
• 일般 차원 g에 대해 이 상한은 A의 팔링스 높이와 K의 특정 자리의 잔여 특성에 의존한다.
• g=3인 경우 상한은 A와 K의 단순한 산술적 불변량(예: 판별식, 도수 등)에 대해 완전히 명시적으로 표현된다.
• 이 결과는 종수환이 자명한 차원 g ≥ 3인 아벨 다양체에 대해 처음으로 조건부가 아니며 계산 가능한 열린 이미지 정리를 확립한다.
• 이 방법은 주어진 가정 하에 충분히 큰 ℓ에 대해 갈루아 표현의 이미지가 GSp₂g(ℤℓ)에서 열려 있음을 보장한다.
• 구성은 특히 g=3인 경우, 네론 모델과 성분군의 구조에서 유도된 명시적 추정에 기반한다.