[論文レビュー] Genus Periods, Genus Points and Congruent Number Problem

Ye Tian, Xinyi Yuan+1 more|arXiv (Cornell University)|Nov 18, 2014

Algebraic Geometry and Number Theory参考文献 20被引用数 7

ひとこと要約

本稿は、平方因子のない正の整数 $ n $ が合同数であるための新しい十分条件を、その素因数のリーマン記号を用いて確立する。これは、ハイゲナー、バーチ–ステファンズ、モンスキー、チアンの先行研究を一般化する。ワルドスピュルグおよびグロス–ザイジャーの公式を通じて、解析的タート・シャファレヴィチ数 $ \mathscr{L}(n) $ を genus period と genus point に結びつけることで、$ \mathscr{L}(n) $ が整数であることを示し、genus class number を用いてその偶奇を特定する。この結果は、$ n \equiv 5,6,7 \pmod{8} $ である $ n $ のうち約 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 $ が合同数であるための、その素因数のリーマン記号に基づく既存の基準を一般化すること。
• genus period と genus point を用いて、$ n $ が合同数であるための十分条件を確立すること。
• genus class number を用いて、解析的タート・シャファレヴィチ数 $ \mathscr{L}(n) $ が整数であることとその偶奇を証明すること。
• すべての $ n \equiv 5,6,7 \pmod{8} $ が合同数であり、$ n \equiv 1,2,3 \pmod{8} $ のうち約 50\% が非合同数であるという密度予想を支持すること。
• ハイゲナー、バーチ–ステファンズ、モンスキー、チアンの結果を統合・拡張し、高度な L 関数および算術幾何学的道具を用いること。

提案手法

• ワルドスピュルグの公式を用いて、genus period と genus point を介して、解析的タート・シャファレヴィチ数 $ \mathscr{L}(n) $ の明示的公式を導出する。
• ユアン–チャン–チァンの一般化されたグロス–ザイジャーの公式を適用し、$ \mathscr{L}(n) $ を楕円曲線 $ E_n: ny^2 = x^3 - x $ 上の genus point の高さに関連付ける。
• テストベクターとウィッターキー関数の理論を用いて、局所的 L 関数とその留数を計算する。
• $ \mathscr{L}(n) $ の偶奇を 2 を法として簡約し、$ n $ の因数 $ d_i \equiv 1 \pmod{8} $ の genus class number $ g(d_i) $ の積に関連付けることで計算する。
• レデイの定理を用いて、$ g(d) $ の偶奇を $ d $ の奇素因数 $ p,q $ に対するリーマン記号 $ \left(\frac{p}{q}\right) $ の行列（レデイ行列）で表現する。
• $ n \equiv 5,6,7 \pmod{8} $ の場合に $ \mathscr{L}(n) $ を正規化し、その 2-adic 付値を分析するために、不変量 $ \rho(n) $ を導入する。

実験結果

リサーチクエスチョン

• RQ1 $ n $ の素因数のリーマン記号を用いて、統一的な十分条件として合同数の基準を定式化できるか、既存の結果を一般化できるか？
• RQ2 解析的タート・シャファレヴィチ数 $ \mathscr{L}(n) $ は、楕円曲線 $ E_n: ny^2 = x^3 - x $ 上の genus period と genus point とどのように関係するか？
• RQ3 $ \mathscr{L}(n) $ の偶奇は何か？ そして、$ n $ の因数の genus class number を用いてどのように計算できるか？
• RQ4 この基準は、$ n \equiv 5,6,7 \pmod{8} $ である整数の正の密度が合同数であることを示唆するか？
• RQ5 この手法を用いて、$ \mathscr{L}(n) $ が整数であり、密度 1 の $ n $ に対して非ゼロであることを証明でき、BSD 予想を支持できるか？

主な発見

• $ \mathscr{L}(n) $ は、すべての平方因子のない $ 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 $ における genus class number $ 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-捩れ元の数 $ g(d) $ の偶奇は、奇素数 $ p,q \mid d $ に対するリーマン記号 $ \left(\frac{p}{q}\right) $ のレデイ行列によって決定される。
• この基準により、$ n \equiv 5,6,7 \pmod{8} $ の正の密度に対して $ \mathscr{L}(n) \neq 0 $ であることが示され、合同数の密度予想を支持する。
• 本手法により、ハイゲナー、バーチ–ステファンズ、モンスキー、チアンの研究を拡張する、新しい明示的かつ計算可能な合同数の基準が得られる。