[论文解读] Hermitian forms for affine Hecke algebras

Dan Barbasch, Dan Ciubotaru|arXiv (Cornell University)|Dec 11, 2013

Advanced Algebra and Geometry参考文献 20被引用 7

一句话总结

本文通过研究 $\bullet$-不变的埃尔米特形式，发展了一套仿射赫克代数的单位性算法，证明了每个具有实中心特征的不可约模都存在非退化的 $\bullet$-不变埃尔米特形式，并引入了埃尔米特形式的卡兹丹-卢兹蒂格多项式，其与经典KL多项式的关系为 $P^h_{\bullet} = P(-q)$。该工作通过赫克代数的类比，将亚当斯-利文-特拉帕-沃根的 $(\frak{g},K)$-模框架扩展至 $p$-进情形。

ABSTRACT

We study star operations for Iwahori-Hecke algebras and invariant hermitian forms for finite dimensional modules over (graded) affine Hecke algebras with a view towards a unitarity algorithm.

研究动机与目标

• 为仿射赫克代数开发一个类似于实半单群情形下 $(\frak{g},K)$-模的单位性算法。
• 对有限维模上的 $\bullet$-不变埃尔米特形式进行分类，并确定其符号，尤其关注最低 $W$-型与 ${\bb A}$-权的关系。
• 通过贾恩岑滤过定义并研究埃尔米特形式的卡兹丹-卢兹蒂格多项式，其动机源于亚当斯-利文-特拉帕-沃根的算法。
• 在 $G_2$ 的次正则轨道情形下，验证埃尔米特KL多项式与经典KL多项式之间的猜想关系。

提出的方法

• 使用星运算 $\bullet$，即保持阿贝尔子代数 ${\bb A} = S(V_{\bb C})$ 不变的反自同态，来定义有限维 ${\bb H}$-模上的 $\bullet$-不变埃尔米特形式。
• 应用兰兰茨分类与简单模和标准模的几何分类，分析最低 $W$-型的同调分量上 $\bullet$-形式的符号。
• 通过标准模的贾恩岑滤过定义埃尔米特形式的卡兹丹-卢兹蒂格多项式 $P^h_{\bullet}$，利用归一化的长交错算子计算符号。
• 借助 $A$-特征线性无关性结果（定理 4.4.2）与主导 ${\bb A}$-参数的显式公式（推论 3.9.3）来支持该猜想。
• 在 $B_2$ 与 $G_2$ 中对正则与次正则中心特征进行显式计算，分析贾恩岑滤过与交错算子在 $W$-型上的特征值。
• 通过计算所有 $P^h$ 多项式并验证其与 $P(-q)$ 的匹配，证实了 $G_2$ 中次正则情形下的猜想 $P^h_{\bullet} = P(-q)$。

实验结果

研究问题

• RQ1 每个具有实中心特征的不可约仿射赫克代数模是否都存在非退化的 $\bullet$-不变埃尔米特形式？
• RQ2 在几何型代数中，$\bullet$-不变埃尔米特形式是否可在每个最低 $W$-型的同调分量上唯一归一化为正定形式？
• RQ3 埃尔米特形式的卡兹丹-卢兹蒂格多项式 $P^h_{\bullet}$ 与经典卡兹丹-卢兹蒂格多项式 $P$ 之间有何关系？
• RQ4 在存在多个 $W$-型的情况下，$\bullet$-不变形式的符号在贾恩岑滤过下的行为如何？
• RQ5 猜想 $P^h_{\bullet} = P(-q)$ 是否对所有仿射赫克代数成立，特别是在 $G_2$ 的次正则轨道情形下？

主要发现

• 每个具有实中心特征的不可约 ${\bb H}$-模都存在非退化的 $\bullet$-不变埃尔米特形式，如推论 5.1.3 所示。
• 在几何型代数中，$\bullet$-不变埃尔米特形式可被唯一归一化为每个最低 $W$-型同调分量上的正定形式，如推论 5.3.3 所述。
• 在正则中心特征情形下，埃尔米特KL多项式满足 $P^h_{(A_1^s), (G_2(a_1),{\frak L}_{\triv})}(q) = P^h_{(A_1^s), (G_2(a_1),{\frak L}_{\refl})}(q) = 1$，与 $P(-q)$ 匹配。
• 在 $G_2$ 的次正则轨道中，埃尔米特KL多项式为 $P^h_{(0),(A_1^l)} = 1$，$P^h_{(0),(A_1^s)} = 1 - q$，$P^h_{(0),(G_2(a_1),{\frak L}_{\triv})} = 1$，$P^h_{(0),(G_2(a_1),{\frak L}_{\refl})} = -q$，与 $P(-q)$ 匹配，从而验证了猜想 6.3.2。
• $G_2$ 的最小主系列中的 $W$-型 $2_2$ 在贾恩岑滤过的第 1 层与第 3 层之间分裂，其中一层包含一个 $L(A_1^s)$ 的副本，另一层也包含一个，该结果由交错算子的特征值确定。