[論文レビュー] A reformulation of the Siegel series and intersection numbers

Sungmun Cho, Takuya Yamauchi|arXiv (Cornell University)|May 4, 2018

Advanced Algebra and Geometry参考文献 23被引用数 5

ひとこと要約

本稿は、Gross-Keating不変量に基づく帰納的公式を用いて、Siegel級数の概念的再定式化を提示し、Siegel級数と正規交叉多重度の間の深い構造的同型を確立する。主な結果は、$\mathbb{F}_p$ 上のモジュラー対応の交叉数が、4次元・重み2のSiegel-Eisenstein級数のフーリエ係数と関連する新しい恒等式であり、$p > 2$ に依存しないもので、Siegel級数を通じて局所的交叉多重度と明示的な関係を持つ。

ABSTRACT

In this paper, we will explain a conceptual reformulation and inductive formula of the Siegel series. Using this, we will explain that both sides of the local intersection multiplicities of [GK93] and the Siegel series have the same inherent structures, beyond matching values. As an application, we will prove a new identity between the intersection number of two modular correspondences over Fp and the sum of the Fourier coefficients of the Siegel-Eisenstein series for Sp_4 of weight 2, which is independent of p (> 2). In addition, we will explain a description of the local intersection multiplicities of the special cycles over F_p on the supersingular locus of the `special fiber' of the Shimura varieties for GSpin(n; 2), n<=3 in terms of the Siegel series directly.

研究の動機と目的

• Gross-Keating不変量に基づく帰納的公式を用いて、Siegel級数の概念的再定式化を提供すること。
• 数値的一致を超えて、Siegel級数と局所的交叉多重度の間の構造的同型を確立すること。
• 重み2・4次元のSiegel-Eisenstein級数のフーリエ係数と、$\mathbb{F}_p$ 上のモジュラー対応の交叉数との間の新しい恒等式を証明すること。
• $GSpin(n,2)$-Shimura多様体の特別ファイバーにおける局所的交叉多重度を、$n \leq 3$ に対して直接Siegel級数の観点から記述すること。

提案手法

• 非可約な二次形式的格子のGross-Keating不変量に基づく、Siegel級数の帰納的公式を導出する。
• Gross-Keating不変量を用いて、局所的密度および原始的局所的密度を再定式化し、Siegel級数の構造と整合させる。
• Siegel級数の帰納的構造と[GK93]における局所的交叉多重度の帰納的公式を比較し、同一の再帰的パターンを示す。
• Kudlaプログラムと[KRY06]の結果を用い、格子不変量を通じて特別ファイバー上の局所的交叉多重度とSiegel級数を関連付ける。
• 再定式化されたSiegel級数を用いて、$\mathbb{F}_p$ 上の交叉数を、通常型および超通常型の部分多様体に還元することで計算する。
• 準標準的リフトを用いて、$\mathbb{C}$ および $\overline{\mathbb{F}}_p$ 上の交叉数を比較し、$p$に依存しない恒等式の構築を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Siegel級数と局所的交叉多重度は、数値的偶然を超えて、根本的な構造的同型を共有しているか？
• RQ2 $\mathbb{F}_p$ 上のモジュラー対応の交叉数は、重み2・4次元のSiegel-Eisenstein級数のフーリエ係数の$p$に依存しない関数として表現可能か？
• RQ3 $GSpin(n,2)$-Shimura多様体の特別ファイバーにおける局所的交叉多重度は、$n \leq 3$ に対して直接Siegel級数を用いて記述可能か？
• RQ4 Gross-Keating不変量の帰納的構造を反映する、Siegel級数の均一な再定式化は可能か？
• RQ5 Kudlaプログラムの文脈において、Siegel-Eisenstein級数の微分のフーリエ係数と算術的交叉多重度の正確な関係は何か？

主な発見

• 本稿は、$p > 2$ に依存せず、$\mathbb{F}_p$ 上の2つのモジュラー対応の交叉数が、重み2・4次元のSiegel-Eisenstein級数のフーリエ係数の和に等しいことを証明する。
• 局所的交叉多重度 $e(\mathcal{Z}(T)_{\overline{\mathbb{F}}_p}, x)$ は、$-\frac{1}{p-1} \cdot \mathcal{F}'_M(\frac{1}{p})$ に等しい。ここで $\mathcal{F}'_M$ は、ランク2の非可約な格子 $M$ に関連するSiegel級数の微分である。
• $n=3$ の場合、交叉数は $e(0,a_1,a_2) = \alpha_p(0,a_1,a_2)$ に一致し、[GK93]の局所的交叉多重度と一致する。
• $n=1$ および $n=2$ の場合、交叉数 $e(a_0,a_1)$ および $e(a_0)$ はそれぞれ $\alpha_p(0,a_0,a_1)$ および $\alpha_p(0,0,a_0)$ に等しく、帰納的構造と整合することが確認される。
• 本稿は、環 $\mathbb{F}_p[x,y]/(\psi_{m_1}, \psi_{m_2})$ の次元が、その複素数版と一致することを確立し、交叉数の計算における$p$-独立性を裏付ける。
• 付録Aの交叉数の表は、$2 \leq m_1 \leq m_2 \leq 9$、$m_1 m_2$ が平方数でない、$p < 50$ の条件下で、$\dim_{\mathbb{F}_p} \mathbb{F}_p[x,y]/(\psi_{m_1}, \psi_{m_2}) = \dim_{\mathbb{C}} \mathbb{C}[x,y]/(\psi_{m_1}, \psi_{m_2})$ が成り立つことを確認しており、主恒等式を支持する。