[논문 리뷰] An explicit Jacobian of dimension 3 with maximal Galois action

David Zywina|arXiv (Cornell University)|2015. 08. 31.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 15

한 줄 요약

이 논문은 ℚ 위의 처음으로 명시적인 종 3 곡선을 제시하며, 그의 아벨 다양체의 토르션 점들에 대한 갈루아 작용이 최대가 되도록 한다. 이는 갈루아 표현이 GSp₆(Ẑ)로 전순사가 되는 것을 달성한다. 세르의 추측과 감소 유형 및 프로베누스 추적에 대한 계산 기법을 사용하여, 모-ℓ 갈루아 표현이 기약적이고 원시적임을 증명하고, 전위를 포함함으로써 군론적 기준을 통해 전순사성을 확보한다.

ABSTRACT

We gives an explicit genus 3 curve over Q such that the Galois action on the torsion points of its Jacobian is a large as possible. That such curves exist is a consequence of a theorem of D. Zureick-Brown and the author; however, those methods do not produce explicit examples. We shall apply the general strategies of Hall and Serre in their open image theorems. We also make use of Serre's conjecture to show that the modulo ell Galois actions are irreducible. While we computationally focus on a single curve, the methods of this paper can be applied to a large family of genus 3 curves.

연구 동기 및 목표

• ℚ 위의 종 3 곡선 중에서 그 아벨 다양체의 토르션 점들에 대한 갈루아 작용이 최대가 되는 첫 번째 명시적 예를 구성하는 것.
• 그 아벨 다양체의 2-토르션 및 모-ℓ 토르션에 대한 갈루아 표현이 GSp₆(Ẑ)로 전순사가 됨을 증명하는 것.
• 홀과 세르의 열린 영상 정리의 방법론을 명시적인 곡선에 대해 효과적으로 적용할 수 있음을 보여주는 것.
• 세르의 추측을 사용하여 모-ℓ 표현의 기약성을 확보하고, 전순사성의 증명을 가능하게 하는 것.
• 단일 예외 곡선을 넘어서 큰 가족의 매끄러운 평면 4차 곡선에 적용 가능한 계산 프레임워크를 제공하는 것.

제안 방법

• 나쁜 감소 유형이 있는 소수들 S = {7, 11, 83}에서의 관계군 작용을 분석하기 위해 피카르-레프슈츠 공식을 사용하여, ρJ,ℓ(Ip)가 순서 ℓ의 순환군임을 보임.
• S ∪ {ℓ}에 속하지 않는 비분할 소수 p에 대해 프로베누스 원소의 특성다항식 Pp(T) ∈ ℤ[T]를 계산하며, 이는 모-ℓ에서 ρJ,ℓ(Frob_p)의 특성다항식으로 내림된다.
• 세르의 추측을 적용하여 모-ℓ 갈루아 표현 ρJ,ℓ가 기약적임을 증명함. 특히 2차원 성분 요소의 경우에 중점을 둔다.
• 모순을 통한 원시성 증명: 불분할성 가정이 대칭군의 순서 제약 조건과 불분할성 조건에 의해 모순됨을 보임.
• 제4.1조에서 유도된 전위의 존재와 함께, 기약적이고 원시적이며 전위를 포함하면 Sp₆(𝔽ℓ)를 포함함을 보여, 전순사성의 완전성 확보.
• 모-2 표현 ρJ,2(Gℚ) = GSp₆(𝔽₂)의 검증을 통해 Ẑ 위에서의 전순사성의 완성(제2.1조에 기초).

실험 결과

연구 질문

• RQ1 ℚ 위의 명시적 종 3 곡선을 구성할 수 있는가? 이 곡선의 아벨 다양체가 토르션 점들에 대해 최대 갈루아 작용을 가지는가?
• RQ2 즈레익-브라운과 즈위나의 추상적 존재 결과를 구체적인 예를 통해 효과적으로 만들 수 있는가?
• RQ3 세르의 추측은 고차원 아벨 다양체의 모-ℓ 갈루아 표현의 기약성을 확보하는 데 어느 정도 활용될 수 있는가?
• RQ4 홀과 세르의 열린 영상 정리를 계산적으로 적용하여, 토르션 점들에 대한 갈루아 표현의 전순사성을 검증할 수 있는가?
• RQ5 주어진 곡선에 대해 갈루아 이미지가 GSp₆(Ẑ) 전체가 되는 데 사용할 수 있는 계산 기준은 무엇인가?

주요 결과

• ℙ²ℚ에서 정의된 4차 방정식에 의해 주어지는 종 3 곡선의 아벨 다양체 J의 갈루아 표현 ρJ(Gℚ) = GSp₆(Ẑ)이며, 이는 토르션 점들에 대해 가능한 최대 작용을 달성한다.
• 모-ℓ 갈루아 표현 ρJ,ℓ는 모든 홀수 소수 ℓ에 대해 기약적임을 증명하였으며, 세르의 추측과 명시적 프로베누스 추적 계산을 통해 이를 입증하였다.
• 모-ℓ에 대한 갈루아 작용은 모든 홀수 소수 ℓ에 대해 원시적임을, 불분할성과 대칭군의 순서 제약 조건을 이용한 모순에 의해 입증하였다.
• 모-ℓ에 대한 ρJ,ℓ의 이미지에는 모든 홀수 소수 ℓ에 대해 전위가 포함되어 있으며, 이는 소수 p ∈ {7, 11}에서 피카르-레프슈츠 공식을 통해 유도되었다.
• 모-2 표현 ρJ,2는 GSp₆(𝔽₂)로 전순사이며, Ẑ 위에서의 전순사성의 완성을 완료하였다.
• 이 방법들은 특정 곡선을 넘어서 큰 매끄러운 평면 4차 곡선의 가족에 일반화 가능하다.