[論文レビュー] On the Local Converse Theorem for p-adic GLn

Hervé Jacquet, Baiying Liu|arXiv (Cornell University)|Jan 14, 2016

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

ひとこと要約

この論文は、非アーチメデス的局所体 $F$ 上の $\mathrm{GL}_n(F)$ の一般表現について、局所的逆定理を証明する。すなわち、すべての $\mathrm{GL}_r(F)$ の非可約一般的表現 $\tau$（$1 \leq r \leq \lfloor n/2 \rfloor$）に対して、局所ガンマ因子の等式 $\gamma(s, \pi_1 \times \tau, \psi) = \u005Cgamma(s, \pi_2 \times \tau, \psi)$ が成り立つならば、$\pi_1 \cong \u005Cpi_2$ であることを示す。証明は、特殊なウィッターク関数のペアに依存せず、フーリエ逆変換と積分恒等式に基づく解析的手法を用いる。これは、自動形式理論およびラングランズ関手性の分野における長年の予想を裏付けるものである。

ABSTRACT

In this paper, we completely prove a standard conjecture on the local converse theorem for generic representations of GLn(F), where F is a non-archimedean local field.

研究の動機と目的

• 自動形式論における標準的予想、すなわち、$\mathrm{GL}_n(F)$ の非可約一般的表現がその局所ガンマ因子によって一意に決定されることを解明すること。
• すべての $\mathrm{GL}_r(F)$ の表現 $\tau$（$1 \leq r \leq \lfloor n/2 \rfloor$）に対して、$\gamma(s, \pi \times \tau, \psi)$ の族が $\pi$ を一意に決定することを確立すること。
• 従来の研究で用いられた特殊なウィッターク関数のペアに依存しない、新しい解析的証明を提示すること。
• $r = \lfloor n/2 \rfloor$ が一般的双対のための局所的逆定理において鋭い境界であることを確認すること。これは、先行研究の構成と反例によって裏付けられている。

提案手法

• 一般的表現のウィッタークモデルに関連するユニポテンツ部分群におけるフーリエ逆変換を用いる。
• すべての $\mathrm{GL}_r(F)$ の表現 $\tau$（$r \leq \lfloor n/2 \rfloor$）に対してガンマ因子が一致すると仮定したもとで、二つの一般的表現 $\pi_1$ と $\pi_2$ のウィッターク関数を含む積分恒等式を用いる。
• ユニポテンツ群のサイズについての下降的帰納法を適用し、徐々に小さい部分群への積分の等しさに還元する。
• 変数 $X$ と $\widetilde{X}$ 間の変換により、ヤコビアン行列式が $|\widetilde{p}(\widetilde{X})p(X)| = 1$ を満たし、変数変換下でも測度が保存されることを示す。
• 鍵となるステップは、群 $X_k$ におけるフーリエ逆変換公式を適用し、より小さい部分群への積分を等しくする。最終的に、自明な部分群への積分の等しさに帰着する。
• 上三角ユニポテンツ行列の構造と、共役作用および乗法の下での加法的特徴の振る舞いに依存する。

実験結果

リサーチクエスチョン

• RQ1 すべての $\mathrm{GL}_r(F)$ の表現 $\tau$（$1 \leq r \leq \lfloor n/2 \rfloor$）に対して、局所ガンマ因子 $\gamma(s, \pi_1 \times \tau, \psi) = \gamma(s, \pi_2 \times \tau, \psi)$ が成り立つならば、$\mathrm{GL}_n(F)$ の非可約一般的表現 $\pi_1, \pi_2$ に対して $\pi_1 \cong \pi_2$ が成り立つか？
• RQ2 局所的逆定理において、$r = \lfloor n/2 \rfloor$ が鋭い境界か、それより小さい $r$ で十分か？
• RQ3 従来の研究で用いられた特殊なウィッターク関数のペアに依存せずに、局所的逆定理を証明できるか？
• RQ4 既知の関連性に基づいて、局所的結果からグローバル版の局所的逆定理が導かれるか？
• RQ5 特に $n$ が素数の場合に、$\lfloor n/2 \rfloor$ の鋭さが超臨界的の場合に保たれるか？

主な発見

• 本論文は、予想 1.1 を完全に証明する。すなわち、$\mathrm{GL}_n(F)$ の非可約一般的表現 $\pi_1, \pi_2$ が同じ中心的特徴をもち、すべての $\mathrm{GL}_r(F)$ の表現 $\tau$（$1 \leq r \leq \lfloor n/2 \rfloor$）に対して $\gamma(s, \pi_i \times \tau, \psi)$ が一致するならば、$\pi_1 \cong \pi_2$ である。
• 証明により、$r = \lfloor n/2 \rfloor$ が $\mathrm{GL}_n(F)$ の一般的双対において鋭い境界であることが示され、先行研究の明示的反例によって裏付けられている。
• 特殊なウィッターク関数のペアを用いず、フーリエ逆変換と変数変換における測度保存に基づく新しい解析的アプローチを提供する。
• 連続的なフーリエ逆変換の適用により、ユニポテンツ部分群上の積分の等しさが、表現の同型を示唆することを示した。
• 局所ラングランズ対応が、$r = \lfloor n/2 \rfloor$ までの一意に決定可能であり、必要な因子の数を削減できることを確認した。
• 本研究は、グローバル逆定理に対する強い証拠を提供する。局所的結果が、既知の関手性の制約のもとでグローバル版を含意するからである。