[论文解读] One-skeleton galleries, the path model and a generalization of Macdonald's formula for Hall-Littlewood polynomials

Stéphane Gaussent, Peter Littelmann|arXiv (Cornell University)|Apr 1, 2010

Algebraic structures and combinatorial models参考文献 13被引用 4

一句话总结

本文通过单体复形中Bruhat-Tits建筑的1-骨架图廊，对路径模型提供了几何解释，实现了对霍尔-利特尔伍德多项式系数在单项式基下的直接计算。关键贡献在于对Schwer公式进行了几何压缩，其在类型Aₙ中与Macdonald公式等价，并通过半标准杨表对LS-图廊进行了刻画。

ABSTRACT

We give a direct geometric interpretation of the path model using galleries in the $1-$skeleton of the Bruhat-Tits building associated to a semi-simple algebraic group. This interpretation allows us to compute the coefficients of the expansion of the Hall-Littlewood polynomials in the monomial basis. The formula we obtain is a "geometric compression" of the one proved by Schwer, its specialization to the case ${\ t A}_n$ turns out to be equivalent to Macdonald's formula.

研究动机与目标

• 通过与半单代数群相关的仿射建筑的1-骨架，对路径模型提供直接的几何实现。
• 通过图廊的几何组合方法，计算霍尔-利特尔伍德多项式在单项式基下的系数。
• 通过Schwer公式几何压缩的推广，建立类型Aₙ中霍尔-利特尔伍德多项式的Macdonald公式。
• 在类型Aₙ、Bₙ和Cₙ中，建立LS-图廊与半标准杨表之间的对应关系。
• 证明最小的1-骨架图廊恰好对应于仿射格拉斯曼流形中开G(𝒪)-轨道中的点，从而将几何与表示理论联系起来。

提出的方法

• 利用仿射建筑中的1-骨架图廊，对阿廷平面上的分段线性路径进行建模，将其与1-骨架中的组合图廊相联系。
• 引入最小和正折叠的1-骨架图廊，作为路径模型中LS-路径的几何类比。
• 将Białynicki-Birula分解应用于Bott-Samelson型簇，对交集$Z_{\lambda,\mu}$进行分层，其中分层由正折叠图廊索引。
• 通过抛物子群构造图廊的纤维化簇$\Sigma$，其中每个图廊对应于建筑中一系列面的序列。
• 通过定义链建立LS-图廊与半标准杨表之间的双射，其中在类型Bₙ和Cₙ中对列对施加特定条件。
• 利用图廊的目标定义特征公式中的权，将几何数据与表示论特征联系起来。

实验结果

研究问题

• RQ1 如何通过仿射建筑的1-骨架对表示的路径模型进行几何实现？
• RQ2 最小和正折叠的1-骨架图廊在仿射格拉斯曼流形中的几何意义是什么？
• RQ3 霍尔-利特尔伍德多项式在单项式基下的系数如何从建筑中的几何数据中产生？
• RQ4 在哪些情况下图廊的局部最小性与全局最小性一致，其几何意义是什么？
• RQ5 在经典类型Aₙ、Bₙ和Cₙ中，LS-图廊与半标准杨表之间的确切对应关系是什么？

主要发现

• 霍尔-利特尔伍德多项式在单项式基下的系数$L_{\lambda,\mu}(q)$通过Schwer公式几何压缩，计算为具有目标$\mu$的正折叠1-骨架图廊的数量。
• 在类型Aₙ中，该公式退化为Macdonald的原始公式，通过几何图廊模型建立了与之等价性。
• 最小1-骨架图廊恰好对应于Schubert簇$X_\lambda$中开$G(\mathcal{O})$-轨道中的点，提供了几何刻画。
• 不可约表示$V(\lambda)$的特征由$\sum_{\delta} e^{\text{target}(\delta)}$给出，其中$\delta$遍历所有类型$\gamma_\lambda$的LS-图廊，从而为路径特征公式提供了几何证明。
• 在类型Aₙ中，所有半标准杨表均为LS-杨表；在类型Bₙ和Cₙ中，当且仅当与非极小权相关联的每对列满足特定可容许条件时，杨表才是LS-杨表。
• LS-图廊由其折叠为LS-折叠的性质所刻画，且该条件等价于其关联路径为LS-路径，从而将几何定义与代数定义联系起来。