[논문 리뷰] Arithmetic of the [19,1,1,1,1,1] fibration

Matthias Schuett, Jakob Top|ArXiv.org|2005. 10. 04.

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

한 줄 요약

이 논문은 유일한 극한 타입의 타원곡선 K3 곡면 S를 ℚ 위에서 연구하며, I₁₉ 유형의 섬유를 가진 Weierstrass 방정식을 통해 명시적인 다항식 f(t)와 g(t)로 구성된다. H²(S, ℚℓ) 위에서의 Galois 표현 이론을 활용하여 소수 모듈로에서 Néron-Severi 계수를 계산하며, ρ(S/𝔽ₚ) = 21이 되는 소수의 집합이 밀도 1/2를 차지함을 증명한다. 이는 Shioda(1994)의 주장과 모순되며, p=3 및 p=19에서의 감소에서 T_S의 전이적 래티스와의 유사성에 대한 Shioda의 추측을 검증한다.

ABSTRACT

This paper studies the arithmetic of the extremal elliptic K3 surface with configuration of singular fibres [19,1,1,1,1,1]. We give a model over Q such that the Neron Severi group is generated by divisors over Q, and we describe the local Hasse-Weil zeta-functions in terms of a modular form of weight 3. Furthermore we verify the Tate conjecture for the reduction at 3 and comment on a conjecture of T. Shioda concerning the similarity of the lattice of transcendental cycles and a lattice resulting from supersingular reduction.

연구 동기 및 목표

• Shioda(1994)의 논문에서 p ≠ 2일 때 ρ(S/𝔽ₚ) = 20 또는 22라고 주장한 바, 이는 Artin 이론에 의해 불가능하므로 이를 해결한다.
• I₁₉ 분할을 가진 K3 곡면 S에 대해 ρ(S/𝔽ₚ)와 Hasse-Weil zeta 함수를 계산한다.
• p = 3 및 p = 19에서 NS(S/ℚ)의 직교 보완이 전이적 래티스 T_S와 유사하다는 Shioda의 추측을 검증한다.
• H²(S, ℚℓ)에 대한 Galois 모듈러 구조를 완전히 기술하여, 전이적 래티스 위에서 Frobenius 추적과 행렬식을 명시적으로 계산할 수 있도록 한다.

제안 방법

• 곡면 S는 y² = x³ - 27f(t)x + 54g(t)로 정의되며, f와 g는 각각 차수 8과 12의 다항식이다.
• H²(S, ℚℓ) 위의 Galois 표현은 전이적 래티스 T_ℓ와 20개의 ℚℓ(1) 복사본으로 분해되며, T_ℓ는 2차원 Galois 표현으로 표현된다.
• p ≠ 2,3,19인 소수에 대해, T_ℓ 위에서 Frobenius의 추적과 행렬식은 모듈러 형식을 통해 계산되며, 특히 차수 3, 수준 19, 이차 nebentypus를 가진 유일한 새로운 형식을 사용한다.
• ℚ(√-19)에서 분할 및 비분할 소수에 따라 Z(S/𝔽ₚ, T)의 zeta 함수를 유도하며, 분할 행동에 따라 다른 유리 함수가 된다.
• p = 3 및 p = 19에서, ℕ(S/𝔽ₚ)에서 ℕ(S/ℚ)의 직교 보완을 위한 명시적 생성자를 계산하며, L(p) 위의 교차 형식이 T_S와 유사함을 보인다.
• 증명은 높이 쌍의 이론과 Néron-Tate 높이 이론을 활용하며, 섬유 성분과 섹션을 기반으로 φ(P), φ(Q), φ(R)의 명시적 계산을 수행한다.

실험 결과

연구 질문

• RQ1 Shioda(1994)의 주장에 따르면, 거의 모든 p에 대해 ρ(S/𝔽ₚ) = 20 또는 22라고 하지만, p ≠ 2일 때 ρ = 22는 불가능하므로 이 주장이 맞는가?
• RQ2 ℚ 위의 [19,1,1,1,1,1] 분할에 대해 ρ(S/𝔽ₚ)의 정확한 값은 무엇이며, p에 따라 어떻게 변화하는가?
• RQ3 p = 3 및 p = 19일 때, NS(S/ℚ)의 직교 보완이 전이적 래티스 T_S와 유사하다는 Shioda의 추측은 참인가?
• RQ4 H²(S, ℚℓ) 위의 Galois 표현을 완전히 기술하여, zeta 함수와 ℕ(S/𝔽ₚ)의 계수를 모듈로 p로 계산할 수 있는가?
• RQ5 전이적 래티스 T_S의 구조는 무엇이며, 초특수 소수 모듈로에서 ℕ(S/ℚ)과의 관계는 어떻게 되는가?

주요 결과

• 밀도 1/2의 소수 집합에서 ρ(S/𝔽ₚ) = 21이며, 이는 Shioda[Sh94]의 주장과 모순되며, ρ(S/𝔽ₚ) = 20 또는 22라고 주장한 바가 불가능하다.
• ℚ(√-19)에서 비분할인 소수 p에 대해 zeta 함수는 Z(S/𝔽ₚ, T) = 1 / [(1-T)(1+pT)(1-pT)^21(1-p²T)]로 주어진다.
• ℚ(√-19)에서 분할되는 소수 p에 대해 zeta 함수는 Z(S/𝔽ₚ, T) = 1 / [(1-T)(1-cT+p²T²)(1-pT)^20(1-p²T)]로 주어지며, 여기서 c는 정리 2.1(2)에서 정의된다.
• p = 3일 때, ℕ(S/ℚ)의 ℕ(S/𝔽₃)에서의 직교 보완 L(3)의 교차 형식은 -3·[[266, -95], [-95, 34]]이며, 이는 전이적 래티스 T_S와 유사하다.
• p = 19일 때, 래티스 L(19)는 Θ와 (R)-(O)-5F로 생성되며, 교차 형식은 -[[2, -1], [-1, 10]]이며, 이 역시 T_S와 유사하다. 따라서 Shioda의 추측이 검증된다.
• 곡면 S는 ρ(S/ℚ) = 20이며, I₁₉ 섬유의 19개 성분 모두 ℚ 위에서 정의되어 있어, ℕ(S/ℚ)이 유리 디바이저로 생성됨을 확인한다.