Geometrization of summation formulae for quadrics

技術的要約：二次形式における和の公式の幾何学的構成

問題提起
本論文は、数体 $E$ 上の偶数個（$2\ell$ 個）の変数を持つ分裂二次形式の零集合 $X_\ell$ に対するポアソン summation 公式（Poisson summation formula）を扱う。$\ell \ge 3$ の場合、以前にポアソン summation 公式が確立されているが（[Hsu21, Get25] における定理 1.1）、そこでは「境界項」（退化 Eisenstein 級数の留数）が幾何学的な用語で明示的に表現されていなかった。具体的には、$s = \pm 1$ および $s = \pm (\ell-1)$ における留数は、シュワルツ関数に適用される特定の境界写像がゼロであることと同値であることは既知であったが、これらの留数の非ゼロの値については幾何学的な記述が欠けていた。

関数体の場合、[GK24] を用いて、極小表現の自己同型性によるこれらの留数の完全な幾何学的記述が達成されている。しかし、数体の場合には、アルキメデス的なプレースに起因する特有の課題が存在する。Getz [Get25] による最近のアプローチは、テータ・リフト（theta lift）を通じて定義された関数空間 $\tilde{S}(X_\ell(\mathbb{A}_E))$ と、滑らかな軌道への線形写像 $I$ を導入した。 [Get25] は $I(f)$ の形の関数に対する幾何学的 summation 公式を確立したが、$I(f)$ が標準的なシュワルツ空間 $S(X_\ell(\mathbb{A}_E))$ に実際に属しているのか、また、公式が $I(f)$ の像のみに依存するように降下（descend）するのかどうかは不明なままであった。

手法
著者は、二次形式上の 2 つの異なるシュワルツ空間の構成の間の厳密な同値性を確立することで、これらの曖昧さを解決する。

1. ブラヴァーマン・カズダン空間（Braverman-Kazhdan Spaces）: [GHL25] および [Hsu21] で展開された、直交群 $O_{V_{\ell+1}}$ の極小表現を介した $S(X_\ell)$ の標準的な構成。
2. テータ・リフト空間（Theta Lift Spaces）: [Get25] で導入された、$S(V_\ell \oplus \mathbb{A}^2)$ 上の Weil 表現の余剰（coinvariants）を介して定義される $\tilde{S}(X_\ell)$。

手法は、主に以下の 3 つの段階で進行する。

• 局所比較: 非アルキメデス的およびアルキメデス的局所体における局所理論を分析する。両方の構成における特異点（原点）付近での関数の漸近挙動を明示的に計算する。
• 写像の特定: 写像 $I: \tilde{S}(X_\ell) \to C^\infty(X_\ell^\circ)$ が標準的なシュワルツ空間 $S(X_\ell)$ への同型であることを証明する。決定的なのは、この同型が両方の理論で定義されたフーリエ変換（$\tilde{F}_{X_\ell}$ および $F_{X_\ell}$）と境界写像（留数および漸近係数）をインターワインド（intertwine）することである。
• 大域的降下: 局所的な同定を用いて、テータ・リフトの設定から標準的なシュワルツ空間の設定へと summation 公式を持ち上げる。これには、アデール公式が成立するように、判別式 $D$ やイプシロン因子 $\epsilon(s, \psi)$ などの正規化定数を注意深く追跡することが含まれる。

主要な貢献と結果

1. シュワルツ空間の同値性: 本論文は、$\ell \ge 2$ において、テータ・リフト写像 $I$ の像が正確に標準的なシュワルツ空間 $S(X_\ell(\mathbb{A}_E))$ であることを証明している（定理 7.1、命題 5.2、6.3）。これにより、テータ・リフト構成が数体設定におけるシュワルツ空間の有効なモデルを提供することが確認された。
2. 留数の幾何学的構成: 主要な結果は、定理 1.2 である「幾何学化された」ポアソン summation 公式である。この公式は、その関数のフーリエ変換の和を、以下のものを用いて表現する：
   • 反復された境界写像 $d_{\ell, i}$ および $c_i$ を含む明示的な境界項。
   • これらの境界写像は、原点付近における関数の漸近展開（germs）に対応している。
3. 明示的な留数公式: 新しい公式（定理 1.2）を以前の解析的な公式（定理 1.1）と比較することにより、著者は退化 Eisenstein 級数の留数の明示的な幾何学的表現を導出している：
   $$\text{Res}_{s=-(\ell-1)} \text{Eis}(f_s) = \kappa |D|^{\frac{\ell-3}{2}} \zeta(\ell-1) c_\ell(f)$$
   および、$d_\ell$ に関連する項の和を含む $s = -1$ における同様の表現。
4. $\ell=2$ の取り扱い: 本論文は、Eisenstein 級数が 2 次の極を持つ可能性がある $\ell=2$ のケースについて詳細な分析を提供している。ここでは、$\ell \ge 3$ のケースには存在しなかった $(s+1)^{-2}$ 項の係数を捉えるための追加の境界写像 $a_2$ を導入している。

意義
本論文の主な貢献は、二次形式に関するポアソン summation 公式における境界項の幾何学的表現を提供することであると著者は主張している。これらの項が、写像 $c_\ell$ および $d_\ell$ を通じて、特異点における関数の germ（芽）によって決定されることを示すことにより、本研究は解析的な留数を「幾何学化」している。

著者は、この結果が正則化された Siegel-Weil 恒等式（[Ich01, Ike96, KR94] を引用）に類するものであると述べている。その意義は、このような恒等式が Braverman-Kazhdan 空間の境界項を幾何学化するために使用できることを示した点にある。本論文は、このアプローチが、ラグランジュ・グラスマン多様体（[GL21] のように）における Poisson summation 公式を幾何学的な形式で再構成するなどの他の設定にも拡張可能であることを示唆しているが、本論文自体はその拡張は行っていない。

要約すると、本論文は、Eisenstein 級数の解析的な理論と、特異な多様体上のシュワルツ空間の幾何学的な理論との間の溝を埋めるものであり、[Get25] のテータ・リフト・アプローチが Braverman-Kazhdan フレームワークと完全に互換性があり、summation 公式の誤差項の完全な幾何学的記述を与えることを確認している。