[논문 리뷰] An effective proof of the hyperelliptic Shafarevich conjecture

Rafael von Känel|arXiv (Cornell University)|2013. 10. 24.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 수체 K 위의 고리수 곡선에서 유한한 장소 집합 S 외부에서 양호한 감소를 갖는 고리수 곡선에 대해, Weierstrass 모델 높이에 대한 명시적이고 계산 가능한 상한을 확립하여 고리수 Shafarevich 추측에 대한 효과적인 증명을 제시한다. 이 방법은 로그 형식의 효과적 감소 이론과 Weierstrass 모델 이론을 융합하여, 주어진 K, S, g에 대해 이러한 곡선의 K-동형류를 완전하고 알고리즘적으로 분류한다.

ABSTRACT

Let $C$ be a hyperelliptic curve of genus $g\geq 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\geq 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside $S$.

연구 동기 및 목표

• 수체 K 위의 고리수 곡선에서 유한한 장소 집합 S 외부에서 양호한 감소를 갖는 경우에 대해, Weierstrass 모델의 높이에 대한 효과적이고 계산 가능한 상한을 확립하는 것.
• 이소모르피즘 클래스의 알고리즘적 열거를 가능하게 하여 고리수 곡선에 대한 효과적 Shafarevich 추측을 해결하는 것.
• 타원 곡선과 종수 2 곡선에 대한 이전의 효과적 결과를 확장하고 향상시켜, 모든 종수 g ≥ 1에 적용 가능한 통일된 수론적 프레임워크를 제공하는 것.
• 디오판틴 기하학에서의 효과적 응용을 위한 기초를 마련하고, Jacobian 고려를 통해 효과적 Mordell 추측과 효과적 Siegel의 정리에 대한 함의를 다루는 것.
• 양호한 감소 조건 하에서 효과적 높이 상한을 이용한 고리수 곡선의 알고리즘적 분류의 가능성을 입증하는 것.

제안 방법

• Evertse와 Győry의 로그 형식의 효과적 감소 이론을 활용하여 이원형 다항식과 단위의 높이를 상한화한다.
• Lockhart(1994)와 Liu(1996)의 Weierstrass 모델에 관한 결과를 적용하여 T-정수환 위의 최소 모델을 구성한다.
• x, y ∈ O×_T 형태의 T-단위 방정식 x + y = 1을 사용하여, 유니포텐트 자동형사상에 의한 이동 이후의 높이를 제어한다.
• τ ∈ O_T 이면 f(X) ↦ f(X + τ)의 변환을 사용하여 모델을 정규화하고 높이를 감소시키며, 단위에 대한 효과적 상한을 활용한다.
• Evertse-Győry의 일반화된 효과적 이원형 다항식 이론을 적용하여 K-유리 Weierstrass 점이 없는 곡선을 다룬다.
• 국소적 높이 추정과 전역 최소성 조건을 융합하여, 정수환 O_K 위의 최종 모델을 유도하며, 이 모델의 높이가 유한하게 제한됨을 보인다.

실험 결과

연구 질문

• RQ1 고리수 곡선에 대한 Shafarevich 추측은 효과적으로 증명될 수 있는가, 즉 이소모르피즘 클래스의 알고리즘적 열거를 가능하게 하는 명시적 상한이 존재하는가?
• RQ2 수체 K 위의 고리수 곡선에서 유한한 집합 S 외부에서 양호한 감소를 갖는 경우, Weierstrass 모델의 높이에 대한 효과적 상한은 무엇인가?
• RQ3 로그 형식 이론과 단위 방정식 이론이 Weierstrass 모델 이론과 어떻게 융합되어 산술 기하학에서 효과적 상한을 달성할 수 있는가?
• RQ4 이 방법은 K-유리 Weierstrass 점이 없는 곡선이나 더 일반적인 곡선으로 얼마나 넓게 확장될 수 있는가?
• RQ5 효과적 Weierstrass 모델로부터 Jacobian의 절대 안정 Faltings 높이 h_F(J)에 대한 효과적 상한을 유도할 수 있으며, 이는 효과적 Mordell 추측과 어떻게 관련이 있는가?

주요 결과

• 모든 고리수 곡선이 K 위에서 종수 g ≥ 1이며, S 외부에서 양호한 감소를 갖는 경우, 절대 로그 Weil 높이가 최대 Ω(K, S, g) 이하인 Weierstrass 모델 Y² = f(X)를 갖는다. 이때 Ω(K, S, g)는 효과적 상수이다.
• K 위에서 종수 g의 고리수 곡선 중 S 외부에서 양호한 감소를 갖는 것의 K-동형류는 효과적으로 열거 가능하다. 이는 높이가 유한하고 계산 가능한 이러한 모델의 수가 유한하기 때문이다.
• K-유리 Weierstrass 점이 있는 곡선의 경우, 방법은 O_T 위의 최소 모델을 구성하고, 단위 행렬식을 갖도록 한다. 이후 단위 방정식과 이동을 통해 높이를 제어한다.
• K-유리 Weierstrass 점이 없는 곡선의 경우, 방법은 Evertse-Győry의 효과적 이원형 다항식 이론을 확장하여 전역 Weierstrass 모델을 다루고, 높이가 유한하게 제한됨을 도출한다.
• 이 방법은 유한한 확장 L/K 위에서 곡선 C의 Jacobian J의 절대 안정 Faltings 높이 h_F(J)에 대한 효과적 상한을 도출한다. 이때 C ×_K L의 함수체가 Y^m = f(X) 형태의 모델을 가지며, f는 모닉이고 분리 가능하며, ∆(f)는 T-정수환의 단위여야 한다.
• h_F(J)의 상한은 오직 |D_L|, d_L, N_T, 그리고 종수 g에만 의존하며, Jacobian에 대한 Shafarevich 추측의 새로운 효과적 사례를 확립한다.