[논문 리뷰] On a Family Of Elliptic Curves With Positive Rank arising from Pythagorean Triples

Farzali Izadi, Kamran Nabardi외 1명|arXiv (Cornell University)|2010. 12. 28.

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

한 줄 요약

이 논문은 피타고라스 삼중항 $ (a, b, c) $ 에서 유도된 형태 $ y^2 = x(x - a^2)(x - b^2) $ 의 타원곡선 신규 가족을 제안하며, 이 곡선들이 양의 모델-베일 랭크를 가짐을 보여준다. 2-셀머 경계와 Mwrank를 포함한 계산 방법을 통해 랭크가 최대 10에 이르는 곡선을 식별함으로써, 체계적으로 양의 랭크를 갖는 새로운 가족을 확립한다.

ABSTRACT

The aim of this paper is to introduce a new family of elliptic curves in the form of $y^2=x(x-a^2)(x-b^2)$ that have positive ranks. We first generate a list of pythagorean triples $(a,b,c)$ and then construct this family of elliptic curves. It turn out that this new family have positive ranks and search for the upper bound for their ranks.

연구 동기 및 목표

• 피타고라스 삼중항을 이용해 $\mathbb{Q}$ 위에서 양의 랭크를 증명할 수 있는 타원곡선의 새로운 가족을 구성하는 것.
• 이 새로운 가족 내에서 랭크 분포와 랭크의 상한을 조사하는 것.
• 높은 랭크를 갖는 곡선의 명시적 예를 제시하여 $\mathbb{Q}$ 위에서 큰 랭크를 갖는 곡선을 찾는 데 기여하는 것.
• 특히 2-torsion과 2-내림(descents) 성질을 중심으로 이 곡선들의 구조를 분석하는 것.
• 수론적 구성에서 보장된 양의 랭크를 갖는 타원곡선을 체계적으로 생성하는 방법을 수립하는 것.

제안 방법

• 서로소이고 서로 다른 홀짝성을 갖는 $ \gcd(i,j) = 1 $ 인 정수 $ i, j \leq 1000 $ 에 대해, $ a = i^2 - j^2, b = 2ij, c = i^2 + j^2 $ 를 이용해 모든 피타고라스 삼중항 $ (a, b, c) $ 을 생성한다.
• 각 삼중항에 대해 타원곡선 $ E: y^2 = x(x - a^2)(x - b^2) $ 을 구성하며, 스무스성과 특이 곡선과의 비동형성을 확보한다.
• 2-내림 기법을 사용해 2-셀머 랭크를 계산하여 모델-베일 랭크의 상한으로 삼는다.
• 각 곡선의 정확한 모델-베일 랭크를 계산하기 위해 Mwrank 소프트웨어를 적용한다.
• 나겔-루츠 정리를 적용해 토크션 점을 식별하고, 곡선이 정확히 네 개의 2차 순환 점을 갖는 것을 검증한다.
• 특히 $ E(\mathbb{Q}) \cong \mathbb{Z}^r \times T $ 의 분해를 고려한 타원곡선의 구조 정리에 기반해 랭크를 분석한다.

실험 결과

연구 질문

• RQ1 피타고라스 삼중항에서 체계적인 타원곡선 생성이 양의 랭크를 갖는 곡선을 도출할 수 있는가?
• RQ2 이 가족 내에서 $\mathbb{Q}$ 위에서 관측된 최대 랭크는 얼마인가?
• RQ3 이 가족 내에서 2-셀머 랭크와 모델-베일 랭크는 어떻게 비교되며, 2-내림이 날카로운 상한을 제공할 수 있는가?
• RQ4 더 높은 랭크와 관련된 구조적 또는 매개변수적 패턴이 곡선들 사이에 존재하는가?
• RQ5 대수기하학이나 수론을 이용해 명시적 계산 없이도 이러한 곡선의 랭크를 독립적으로 상한화할 수 있는가?

주요 결과

• 피타고라스 삼중항에서 유도된 타원곡선 가족 $ y^2 = x(x - a^2)(x - b^2) $ 는 양의 모델-베일 랭크를 가지며, $ i,j \leq 1000 $ 인 경우 총 202,461개의 곡선이 생성되었다.
• 이 가족 내에서 관측된 최대 랭크는 10이며, $ (a,b,c) = (387,884,965) $ 인 경우 $ y^2 = x^3 - 931225x^2 + 117037883664x $ 와 같은 곡선에서 달성되었다.
• 랭크 4인 곡선들이 여러 개 발견되었으며, $ (2147,6204,6565) $ 에 대해 $ y^2 = x^3 - 43099225x^2 + 177422080320144x $ 를 포함하고 있으며, 랭크 3, 2, 1인 곡선들 또한 존재한다.
• 2-셀머 랭크는 곡선 방정식 계수의 차수 추정에 기반해 모델-베일 랭크의 상한으로 48을 제공한다.
• 이 가족의 모든 곡선은 정확히 네 개의 2차 순환 점을 가지며, 이는 2- torsion 부분군이 $ \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} $ 와 동형임을 확인한다.
• 랭크 1에서 10까지의 곡선들에 대해 명시적인 독립 생성원이 계산되었으며, 랭크 4 곡선의 경우 $ \left(\frac{5079795156916250}{1371241}, \frac{145504830321607291308950}{1605723211}\right) $ 와 같은 유리점이 포함되어 있다.