[논문 리뷰] Iterated endomorphisms of Abelian algebraic groups

Rafe Jones, Jeremy Rouse|arXiv (Cornell University)|2007. 06. 15.

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

한 줄 요약

이 논문은 전역체 F 위의 아벨 대수적 군 A에서의 점 α에 대한 반복 곱셈 ℓ에 의한 원상들을 연구하기 위해 ℓ-진과 쿠머 유형의 갈루아 데이터를 융합한 '수림형' 갈루아 표현 ω를 도입한다. ω가 전사가 되는 조건을 특성화하고, α mod p의 차수와 ℓ가 서로소인 소수 p의 밀도를 계산한다. 예를 들어, F가 수체이고 A가 전사 2-진 표현을 갖는 타원곡선이며, α ∉ 2A(F(A[4]))인 경우, 홀수 차수 감소를 갖는 소수의 밀도는 11/21이다.

ABSTRACT

Abstract. Given an abelian algebraic group A over a global field F, α ∈ A(F), and a prime ℓ, the set of all preimages of α under some iterate of [ℓ] has a natural tree structure. Using this data, we construct an “arboreal ” Galois representation ω whose image combines that of the usual ℓ-adic representation and the Galois group of a certain Kummer-type extension. For several classes of A, we give a simple characterization of when ω is surjective. The image of ω also encodes information about the density of primes p in K such that the order of the reduction mod p of α is prime to ℓ. We compute this density in the general case for several A of interest. For example, if F is a number field, A/F is an elliptic curve with surjective 2-adic representation and α ∈ A(F), with α ̸ ∈ 2A(F(A[4])), then the density of primes p with α mod p having odd order is 11/21. 1.

연구 동기 및 목표

• 반복 곱셈 ℓ에 의한 점의 원상에 대한 ℓ-진과 쿠머 유형 갈루아 작용을 통합하는 새로운 갈루아 표현 ω를 구성하는 것.
• 다양한 종류의 아벨 대수적 군 A에 대해 이 수림형 표현 ω가 전사가 되는 조건을 특성화하는 것.
• α mod p의 차수가 ℓ과 서로소인 소수 p의 자연 밀도를 계산하는 것, 특히 타원곡선과 같은 산술적 관심을 갖는 경우에 중점을 두는 것.
• 특정 종류의 아벨 다양체, 특히 전사 2-진 표현을 갖는 타원곡선에 대해 명시적인 밀도 결과를 제공하는 것.

제안 방법

• F̄ 위의 A에서 반복 곱셈 ℓ에 의한 α의 모든 원상 집합에 트리 구조를 정의한다.
• 이 원상 트리 위에서 갈루아 작용을 통해 수림형 갈루아 표현 ω를 구성하며, ℓ-진과 쿠머 이론적 자료를 융합한다.
• ω의 상을 통해 α mod p의 차수가 ℓ과 서로소인 소수 p의 밀도 정보를 인코딩한다.
• 클래스 체론과 갈루아 이론적 기법을 적용하여 ω의 상을 분석하고 전사성 조건을 유도한다.
• 기존의 ℓ-진 표현과 쿠머 확장에 관한 결과를 활용하여 특정 경우의 밀도를 계산한다.
• 특히 전사 2-진 표현을 갖는 타원곡선과 α에 대한 조건을 중심으로 11/21 밀도 결과를 도출한다.

실험 결과

연구 질문

• RQ1 전역체 F 위의 아벨 대수적 군 A와 주어진 소수 ℓ에 대해, 수림형 갈루아 표현 ω가 전사가 되는 조건은 무엇인가?
• RQ2 ω의 상은 α mod p의 차수가 ℓ과 서로소인 소수 p의 밀도에 대해 어떤 정보를 담고 있는가?
• RQ3 α mod p의 감소 차수가 ℓ과 서로소인 소수 p의 정확한 자연 밀도는 무엇인가, 특히 전사 2-진 표현을 갖는 타원곡선의 경우에 대해?
• RQ4 조건 α ∉ 2A(F(A[4]))는 홀수 차수 감소를 갖는 소수의 밀도에 어떤 영향을 미치는가?
• RQ5 수림형 표현 ω는 타원곡선 외의 다른 종류의 아벨 다양체에 대해서도 명시적인 밀도를 계산하는 데 사용될 수 있는가?

주요 결과

• 수림형 갈루아 표현 ω는 반복 곱셈 ℓ에 의한 점의 원상 트리 위에서 갈루아 작용으로 구성되며, ℓ-진과 쿠머 이론적 자료를 융합한다.
• 수체 F 위의 타원곡선 A에서 전사 2-진 표현을 갖는 경우, α ∉ 2A(F(A[4]))이면, α mod p의 차수가 홀수인 소수 p의 밀도는 정확히 11/21이다.
• ω의 상은 α mod p의 차수가 ℓ과 서로소인 소수 p의 밀도를 인코딩하며, 여러 경우에서 명시적 계산이 가능하다.
• 적절한 ℓ-진 표현과 쿠머 이론적 성질을 갖는 아벨 다양체의 경우, 이 밀도를 계산하는 일반적인 방법을 제시한다.
• ℓ-주기적 토판의 구조와 ℓ제곱근에 의해 생성되는 쿠머 확장의 구조에 따라, 여러 종류의 아벨 대수적 군에 대해 ω의 전사성 조건을 특성화한다.
• 이 구성은 ℓ-진 갈루아 표현과 소수 모듈로 감소에 대한 산술적 성질을 연결하는 통합 프레임워크를 제공한다.