[논문 리뷰] Effective Chabauty for symmetric powers of curves

Jennifer Mun Young Park|arXiv (Cornell University)|2016. 06. 16.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 6

한 줄 요약

이 논문은 콜먼의 효과적 카불로 테크닉을 곡선의 대칭べき으로 확장하여, 아벨-자코비안의 모를레-바일 랭크가 $g-d$ 이하일 때 $\operatorname{Sym}^dX$의 특수 집합 외부에 있는 유리점의 수에 대한 효과적 상계를 제공한다. $p$-진 적분과 강한 해석 기하학을 사용하여 잔여 디스크 위의 멱급수를 구성하며, 그 해는 유리점을 포함한다. 이에 기반해 계산 가능한 상계 $N(p,d,g)$를 유도하며, 구체적인 예시로 $p=2$, $d=3$, $g=3$일 때 $N(2,3,3) = 1539$임을 보여준다. 이는 랭크 $\leq 1$인 종수 3의 홀수 히퍼엘리프틱 곡선에 대해 성립한다. 이 방법은 카불로 국소의 해석적 구조에 대한 기술적 가정을 필요로 하는데, 이는 랭크가 1 이하일 경우 자동으로 만족된다.

ABSTRACT

Faltings' theorem states that curves of genus $g \geq 2$ have finitely many rational points. Using the ideas of Faltings, Mumford, Parshin and Raynaud, one obtains an upper bound on the number of rational points, but this bound is too large to be used in any reasonable sense. In 1985, Coleman showed that Chabauty's method, which works when the Mordell-Weil rank of the Jacobian of the curve is smaller than $g$, can be used to give a good effective bound on the number of rational points of curves of genus $g > 1$. We draw ideas from nonarchimedean geometry to show that we can also give an effective bound on the number of rational points outside of the special set of $d$-th symmetric power of $X$, where $X$ is a curve of genus $g > d$, when the Mordell-Weil rank of the Jacobian of the curve is at most $g-d$ and the curve further satisfies certain rigid analytic conditions.

연구 동기 및 목표

• 곡선에서 콜먼의 효과적 카불로 방법을 $d \geq 1$에 대해 대칭べき $\operatorname{Sym}^dX$로 일반화하는 것.
• 아벨-자코비안의 모를레-바일 랭크가 $\operatorname{Rank}(J) \leq g - d$를 만족할 때 $\operatorname{Sym}^dX$의 특수 집합 외부에 있는 유리점의 수에 대한 효과적 상계를 제공하는 것.
• 분석적 해석화된 $\operatorname{Sym}^dX$의 카불로 유형 국소가 특수 집합 외부에 대해 유한한 유리점 수를 가질 수 있는 조건을 설정하는 것.
• 특정 $p$, $d$, $g$에 대해 특수 집합 외부의 유리점 수에 대한 명시적 상계 $N(p,d,g)$를 계산하는 것. 특히 $p=2$, $d=3$, $g=3$에 대한 구체적 예시를 포함한다.

제안 방법

• 잔여 디스크 위에서 강한 해석 공간 $(\operatorname{Sym}^dX)^{\text{an}}$에 국한된 해석 함수(멱급수)를 $p$-진 적분을 통해 정의하며, 이들의 영점은 $\operatorname{Sym}^dX$의 유리점을 포함한다.
• 이 $p$-진 적분의 영점으로서 강한 해석 기하학적 부분다양체 $(\operatorname{Sym}^dX)^{\eta=0}$를 정의하며, 이는 가정 1.3 하에 특수 집합 외부의 유리점을 포괄한다.
• 뉴턴 다각형 기법을 적용하여 각 잔여 디스크 위에서 멱급수 방정식의 해의 수를 추정하고, 각 디스크당 유리점 수를 상계한다.
• 행렬 기반의 둘레 계산 $\operatorname{Per}(A)^\prime$을 도입하여 모든 잔여 디스크에 걸친 해의 총 수를 상계한다.
• Hasse-Weil 추정을 $X(\mathbb{F}_p)$에 적용하여 $\#(\operatorname{Sym}^dX)(\mathbb{F}_p)$를 상계함으로써 잔여 디스크의 수를 상계한다.
• 정리 5.17을 적용하여 잔여 디스크 수와 각 디스크당 최대 해의 수를 조합하여 최종 상계 $N(p,d,g)$를 도출한다.

실험 결과

연구 질문

• RQ1 아벨-자코비안의 모를레-바일 랭크가 $g-d$ 이하일 때, 카불로 방법이 대칭べき $\operatorname{Sym}^dX$의 곡선으로 효과적으로 일반화될 수 있는가?
• RQ2 특수 집합 외부의 $\operatorname{Sym}^dX$ 유리점 수에 대한 효과적 상계를 얻을 수 있는 조건은 무엇인가?
• RQ3 $p$-진 적분과 강한 해석 기하학을 어떻게 사용하여 잔여 디스크 위의 멱급수를 정의하고, 그 해가 $\operatorname{Sym}^dX$의 유리점을 포함하도록 할 수 있는가?
• RQ4 $\operatorname{Sym}^dX(\mathbb{Q}_p)$의 단일 잔여 디스크 위에 존재할 수 있는 최대 유리점 수는 얼마이며, 이는 어떻게 전반적으로 균일하게 상계할 수 있는가?
• RQ5 특정 $p$, $d$, $g$에 대해 명시적 상계 $N(p,d,g)$를 계산할 수 있으며, 이는 어떤 구체적 사례에서 어떻게 계산되는가?

주요 결과

• 논문은 $\operatorname{Rank}(J) \leq g - d$ 이며 가정 1.3가 성립할 경우 $\operatorname{Sym}^dX$의 특수 집합 외부에 있는 유리점 수에 대한 효과적 상계 $N(p,d,g)$를 확립한다.
• $p=2$, $d=3$, $g=3$일 때, 이 상계는 $N(2,3,3) = 1539$로 명시적으로 계산되며, 이는 $\operatorname{Rank}(J) \leq 1$이고 2에서 양호한 환원을 갖는 임의의 종수 3의 홀수 히퍼엘리프틱 곡선에 대해 성립한다.
• 각 잔여 디스크당 최대 유리점 수는 $\operatorname{Per}(A)^\prime \leq 81$로 상계되며, 이는 $\delta_\varepsilon(k,v,\ell)$ 값들을 포함하는 행렬의 둘레 계산에서 유도된다.
• 종수 3의 홀수 히퍼엘리프틱 곡선에 대해 $\operatorname{Sym}^2X(\mathbb{F}_2)$에 최대 19개의 잔여 디스크가 존재하며, $\#(\operatorname{Sym}^2X)(\mathbb{F}_2) \leq 19$로 유도된다.
• $N(2,3,3) = 1539$는 각 디스크당 최대 해의 수(81)와 디스크 수(19)를 곱하여 도출되며, $81 \times 19 = 1539$가 된다.
• 모든 양의 차원 성분이 $(\operatorname{Sym}^dX)^{\eta=0}$에 특수 집합에 속해 있다는 가정은 랭크 $\operatorname{Rank}(J) \leq 1$일 경우 자동으로 만족되며, 이는 방법의 적용을 단순화한다.