[论文解读] 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.

研究动机与目标

• 调和两种主要的超卡普斯迪安表示构造：Bushnell-Kutzko 的型理论方法与 Yu 的扭曲 Levi 序列方法。
• 证明在奇数情形下，两种构造所产生的扩展型与简单特征是等价的。
• 提供 Bushnell-Kutzko 定义序列与 Yu 的扭曲 Levi 序列之间数据的逐步转换方法。
• 阐明两种构造在基本奇数表示背景下的关系。
• 为将比较推广至其他半单群及相关构造奠定基础。

提出的方法

• 为 Bushnell-Kutzko 构造中的每一步（简单层、定义序列、简单特征、$\beta$-扩展）关联 Yu 数据的一个对应分量。
• 从 $GL_N(F)$ 中一个最大简单层的定义序列出发，利用域塔 $F \to E_0 \to \cdots \to E_s$ 构造一个奇数扭曲 Levi 序列。
• 显式地将奇数简单特征分解为一般特征 $\boldsymbol{\nu}_i$，使其与 Yu 在每一级的特征数据相匹配。
• 利用关键指数 $k_0(\beta, \frak{A})$ 与层等价性，确保各级之间的兼容性。
• 在 Bushnell-Kutzko 的最大扩展型 $(E^\times J^0, \theta \rtimes \rho)$ 与 Yu 的扩展型 $(K^d, \rho_d)$ 之间建立双射。
• 证明两种构造中由紧支集诱导得到的表示是同一超卡普斯迪安表示。

实验结果

研究问题

• RQ1 在奇数情形下，如何系统地将 Bushnell-Kutzko 的定义序列映射到 Yu 的扭曲 Levi 序列？
• RQ2 两种构造中简单特征与一般特征之间的精确对应关系是什么？
• RQ3 在何种条件下，扩展型 $(E^\times J^0, \theta \rtimes \rho)$ 与 $(K^d, \rho_d)$ 会重合？
• RQ4 是否可以通过显式数据转换而非抽象同构来建立表示的等价性？
• RQ5 该比较在多大程度上可推广至非奇数情形或其他半单群？

主要发现

• 在 $GL_N(F)$ 中，存在一个自然双射，将奇数 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 的扭曲 Levi 序列中的包含链相对应，反映出更深层次的结构对偶性。