[논문 리뷰] The $p$-parity conjecture for elliptic curves with a $p$-isogeny

Kęstutis Česnavičius|arXiv (Cornell University)|2012. 07. 02.

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

한 줄 요약

이 논문은 수체 위의 타원곡선에서 $p$-이소지니를 갖는 경우에 대해 $p$-짝성 추측을 증명하며, 이는 이전의 $p$-소수 위에서의 반안정 근원 제약 조건을 제거하여 모든 $p > 3$에 대해 추측을 완성한다. 증명은 비반안정 경우의 국소 루트 수에 대한 추측적 공식을 확립하는 데 기반하며, 복소 곱승을 갖는 타원곡선에도 적용되며, $p$-primary 샤페레비치-타이트 그룹이 무한할 경우 반드시 $\mathbb{Q}_p/\mathbb{Z}_p$를 두 번째 직접 합성으로 포함해야 한다고 보여준다.

ABSTRACT

For an elliptic curve $E$ over a number field $K$, one consequence of the Birch and Swinnerton-Dyer conjecture is the parity conjecture: the global root number matches the parity of the Mordell-Weil rank. Assuming finiteness of $\\mathrm{Sha}(E/K)[p^\\infty]$ for a prime $p$ this is equivalent to the $p$-parity conjecture: the global root number matches the parity of the $\\mathbb{Z}_p$-corank of the $p^\\infty$-Selmer group. We complete the proof of the $p$-parity conjecture for elliptic curves that have a $p$-isogeny for $p > 3$ (the cases $p \\le 3$ were known). T. and V. Dokchitser have showed this in the case when $E$ has semistable reduction at all places above $p$ by establishing respective cases of a conjectural formula for the local root number. We remove the restrictions on reduction types by proving their formula in the remaining cases. We apply our result to show that the $p$-parity conjecture holds for every $E$ with complex multiplication defined over $K$. Consequently, if for such an elliptic curve $\\mathrm{Sha}(E/K)[p^\\infty]$ is infinite, it must contain $(\\mathbb{Q}_p/\\mathbb{Z}_p)^2$.

연구 동기 및 목표

• 수체 위의 타원곡선에서 $p$-이소지니를 갖는 경우에 대해, 이전에 $p$-소수 위에서의 반안정 근원 제약 조건을 제거하고 $p$-짝성 추측을 완성하는 것.
• 비반안정 근원 경우에 대한 국소 루트 수에 대한 추측적 공식을 확립하여 도크히트서와 도크히트서의 결과를 일반화하는 것.
• 수체 $K$ 위에 정의된 모든 복소 곱승 타원곡선에 대해 $p$-짝성 추측이 모든 소수 $p$에 대해 성립함을 보이는 것.
• 만약 그러한 곡선에 대해 $\Sha(E/K)[p^\infty]$가 무한할 경우, $\mathbb{Q}_p/\mathbb{Z}_p$를 최소 두 번째 직접 합성으로 포함해야 한다는 것을 유도하는 것.

제안 방법

• 갈루아 표현과 국소 클래스 체계 이론을 사용하여 비반안정 근원 경우에 대한 국소 루트 수의 추측적 공식을 증명하는 것.
• 이 공식을 적용하여 $p$-이소지니 경우에 대해 $p$-짝성 추측을 전반적으로 확장하는 것. 이는 전역 루트 수가 $p^\infty$-세일머 그룹의 $\mathbb{Z}_p$-계수와 일치함을 검증함으로써 이루어진다.
• 모든 $p$-이소지니 경우로의 확장을 위해, $p$-짝성 추측이 홀수 차수 갈루아 확장에서 불변임을 이용하여 문제를 이러한 확장에서 $p$-이소지니를 획득하는 곡선으로 축소하는 것.
• 헤케 특성과 복소 곱승 이론을 적용하여, $K$ 위의 복소 곱승 타원곡선에 대해 전역 루트 수가 $1$임을 보이는 것.
• $p$-세일머 랭크와 루트 수가 이소지니에 대해 불변임을 이용하여, 곡선이 최대한의 $\mathcal{O}_F$-작용을 갖는 경우로 축소하는 것.
• 임의의 허수 정수환 $F$가 $p$-adic 테이트 모듈러스 위에 작용하는 방식을 분석하여 $p^\infty$-세일머 그룹의 $\mathbb{Z}_p$-계수를 분석하는 것.

실험 결과

연구 질문

• RQ1 소수 $p$-소수 위의 자리에서 반안정이 아닌 근원을 갖는 타원곡선에 대해, $p$-짝성 추측이 성립하는가?
• RQ2 비반안정 경우에 대한 국소 루트 수의 추측적 공식을 증명함으로써 $p$-짝성 추측을 확립할 수 있는가?
• RQ3 수체 $K$ 위에 정의된 모든 복소 곱승 타원곡선에 대해 $p$-짝성 추측이 성립하는가?
• RQ4 만약 $K$ 위의 복소 곱승 타원곡선에 대해 $\Sha(E/K)[p^\infty]$가 무한할 경우, 그 구조는 어떠한가?

주요 결과

• 모든 소수 $p > 3$에 대해, 수체 $K$ 위의 타원곡선에서 $p$-이소지니를 갖는 경우에 대해 $p$-짝성 추측이 증명되었으며, $p$-소수 위에서의 반안정 근원 조건이 필요하지 않다.
• 비반안정 경우에 대한 국소 루트 수의 추측적 공식이 확립되었으며, 이는 $p > 3$에 대해 도크히트서와 도크히트서의 작업을 완성한다.
• 모든 수체 $K$ 위에 정의된 복소 곱승 타원곡선에 대해, 전역 루트 수가 $1$이고 $p$-세일머 랭크가 $p$-분할 또는 분리된 경우에 짝수이므로, 모든 소수 $p$에 대해 $p$-짝성 추측이 성립한다.
• 만약 $K$ 위의 복소 곱승 타원곡선에 대해 $\Sha(E/K)[p^\infty]$가 무한할 경우, 반드시 $\mathbb{Q}_p/\mathbb{Z}_p$를 최소 두 번째 직접 합성으로 포함해야 한다.
• $p$-짝성 추측은 홀수 차수 갈루아 확장에서 불변이므로, 이러한 확장에서 $p$-이소지니를 획득하는 곡선에 대해서도 성립한다.
• $p$가 복소 곱승 체의 분할 또는 분리되는 경우, $p^\infty$-세일머 그룹의 $\mathbb{Z}_p$-계수는 짝수이며, $p$가 분할되거나 분리되는 경우 루트 수와 일치한다. 이는 $p$-이소지니의 존재에 기인한다.