[論文レビュー] An explicit formula for the Siegel series of a quadratic form over a non-archimedian local field

Tamotsu Ikeda, Hidenori Katsurada|arXiv (Cornell University)|Feb 22, 2016

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

ひとこと要約

本稿は、特徴値がゼロでない非アーチメデス的局域体上の半整数行列のシーゲル級数について、その行列の拡張グロス・キーティング（EGK）データに基づいて、普遍的に表現される明示的公式を提供する。主な貢献は、p=2を含むすべての素数に対して一様に適用可能な統一的な公式を確立し、シーゲル級数が完全にEGK不変量によって決定されることを示したことである。これは、p-進体に対して先行する結果を一般化・簡略化するものである。

ABSTRACT

Let F be a non-archimedian local field of characteristic 0, and O the ring of integres in F. We give an explicit formula for the Siegel series of a half-integral matrix over O. This formula expresses the Siegel series of a half-integral matrix $B$ explicitly in terms of the Gross-Keating invariant of $B$ and its related invariants.

研究の動機と目的

• 任意の特徴値がゼロの非アーチメデス的局域体上での半整数行列のシーゲル級数に対して、普遍的かつ明示的な公式を提供すること。
• 従来の公式では、p=2の場合の取り扱いが別個で複雑であり、奇素数の場合とは分離されていたため、その統一的処理の欠如を解消すること。
• 拡張グロス・キーティング（EGK）データを導入することで、シーゲル級数を支配する不変量を明確にすること。
• 特にp-進体に対して得られた先行研究（Katsuda, 2017年）を、すべての非アーチメデス的局域体に適用可能な一貫した枠組みへと一般化・再定式化すること。

提案手法

• 著者らは、非退化な半整数行列 $B$ のシーゲル級数 $b(B,s)$ に関連する、$X^{1/2}$ と $X^{-1/2}$ のローレント多項式 $\widetilde{F}(B,X)$ を定義する。
• 拡張グロス・キーティング（EGK）データ $\mathrm{EGK}(B)$ を導入し、これは行列 $B$ のジョルダン分解および上部左隅の部分行列の不変量から得られる、ブロックサイズ $n_i$、指数 $m_i$、符号 $\zeta_i$ からなる。
• 整数性および偶奇性の条件を満たす $\mathrm{EGK}$ データ $G$ として、$G = (n_1,\ldots,n_r; m_1,\ldots,m_r; \zeta_1,\ldots,\zeta_r)$ のタプルを公理化する。
• $Y = q^{1/2}$ と $X$ を用いて、普遍的なローレント多項式 $\widetilde{\mathcal{F}}(G;Y,X)$ を構成し、その明示的表現は命題4.1で与えられる。
• 主結果として、$\widetilde{F}(B,X) = \widetilde{\mathcal{F}}(\mathrm{EGK}(B); q^{1/2}, X)$ が成り立つことが示され、シーゲル級数が完全にEGKデータによって決定されることを証明する。
• 特に $p=2$ の場合の不変量の定義を精緻化することで、デイアディックおよび非デイアディックな場合を一様に扱う方法を確立する。

実験結果

リサーチクエスチョン

• RQ1 特徴値がゼロの非アーチメデス的局域体上での半整数行列のシーゲル級数を完全に決定する不変量は何か？
• RQ2 奇素数と偶素数（特に $p=2$）の両方に対して一様に適用可能な、シーゲル級数の単一の統一的公式を構築できるか？
• RQ3 拡張グロス・キーティング不変量を、デイアディックおよび非デイアディックな両ケースにおいて、行列の全算術的性質を捉えるように体系的に定義できるか？
• RQ4 半整数行列のシーゲル級数は、その拡張グロス・キーティングデータによって完全に決定されるか？
• RQ5 この公式を用いて、シーゲルモジュラー形式のフーリエ係数やL関数の特別値を一貫した方法で計算できるか？

主な発見

• 半整数行列 $B$ のシーゲル級数 $\widetilde{F}(B,X)$ は、その拡張グロス・キーティング（EGK）データ $\mathrm{EGK}(B)$ によって完全に決定され、恒等式 $\widetilde{F}(B,X) = \widetilde{\mathcal{F}}(\mathrm{EGK}(B); q^{1/2}, X)$ によって示される。
• この公式は、従来別個に扱われていた奇素数 $p$ と $p=2$ の場合を統一し、Katsuda（2017年）の先行研究における複雑さと明確さの欠如を解消した。
• 判別式 $\mathfrak{D}_B = 5$ を持つ4次行列 $B_1, \ldots, B_{10}$ に対して、計算された $\widetilde{F}_i(X)$ の値は、Duke-Imamoglu-Ikedaの上昇作用素の既知のフーリエ係数と一致し、先行研究（Breulmann-Kuss）との一貫性が確認された。
• 明示的な $\widetilde{F}_i(X)$ の表現が、$S_k = X^k + X^{-k}$ および $q^{-1/2}$ の累乗を用いて導出・検証され、$\widetilde{F}_1(X) = 1$ および $\widetilde{F}_5(X) = S_2 + q^{-1/2}S_1 + 1 + q$ などの例が得られた。
• 拡張GKデータ $\mathrm{EGK}_2(B)$ は $B$ の $2$-進構造を正しく捉えており、10個のテスト行列すべてに対して $2$-進シーゲル級数を正しく再現している。
• 普遍的多項式 $\widetilde{\mathcal{F}}(G;Y,X)$ は明示的に構成され、$\mathrm{EGK}$ データ $G$ のみに依存することが示された。これにより、すべての非アーチメデス的局域体において、シーゲル級数の体系的計算が可能になった。