[논문 리뷰] Plane quartic twists of X(5,3)

J.A. Fernandez, Josep González외 1명|ArXiv.org|2005. 01. 28.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 Gℚ → PGL₂(𝔽₃)로 가는 홀수 전순사 Galois 표현 ϱ에 대응하는 모듈라 곡선 X(5,3)의 타원형 X(5,3)ρ에 대해 ℚ 위에서 명시적인 평면 4차 곡선 모델을 구성하는 방법을 제시한다. 표현 ϱ의 분해체를 정의하는 4차 다항식을 이용하여, Galois 코hom로와 자동형사상 군 작용을 통해 타원형 곡선의 유리 모델을 계산하고, 이는 계수 3의 곡선과 명시적인 유리점을 갖는다. 주요 기여는 주어진 프로젝티브 mod 3 Galois 표현을 실현하는 5차 유리 ℚ-곡선을 결정하기 위한 계산 프레임워크를 제공하는 것이다.

ABSTRACT

Given an odd representation of the absolute Galois group of Q onto PGL(2,3) and a positive integer N, there exists a twisted modular curve defined over Q whose rational points classify the quadratic Q-curves of degree N realizing the representation. The paper gives a method to provide an explicit plane quartic model for this curve in the genus-three case N=5.

연구 동기 및 목표

• N=5 및 p=3에 대해 X(N,p)ρ의 유리 평면 4차 곡선 모델을 명시적으로 구성하는 방법을 제공하는 것.
• 주어진 홀수 전순사 Galois 표현 ϱ: Gℚ → PGL₂(𝔽₃)를 실현하는 5차 2차 ℚ-곡선의 분류 문제를 다루는 것.
• Galois 코호몰로지와 자동형사상 군 작용을 이용한 계산 프레임워크를 개발하여, ϱ의 분해체로부터 이러한 모델을 생성하는 것.
• 4차 다항식을 사용한 구체적인 예를 통해 방법의 타당성을 입증하고, 구체적인 4차 방정식을 도출하는 것.

제안 방법

• 메서드는 X(5,3)ρ를 1-코호몰로지 원소 ξ = ϱ ∘ ε ∈ H¹(Gℚ, W(5,3))를 이용하여 구성하며, 여기서 W(5,3) ≅ PGL₂(𝔽₃)는 X(5,3) → X⁺(5)의 자동형사상 군이다.
• 원래의 X(5,3)에 대한 유리 모델을 기초로 하며, 이는 X₀(5)와 X(3)의 표준 모델에서 유도되며, PGL₂(𝔽₃)의 순서 2인 행렬에 대응하는 특정한 반사 변환을 선택한다.
• Galois 작용에 대한 등변 동형사상 Ψ: X(5,3)ρ → X(5,3)를 계산하는 과정을 포함하며, 이는 Galois 작용이 자동형사상 군에 작용하는 방식을 기록하는 행렬 Θ ∈ GL₄(ℚ)를 통해 유도된다.
• 최종 모델은 원래의 X(5,3)의 평면 4차 곡선 모델을 Θ를 이용해 변환하여 얻으며, 이는 계수가 ℤ에 속하는 ℚ 위의 새로운 4차 방정식을 제공한다.
• 이 방법은 주어진 4차 다항식 f(X) ∈ ℤ[X]의 분해체와 ϱ의 분해체가 일치하는 조건을 만족해야 하며, 이는 필요한 Galois 작용을 정의한다.
• Magma와 같은 계산 대수 시스템을 사용하여 검증되며, 결과 모델은 유리점 계산과 야코비안 랭크 분석을 통해 확인된다.

실험 결과

연구 질문

• RQ1 주어진 홀수 전순사 Galois 표현 ϱ: Gℚ → PGL₂(𝔽₃)에 대응하는 X(5,3)의 타원형 X(5,3)ρ에 대해 ℚ 위에서 평면 4차 곡선 모델을 명시적으로 구성할 수 있는가?
• RQ2 ϱ의 분해체와 X(5,3)ρ 위의 유리점의 정의 체 사이의 관계는 무엇인가?
• RQ3 야코비안의 랭크가 3 이상일 경우, Chabauty-Coleman 방법을 X(5,3)ρ 위의 모든 유리점을 결정하는 데 적용할 수 있는가?
• RQ4 표준 방법인 Chabauty-Coleman이 실패할 경우, 실용적으로 이러한 모델을 생성하고 검증하는 데 사용할 수 있는 계산 기법은 무엇인가?

주요 결과

• 논문은 불가약한 4차 다항식 f(X) = X⁴ - 3X² + 2X + 3로 정의된 Galois 표현에 대응하는 X(5,3)ρ에 대해 ℚ 위의 명시적 평면 4차 방정식을 제공한다.
• 모델은 다음과 같은 방정식으로 주어진다: -9XY(2X+Y)(9X+8Y) + 9(6X³ + 62X²Y + 66XY² + 15Y³)Z + 3(27X² - 104XY - 83Y²)Z² - 3(94X + 7Y)Z³ + 191Z⁴ = 0.
• 무한원점에 네 개의 유리점이 존재한다: [0:1:0], [1:0:0], [1:-2:0], [8:-9:0], 각각 5차 ℚ-곡선으로서 표현 ϱ를 실현한다.
• 해당 ℚ-곡선의 j-불변량은 명시적으로 계산되었으며, j₁ = (−8√11)³(10 + 3√11), j₂ = (6(110 + 31√11))³(10 + 3√11), j₃ = (12(10 − √11))³(10 + 3√11), j₄ = (2(−6878815950 + 2118474913√11)/53⁵)³(10 + 3√11)이다.
• J(X(5,3)ρ)의 야코비안 랭크가 최소 3 이상임을 보여주며, 이는 Chabauty-Coleman 방법을 전부 유리점을 결정하는 데 사용할 수 없음을 의미한다.