[논문 리뷰] Higher Descent on Pell Conics I. From Legendre to Selmer

Franz Lemmermeyer|ArXiv.org|2003. 11. 18.

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

한 줄 요약

이 논문은 펠 방정식에 대한 고차 수준의 내림내림 이론을 개발하며, 타원곡선 산술과 유사하게 2-내림내림, 셀머 및 타테-샤파레비치 군을 도입한다. 레지옹드에서 셀머에 이르기까지 역사적 기원을 추적하고, 이차체에서의 단위 원소 구성과의 연결고리를 설정하며, 펠 방정식에 대한 버치-스완슨-다이어 추측의 유사체를 제시한다.

ABSTRACT

This article deals with the history of certain aspects of the Pell equation X$^2$ - D y$^2$ = 4. We briefly discuss explicit units, and then study the history of Legendre's equations ax$^2$ - b y$^2$ = 4 with ab=D.

연구 동기 및 목표

• 타원곡선의 경우와 유사한 내림내림 이론적 프레임워크를 펠 쌍곡선에 대해 개발하기.
• 레지옹드에서 레데이와 셀머에 이르기까지 $X^2 - dY^2 = /pm 1, /pm 2$ 형태의 방정식에 대한 가역성 기준의 역사적 발전을 추적하기.
• 리카우드-데지르트 유형의 체에서의 명시적 단위 원소 구성과 내림내림 및 군 구조 사이의 연결 고리 설정하기.
• 펠 쌍곡선의 맥락에서 버치-스완슨-다이어 추측과 유사한 형태의 추측을 위한 기초 마련하기.
• 그래프 이론적 및 산술적 도구를 사용하여 음의 펠 방정식이 가역인 판별식의 밀도 분석하기.

제안 방법

• 레지옹드의 고전적 결과, 즉 $Mx^2 - Ny^2 = /pm 1, /pm 2$ 의 가역성에 기반하여 내림내림 이론의 출발점으로 삼는다.
• 레데이와 라이히아르트의 기준을 적용하여 음의 펠 방정식 $X^2 - riangle Y^2 = -1$ 의 가역성을 이차 상호법칙과 군 구조를 통해 분석한다.
• 이웃 행렬과 스패닝 트리 등을 포함한 그래프 이론적 모델을 사용하여 좁은 클래스 군의 2-부분과 그 랭크를 기술한다.
• 레지옹드 상호작용을 모델링하기 위해 $p_i \neq 1 \bmod 4$ 인 소수들 위에 방향 그래프(토너먼트)의 개념을 도입한다.
• 펌플루른의 합동식과 트로터의 결과를 적용하여 그래프의 스패닝 트리 수와 좁은 클래스 군의 2-랭크 사이의 관계를 규명한다.
• 타원곡선의 경우와 유사하게 펠 쌍곡선의 맥락에서 셀머 군과 타테-샤파레비치 군의 개념을 도입하고 적용한다.

실험 결과

연구 질문

• RQ1 고전적 펠 방정식 이론은 타원곡선 산술의 내림내림 이론과 유사한 방법으로 재해석될 수 있는가?
• RQ2 리카우드-데지르트 유형의 이차체에서의 명시적 단위 원소 구성은 고차 내림내림의 맥락에서 어떤 역할을 하는가?
• RQ3 음의 펠 방정식 $X^2 - riangle Y^2 = -1$ 이 가역인 판별식 $ riangle$ 의 밀도는 얼마인가?
• RQ4 레데이와 라이히아르트의 음의 펠 방정식 가역성 기준은 좁은 클래스 군의 구조와 어떻게 관련되어 있는가?
• RQ5 펠 쌍곡선의 셀머 군과 타테-샤파레비치 군은 타원곡선의 경우와 유사하게 정의되고 계산될 수 있는가?

주요 결과

• 논문은 $X^2 - riangle Y^2 = -1$ 이 가역인 판별식 $ riangle$ 의 밀도의 하한값이 최소 $0.419422\bar{\text{,}}$ 라는 것을 입증한다. 이 결과는 레데이의 것이다.
• 스티븐하겐의 히우리스틱은 이러한 판별식의 실제 밀도가 $1 - \beta = 0.580577\bar{\text{,}}$ 라고 제안하며, 여기서 $\beta = \textstyle\frac{1}{2}\textstyle\frac{1}{4}\textstyle\frac{1}{16}\textstyle\frac{1}{256}\textstyle\frac{1}{65536}\text{...}$ 이다.
• 그래프 $\rho(d)$ 의 스패닝 트리 수는 좁은 클래스 군의 2-부분 $h^+(d)$ 를 $2^n$ 으로 나눈 나머지와 동일하며, 이는 그래프 이론과 군 구조 사이의 연결 고리를 나타낸다.
• 판별식 $d = p_1 \bar{p}_n$ 이며 $p_i \neq 1 \bmod 4$ 라면, 이웃 행렬 $A$ 의 랭크는 $r_4(d) = n - 1 - \text{rank}(A)$ 또는 유사한 공식을 통해 클래스 군의 4-랭크를 결정한다.
• 그래프 $\rho(d)$ 는 좁은 2-클래스 군이 원자적 아벨 군일 때에만 오드 그래프(odd graph)가 되며, 이 결과는 레데이 이론에서 유도된다.
• 논문은 $1 = fr^2 - gs^2$ 가 정수해를 가진다는 것은 그래프 $\rho(d)$ 가 특정 분할에서 홀수 차수의 정점이 존재하지 않음을 의미하며, $(g/p_i) = -1$ 이면 이는 모순을 초래한다.