[论文解读] Algebraic and geometric methods in representation theory

G. Lusztig|arXiv (Cornell University)|Sep 29, 2014

Mathematics and Applications被引用 6

一句话总结

本文探讨了在表示论中代数与几何方法的应用，聚焦于有限李型群的离散系列表示的显式构造，特别是 GL_n(F_q)。通过 Brauer 提升与 Hecke 代数，Lusztig 将 Green 基于特征标的成果推广至表示本身（而不仅是其特征标），揭示了离散系列表示的维数为 (q−1)(q²−1)⋯(qⁿ⁻¹−1)。

ABSTRACT

This is an expanded version of my Shaw Prize Lecture delivered at the Chinese University of Hong Kong.

研究动机与目标

• 将 Green 对 GL_n(F_q) 表示的基于特征标的描述扩展为对表示本身的显式构造，而不仅仅是其特征标。
• 利用代数与几何工具，理解离散系列表示（即不来自诱导表示的表示）的结构。
• 发展一种通过 Brauer 提升将群同态 φ: Γ → GL_N(K) 提升为表示的方法，特别适用于李型有限群。
• 阐明参数为 0 的 Hecke 代数在模表示论中的作用，及其在构造不可约表示中的相关性。
• 弥合特征数据与实际表示实现之间的鸿沟，特别是在诱导表示无法捕捉所有不可约表示的情形下，如在具有多个椭圆环面的辛群中。

提出的方法

• 利用 Brauer 提升（4a）将群同态 φ: Γ → GL_N(K) 关联至一个复特征标，定义为 u(λ_i) 的和，其中 λ_i 是 φ(g) 的特征值，而 u 将 K* 嵌入 ℂ 中的单位根。
• 将 GL_n(F_q) 的自然 n 维表示应用 Brauer 提升构造，通过 p 进嵌入从特征 p 提升至特征 0。
• 构造一个在 F_p^n 中完整旗上的函数的向量空间 X_V，配备边界算子条件，确保在中间子空间上的和为零。
• 实施一个基于旗的复形，其微分由对中间子空间的交错和定义，形成一个链复形，其上同调实现表示。
• 利用参数为 0 的 Hecke 代数来建模模表示，并通过几何实现将其与离散系列的结构联系起来。
• 利用 Weyl 群与极大环面分析共轭类与椭圆元素，特别关注 Sp_4(F_q) 中存在多个椭圆环面子共轭类的情形。

实验结果

研究问题

• RQ1 如何显式构造 GL_n(F_q) 的离散系列表示（即不来自真子群诱导的表示）？
• RQ2 Brauer 提升将群表示提升为复特征标时，其背后的几何与代数结构是什么？
• RQ3 为何 Sp_4(F_q) 中多个椭圆极大环面子共轭类会导致出乎意料的不可约离散系列表示？
• RQ4 参数为 0 的 Hecke 代数如何促进不可约模表示的构造？
• RQ5 GL_n(F_q) 的离散系列表示的精确维数是多少，其如何从 Brauer 提升过程中推导得出？

主要发现

• GL_n(F_q) 的离散系列表示的维数为 (q−1)(q²−1)⋯(qⁿ⁻¹−1)，这是由旗复形与 Brauer 提升结构导出的关键数量不变量。
• GL_n(F_q) 的自然 n 维表示的 Brauer 提升产生一个复特征标，该特征标是不可约特征标的 ℤ-线性组合，此结论由 Frobenius 与 Brauer 建立。
• 通过在中间子空间上满足和为零条件的旗函数构造表示空间，形成一个链复形，其上同调实现离散系列表示。
• 在 q 为奇数的 Sp_4(F_q) 中，存在两个共轭类的椭圆极大环面，导致一个未被标准诱导方法涵盖的意外不可约离散系列表示。
• 使用参数为 0 的 Hecke 代数为模表示理论与不可约表示的几何构造之间架起桥梁，尤其在有限李型群的背景下。
• 该方法成功地不仅提升了特征标，还提升了实际表示，解决了特征理论与表示构造之间长期存在的鸿沟，正如 Atiyah 所指出的，此前仅知特征标。