[논문 리뷰] Quadratic Chabauty for Modular Curves

Samir Siksek|arXiv (Cornell University)|2017. 04. 03.

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

한 줄 요약

이 논문은 유리수 위의 모듈라 곡선에서 종수 ≥3인 경우, 야코비안의 네론-세베르 계수는 최소 2 이상임을 증명하며, 이는 고전적 챠바우티 방법보다 더 효과적인 이차 챠바우티의 적용을 가능하게 한다. 핵심 결과는 이러한 곡선에서 이차 채바우티가 고전적 채바우티보다 더 효과적이라는 점이며, 이는 더 높은 NS 계수 덕분이다.

ABSTRACT

Let $X/\mathbb{Q}$ be a curve of genus $g \ge 2$ with Jacobian $J$ and let $\ell$ be a prime of good reduction. Using Selmer varieties, Kim defines a decreasing sequence \[ X(\mathbb{Q}_\ell) \supseteq X(\mathbb{Q}_\ell)_1 \supseteq X(\mathbb{Q}_\ell)_2 \supseteq \cdots \] all containing the rational points of $X$. Thanks to the work of Coleman, the `Chabauty set' $X(\mathbb{Q}_\ell)_1$ is known to be finite provided the Mordell--Weil rank of $J$ is smaller than $g$. In this case one has a practical strategy that often succeeds in computing the set of rational points of $X$. Balakrishnan and Dogra have recently shown that the `quadratic Chabauty set' $X(\mathbb{Q}_\ell)_2$ is finite provided the Mordell--Weil rank is less than $g + ρ-1$, where $ρ$ is the Néron-Severi rank of $J/\mathbb{Q}$. In view of this it is interesting to give families of curves where $ρ\ge 2$ and where therefore quadratic Chabauty is more likely to succeed than classical Chabauty. In this note we show that this is indeed the case for all modular curves of genus at least 3.

연구 동기 및 목표

• 이차 채바우티가 고전적 채바우티보다 더 효과적인 곡선의 가족을 특정하는 것.
• 유리수 위의 종수 ≥3인 모듈라 곡선의 야코비안에 대한 네론-세베르 계수가 최소 2임을 증명하는 것.
• 발라크리슈난–도그라 정리에 기반한 $X(\mathbb{Q}_\ell)_2$의 유한성에 대한 충분 조건을 제공하는 것.
• 고전적 채바우티보다 모듈라 곡선에서 조건 $\operatorname{rank}J(\mathbb{Q}) < g + \operatorname{rank}\operatorname{NS}(J) - 1$ 가 더 자주 성립할 가능성이 있음을 보여주는 것.
• 고전적 채바우티가 랭크 제약 조건으로 인해 실패하는 경우에도 효과적으로 유리점을 계산할 수 있는 실용적 프레임워크를 제공하는 것.

제안 방법

• Balakrishnan–Dogra의 $X(\mathbb{Q}_\ell)_2$ 유한성에 대한 기준을 적용하며, 이는 $\operatorname{rank}J(\mathbb{Q}) < g + \operatorname{rank}\operatorname{NS}(J) - 1$ 를 요구한다.
• Eichler–Shimura 이론을 사용하여 모듈라 곡선의 야코비안 $J$ 를 고전적 체형 아벨 다양체 $\mathcal{A}_i$ 로 분해하며, 이들은 무게 2의 측점 형식과 관련된다.
• 네론-세베르 군을 등급형 $\operatorname{NS}(J) \otimes \mathbb{Q} \cong \operatorname{End}^{(s)}(J) \otimes \mathbb{Q}$ 를 통해 분석하며, 여기서 $\operatorname{End}^{(s)}(J)$ 는 로사티 대칭에 대해 고정된 엔도모르피즘의 공간이다.
• 로사티에 의해 고정된 $\operatorname{End}(J) \otimes \mathbb{Q}$ 의 부분대수를 식별함으로써 유리 네론-세베르 계수를 계산하며, 이는 전체 실수 및 CM 체 $F_i$ 에 대해 $F_1 \times \cdots \times F_m \times E_{m+1} \times \cdots \times E_n$ 의 형태를 가진다.
• 다음과 같은 하한을 유도한다: $\operatorname{rank}\operatorname{NS}(J)$ 는 $\sum_{i=1}^m [F_i:\mathbb{Q}] + \frac{1}{2}\sum_{i=m+1}^n [F_i:\mathbb{Q}]$ 이상이며, 종수 ≥3일 경우 최소 2 이상임을 보여준다.
• 마지막으로 Mordell–Weil 랭크와 히케 필드의 차수를 기반으로 유한성 조건을 재구성하여 계산 가능한 기준을 도출한다.

실험 결과

연구 질문

• RQ1 어떤 곡선의 가족에서 이차 채바우티가 고전적 채바우티보다 더 효과적인가?
• RQ2 유리수 위의 모듈라 곡선의 야코비안에 대한 네론-세베르 계수는 얼마이며, 일반적인 경우와 비교해 보면 어떻게 되는가?
• RQ3 Balakrishnan–Dogra의 $X(\mathbb{Q}_\ell)_2$ 유한성 기준은 모듈라 곡선에 효과적으로 적용될 수 있는가?
• RQ4 Mordell–Weil 랭크와 히케 필드 차수에 대해 어떤 조건에서 $X(\mathbb{Q}_\ell)_2$ 가 유한한가?
• RQ5 모듈라 곡선의 야코비안의 엔도모르피즘 대수의 구조는 네론-세베르 계수에 어떻게 영향을 미치는가?

주요 결과

• 모든 유리수 위의 종수 $g \geq 3$ 인 모듈라 곡선 $X/\mathbb{Q}$ 에 대해, 그 야코비안의 네론-세베르 계수는 $\operatorname{rank}\operatorname{NS}(J) \geq 2$ 를 만족하며, 일반적인 경우의 계수 1보다 높다.
• 조건 $\operatorname{rank}J(\mathbb{Q}) < g + \operatorname{rank}\operatorname{NS}(J) - 1$ 는 일반 곡선보다 모듈라 곡선에서 더 자주 성립할 가능성이 높으며, 이는 이차 채바우티의 적용 범위를 넓힌다.
• 다음과 같은 $X(\mathbb{Q}_\ell)_2$ 유한성에 대한 충분 조건을 도출한다: $\operatorname{rank}J(\mathbb{Q}) < -1 + 2\sum_{i=1}^m [F_i:\mathbb{Q}] + \frac{3}{2}\sum_{i=m+1}^n [F_i:\mathbb{Q}]$, 여기서 $F_i$ 는 측점 형식의 히케 필드이다.
• 야코비안의 네론-세베르 군이 $F_1 \times \cdots \times F_m \times E_{m+1} \times \cdots \times E_n$ 와 유사한 유리 부분대수를 포함함을 보였다. 여기서 $E_i$ 는 CM 체 $F_i$ 의 최대 전체 실수 부분체이다.
• 만일 $J$ 의 단순 성분들이 상호 비동형이면, $\operatorname{NS}(J) \otimes \mathbb{Q}$ 는 대수 $F_1 \times \cdots \times F_m \times E_{m+1} \times \cdots \times E_n$ 과 동형이며, 이는 $\operatorname{rank}\operatorname{NS}(J)$ 의 하한을 확인한다.
• 고전적 채바우티 조건이 실패하는 경우에도, 더 높은 네론-세베르 계수 덕분에 종수 ≥3인 모듈라 곡선에 대해 이차 채바우티 방법이 효과적임을 보였다.