[논문 리뷰] Arithmetic of abelian varieties with constrained torsion

Christopher Rasmussen, Akio Tamagawa|arXiv (Cornell University)|2013. 02. 06.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 수체 K 위의 아벨 다양체에 대해 ℓ-거듭제곱 토크션 필드가 제약 조건이 있는 경우의 동형류의 유한성을 확립한다. 일반화된 리만 가설(GRH) 하에, 고정된 K와 차원 g에 대해 이러한 동형류가 유한하게 존재한다는 것을 증명한다. 무조건적으로는 평활한 아벨 다양체와 저차수 확장의 경우에 대해, 갈루아 표현과 해석적 수론을 통해 ℓ에 대한 균일한 상한을 도출함으로써 이러한 유한성을 보인다.

ABSTRACT

Let $K$ be a number field. We present several new finiteness results for isomorphism classes of abelian varieties over $K$ whose $\ell$-power torsion fields are arithmetically constrained for some rational prime $\ell$. Such arithmetic constraints are related to an unresolved question of Ihara regarding the kernel of the canonical outer Galois representation on the pro-$\ell$ fundamental group of $P^1 - \{0,1,\infty\}$. Under GRH, we demonstrate the set of classes is finite for any fixed $K$ and any fixed dimension. Without GRH, we prove a semistable version of the result. In addition, several unconditional results are obtained when the degree of $K/\Q$ and the dimension of abelian varieties are not too large, through a careful analysis of the special fiber of such abelian varieties. In some cases, the results (viewed as a bound on the possible values of $\ell$) are uniform in the degree of the extension $K/\Q$.

연구 동기 및 목표

• 수체 K 위의 아벨 다양체의 동형류의 유한성을 조사하며, 이들의 ℓ-거듭제양 토크션 필드가 이하라의 추측과 관련된 특정한 프로-ℓ 확장에 포함되는 경우를 다룬다.
• 고정된 K와 차원 g에 대해 이러한 아벨 다양체의 집합이 유한한지, 특히 ℓ와 토크션 필드의 산술적 성질이 어떻게 기여하는지 규명한다.
• 토션점 위의 갈루아 표현과 프로페니우스 원소를 분석하여, K에 관계없이 ℓ에 대한 균일한 상한을 도출하고자 한다.
• P¹−{0,1,∞} 위의 프로-ℓ 타워의 최소 정의 필드에 대해, 아벨 다양체의 ℓ-거듭제곱 토크션에 의해 생성되는 필드가 포함되는지 여부에 관한 이하라의 열린 질문을 해결한다.

제안 방법

• P¹−{0,1,∞}의 프로-ℓ 기본군 위의 표준 외부 갈루아 표현을 사용하여, 아벨 다양체의 프로-ℓ 타워의 최소 정의 필드를 기록하는 필드 山(K,ℓ)를 정의한다.
• ℓ 이외의 곳에서 양호한 균열을 가진 K 위의 아벨 다양체 A에 대해, A[ℓ] 위의 갈루아 표현 ρ를 분석함으로써, 반불완전한 균열의 지수에 대한 제약 조건을 이끌어낸다.
• 갈루아 표현 ρ로부터 유도된 특성 χ(m_Q)를 구성하며, 이는 프로페니우스 원소에서 영이 되지 않음을 보여, 모순을 이끌어내는 데 사용된다.
• 해석적 수론 도구, 특히 라메르트 W-함수와 산술급수 내 소수의 상한을 적용하여 ℓ에 대한 균일한 상한을 유도한다.
• 일반화된 리만 가설을 활용하여 특정 분할 행동을 갖는 작은 소수의 존재를 보장함으로써, 큰 ℓ에 대해 모순을 이끌어낸다.
• 클래스 체 이론과 갈루아 확장에서의 분해 유형을 활용하여, K(A[ℓ^∞])가 K 위에서 가능한 차수와 분할 정도를 제약한다.

실험 결과

연구 질문

• RQ1 고정된 수체 K와 차원 g에 대해, K(A[ℓ^∞]) ⊆ 天(K,ℓ)를 만족하는 아벨 다양체 A의 K-동형류 집합이 모든 ℓ에 대해 유한한가?
• RQ2 K에 관계없이 ℓ에 대한 균일한 상한을 도출할 수 있는가? 즉, K(A[ℓ^∞]) ⊆ 天(K,ℓ)이면 ℓ ≤ C를 만족하는 상수 C가 존재하는가? 이 C는 g와 [K:Q]에만 의존한다.
• RQ3 K 위의 아벨 다양체 A에 대해, ℓ 이외의 곳에서 양호한 균열을 가지는 경우, K(A[ℓ^∞]) ⊆ 山(K,ℓ)가 항상 성립하는가? 이는 이하라의 추측과 어떻게 관련되는가?
• RQ4 K 위의 비등지수 아벨 다양체 A에 대해 K(A[ℓ^∞]) ⊆ 天(K,ℓ)를 만족하는 최대 ℓ는 얼마이며, 이를 균일하게 상한으로 제약할 수 있는가?
• RQ5 A[ℓ] 위의 갈루아 표현이 프로페니우스 원소를 어떻게 제약하며, 큰 ℓ에 대해 모순을 이끌어내는가?

주요 결과

• 일반화된 리만 가설 하에, 고정된 수체 K와 차원 g에 대해, [A] ∈ 𝒜(K,g,ℓ)인 쌍 ([A],ℓ)의 집합 𝒜(K,g)는 유한하다.
• GRH 없이도, K 위에서 반불완전한 균열을 가지는 아벨 다양체에 대해 𝒜(K,g)의 유한성은 무조건적으로 증명된다.
• K에 대해 [K:Q] ≤ 3 이고 g=1인 타원곡선에 대해, 모든 충분히 큰 ℓ에 대해 집합 𝒜(K,1,ℓ)는 공집합이며, 이는 라메르트 W-함수를 통해 균일한 상한이 도출된다.
• ℓ에 대한 균일한 상한이 확립된다: ℓ > 16g²C₃²ⁿC₅⁴ⁿ(2n)⁴ⁿexp(C₄/C₅) 이면 𝒜(K,g,ℓ)는 공집합이다. 이 상한은 해석적 수론에서 유도된 상수들로 구성된다.
• K=ℚ 이고 g=1일 때, 집합 𝒜(ℚ,1)은 유한하며, 정확히 50개의 ℚ-동형류를 포함하며, 이는 21개의 이소지니 클래스를 포함한다. 이 중 ℓ=11에 대해 4개의 클래스만 열려 있다.
• 갈루아 표현에서 유도된 특성 χ(m_Q)는 프로페니우스 원소에서 영이 되지 않음을 보여, 큰 ℓ에 대해 모순을 이끌어내는 데 핵심적인 도구가 된다.