[논문 리뷰] Drinfeld modules with maximal Galois action on their torsion points

David Zywina|arXiv (Cornell University)|2011. 10. 19.

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

한 줄 요약

이 논문은 일반적 특성이 있는 유한 생성 체 위에서 랭크 2 드린펠트 모듈러스를 명시적으로 구성하여, 토크션 점들 위의 갈루아 표현의 이미지가 GL₂(Â)에 조밀하게 포함되며, 최대한의 갈루아 작용을 달성한다. 세르의 타원곡선에 대한 구성과 유사한 방법을 사용하여 저자는 구체적인 예를 제시하고, 전체 토크션 모듈러스 위의 갈루아 표현의 이미지가 A의 프로프로폰트 완비화 위의 전체 일반선형군 GL₂(Â)임을 증명함으로써, 랭크 2의 경우에 최대성을 확인한다.

ABSTRACT

To each Drinfeld module over a finitely generated field with generic characteristic, one can associate a Galois representation arising from the Galois action on its torsion points. Recent work of Pink and Rütsche has described the image of this representation up to commensurability. Their theorem is qualitative, and the objective of this paper is to complement this theory with a worked out example. In particular, we give examples of Drinfeld modules of rank 2 for which the Galois action on their torsion points is as large as possible. We will follow the approach that Serre used to give explicit examples of his openness theorem for elliptic curves. Using our specific examples, we will numerically test analogues of some well-known elliptic curve conjectures.

연구 동기 및 목표

• 유한 생성 체에서 일반적 특성이 있는 랭크 2 드린펠트 모듈러스의 구체적이고 명시적인 예를 제시하여, 토크션 점들 위의 갈루아 표현이 가능한 한 크게 작용하도록 한다.
• 핑크와 루츠케의 정성적 열린 이미지 정리에 대비하여, 갈루아 표현의 이미지가 명시적으로 결정된 계산 가능한 예를 구성한다.
• 타원곡선에 대한 잘 알려진 추측들(예: 세르의 열린 이미지 정리, 모듈러성, 사토-테이트)의 유사체를 드린펠트 모듈러스의 맥락에서 수치적으로 검증한다.
• 최대 갈루아 작용을 갖는 이러한 모듈러스가 랭크 2 설정에서 존재함을 보여주며, 이전까지는 랭크 1 예시들만 알려져 있던 문헌의 격차를 메운다.

제안 방법

• q ≥ 5인 홀수인 F_q(T)에서 랭크 2 드린펠트 모듈러스 φ를 정의하는 특정 다항식 φ_T = T + τ + cτ²를 사용하여 구성한다. 여기서 c ∈ F_q(T)는 신중하게 선택된다.
• A = F_q[T]의 프로프로폰트 완비화 Â를 고려하여, 전체 토크션 모듈러스 lim← φ[𝔞] 위에서 작용하는 갈루아 표현 ρ_φ: G_K → GL₂(Â)를 분석한다.
• 서로 다른 소수 λ₁, λ₂에 대해 𝔞 = λ₁λ₂인 소수 이상의 이미지의 구조를 이용하여, 그룹 이론적 방법으로 H ⊆ GL₂(A/𝔞)가 GL₂(A/𝔞) 전체군임을 보인다. 이는 유한체 위에서 PGL₂와 GL₂ 사이의 동형과 정규부분군에 대한 분석을 포함한다.
• Hua의 GL₂(F_q)의 자명사상에 관한 정리들을 적용하여, PGL₂(F_{λ₁})와 PGL₂(F_{λ₂}) 사이의 임의의 동형사상이 GL₂로 올라가며, 추적과 행렬식 불변량을 이용해 비자명한 체 동형사상을 배제함으로써, 이미지가 전체일 수밖에 없음을 증명한다.
• 이미지가 체 동형사상 하에서 불변량 tr²/det을 유지해야 하며, 이는 임의의 체 동형사상이 자명해야 한다는 것을 의미한다. 따라서 이미지가 전체일 수밖에 없음을 유도한다.
• 모든 이상 𝔞에 대해 이 결과들을 조합하여, ρ_φ의 이미지가 GL₂(Â)에 열려 있음을 결론내며, 이미지가 프로프로폰트 위상에서 조밀하므로 전체군 GL₂(Â)와 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 일반적 특성이 있는 유한 생성 체 위에서 랭크 2 드린펠트 모듈러스를 명시적으로 구성할 수 있는가? 이 경우 갈루아 표현이 토크션 점들 위에서 가능한 한 크게 작용하는가?
• RQ2 랭크 2 드린펠트 모듈러스의 전체 토크션 모듈러스 위의 갈루아 표현 이미지가 GL₂(Â)와 정확히 일치하는가?
• RQ3 타원곡선의 추측들(예: 모듈러성, 사토-테이트)의 유사체에 대한 수치적 증거를 드린펠트 모듈러스 맥락에서 생성할 수 있는가?
• RQ4 갈루아 표현의 이미지가 GL₂(Â)에 열려 있는 조건은 무엇이며, 이러한 예를 어떻게 명시적으로 구성할 수 있는가?

주요 결과

• 논문은 q ≥ 5인 홀수인 K = F_q(T) 위에서 랭크 2 드린펠트 모듈러스 φ를 명시적으로 구성하였으며, φ_T = T + τ + cτ²를 만족하는 특정 c ∈ F_q(T)를 사용하여 전체 토크션 모듈러스 위의 갈루아 표현의 이미지가 전체 GL₂(Â)와 일치함을 보였다.
• A의 모든 영이 아닌 이상 𝔞에 대해, 갈루아 표현 ρ_φ,𝔞: G_K → GL₂(A/𝔞)의 이미지는 전체 군 GL₂(A/𝔞)이다. 이는 토크션 점들 위의 작용의 최대성을 증명한다.
• 전체 갈루아 표현 ρ_φ: G_K → GL₂(Â)의 이미지는 GL₂(Â)에 열려 있으며, 프로프로폰트 위상에서 닫혀 있으므로, GL₂(Â)와 정확히 일치한다. 이는 최대 갈루아 작용을 확인한다.
• 증명은 GL₂(F_λ)의 임의의 진정한 정규부분군이 가해적이며 대각 토러스에 포함되어야 하며, PGL₂(F_λ₁)와 PGL₂(F_λ₂) 사이의 가능한 유일한 동형사상은 체 동형사상에 의해 유도된다는 점에 기반한다. 이는 비자명한 경우를 배제함으로써 이미지가 전체일 수밖에 없음을 보여준다.
• 불변량 tr²/det은 갈루아 작용 하에서 유지되며, 이는 잔여체 사이의 체 동형사상이 자명해야 한다는 것을 의미한다. 따라서 이미지가 전체가 아니면 모순이 발생하므로, 이미지가 전체임을 증명한다.
• 이 예는 타원곡선의 추측들(예: 모듈러성, 사토-테이트)의 유사체를 드린펠트 모듈러스 맥락에서 수치적으로 검증할 수 있는 명시적 설정을 제공한다.