[논문 리뷰] An explicit Gross-Zagier formula related to the Sylvester Conjecture

Hu, Yueke, Jie Shu외 1명|arXiv (Cornell University)|2017. 08. 17.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 타원곡선 $E_p: x^3 + y^3 = p$ 와 $E_{3p^2}: x^3 + y^3 = 3p^2$ 에 대해 명시적인 Gross-Zagier 공식을 수립하여, $p \equiv 4,7 \pmod{9}$ 이고 $3 \not\equiv \square \pmod{p}$ 인 조건 하에서 $|\text{X}(E_p)| \cdot |\text{X}(E_{3p^2})|$ 의 3-부분이 Birch와 Swinnerton-Dyer 추측의 예측과 일치함을 증명한다. 본 결과는 산술기하학과 Heegner 점 방법을 통해 Sylvester의 세제곱수 합 추측의 핵심 케이스를 해결한다.

ABSTRACT

Let $p\equiv 4,7\mod 9$ be a rational prime number such that $3\mod p$ is not a cubic residue. In this paper we prove the 3-part of the product of the full BSD conjectures for $E_p$ and $E_{3p^3}$ is true using an explicit Gross-Zagier formula, where $E_p: x^3+y^3=p$ and $E_{3p^2}: x^3+y^3=3p^2$ are the elliptic curves related to the Sylvester conjecture and cube sum problems.

연구 동기 및 목표

• 특정 합동 조건 하에서 타원곡선 $E_p: x^3 + y^3 = p$ 와 $E_{3p^2}: x^3 + y^3 = 3p^2$ 에 대해 Birch와 Swinnerton-Dyer 추측의 3-부분을 해결하기.
• $E_p$ 와 $E_{3p^2}$ 의 Shafarevich-Tate 군의 순서의 곱에 대해 명시적인 Gross-Zagier 공식을 수립하고, 3-주요 부분에 집중하기.
• 이전의 순위와 Shafarevich-Tate 군의 유한성에 관한 결과를 확장하여 누락된 BSD 추측의 3-부분을 다루기.
• Heegner 점과 $L$-값을 통해 Sylvester 추측과 BSD 추측 사이의 정교한 산술적 연결을 제공하기.
• 주어진 조건 하에서 두 곡선에 대해 $3$-adic 값매김이 BSD 공식의 예측 순서와 일치함을 검증하기.

제안 방법

• Gross-Zagier 공식을 사용하여 $E_p$ 의 $L$-함수의 도함수를 Heegner 점의 Néron-Tate 높이와 연결한다.
• 복소 곱승 이론과 허수 정수환의 $\mathrm{M}_2(\mathbb{Q})$ 에의 임베딩을 적용하여 $X_0(3^5)$ 상의 Heegner 점을 구성한다.
• $3$-adic $L$-함수와 $p$-adic $L$-값을 사용하여 BSD 공식의 3-주요 부분을 분석한다.
• 국소 루트 번호와 부호 계산을 적용하여 $E_p$ 는 분석적 순위가 1이고 $E_{3p^2}$ 는 순위가 0임을 확인하여 BSD 예측과 일치함을 보인다.
• 함수방정식과 $L$-함수의 특수값을 사용하여 BSD 공식 양변의 $3$-adic 값매김을 비교한다.
• 클래스 체 이론과 여류 체를 적용하여 테스트 벡터를 구성하고 자동형 형태의 맥락에서 국소 적분을 계산한다.

실험 결과

연구 질문

• RQ1 주어진 조건인 $p \equiv 4,7 \pmod{9}$ 이고 $3$ 이 모듈로 $p$ 에서 세제곱 잔여물이 아닐 때, 타원곡선 $E_p: x^3 + y^3 = p$ 에 대해 BSD 추측의 3-부분이 성립하는가?
• RQ2 BSD 추측에 따르면 $|\text{X}(E_p)| \cdot |\text{X}(E_{3p^2})|$ 의 정확한 $3$-adic 값매김은 무엇인가?
• RQ3 Shafarevich-Tate 군의 순서의 곱에 대해 명시적인 Gross-Zagier 공식을 유도할 수 있는가?
• RQ4 Tamagawa 수, 순환군, 실주기의 기여가 이 곡선들의 BSD 공식의 3-주요 부분에 어떻게 작용하는가?
• RQ5 주어진 산술 조건 하에서 이 곡선들의 $3$-primary 부분이 $L$-값과 높이 자료와 일치하는가?

주요 결과

• 조건 하에서 $E_p$ 와 $E_{3p^2}$ 의 BSD 추측의 3-부분이 검증됨: $|\text{X}(E_p)| \cdot |\text{X}(E_{3p^2})|$ 의 $3$-adic 값매김은 BSD 공식의 예측과 정확히 일치함.
• 조건 $p \equiv 4,7 \pmod{9}$ 이고 $3$ 이 모듈로 $p$ 에서 세제곱 잔여물이 아닐 때, $E_p$ 는 분석적 순위가 1이고 $E_{3p^2}$ 는 순위가 0이며, 이는 BSD 추측과 일치함.
• 곱 $|\text{X}(E_p)| \cdot |\text{X}(E_{3p^2})|$ 는 0이 아닌 유리수이며, 그 $3$-adic 값매김은 정확히 BSD 공식의 예측과 일치함.
• 생성자 $E_p(\mathbb{Q})$ 의 Néron-Tate 높이와 $s=1$ 에서의 $L$-값이 BSD 공식의 3-주요 부분을 제외한 나머지 부분까지 정확히 일치함이 입증됨.
• Tamagawa 수와 순환군의 순서가 계산되었으며, 이들이 BSD 공식의 3-주요 부분에 정확히 기여함이 확인됨.
• 증명은 $X_0(3^5)$ 상에 Heegner 점을 구성하고, 그 이미지가 모듈러 매개변수화를 통해 계산되어 Gross-Zagier 공식이 3-주요 수준에서 검증됨.