[論文レビュー] Sturm bounds for Siegel modular forms of degree 2 and odd weights

Toshiyuki Kikuta, Sho Takemori|arXiv (Cornell University)|Aug 7, 2015

Advanced Algebra and Geometry参考文献 4被引用数 3

ひとこと要約

この論文は、任意の素数 $p$ を法とする2次スiegelモジュラー形式の奇数重さに対して、鋭いスツルムの境界を確立する。$p=2,3$ における先行研究の欠陥を是正し、奇数重さへの拡張を実現する。$b_k = \lfloor (k-5)/10 \rfloor$ までのフーリエ係数の消えることが $\mathfrak{p}^\nu$ を法として消えることを示し、代数的フーリエ係数に対してその鋭さが確認されている。

ABSTRACT

We correct the proof of the theorem in the previous paper presented by the first named author, which concerns Sturm bounds for Siegel modular forms of degree $2$ and of even weights modulo a prime number dividing $2\cdot 3$. We give also Sturm bounds for them of odd weights for any prime numbers, and we prove their sharpness. The results cover the case where Fourier coefficients are algebraic numbers.

研究の動機と目的

• 2次スiegelモジュラー形式の偶数重さおよび $p=2,3$ を法とするスツルム境界の証明における欠陥を是正すること。
• 任意の素数 $p$ を法とする2次スiegelモジュラー形式の奇数重さに対して、鋭いスツルム境界を確立すること。
• これらの境界の鋭さを証明すること。これは、数値実験による合同式の検証に不可欠である。
• 代数的フーリエ係数を持つモジュラー形式への理論の拡張を図り、算術的文脈への適用可能性を保証すること。

提案手法

• 文献[7]における $p=2,3$ および偶数重さの誤った議論を是正するための新しい証明技法を導入する。
• 重さと素数法における基準をもとに、偶数 $k$ に対しては $b_k = \lfloor k/10 \rfloor$、奇数 $k$ に対しては $b_k = \lfloor (k-5)/10 \rfloor$ としてスツルム境界 $b_k$ を定義する。
• 既知のモジュラー形式 $X_{10}, X_{16}, X_{35}, Y_{12}$ 及びそれらの $p$-進付値を用いて、重さ $k$ に関する帰納法を適用する。
• $W$-写像および $W''$-写像を用いて、フーリエ係数の $p$-進付値を分析し、合同条件を導出する。
• すべての係数 $a_f(m,r,n) \equiv 0 \mod{\mathfrak{p}^\nu}$ が $0 \leq m,n \leq b_k$ および $4mn - r^2 \geq 0$ に対して成り立つならば、$f \equiv 0 \mod{\mathfrak{p}^\nu}$ であるという事実を用いる。
• 具体的なモジュラー形式 $f_k$（$k=35,39,41,43,47$）を構成することで、境界の鋭さを検証する。その際、先頭項が境界に一致する。

実験結果

リサーチクエスチョン

• RQ1 任意の素数 $p$ を法とする2次スiegelモジュラー形式の奇数重さに対する正しい鋭いスツルム境界は何か？
• RQ2 文献[7]の定理2.1における $p=2,3$ および偶数重さの証明の欠陥はどのように是正できるか？
• RQ3 奇数重さのスツルム境界が鋭いかを証明でき、その正確な形は何か？
• RQ4 $p$-進付値とモジュラー形式が素数の冪を法として消えることとの関係は何か？
• RQ5 代数的係数を持つモジュラー形式に対して、$\mathfrak{p}^\nu$ を法とする消えを検出するための最小のフーリエ係数の集合は何か？

主な発見

• 奇数重さのスツルム境界は $b_k = \lfloor (k-5)/10 \rfloor$ で与えられ、任意の素数 $p$ に対して鋭い。
• 偶数重さおよび $p=2,3$ に対しては、是正されたスツルム境界は $b_k = \lfloor k/10 \rfloor$ であり、これも鋭い。
• $k=35,39,41,43,47$ の具体的なモジュラー形式 $f_k$ を用いて、境界の鋭さが確認された。これらの形式の先頭項は境界に一致する。
• 証明は、文献[7]の誤った手法を是正するための新しい $W$-写像と $p$-進付値の議論に基づく。
• 結果は代数的フーリエ係数を持つモジュラー形式に対しても成り立ち、算術的幾何や合同式の研究への応用が可能になる。
• $b_k$ は $k \geq 45$ に対して再帰関係 $b_k = b_{k-8} + 1$ を満たす。これは帰納的証明構造を支持する。