[논문 리뷰] Genus Periods, Genus Points and Congruent Number Problem

Ye Tian, Xinyi Yuan외 1명|arXiv (Cornell University)|2014. 11. 18.

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

한 줄 요약

이 논문은 히그너, 버치-스테프너, 몬스키, 천의 이전 작업을 일반화하여 제곱 자유인 양의 정수 $ n $ 가 임의의 소인수의 레지오드 기호를 사용하여 임의의 조건을 만족할 때 잠재적으로 일치하는 새로운 충분 조건을 설정한다. 발라드스부르거 및 그로스-자지어 공식을 통해 해석적 타테-샤파레비치 수 $ \mathscr{L}(n) $ 를 성분 주기와 성분 점과 연결함으로써, 저자들은 $ \mathscr{L}(n) $ 가 정수임을 보이고, 성분 클래스 수를 통해 그의 기수를 결정한다. 이는 $ n \equiv 5,6,7 \pmod{8} $ 인 경우 약 $ 50\% $ 가 일치수임을 지지하는 밀도 추측을 뒷받침한다.

ABSTRACT

In this paper, based on an ideal of Tian, we establish a new sufficient condition for a positive integer to be a congruent number in terms of Legendre symbols of prime factors of the positive integer. Our criterion generalizes previous criterions of Heegner, and Birch--Stephens, Monsky, and Tian, and conjecturally provides a list of positive density of congruent numbers. Our method of proving our criterion is to give formulae for the analytic Tate--Shafarevich number in terms of the so-called genus periods and genus points. These formulae are derived from the Waldspurger formula and the generalized Gross--Zagier formula of Yuan-Zhang-Zhang.

연구 동기 및 목표

• 이전의 소인수의 레지오드 기호에 기반한 일치수 기준을 일반화하는 것.
• 성분 주기와 성분 점을 통해 $ n $ 이 일치수임을 위한 충분 조건을 설정하는 것.
• 성분 클래스 수를 사용하여 해석적 타테-샤파레비치 수 $ \mathscr{L}(n) $ 가 정수임을 증명하고 그의 기수를 결정하는 것.
• 모든 $ n \equiv 5,6,7 \pmod{8} $ 가 일치수이며, $ n \equiv 1,2,3 \pmod{8} $ 인 경우 약 $ 50\% $ 가 일치수가 아님을 지지하는 밀도 추측을 뒷받침하는 것.
• 히그너, 버치-스테프너, 몬스키, 천의 결과를 고급 L-함수 및 산술 기하학 도구를 사용하여 통합하고 확장하는 것.

제안 방법

• 발라드스부르거 공식을 통해 성분 주기와 성분 점을 이용하여 해석적 타테-샤파레비치 수 $ \mathscr{L}(n) $ 의 명시적 공식을 유도하는 것.
• 위안-창-창의 일반화된 그로스-자지어 공식을 적용하여 $ \mathscr{L}(n) $ 를 타원곡선 위의 성분 점의 높이와 연결하는 것.
• 시험 벡터 이론과 윌라드 함수를 사용하여 국소 L-함수와 그 잔여치를 계산하는 것.
• 성분 클래스 수 $ g(d_i) $ 의 곱과 관련하여 $ \mathscr{L}(n) $ 의 기수를 2로 나눈 나머지로 줄여서 계산하는 것.
• 레데이의 정리를 사용하여 $ d $ 의 소인수에 대해 $ \left(\frac{p}{q}\right) $ 의 레지오드 기호로 $ g(d) $ 의 기수를 표현하는 것.
• $ n \equiv 5,6,7 \pmod{8} $ 인 경우 $ \mathscr{L}(n) $ 을 정규화하고 2진수 값의 분석을 위해 $ \rho(n) $ 를 도입하는 것.

실험 결과

연구 질문

• RQ1 소인수의 레지오드 기호를 사용하여 이전 결과를 일반화한 통합된 충분 조건을 $ n $ 의 일치성에 대해 기술할 수 있는가?
• RQ2 해석적 타테-샤파레비치 수 $ \mathscr{L}(n) $ 는 타원곡선 $ E_n: ny^2 = x^3 - x $ 상의 성분 주기와 성분 점과 어떻게 관련이 있는가?
• RQ3 $ \mathscr{L}(n) $ 의 기수는 무엇이며, $ n $ 의 약수의 성분 클래스 수를 사용하여 어떻게 계산할 수 있는가?
• RQ4 이 기준은 $ n \equiv 5,6,7 \pmod{8} $ 인 정수의 양의 밀도가 일치수임을 의미하는가?
• RQ5 이 방법은 $ \mathscr{L}(n) $ 가 정수이자 0이 아닌 것으로 밝혀지며, $ n $ 의 대부분의 경우에 대해 BSD 추측을 지지하는 데 확장될 수 있는가?

주요 결과

• 일반화된 그로스-자지어 공식을 통해 모든 제곱 자유인 $ n $ 에 대해 해석적 타테-샤파레비치 수 $ \mathscr{L}(n) $ 가 정수임을 보였다.
• 모든 $ n \equiv 1,2,3 \pmod{8} $ 에 대해, $ \mathscr{L}(n) $ 의 기수는 $ d_i \equiv 1 \pmod{8} $ 이고 $ d_i > 1 $ 인 모든 순서 없는 분해 $ n = d_0 d_1 \cdots d_\ell $ 에 대해 성분 클래스 수 $ g(d_i) $ 의 곱의 합을 2로 나눈 나머지로 주어진다.
• 모든 $ n \equiv 5,6,7 \pmod{8} $ 에 대해 $ \mathscr{L}(n) $ 는 정수이며, $ 2^{-\rho(n)} \mathscr{L}(n) $ 가 기수일 뿐만 아니라 특정 분해에 대한 합이 2로 나눈 나머지에서 0이 되는 경우에만 성립한다.
• 성분군 $ \mathbb{Q}(\sqrt{-d}) $ 의 2- torsion 원소의 수인 $ g(d) $ 의 기수는 $ d $ 의 홀수 소인수 $ p,q $ 에 대해 $ \left(\frac{p}{q}\right) $ 의 레지오드 기호로 구성된 레데이 행렬에 의해 결정된다.
• 이 기준은 $ n \equiv 5,6,7 \pmod{8} $ 인 경우 $ \mathscr{L}(n) \neq 0 $ 인 정수의 양의 밀도를 암시하며, 일치수의 밀도 추측을 지지한다.
• 이 방법은 히그너, 버치-스테프너, 몬스키, 천의 작업을 확장하여 레지오드 기호에 기반한 새로운 명시적이고 계산 가능한 일치 기준을 제공한다.