[論文レビュー] Comparison of Bushnell-Kutzko and Yu's constructions of supercuspidal representations

Arnaud Mayeux|arXiv (Cornell University)|Jan 17, 2020

Advanced Algebra and Geometry参考文献 28被引用数 6

ひとこと要約

この論文は、$GL_N(F)$ の分岐設定におけるBushnell-KutzkoとYuの超臨界表現の構成法の間で正確な対応関係を確立し、両者の構成が互いに体系的に相互に変換可能であることを示している。主な結果は、分岐条件下で両者の方法が生成する拡張型および単純文字が同値であることであり、それぞれのデータセットの明示的な全単射が与えられている。

ABSTRACT

We compare precisely and explicitly Bushnell-Kutzko and Yu's constructions of supercuspidal representations. At the end, we draw conclusions and ask a natural question about the existence of a general construction.

研究の動機と目的

• 超臨界表現の2つの主要な構成法——Bushnell-Kutzkoの型理論的アプローチとYuのねじれリーマン群列法——を統合すること。
• 分岐設定において、両者の構成から得られる拡張型および単純文字が同値であることを示すこと。
• Bushnell-Kutzkoの定義列のデータとYuのねじれリーマン群列のデータの間の段階的翻訳を提供すること。
• 本質的に分岐な表現の文脈において、2つの構成法の関係を明確にすること。
• 他の再帰的群や関連する構成法への一般化の基盤を築くこと。

提案手法

• Bushnell-Kutzkoの構成の各ステップ（単純ストラトゥム、定義列、単純文字、$\beta$-拡張）に対し、対応するYuデータの成分を割り当てる。
• $GL_N(F)$ 内の最大単純ストラトゥムの定義列から、分岐ねじれリーマン群列を構成する。ここで使用する体の塔は $F \to E_0 \to \cdots \to E_s$ である。
• 分岐単純文字を明示的に、各レベルにおける一般化文字 $\boldsymbol{\nu}_i$ に分解する。
• 臨界指数 $k_0(\beta, \frak{A})$ とストラトゥムの同値性を用いて、各レベル間の整合性を保証する。
• Bushnell-Kutzkoの最大拡張型 $(E^\times J^0, \theta \rtimes \rho)$ とYuの拡張型 $(K^d, \rho_d)$ の間の全単射を確立する。
• 両者の構成からコンパクトに誘導された表現が同じ超臨界表現を生成することを証明する。

実験結果

リサーチクエスチョン

• RQ1 分岐状況において、Bushnell-Kutzkoの定義列をどのようにしてYuのねじれリーマン群列に体系的に写像できるか。
• RQ2 2つの構成法における単純文字と一般化文字の正確な対応関係は何か。
• RQ3 拡張型 $(E^\times J^0, \theta \rtimes \rho)$ と $(K^d, \rho_d)$ が一致する条件は何か。
• RQ4 抽象的同型ではなく、明示的なデータ翻訳によって表現の同値性を確立できるか。
• RQ5 この比較は、非分岐状況や他の再帰的群へどの程度一般化可能か。

主な発見

• 分岐Bushnell-Kutzkoの拡張型の集合とYuの拡張型の集合の間には自然な全単射が存在する。すなわち、$\text{TameType}_{\text{BK}} = \text{GType}_{\text{YU}}$ である。
• 分岐Bushnell-Kutzkoの最大単純文字の集合は、Yuが構成する文字の集合と全単射で結ばれている。すなわち、$\text{TameCar}_{\text{BK}} = \text{GCar}_{\text{YU}}$ である。
• Bushnell-Kutzkoの構成における任意の定義列に対して、それに対応するYuデータを明示的に構成でき、その結果得られる超臨界表現は同型である。
• 分岐単純文字の一般化文字 $\boldsymbol{\Phi}_i$ への分解に対し、対応関係が保たれ、ケースAおよびケースBで明示的な公式が与えられている。
• この構成は可逆である。Yuデータから出発すれば、Bushnell-Kutzkoの定義列および関連データを再構成できる。
• 比較により、Bushnell-Kutzkoの定義列における体の包含関係の減少が、Yuのねじれリーマン群列の包含鎖と一致しており、より深い構造的双対性が明らかになった。