[논문 리뷰] Explicit Descent via 4-Isogeny on an Elliptic Curve

Edray Herber Goins|ArXiv.org|2004. 11. 09.

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

한 줄 요약

이 논문은 유리수 4-torsion 점을 가진 일차 매개변수를 가진 유리수 타원곡선의 Mordell-Weil 랭크를 계산하기 위해 명시적인 4-이소지니 내림림 방법을 제시한다. 이는 이소지니, Selmer 군, 그리고 주어진 동형사상에 대한 주동차 공간에 대한 명시적 공식을 사용한다. 주요 기여는 2-이소지니 내림림의 한계를 극복하기 위해, 잠재적인 비자명한 Shafarevich-Tate 군 장애물로 인해 발생할 수 있는 문제를 해결하는 완전한 4-이소지니를 통한 내림림을 제공함으로써 정확한 랭크 계산이 가능하게 한다.

ABSTRACT

We work out the complete descent via 4-isogeny for a family of rational elliptic curves with a rational point of order 4; such a family is of the form $y^2 + x y + a y = x^3 + a x^2$ where $\sqrt{-a} \in \mathbb Q^ imes$. In the process we exhibit the 4-isogeny and the isogenous curve, explicitly present the principal homogeneous spaces, and discuss examples by computing the rank.

연구 동기 및 목표

• 4차 순서의 유리수 점을 가진 타원곡선에 대해 4-이소지니를 통한 명시적 내림림을 개발하여, 잠재적인 비자명한 Shafarevich-Tate 군 장애물로 인해 발생할 수 있는 2-이소지니 내림림의 한계를 해결한다.
• 특정 타원곡선 가닥 $ E_t $의 Mordell-Weil 랭크를 계산한다. 이 가닥은 $ \tau $-불변 토르션 구조를 $ \mathbb{Z}/4\mathbb{Z} $ 또는 $ \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z} $ 를 가지며, 특히 잠재적으로 큰 랭크를 가진 경우를 포함한다.
• 4-이소지니, 그 쌍대 이소지니, 그리고 관련된 Selmer 군과 Shafarevich-Tate 군의 연결 호모모르피즘에 대한 명시적 공식을 제공한다.
• 특히 제곱수의 순서가 아닐 경우의 Shafarevich-Tate 군 성분의 구조를 분석하고, 비자기쌍대 이소지니 쌍대성에 의해 이를 설명한다.
• 2-이소지니 방법에서 내재된 랭크 하한 문제를 피할 수 있는 개선된 랭크 계산 알고리즘을 제공하며, 특히 랭크 ≥4일 것으로 추측되는 곡선에 대해 유용하다.

제안 방법

• 논문은 유리수 4-torsion 점 $ (-1,t) $ 가 생성하는 핵을 가지는 명시적 4-이소지니 $ \phi: E_t \to E_t' $ 와 핵이 $ [2](-1,t) = (0,0) $ 인 2-이소지니 $ \varphi: E_t \to E_t'' $ 를 정의하며, 이들은 모두 $ \mathbb{Q} $ 상에서 정의된다.
• 명시적 연결 호모모르피즘 $ \delta' $ 와 $ \delta'' $ 를 사용하여, $ S^{(\hat{\phi})}(E_t'/\mathbb{Q}) \subset \mathbb{Q}^\times / (\mathbb{Q}^\times)^4 $ 과 $ S^{(\hat{\varphi})}(E_t''/\mathbb{Q}) \subset \mathbb{Q}^\times / (\mathbb{Q}^\times)^2 $ 를 식별한다. 이들은 점들을 유리수 제곱 또는 네제곱으로 매핑한다.
• 주동차 공간 $ C_{d,t}' $ 과 $ C_{d,t}'' $ 은 각각 다음 식으로 정의된다: $ d(w - z^2/(4t^2))z^2 = (w^2 - d)^2 $ 과 $ dW^2 = d^2 + (t^2+2)dZ^2 + Z^4 $ 이며, 이는 Selmer 군을 매개변수화한다.
• composition 사상 $ \psi' = \psi'' \circ \eta $ 는 $ C_{d,t}' \to C_{d,t}'' \to E_t $ 에서 정의되며, 명시적 유리 함수로 표현된다: $ (z,w) \mapsto \left( -\frac{dz^2}{2t(w^2 - d)}, \frac{dz^2(w^2 + d)}{2(w^2 - d)^2} \right) $ 과 $ (Z,W) \mapsto \left( \frac{d}{Z^2}, -\frac{dW}{Z^3} \right) $ 이며, 이는 $ \delta'(\psi'(P)) \equiv d \mod (\mathbb{Q}^\times)^4 $ 를 만족한다.
• 논문은 Cassels 쌍대성과 Shafarevich-Tate 군에 대한 비퇴화 이중선형 쌍대성을 사용하여 $ \mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ 의 구조를 분석하며, 비자기쌍대 이소지니 쌍대성에 의해 제곱수가 아닌 순서가 발생하는 이유를 설명한다.
• 이 방법은 다섯 개의 곡선 $ r \in \{15/56, 24/65, 11/69, 7/88, 12/97\} $ 에 적용되어 Selmer 군과 $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ 를 계산하였으며, Birch와 Swinnerton-Dyer 추측과 일치하는 결과를 얻었다.

