[論文レビュー] Euphotic representations and rigid automorphic data

Konstantin Jakob, Zhiwei Yun|arXiv (Cornell University)|Aug 10, 2020

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

ひとこと要約

本稿は、函数体上の再帰的群に対して、パラホリック部分群、単純な汎関数、および特徴の三つ組を用いて、エピペラジック表現の一般化であるユーフォチック表現を導入する。この手法により、ヘッセンバーグ多様体の幾何を用いて、剛性を持つ $G$-自己形式的表現およびそれに対応する剛性を持つ $˂{G}$-局所系を構成し、従来の手法を超えて幾何的ラングランズプログラムを拡張する。

ABSTRACT

We propose a new method to construct rigid $G$-automorphic representations and rigid $\widehat{G}$-local systems for reductive groups $G$. The construction involves the notion of euphotic representations, and the proof for rigidity involves the geometry of certain Hessenberg varieties.

研究の動機と目的

• エピペラジック表現を、ユーフォチックデータを用いてより広いクラスの超臨界表現へ一般化すること。
• 再帰的群 $G$ に対して、剛性を持つ $G$-自己形式的表現および剛性を持つ $˂{G}$-局所系を構成するための新しい手法を開発すること。
• ヘッセンバーグ多様体を用いることで、構成された局所系の剛性を証明し、幾何的ラングランズプログラムを拡張すること。
• 従来のアルゴリズムが失敗する例外的群 $G_2$ などに対しても適用可能な体系的な構成法を提供すること。
• 自己形式的データとヘッケ固有層を用いて、剛性局所系の幾何的および算術的アプローチを統合すること。

提案手法

• 三つ組 $(\mathbf{P}_\infty, \psi, \chi)$ を用いてユーフォチック表現を定義する。ここで $\mathbf{P}_\infty$ はパラホリック部分群、$\psi$ は順次的リー代数上の単純な汎関数、$\chi$ は安定化子のトーラス上の特徴である。
• モイ・プラサドのフィルトレーションを用いて、関連する順次的空間 $V_{\mathbf{P}} = \mathbf{P}^+_{\infty}/\mathbf{P}^{++}_{\infty}$ を定義し、$\psi$ がその上に作用することを示す。
• 表現 $\pi$ を、$B_\psi(k)\mathbf{P}^+_{\infty}$ で固定されるベクトルを含み、指定された固有特徴 $\chi$ を持ち、$\psi_k \circ \psi$ に関して不変であるような $G(F_\infty)$ の既約表現として構成する。
• 幾何的ラングランズ対応を用いて、自己形式的表現を $G$-バンドルのモジュライスタック上のヘッケ固有層に翻訳する。
• ヘッセンバーグ多様体の幾何を用いて、安定化子を解析し、得られた局所系の剛性を証明する。
• 因子的モジュールカテゴリおよび層の圏上の $E_2$-作用を用いて、構成の整合性とファンクター性を確立する。

実験結果

リサーチクエスチョン

• RQ1 エピペラジック表現より広いクラスの超臨界表現を用いて、剛性を持つ自己形式的関数を構成することは可能か？
• RQ2 ヘッセンバーグ多様体の幾何は、自己形式的データから生じる $\u02C2{G}$-局所系の剛性をどのように制御するか？
• RQ3 三つ組 $(\mathbf{P}_\infty, \psi, \chi)$ にどのような条件を課えると、関連する自己形式的表現が剛性を持つようになるか？
• RQ4 この手法により、$G_2$ のような例外的群に対して、新しい剛性局所系の例を生成できるか？
• RQ5 層の圏上の $E_2$-作用は、ヘッケ固有層の性質およびラングランズ対応とどのように関係するか？

主な発見

• 本稿は、$\mathbb{P}^1$ 上で 0 において深さ 0、$\infty$ において深さ $1/m$ の剛性を持つ $G$-自己形式的表現を構成する。
• 関連する $\u02C2{G}$-局所系は 0 においてはたらく的分岐を示し、$\infty$ においてはきわめて分岐を示し、ヘッセンバーグ多様体の幾何を用いて剛性が証明されている。
• 安定化子の条件を緩和することで、エピペラジック表現の一般化が達成され、単純ではあるが必ずしも安定でない汎関数を許容する。
• $G_2$ に対しては、明示的な剛性局所系の例が得られ、[DR10] や [Yun16] の結果を拡張する。
• 剛性の証明は、ヘッセンバーグ多様体における安定化子の解析に依拠し、$\mathcal{O}_{\widetilde{\mathcal{Z}}}$ が層上に作用するが、$\mathcal{O}_{\mathcal{Z}}$ を通して作用することを示し、特定の写像の自明性を示す。
• $E_2$-作用がラングランランズ双対の表現カテゴリからインフレートされ、幾何的ラングランズ対応との整合性が確認された。