[논문 리뷰] d-gonality of modular curves and bounding torsions

Khac Viet Nguyen, Masa-Hiko Saito|ArXiv.org|1996. 03. 29.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 16

한 줄 요약

이 논문은 모듈라 곡선 $ X_0(N) $ 의 $ d $-gonality 에 기반하여 $ N $ 의 상한을 설정하며, Ogg 의 초타원곡선($ d=2 $) 결과를 일반화한다. 캐스텔누오보-세베리 부등식과 양호한 환원 논증을 사용하여, $ X_0(N) $ 가 $ d $-gonal 이면 $ d \geq 3 $ 에 대해 $ N \leq (48(d-1)^2 + 35)(36(d-1)^2 + 47) $ 임을 증명하고, 강한 균일 유계성 추측의 함수체 버전을 제시하며, 모듈라 곡선의 $ d $-gonality 에 따라 Mordell-Weil 군의 토크션은 $ d $ 에 의존하는 균일한 상한을 가짐을 보인다.

ABSTRACT

We study the problem of $d$-gonality of the modular curve $X_0(N)$. As a result, we can give an upperbound of the level $N$ by means of $d$. This generalizes Ogg's result on hyperelliptic modular curves ($d = 2$). As a corollary of this result, we prove an analogue of the strong Uniform Boundedness Conjecture for elliptic curves defined over the function fields of curves. If a base curve is $d$-gonal, we can bound orders of torsions of Mordell-Weil groups in terms of $d$ uniformly.

연구 동기 및 목표

• 모듈라 곡선 $ X_0(N) $ 의 수준 $ N $ 이 그 $ d $-gonality 에 따라 어떻게 유계화되는지 문제를 다룬다.
• Ogg 의 초타원곡선($ d=2 $) 분류 결과를 더 높은 $ d $ 로 일반화하여, $ N $ 에 대한 균일한 상한을 제공한다.
• 강한 균일 유계성 추측의 함수체 해석을 수립하며, 기저 곡선이 $ d $-gonal 이면 Mordell-Weil 군의 토크션은 $ d $ 에 의해 균일하게 유계임을 보인다.
• 양호한 환원과 Néron 모델을 포함한 산술기하 기법을 사용하여 $ d $-gonality 과 토크션 유계성 간의 관계를 규명한다.
• 함수체 위에서 $ d $-gonal 이면 발생할 수 있는 유한 아벨 군의 집합이 유한함을 증명한다.

제안 방법

• Castelnuovo–Severi 부등식을 적용하여, 유한 매핑을 통한 중간 곡선의 기수와 $ X_0(N) $ 의 $ d $-gonality 간의 관계를 규명한다.
• Tower 정리를 사용하여, 기수 $ g(C') \leq (d/d' - 1)^2 $ 를 만족하는 $ X_0(N)_{\mathbb{Q}} \to C' $ 의 유한 매핑 $ f $ 를 구성하며, 이 매핑의 차수 $ d' \leq d $ 이다.
• 소수 $ p \nmid N $ 에서의 양호한 환원을 활용하여 매핑을 양의 특성으로 올리고, $ \mathbb{F}_{p^2} $ 에서의 유리점에 대한 Weil 의 부등식을 적용한다.
• Jacobians 의 Néron 모델의 특수 섹션을 분석하여, 곡선의 환원이 최대 하나의 비유리 성분만 가짐을 보인다.
• 평탄성과 비라시오널 기하 기법(블로업 및 적절한 변환 포함)을 사용하여 특이점을 해결하고 매핑의 구조를 유지한다.
• Néron 모델의 최소성과 쌍대 그래프에서 사이클의 부재를 이용하여 특수 섹션이 유일한 비유리 성분을 가짐을 증명한다.

실험 결과

연구 질문

• RQ1 주어진 $ d $ 에 대해 모듈라 곡선 $ X_0(N) $ 이 $ d $-gonal 이 되는 최대 수준 $ N $ 은 무엇인가?
• RQ2 Ogg 의 초타원곡선($ d=2 $) 결과를 더 높은 $ d $ 로 일반화할 수 있는가?
• RQ3 Mordell-Weil 군의 토크션을 $ d $-gonality 에 의해 균일하게 유계화하는 함수체 해석의 강한 균일 유계성 추측을 수립할 수 있는가?
• RQ4 양호한 환원과 Néron 모델의 맥락에서 $ X_0(N) $ 의 $ d $-gonality 에 의해 유도되는 기하학적 및 산술적 제약 조건은 무엇인가?
• RQ5 Jacobians 의 Néron 모델의 특수 섹션의 구조는 가능한 $ d $-gonal 매핑에 어떤 제약을 가하는가?
• RQ6 추가적인 산술적 제약 조건을 활용하여, $ N $ 이 홀수일 경우 $ N $ 에 대한 유계를 개선할 수 있는가?

주요 결과

• 만약 $ X_0(N) $ 가 $ d $-gonal 이면, $ d = 1 $ 에서는 $ N \leq 25 $, $ d = 2 $ 에서는 $ N \leq 71 $, $ d \geq 3 $ 에서는 $ N \leq (48(d-1)^2 + 35)(36(d-1)^2 + 47) $ 임을 보이며, 이는 $ d $ 에 따른 균일한 상한을 제공한다.
• $ d \geq 3 $ 에 대한 유계는 캐스텔누오보-세베리 부등식과 유한체 위에서의 유리점에 대한 Weil 의 부등식을 통해 유도된다.
• $ d \geq 3 $ 에서는 유계가 약 $ O(d^4) $ 의 속도로 증가하며, 이는 모듈라 곡선 위의 $ d $-gonal 構조의 복잡성 증가를 반영한다.
• 논문은 함수체 위의 비상수 타원곡선의 Mordell-Weil 군에서 발생하는 유한 아벨 군의 집합 $ \Phi_{\text{fun}}(d) $ 가 유한함을 증명한다.
• 기저 곡선 $ C $ 가 $ d $-gonal 이면, 함수체 $ K = \mathbb{C}(C) $ 위의 타원곡선은 정리 0.2 의 부등식 우변인 $ B(d) $ 에 의해 토크션 순서가 유계가 된다.
• 증명은 기수 제어가 가능한 유한 매핑 $ X_0(N) \to C' $ 와 소수 $ p \nmid N $ 에서의 $ C' $ 의 양호한 환원을 기반으로 하며, 이는 점 수 제약 조건을 유도한다.