실험 결과

연구 질문

• RQ1 유리수 4-torsion 점을 가진 타원곡선에 대해, 2-이소지니 방법의 한계를 극복하기 위해 완전한 랭크 계산 도구를 제공하는 명시적 4-이소지니 내림림 방법을 구성할 수 있는가?
• RQ2 4-이소지니 $ \phi $ 에 대해 Selmer 군과 Shafarevich-Tate 군 성분의 정확한 구조는 무엇이며, 왜 $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ 가 항상 제곱수일 수 없는가?
• RQ3 연결 호모모르피즘 $ \delta' $ 과 $ \delta'' $ 이 각각 유리수의 $ \mathbb{Q}^\times / (\mathbb{Q}^\times)^4 $ 과 $ \mathbb{Q}^\times / (\mathbb{Q}^\times)^2 $ 원소로 매핑하는 방식은 무엇이며, 이를 통해 곡선 위의 유리수 점을 테스트할 수 있는가?
• RQ4 다섯 곡선 $ r = 15/56, 24/65, 11/69, 7/88, 12/97 $ 에 대해 Selmer 군과 Shafarevich-Tate 군 성분의 크기는 얼마이며, Birch와 Swinnerton-Dyer 추측에 따르면 기대되는 랭크와 어떻게 관련되어 있는가?
• RQ5 왜 일부 경우에서 Shafarevich-Tate 군 성분 $ \mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ 는 제곱수가 아니며, 이는 이소지니 $ \phi $ 가 자기를 쌍대하지 않는다는 것과 어떻게 관련되어 있는가?

주요 결과

• r = 15/56 인 곡선에 대해, Selmer 군 $ S^{(\hat{\phi})}(E_t'/\mathbb{Q}) $ 의 크기는 $ 2^{13} $ 이며, $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^6 $ 이다. 이는 Birch와 Swinnerton-Dyer 추측에 따라 랭크가 2임을 일관되게 지지한다.
• r = 24/65 인 경우, Selmer 군 크기는 $ 2^{13} $ 이며, $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^6 $ 이다. 이 역시 랭크 2를 지지한다.
• r = 11/69 인 경우, Selmer 군 크기는 $ 2^{11} $ 이며, $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^4 $ 이다. 이는 랭크 2를 나타낸다.
• r = 7/88 인 경우, Selmer 군 크기는 $ 2^{12} $ 이며, $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^5 $ 이다. 이는 랭크 2와 일관된다.
• r = 12/97 인 경우, Selmer 군 크기는 $ 2^{10} $ 이며, $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^7 $ 이다. 이는 랭크 1을 지지한다.
• 논문은 $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ 가 항상 제곱수일 필요가 없음을 설명한다. 이는 이소지니 $ \phi $ 가 자기를 쌍대하지 않기 때문에, Cassels 쌍대성이 제곱수 순서를 강제하지 않으며, 이는 $ m $-승산수 사상의 경우와 다릅니다.