[論文レビュー] Essential Whittaker functions for GL(n)

Nadir Matringe|arXiv (Cornell University)|Jan 26, 2012

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

ひとこと要約

本稿は、非アーチメデス的局所体 $F$ における $GL(n,F)$ の一般表現に対して、ミラボリック制限およびベルンシュタイン＝ツェレヴィンスキー微分の技法を用いて、本質的Whittaker関数の存在に対する構成的証明を提示する。主な結果として、Rankin-Selberg積分を介して $L$-関数 $L(\pi, \pi^\prime, s)$ を実現する、唯一の $G_{n-1}(\frak{O})$-不変Whittaker関数が、Whittakerモデルにおける本質的ベクトルを特徴づけることが確立される。

ABSTRACT

We give a constructive proof of the essential Whittaker functions of GL(n,F) (also known as local new forms), using mirabolic restriction.

研究の動機と目的

• 非アーチメデス的局所体 $F$ における $GL(n,F)$ の一般表現に対して、本質的Whittaker関数の存在に対する構成的証明を提供すること。
• 本質的Whittaker関数を、Rankin-Selberg積分を介して $L$-関数 $L(\pi, \pi^\prime, s)$ を実現する唯一の $G_{n-1}(\frak{O})$-不変ベクトルとして特徴づけること。
• 本質的ベクトルと、表現の最初の非ゼロの球的ベルンシュタイン＝ツェレヴィンスキー微分の非分岐成分との間の関係を確立すること。
• 本質的ベクトルの構成を非分岐表現を超えて一般化すること。これには、ベルンシュタイン＝ツェレヴィンスキー微分の構造とミラボリック制限の性質を用いる。

提案手法

• Whittaker関数が $G_{n-1}(\frak{O})$ に制限されたときの構造を分析するために、ミラボリック制限技法を用いる。
• ベルンシュタイン＝ツェレヴィンスキー微分理論に依拠し、分岐した一般表現 $\pi$ の最初の非ゼロの球的微分 $\pi^{(n-r)}$ の非分岐成分 $\pi_u$ を同定する。
• Satakeパラメータと導手 $r$ を含む特定の関数方程式を満たす唯一の $G_{n-1}(\frak{O})$-不変関数として、本質的Whittaker関数 $W_\pi^{\text{ess}}$ を構成する。
• Iwasawa分解を用いて、Rankin-Selberg積分 $I(W_\pi^{\text{ess}}, W_{\pi^\prime}^0, s)$ を $A_r$ 上の積分に表現し、既知の $L$-関数の恒等式と比較可能にする。
• 測度の不変性の正規化を $N_m \backslash G_m$ 上に適用し、$L(\pi, \pi^\prime, s)$ の積分表現における一貫性を保証する。
• 関数方程式 $L(\pi, \pi^\prime, s)$ を適用し、$W_\pi^{\text{ess}}$ が固定空間 $W(\pi, \theta)^{K_n(d)}$ を生成し、$k < d$ に対して $K_n(k)$ 上で消えることを確認する。

実験結果

リサーチクエスチョン

• RQ1 一般表現 $GL(n,F)$ の本質的Whittaker関数を、表現論的技法を用いて明示的にどのように構成できるか？
• RQ2 本質的Whittaker関数と、表現の最初の非ゼロの球的ベルンシュタイン＝ツェレヴィンスキー微分の非分岐成分との間の明確な関係は何か？
• RQ3 非分岐表現 $\pi^\prime$ がラングランズ型である場合、本質的Whittaker関数がRankin-Selberg積分を介して $L$-関数 $L(\pi, \pi^\prime, s)$ をどのように実現するか？
• RQ4 Whittakerモデルにおける $K_n(d)$-不変ベクトルの空間が一様次元であり、本質的ベクトルによって張られるための条件は何か？
• RQ5 本質的Whittaker関数は、特に $\frak{O}$ および $\frak{O}^*$ 上の特性関数を用いた対角行列における挙動によって特徴づけられるか？

主な発見

• 本質的Whittaker関数 $W_\pi^{\text{ess}}$ は、Whittakerモデル $W(\pi, \theta)$ 内で唯一の $G_{n-1}(\frak{O})$-不変関数であり、$G_{n-1}$ のすべての非分岐表現 $\pi^\prime$ に対して $I(W_\pi^{\text{ess}}, W_{\pi^\prime}^0, s) = L(\pi, \pi^\prime, s)$ を満たす。
• $r \geq 1$ のとき、本質的Whittaker関数は $$ W_\pi^{\text{ess}}(\text{diag}(a,1)) = W_{\pi_u}^0(a^\prime) \nu(a^\prime)^{(n-r)/2} \mathbf{1}_{\frak{O}}(a_r) \prod_{r<i<n} \mathbf{1}_{\frak{O}^*}(a_i) $$ を満たす。ここで $a^\prime = \text{diag}(a_1, \dots, a_r)$ である。
• $r = 0$ のとき、本質的Whittaker関数は $$ W_\pi^{\text{ess}}(\text{diag}(a,1)) = \prod_{i=1}^{n-1} \mathbf{1}_{\frak{O}^*}(a_i) $$ を満たし、これは非分岐の場合に対応する。
• この構成により、$W(\pi, \theta)^{K_n(d)}$ が一様次元であり、$W_\pi^{\text{ess}}$ によって張られ、$k < d$ に対して $W(\pi, \theta)^{K_n(k)} = 0$ となることが保証される。ここで $d$ は $\pi$ の導手である。
• 適切な測度の正規化のもとで、すべての $1 \leq m \leq n-1$ に対して、Rankin-Selberg積分 $I(W_\pi^{\text{ess}}, W_{\pi^\prime}^0, s)$ が $L(\pi, \pi^\prime, s)$ に等しいことが証明される。
• この結果により、本質的ベクトルが $G_{n-1}(\frak{O})$-不変性および対角行列上での特定の挙動によって特徴づけられ、非分岐微分 $\pi_u$ のSatakeパラメータと結びついていることが確認される。