[论文解读] Cylindrical Combinatorics and Representations of Cherednik Algebras of type A

Takeshi Suzuki|ArXiv.org|Sep 30, 2006

Advanced Algebra and Geometry参考文献 13被引用 8

一句话总结

本文提出了一种组合框架，利用周期性（圆柱形）斜图研究 A 型有理与三角函数 Cherednik 代数的表示理论。该框架引入了这些图上的标准表与平面分拆，计算了包含 Kostka 多项式的生成函数，并通过组合构造将不可约表示实现为“表表示”，从而借助退化仿射 Hecke 代数及其中心，得到新的特征公式与谱分解。

ABSTRACT

We investigate the representation theory of the rational and trigonometric Cherednik algebra of type $GL_n$ by means of combinatorics on periodic (or cylindrical) skew diagrams. We introduce and study standard tableaux and plane partitions on periodic diagrams, and in particular, compute some generating functions concerning plane partitions, where Kostka polynomials and their level restricted generalization appear. On representation side, we study representations of Cherednik algebras which admit weight decomposition with respect to a certain commutative subalgebra. All the irreducible representations of this class are constructed combinatorially through standard tableaux on periodic diagrams, and this realization as "tableaux representations" provides a new combinatorial approach to the investigation of these representations. As consequences, we describe the decomposition of a tableaux representation as a representation of the degenerate affine Hecke algebra, which is a subalgebra of the Cherednik algebra, and also describe the spectral decomposition of the spherical subspace (the invariant subspace under the action of the Weyl group) of a tableaux representation with respect to the center of the degenerate affine Hecke algebra, In particular, the computation of the character of the spherical subspace is reduced to the computation of the generating function for the set of column strict plane partitions, and we obtain an expression of the characters in terms of Kostka polynomials as announced in math.QA/0508274.

研究动机与目标

• 通过周期性斜图建立 A 型有理与三角函数 Cherednik 代数表示理论的组合框架。
• 在圆柱图上定义并研究标准表与平面分拆，以建模不可约表示。
• 计算编码 Kostka 多项式及其层级受限推广的平面分拆的生成函数。
• 通过周期图上的组合构造，将不可约表示实现为“表表示”。
• 描述表表示在退化仿射 Hecke 代数作用下及其球对称子空间的谱分解。

提出的方法

• 引入周期性（圆柱形）斜图为斜杨图的推广，其周期性由 Z × F 上的格点作用定义。
• 在这些圆柱图上定义标准表与列严格平面分拆，其权与内容分配基于扩展仿射 Weyl 群的作用。
• 利用扩展仿射 Weyl 群在 Z 上的作用定义周期结构，其生成元包括平移与反射。
• 通过为标准表分配向量并依据组合规则定义代数作用，构造 Cherednik 代数的“表表示”。
• 将退化仿射 Hecke 代数作为子代数应用，研究表表示的分解，特别是通过权分解与谱分解。
• 将球对称子空间的特征计算约化为列严格平面分拆的生成函数，从而与 Kostka 多项式建立联系。

实验结果

研究问题

• RQ1 如何利用周期性斜图来建模 A 型 Cherednik 代数的表示理论？
• RQ2 列严格平面分拆在圆柱图上的生成函数是什么？它与 Kostka 多项式有何关系？
• RQ3 能否通过周期图上的标准表，组合地构造 Cherednik 代数的不可约表示？
• RQ4 表表示的球对称子空间在退化仿射 Hecke 代数的中心作用下如何分解？
• RQ5 在 Cherednik 代数的交换子代数意义下，何时一个表示属于 O 类？

主要发现

• 列严格平面分拆在周期图上的生成函数为 $ \left(\frac{1 - q^r}{1 - q}\right)^{n-1} $，与 Kostka 多项式的生成函数一致。
• 具有权分解的 Cherednik 代数的不可约表示可通过周期图上的标准表组合地实现为“表表示”。
• 表表示作为退化仿射 Hecke 代数模的分解，通过表的组合学被明确描述。
• 表表示的球对称子空间的谱分解通过退化仿射 Hecke 代数的中心计算得出，其特征以 Kostka 多项式表达。
• 对具有权分解的不可约模进行了分类：此类模属于 O 类当且仅当其最高权满足一个涉及参数 $ \kappa = s/r $ 的特定整性条件。
• 当 $ \kappa \in \mathbb{Q}_{\geq 0} $ 时，若 $ s - m - \lambda_1 + \lambda_m \in \mathbb{Z}_{<0} $，则表示 $ \mathcal{L}_\kappa(\lambda) $ 不属于 O 类，此结论通过函数 $ F_\zeta $ 中某些中间权的不存在性得以证明。