[논문 리뷰] The congruent numbers have positive natural density

Alexander Smith|arXiv (Cornell University)|2016. 03. 28.

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

한 줄 요약

이 논문은 정수의 면적이 유리수를 가진 직각삼각형의 면적과 일치하는 정수인 합동수—즉, 정수의 제곱근이 아닌 정수들—이 제곱근이 없는 정수들 중에서 양의 자연밀도를 가짐을 증명한다. 이는 특히 55.9% 이상의 제곱근이 없는 정수 n ≡ 5,6,7 (mod 8)가 합동수임을 보여준다. 증명은 합동수 곡선의 2차 스트레칭에 대해 약화된 버치와 스위너튼-다이어 추측을 검증하는 데 기반하며, 2-셀머 군 계산과 해석적 랭크 분석을 사용한다.

ABSTRACT

We prove that the rational elliptic curve y^2 = x^3 - n^2x satisfies the full Birch and Swinnerton-Dyer conjecture for at least 41.9% of positive squarefree integers n equal to 1, 2, or 3 mod 8, and that it satisfies the regular BSD conjecture for at least 55.9% of positive squarefree integers n equal to 5, 6, or 7 mod 8. In particular, at least 55.9% of positive squarefree integers equal to 5, 6, or 7 mod 8 are congruent numbers. These proofs complete an argument started by Tian, Yuan, and Zhang.

연구 동기 및 목표

• 합동수의 자연밀도가 양의 제곱근이 없는 정수들 중에서 양의 자연밀도를 가짐을 입증하는 것.
• 합동수 곡선 E: y² = x³ - n²x의 2차 스트레칭에 대해 약화된 버치와 스위너튼-다이어 추측을 검증하는 것.
• 2-셀머 랭크가 정확히 3인 제곱근이 없는 정수 n ≡ 5,6,7 (mod 8)의 자연밀도를 결정하는 것. 이는 해석적 랭크가 1임을 암시한다.
• 티안, 위엔, 왕이 시작한 프로그램을 완성하여, 2-셀머 군의 구조와 관련된 L(E)의 기수성에 관한 추측 1.1을 증명하는 것.

제안 방법

• n mod 8와 소인수의 레지우안 표기법에 의해 결정되는 F₂-행렬을 이용해 몰스키의 방법을 사용하여 E^(n)의 2-셀머 랭크를 계산한다.
• 티안, 위엔, 왕의 작업을 응용하여 동일한 산술적 자료를 사용해 L(1,E^(n))의 기수성을 결정한다.
• 루빈의 허무라의 주요 추측에 대한 증명을 사용하여, 해석적 랭크가 0일 경우 L(E^(n))/|Sha(E^(n))|가 2-진 단위임을 보인다.
• 월드스부르거 공식을 적용하여 L(1,E^(n))을 모듈러 형식과 연결하고, L-값 표현의 음이 아닌 성질을 유도한다.
• 스위너튼-다이어와 케인의 확률적 히우리스틱을 사용하여, 몰스키 행렬의 비영행렬식 조건이 해석적 랭크 1을 유도할 확률이 0.5임을 주장한다.
• 소인수 분해에 대한 조밀도 추론과 평균화 기법을 적용하여, 특정한 2-셀머 랭크와 L-값 기수성 조건을 만족하는 n의 자연밀도를 계산한다.

실험 결과

연구 질문

• RQ1 제곱근이 없는 양의 정수 n ≡ 5,6,7 (mod 8) 중에서 얼마나 많은 비율이 합동수인가? 즉, 타원곡선 y² = x³ - n²x 가 Q에서 양의 랭크를 가짐을 의미한다.
• RQ2 약화된 버치와 스위너튼-다이어 추측은 합동수 곡선의 모든 2차 스트레칭에 대해 성립하는가? 특히 2-셀머 군이 2-토르션에 의해 생성될 경우에 대해 성립하는가?
• RQ3 2-셀머 랭크가 정확히 3인 제곱근이 없는 정수 n ≡ t (mod 8) (t ∈ {5,6,7})의 자연밀도는 얼마인가?
• RQ4 F₂ 상에서 특정 행렬식 표현(예: L₅a(n), L₅b(n))의 비영성 조건이 해석적 랭크 1을 예측할 수 있는가? 이 조건이 양의 밀도를 가짐을 보일 수 있는가?

주요 결과

• 제곱근이 없는 양의 정수 n ≡ 1,2,3 (mod 8) 중 최소 41.9%는 합동수를 생성한다.
• 제곱근이 없는 양의 정수 n ≡ 5,6,7 (mod 8) 중 최소 55.9%는 합동수이다.
• n ≡ 5,6,7 (mod 8) 인 경우, 2-셀머 랭크가 3인 n의 자연밀도는 0.8388를 초과한다.
• 2-셀머 랭크가 3인 n ≡ 5 (mod 8) 중 최소 75%는 해석적 랭크 1을 위한 비영 조건을 만족한다.
• 2-셀머 랭크가 3인 n ≡ 7 (mod 8) 중 최소 75%는 해석적 랭크 1을 위한 비영 조건을 만족한다.
• 2-셀머 군이 2-토르션에 의해 생성될 경우, E^(n)에 대해 전체 버치와 스위너튼-다이어 추측이 성립하며, 이 경우는 양의 밀도를 가진다.