[논문 리뷰] Elliptic curves and continued fractions

Alfred J. van der Poorten|ArXiv.org|2004. 03. 14.

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

한 줄 요약

이 논문은 모닉 사차다항식의 제곱근의 연분수 전개와 타원곡선의 산술 사이에 깊은 연결 고리를 설정하며, 수렴근이 소모 유형 재귀관계를 만족하는 정수열을 생성함을 보여준다. 무한대에 있는 약수를 재해석함으로써 양의 제수에서의 덧셈으로 연분수 과정을 해석하면, 예를 들어 $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $ 형태의 명시적 재귀관계를 도출할 수 있으며, 이는 타원곡선 상의 점 곱셈에서 자연스럽게 유도됨을 증명한다. 이로써 수론적 수열과 대수기하학이 통합된다.

ABSTRACT

We detail the continued fraction expansion of the square root of the general monic quartic polynomial, noting that each line of the expansion corresponds to addition of the divisor at infinity. We analyse the data yielded by the general expansion. In that way we obtain `elliptic sequences' satisfying Somos relations. I mention several new results on such sequences. The paper includes a detailed `reminder exposition' on continued fractions of quadratic irrationals in function fields.

연구 동기 및 목표

• 소모 유형 재귀관계로 정의된 정수열의 대수적 기원을 명확히 하며, 특히 $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $와 같은 형태의 수열을 다루는 것.
• $ D(X) $가 모닉 사차다항식일 때 $ \sqrt{D(X)} $의 연분수 전개가 관련 타원곡선의 양의 제수에서의 약수를 더하는 것과 대응됨을 보여주는 것.
• 함수체에서의 연분수 이론과 타원곡선의 산술을 통합하며, 특히 토크션 약수와 함수체의 단위를 통해 다루는 것.
• 소모-$ m $ 관계를 만족하는 수열(예: 소모-4, 소모-5, 소모-6, 소모-8)이 본질적으로 타원곡선의 군 법칙과 연결되어 있으며, 동일한 기초 구조에서 유도됨을 보여주는 것.

제안 방법

• $ D(X) = (X^2 + f)^2 + 4v(X - w) $일 때 $ \sqrt{D(X)} $의 연분수 전개를 완전한 몫에 대한 재귀관계를 사용해 분석하는 것.
• 전개에서 계수 비교를 통해 $ e_h, w_h, v_h $ 수열을 정의하고, 핵심 항등식 $ e_h e_{h+1} = v(w - w_h) $를 도출하는 것.
• 연분수 과정과 타원곡선 $ Y^2 = D(X) $ 상의 점 덧셈 사이의 대응관계를 설정하며, $ M_{h+1} = (w_h, e_h - e_{h+1}) $가 곡선 상의 점임을 확인하는 것.
• 이분형 변환을 사용해 사차형 모델을 웨이어스트라스 형태 $ V^2 - vV = U^3 - fU^2 + vwU $로 변환하여 군 법칙 계산을 가능하게 하는 것.
• 함수체 $ \mathbb{F}(X,Y) $의 단위 이론을 적용하여, 노름이 $ -\kappa $인 비자명한 단위가 존재하면 연분수 전개에 준주기성이 생김을 보이는 것.
• 연분수의 대칭성 성질을 도출하며, $ \kappa \neq -1 $일 경우 비틀린 대칭성을 포함하고, 준주기적 전개가 이중 준주기로 주기적임을 증명하는 것.

실험 결과

연구 질문

• RQ1 소모 유형 재귀관계로 정의된 정수열, 예를 들어 $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $와 같은 수열은 타원곡선의 산술과 어떻게 관련되어 있는가?
• RQ2 $ D(X) $가 모닉 사차다항식일 때 $ \sqrt{D(X)} $의 연분수 전개의 기하학적 해석은 무엇인가?
• RQ3 어떤 수열이 소모-$ m $ 관계를 만족할 뿐 아니라 여러 다른 관계(예: 소모-4 수열이 동시에 소모-5, 소모-6, 소모-8 수열임)를 만족하는 이유는 무엇인가?
• RQ4 함수체에서의 이차 무리수의 연분수 전개가 언제 준주기적일 수 있으며, 이는 함수체 내 단위의 존재와 어떻게 관련되어 있는가?

주요 결과

• $ D(X) = (X^2 + f)^2 + 4v(X - w) $일 때 $ \sqrt{D(X)} $의 연분수 전개는 관련 타원곡선의 양의 제수에서의 약수를 더하는 것과 대응된다.
• $ B_{h-2}B_{h+3} = B_{h+2}B_{h-1} + B_{h+1}B_h $의 재귀관계는 타원곡선의 군 법칙에서 유도되며, 수열 $ (B_h) $는 점의 이동한 배수 좌표의 분모를 코딩한다.
• 소모-4 수열은 항상 소모-5, 소모-6, 소모-8 관계를 만족하며, 예를 들어 $ C_{h-3}C_{h+3} = C_{h-1}C_{h+1} + 5C_h^2 $와 같은 항등식을 유도함으로써 이를 보여준다.
• 함수체에 노름이 $ -\kappa $인 비자명한 단위 $ u $가 존재하면 $ Y + A - T $의 연분수 전개는 준주기적이며, $ \kappa \neq -1 $이면 준주기의 길이가 홀수여야 한다.
• $ Y + A - T $의 연분수 전개는 준주기의 두 배 길이로 주기적이며, $ \kappa $의 존재로 인해 비틀린 대칭성을 보이며, 샤미드의 연분수 곱셈 법칙을 통해 형식화된다.
• 식 $ T_{h-3}T_{h+3} = T_{h-2}T_{h+2} + T_h^2 $를 만족하는 수열 $ (\ldots, 2, 1, 1, 1, 1, 1, 1, 2, 3, 4, 8, 17, 50, \ldots) $는 종수 2 곡선 $ Y^2 = (X^3 - 4X + 1)^2 + 4(X - 2) $에서 무한대 약수를 더하는 것으로 유도된다.