[論文レビュー] Bessel models for GSp(4): Siegel vectors of square-free level

Ameya Pitale, Ralf Schmidt|arXiv (Cornell University)|Jul 12, 2012

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

ひとこと要約

本稿は、平方自由なレベルのシーゲル合同部分群 $P_1$ で固定される非ゼロのベクトルを持つ、$p$-進体 $F$ 上の ${\rm GSp}_4(F)$ の非球面的で、Iwahori-球面的表現のベッセルモデルに対して、明示的なテストベクトルを特定し、閉形式の公式を導出する。ヘッケ作用素とゼータ積分を用いて、特定の対角的要素 $h(0,m_0)$ におけるベッセル関数の値が非ゼロであることを確立し、唯一の例外的分解型の場合を除き、常に標準的なテストベクトルが得られる。

ABSTRACT

We determine test vectors and explicit formulas for all Bessel models for those Iwahori-spherical representations of GSp(4) over a p-adic field that have non-zero vectors fixed under the Siegel congruence subgroup.

研究の動機と目的

• ${\rm GSp}_4(F)$ の非球面的で、$P_1$-不変ベクトルをもつ、非可約かつ適切な、Iwahori-球面的表現のベッセルモデルに対する明示的テストベクトルを特定すること。
• 特に平方自由なレベルのシーゲルベクトルに注目し、${\rm GSp}_4(F)$ 上の対応するベッセル関数の明示的公式を導出すること。
• 標準的な候補が失敗する場合、特に例外的分解型の場合にテストベクトル問題を解決すること。
• ヘッケ作用素とゼータ積分を用いて、1次元および2次元の $P_1$-不変空間を統一的に取り扱うこと。

提案手法

• 著者らは、$P_1$ と対角行列を含む二重コセットを介して定義される2つのヘッケ作用素 $T_{1,0}$ と $T_{0,1}$ を用い、$P_1$-不変ベクトルの空間に作用させる。
• $P_1$-不変ベクトルの空間上でこれらの作用素の固有値を、Iwahori-球面的表現の13種類の類すべてについて計算し、特に7種類の非球面的タイプに注目する。
• ベッセル関数の特定の群要素における値の再帰的関係を導出するために、${\rm GL}_2$ 積分公式（補題4.3）を用いる。
• 例外的分解型のIIa型における、パラモジュラー・ベクトル理論とゼータ積分を用いて、非ゼロ点を同定する。
• 対角的要素におけるベッセル関数値の生成関数を構成する（命題6.1）、これにより対角部分群上でのベッセル関数の振る舞いを結びつける。
• 固有値解析と対称性を用いて、$h(0,m_0)$ におけるベッセル関数の非ゼロ性を確立し、例外はゼータ積分技法で処理する。

実験結果

リサーチクエスチョン

• RQ1 どの Iwahori-球面的表現に対して、$P_1$-不変ベクトルをもつ ${\rm GSp}_4(F)$ のベッセルモデルが存在するのか。また、$P_1$-不変空間の構造は何か。
• RQ2 非球面的で $P_1$-不変な場合、特に $P_1$-不変空間が1次元または2次元である場合のベッセルモデルに対する明示的テストベクトルは何か。
• RQ3 なぜ標準的候補 $h(0,m_0)$ は、IIa型の例外的分解型においてテストベクトルとして失敗するのか。何に置き換えられるのか。
• RQ4 $T_{1,0}$ と $T_{0,1}$ は $P_1$-不変ベクトルにどのように作用するのか。また、その固有値はどのようにしてテストベクトルを同定するのに用いられるか。
• RQ5 対角的要素におけるベッセル関数値の生成関数を構成できるか。また、それは関数のグローバルな振る舞いをどのように明らかにするか。

主な発見

• 1次元の $P_1$-不変空間のすべての場合において、唯一の $P_1$-不変ベクトルがテストベクトルであり、$B(h(0,m_0)) \neq 0$ が成り立つ。
• 2次元の $P_1$-不変空間（タイプIIIaおよびIVb）では、$T_{1,0}$ と $T_{0,1}$ の共通固有ベクトルがすべて $B(h(0,m_0)) \neq 0$ を満たし、有効なテストベクトルである。
• 未分岐な $\Lambda$ をもつ、タイプIIaの例外的分解型において、ベッセル関数は $h(0,m_0)$ でゼロであるが、$h(1,0)$ では非ゼロである。
• 命題6.1における生成関数は、対角的要素上での $B$ の値の完全な生成関数を提供し、グローバルな応用を可能にする。
• ゼータ積分とパラモジュラー・ベクトル技法は、標準的ヘッケ手法が失敗する例外的分解型において、非ゼロ性を示すために不可欠である。
• 中心文字および $\Lambda$ の分岐条件が、関連する状況においてベッセルモデルの存在に必要かつ十分であることが示された。