[論文レビュー] Local Whittaker-Newforms for GSp(4) matching to Langlands parameters

Takeo Okazaki|arXiv (Cornell University)|Feb 20, 2019

Advanced Algebra and Geometry参考文献 15被引用数 11

ひとこと要約

本稿は、一般型で、非可約かつ連続な表現のラングランズパラメータと整合する、正規化されたホイットAKER新形式を構成することによって、$GSp(4)$ における局所的新形式理論を拡張する。新形式の最小レベルが解析的導子 $n_{\tilde{\pi}}$ に等しいことを証明し、対応するホイットAKER関数が、ゼータ積分を通じて標準 $L$-関数および $\varepsilon$-因子を実現することを示し、表現論的不変量と $L$-パラメータの間の明確な関係を確立する。

ABSTRACT

We extend the local newform theory of B. Roberts and R. Schmidt for generic, irreducible, admissible representations of PGSp(4) to that for GSp(4). The newform matches to the Langlands parameter.

研究の動機と目的

• PGSp(4) における局所的新形式理論を $GSp(4)$ に拡張し、ラングランズパラメータと整合性を保つこと。
• ラングランズパラメータ $\phi_{\pi}$ に関連する解析的導子 $n_{\pi}$ を用いて、ホイットAKER新形式の最小レベルを同定すること。
• ホイットAKERモデル内の正規化されたホイットAKERベクトルを構成し、ゼータ積分を通じて標準 $L$-関数および $\varepsilon$-因子を実現すること。
• 標準的表現に対して、一般型性が準パラモジュラー性と同値であることを確立し、$PGSp(4)$ の場合の結果を一般化すること。

提案手法

• 開コンパクト部分群 $GSp(4,F)$ における、パラモジュラー群を精緻化する、準パラモジュラー部分群 $\mathbf{K}(m;\mathfrak{e})$ および $\mathbf{K}_1(m;\mathfrak{e})$ を定義する。
• 部分群 $\mathbf{K}_1(m;\mathfrak{e})$ に固定されるホイットAKER関数の空間 $V(m)$ を定義し、これはレベル $m$ の準パラモジュラー形式と呼ばれる。最小レベル $m_{\pi}$ を、$V(m) \neq \{0\}$ となる最小の $m$ として定義する。
• $P_3$-表現論および修正された関数等式（定理 4.3）を用いて、ゼータ積分と $L$-関数および $\varepsilon$-因子との関係を確立する。
• ゼータ積分の恒等式 (1.2) および (1.3) を満たす $V(m_{\pi})$ 内の非ゼロ関数 $W$ が、$V(m_{\pi})$ を生成することを証明し、$m_{\pi} = n_{\pi}$ を示す。
• 超臨界的およびクリンゲン誘導表現に対するヘッケ作用を分析することで、正規化された新形式の存在を確立する。
• シータ双対性および関数等式を用いて、$L(s,\pi)$ と $L(s,\phi_{\pi})$、また $\varepsilon(s,\pi,\psi)$ と $\varepsilon(s,\phi_{\pi},\psi)$ を比較し、それらが等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般型で、非可約かつ連続な表現 $\pi$ の $GSp(4,F)$ におけるホイットAKER新形式の最小レベルは何か？ また、そのラングランズパラメータ $\phi_{\pi}$ の解析的導子 $n_{\pi}$ とどのように関係するか？
• RQ2 ホイットAKERモデル内の正規化されたホイットAKERベクトルが、ゼータ積分を通じて標準 $L$-関数および $\varepsilon$-因子を実現できるか？ もしそうなら、どのような条件下で成立するか？
• RQ3 新形式の最小レベルが解析的導子 $n_{\pi}$ に等しいか？ また、空間 $V(m_{\pi})$ は1次元か？
• RQ4 $GSp(4,F)$ の標準的表現 $\pi$ に対して、一般型性が準パラモジュラー性と同値であるか？ 逆に、準パラモジュラー性が一般型性を意味するか？
• RQ5 $\pi$ の $L$-関数および $\varepsilon$-因子が、そのラングランズパラメータ $\phi_{\pi}$ のそれらと等しいか？ これはどのようにゼータ積分および関数等式を用いて検証されるか？

主な発見

• ホイットAKER新形式の最小レベル $m_{\pi}$ は、そのラングランズパラメータ $\phi_{\pi}$ の解析的導子 $n_{\pi}$ に等しく、すなわち $m_{\pi} = n_{\pi}$ が成り立つ。
• レベル $m_{\pi}$ の準パラモジュラー形式の空間 $V(m_{\pi})$ は1次元であり、ゼータ積分の恒等式を満たすホイットAKER関数 $W$ が、スカラー倍を除き一意に存在する。
• 正規化された新形式 $W \in V(m_{\pi})$ に対して、ゼータ積分 $\int_{F^\times} W(\text{diag}(t,t,1,1)) |t|^{s-3/2} d^\times t = L(s,\phi_{\pi})$ が成り立ち、標準 $L$-関数と一致する。
• 捩れたゼータ積分 $\int_{F^\times} W(\text{diag}(t,1,1,-t) \cdot \text{shift}) \omega_{\pi}(t)^{-1} |t|^{s-3/2} d^\times t = q^{\mathfrak{e}} \varepsilon_{\pi} L(s,\phi_{\pi}^\vee)$ は、$\varepsilon$-因子およびその双対を実現する。
• $\pi$ の $L$-関数 $L(s,\pi)$ は $L(s,\phi_{\pi})$ と一致し、$\varepsilon$-因子 $\varepsilon(s,\pi,\psi)$ は $\varepsilon(s,\phi_{\pi},\psi)$ と一致する。これはシータ双対性および関数等式を用いて検証された。
• 標準的表現に対しては、一般型性と準パラモジュラー性が同値であり、$PGSp(4)$ の場合の結果が $GSp(4)$ に一般化された。