[논문 리뷰] The filled Julia set of a Drinfeld module and uniform bounds for torsion

Patrick Ingram|arXiv (Cornell University)|2012. 10. 10.

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

한 줄 요약

이 논문은 국소 및 아델릭 체 위에서 드린펠트 모듈에 대해 채워진 푸아송 집합과 그의 구성 모듈을 도입하여 동역계 체계를 수립한다. 이는 구성 모듈의 구조에 대한 추측이 드린펠트 모듈의 토크션에 대한 균일한 상한을 이끌어내며, 특정 가닥들에 대해 이 추측을 검증하여 특수한 경우에 대해 명시적인 균일 토크션 상한을 도출한다.

ABSTRACT

If M is a Drinfeld module over a local function field L, we may view M as a dynamical system, and consider its filled Julia set J. If J^0 is the connected component of the identity, relative to the Berkovich topology, we give a characterisation of the component module J/J^0 which is analogous to the Kodaira-Neron characterisation of the special fibre of a Neron model of an elliptic curve over a non-archimedean field. In particular, if L is the fraction field of a discrete valuation ring, then the component module is finite, and moreover trivial in the case of good reduction. In the context of global function fields, the filled Julia set may be considered as an object over the ring of finite adeles. In this setting we formulate a conjecture about the structure of the (finite) component module which, if true, would imply Poonen's Uniform Boundedness Conjecture for torsion on Drinfeld modules of a given rank over a given global function field. Finally, we prove this conjecture for certain families of Drinfeld modules, obtaining uniform bounds on torsion in some special cases.

연구 동기 및 목표

• 국소 및 전역 함수체 위에서 드린펠트 모듈의 동역계적 해석을 채워진 푸아송 집합과 구성 모듈을 통해 수립한다.
• 드린펠트 모듈의 토크션에 대한 푸오나의 균일 유계성 추측을 이끌어내는 아델릭 구성 모듈의 구조에 대한 추측을 제시한다.
• 특정 가닥의 드린펠트 모듈에 대해 이 추측을 증명함으로써 이러한 경우에 균일 토크션 상한을 확립한다.
• 타원곡선의 코다이라-네론 모델과의 유사성을 제시하여 드린펠트 모듈 설정에서 구성 모듈의 유사한 구조를 제공한다.
• 어느 이상수 a에 의해 소멸되는 곳의 비율을 측정하는 높이 유사 불변량 μ(φ, N, a)를 정의하고, 이를 토크션 상한과 연결한다.

제안 방법

• 국소 함수체 L_v의 대수적 폐포의 완비화인 C_v 위에서 φ(C_v)의 최대 유계 부분모듈로 채워진 푸아송 집합 FJ(φ)를 정의한다.
• 베르코비치 위상에서 항등원의 연결 성분 φ⁰(L_v)를 도입하고, 몫 FJ(φ, L_v)/φ⁰(L_v)를 연구하며, 이는 유한 A-모듈이 된다.
• 베르코비치 해석 공간 A¹_Berk를 사용하여 채워진 푸아송 집합과 그의 구성의 위상 및 구조를 분석한다.
• 유한 자리(최대 N개의 예외를 제외하고)에서 구성 모듈이 이상 a에 의해 소멸되는 비율을 측정하는 측도 μ(φ, N, a) ∈ [0, 1]을 정의한다.
• μ(φ, N, a) ≥ 1/q 이면, 토크션 부분군 φ^Tors(L)의 크기는 r, N, a에만 의존하는 상수로 유계가 됨을 증명한다.
• 전역 함수체 위에서 드린펠트 모듈 이론을 적용하여 아델릭 채워진 푸아송 집합을 고려하고, 구성 모듈의 구조를 이용해 토크션 상한을 도출한다.

실험 결과

연구 질문

• RQ1 국소 함수체 위의 드린펠트 모듈에 대해 구성 모듈 FJ(φ, L_v)/φ⁰(L_v)는 타원곡선의 코다이라-네론 모델과 유사한 방식으로 특징지을 수 있는가?
• RQ2 아델릭 구성 모듈의 구조에 대한 추측이 드린펠트 모듈의 토크션에 대한 푸오나의 균일 유계성 추측을 이끌어내는가?
• RQ3 어느 가닥의 드린펠트 모듈에 대해 구성 모듈의 구조에 대한 추측이 검증되었으며, 어떤 균일 토크션 상한을 도출할 수 있는가?
• RQ4 불변량 μ(φ, N, a)는 구성 모듈이 작은 곳의 분포와 어떻게 관련되어 있으며, 어떻게 토크션 성장에 영향을 미치는가?
• RQ5 드린펠트 모듈 설정에서 타원곡선과의 유사성은 구성 모듈과 높이 기반 측도로 얼마나 넓게 확장되는가?

주요 결과

• 구성 모듈 FJ(φ, L_v)/φ⁰(L_v)는 유한 A-모듈이며, 양호한 감소의 경우 자명하다.
• 모든 전역 함수체 위의 드린펠트 모듈 φ에 대해 아델릭 구성 모듈은 유한하며, 그 구조가 토크션 상한을 지배한다.
• μ(φ, N, a) ≥ 1/q 이면, 토크션 부분군 φ^Tors(L)의 크기는 랭크 r, 이상 a, 그리고 악화 감소 자리의 수 N에만 의존하는 상수로 유계가 된다.
• 구성 모듈의 구조에 대한 추측은 주어진 전역 함수체 위에서 주어진 랭크의 드린펠트 모듈에 대해 푸오나의 균일 유계성 추측을 이끌어낸다.
• 이 추측은 특정 가닥의 드린펠트 모듈에 대해 증명되었으며, 이러한 경우에 대해 명시적인 균일 토크션 상한을 도출한다.
• 이 방법은 채워진 푸아송 집합과 구성 모듈을 중심 대상으로 사용하여 기존의 기하학적 결과를 일반화하며, 타원곡선과의 유사성을 확장한다.