[논문 리뷰] Sums of two biquadrates and elliptic curves of rank $\geq 4$

Farzali Izadi, Foad Khoshnam외 1명|arXiv (Cornell University)|2012. 02. 25.

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

한 줄 요약

이 논문은 양의 정수 $ n $ 이 두 개의 4차 제곱수의 합으로 두 가지 방식으로 표현될 수 있다면, 타원곡선 $ y^2 = x^3 - nx $ 의 모델-베일 랭크가 최소 3 이상임을 증명한다. $ n $ 이 홀수이고 패리티 추측이 성립한다면, 랭크는 짝수이면서 최소 4 이상이다. 저자들은 매개변수 해법과 Sage를 이용한 계산적 검증을 통해 랭크 4에서 10에 이르는 명시적 예제를 구성하였다.

ABSTRACT

If an integer $n$ is written as a sum of two biquadrates in two different ways, then the elliptic curve $y^2=x^3-nx$ has rank $\geq 3$. If moreover $n$ is odd and the parity conjecture is true, then it has even rank $\geq 4$. Finally, some examples of ranks equal to 4, 5, 6, 7, 8 and 10, are also obtained.

연구 동기 및 목표

• 정수를 두 개의 4차 제곱수의 합으로 표현하는 것과 관련된 타원곡선의 랭크 사이의 연결 고리를 확립하는 것.
• $ n = p^4 + q^4 = r^4 + s^4 $ 이며 원시 해를 가진 경우, 타원곡선 $ E_n: y^2 = x^3 - nx $ 의 랭크를 조사하는 것.
• $ n $ 이 홀수일 경우 패리티 추측이 $ E_n $ 의 랭크에 미치는 영향을 탐구하는 것.
• 매개변수 해법과 계산 도구를 이용하여 높은 랭크(최대 10)를 가진 이러한 곡선의 명시적 예제를 구성하는 것.

제안 방법

• 디오판틴 방정식 $ p^4 + q^4 = r^4 + s^4 $ 에 대한 오일러의 매개변수 해법을 활용하여 $ n $ 의 원시 해를 생성한다.
• 관련 곡선의 세일러 군을 연결하기 위해 2-이소지즘 사상 $ heta: E_n o E_n' $ 을 적용하며, 여기서 $ E_n': y^2 = x^3 + 4nx $ 이다.
• 세일러 군을 사상 $ heta $ 와 사상 $ ho $ 를 통해 분석하여 유리점의 제곱 모듈로에 대한 이미지를 분석한다.
• 공식 $ 2^{r+2} = | ext{im}( heta)| imes | ext{im}( ho)| $ 을 사용하여 $ bQ^*/bQ^{*2} $ 에서의 독립 원소에 기반해 랭크 $ r $ 의 하한을 유도한다.
• 패리티 추측을 적용하여, $ n $ 이 홀수일 경우 랭크가 4 이상이면 반드시 짝수여야 한다고 유추한다.
• Sage 소프트웨어를 이용한 계산적 검증을 통해 매개변수 해법에서 유도된 특정 곡선의 모델-베일 랭크를 계산한다.

실험 결과

연구 질문

• RQ1 정수 $ n $ 이 두 가지 서로 다른 방식으로 두 개의 4차 제곱수의 합으로 표현될 수 있다면, 타원곡선 $ y^2 = x^3 - nx $ 의 최소 랭크는 얼마인가?
• RQ2 정수 $ n $ 의 홀짝성은 패리티 추측을 가정할 경우 $ E_n $ 의 랭크에 어떻게 영향을 미치는가?
• RQ3 이러한 곡선에 대해 랭크가 3를 초과하는 명시적 예제를 구성할 수 있으며, 이 가족에서 도달 가능한 최고의 랭크는 무엇인가?
• RQ4 이러한 $ n $ 을 가진 곡선 $ E_n $ 은 $ bQ $ 에서 서로 동형이 아니며, 매개변수 해법의 구조가 이를 어떻게 보장하는가?
• RQ5 세일러 군과 2-이소지즘이 $ E_n $ 의 랭크를 아래로 바운딩하는 데 어떤 역할을 하는가?

주요 결과

• 만약 $ n $ 이 두 가지 서로 다른 방식으로 두 개의 4차 제곱수의 합으로 표현될 수 있다면, 타원곡선 $ y^2 = x^3 - nx $ 의 모델-베일 랭크는 최소 3 이상이다.
• 만약 $ n $ 이 홀수이고 패리티 추측이 성립한다면, 타원곡선 $ y^2 = x^3 - nx $ 의 랭크는 짝수이며 최소 4 이상이다.
• 논문은 랭크 4, 5, 6, 7, 8, 10을 가진 명시적 곡선 예제를 구성하였으며, $ n = 635318657 $ 은 랭크 4를, $ n = 173329443404113736737 $ 은 랭크 10을 가진다.
• 짝수 $ n $ 의 경우, 랭크는 홀수이며 최소 3 이상이며, 이는 루트 수 $ u(E_n) = -1 $ 과 일치한다.
• 오일러의 매개변수 해법은 서로 다른 $ n $ 값이 제4차 거듭제곱으로 인해 관련되지 않기 때문에, $ bQ $ 에서의 비동형 곡선을 보장한다.
• Sage를 이용한 계산적 검증을 통해 구성된 곡선의 랭크를 확인하였으며, 발견된 최고의 랭크는 10이다.