[论文解读] Calibrated representations of affine Hecke algebras

Arun Ram|ArXiv.org|Jan 23, 2004

Advanced Algebra and Geometry参考文献 17被引用 9

一句话总结

本文引入了仿射赫盖代数的校准表示——具有极大交换子代数的公共特征向量基的有限维不可约模。通过带位置的斜形状对这些表示进行分类，表明其维数等于此类形状上的标准杨表数目，并给出了生成元在基向量上作用的显式公式，将杨的半标准构造推广至任意李型。

ABSTRACT

This paper introduces the notion of calibrated representations for affine Hecke algebras and classifies and constructs all finite dimensional irreducible calibrated representations. The main results are that (1) irreducible calibrated representations are indexed by placed skew shapes, (2) the dimension of an irreducible calibrated representation is the number of standard Young tableaux corresponding to the placed skew shape and (3) each irreducible calibrated representation is constructed explicitly by formulas which describe the action of each generator of the affine Hecke algebra on a specific basis in the representation space. This construction is a generalization of A. Young's seminormal construction of the irreducible representations of the symmetric group. In this sense Young's construction has been generalized to arbitrary Lie type.

研究动机与目标

• 定义并分类仿射赫盖代数的有限维不可约校准表示。
• 将对称群表示的杨半标准构造推广至任意李型。
• 建立一个组合框架——带位置的斜形状——以索引这些表示。
• 提供生成元在基向量上作用的显式公式，以广义标准杨表为指标。
• 证明每个不可约校准表示的维数等于其对应带位置斜形状上的标准杨表数目。

提出的方法

• 引入校准模的概念，即那些在仿射赫盖代数的极大交换子代数下具有同时特征向量基的模。
• 将带位置的斜形状定义为经典斜形状的推广，用作不可约校准表示的索引集。
• 通过 τ-算子和校准图 Γ(t) 构造表示，推广了松本的互换算子和罗迪埃的图。
• 利用生成元 $T_i$ 和 $X^{α}$ 在以广义标准杨表标记的基向量上的作用，显式定义表示。
• 应用仿射赫盖代数和 Weyl 群作用的理论，证明不可约校准模与校准图的连通分支一一对应。
• 使用最小关系和 braid 关系证明：当两个权空间均非零时，τ_i 算子在它们之间是双射，从而保证不可约性与唯一性。

实验结果

研究问题

• RQ1 如何将对称群不可约表示的半标准构造推广至任意李型？
• RQ2 哪些组合对象索引了仿射赫盖代数的有限维不可约校准表示？
• RQ3 不可约校准表示的维数是多少，它与标准杨表有何关系？
• RQ4 如何在校准模的基上显式描述仿射赫盖代数生成元的作用？
• RQ5 在何种条件下权重 $t$ 是可校准的，这与校准图的结构有何关联？

主要发现

• 仿射赫盖代数的不可约校准表示由带位置的斜形状索引，这些形状是 A 型中经典斜形状的推广。
• 每个不可约校准表示的维数等于其对应带位置斜形状上的标准杨表数目。
• 每个不可约校准表示通过显式公式构造，描述了每个生成元在以广义标准杨表为指标的基上的作用。
• 当两个权空间 $M_t$ 和 $M_{s_it}$ 均非零时，$τ_i$-算子在它们之间作为双射作用，确保模结构良好。
• 分类结果表明，只有可校准权重 $t$——即满足 $t(X^{α_i}) \neq q^{\pm 2}$ 的权重——才能出现在不可约校准模中。
• 不可约校准模 $M$ 同构于定理 3.1 中定义的模 $τ^{(t,J)}$，其中 $(t,J)$ 是与 $M$ 的支撑相对应的带位置斜形状。