[论文解读] Littelmann path model for geometric crystals

Reda Chhaibi|arXiv (Cornell University)|May 25, 2014

Algebraic structures and combinatorial models参考文献 18被引用 3

一句话总结

本文为贝伦斯坦与卡兹丹意义上的几何晶体构建了一个几何利特尔曼路径模型，采用实Cartan子代数 𝔞 中的连续路径，通过积分变换定义根算子，几何地提升利特尔曼的分段线性反射方案。关键结果是：从路径模型到群图像的晶体同态在连通分支上限制为同构，实现了几何罗宾逊-施伦斯特定理，并将几何皮特曼变换识别为最高权路径变换。

ABSTRACT

We construct a path model for geometric crystals in the sense of Berenstein and Kazhdan. Our model is in every way similar to Littelmann's and tropicalizes to his path model. This paper lays the foundational material for a subsequent work where we examine the measure induced on geometric crystals by Brownian motion. If we call Berenstein and Kazhdan's realization of geometric crystals the group picture, we prove that the path model projects onto the group picture thanks to a morphism of crystals that restricts to an isomorphism on connected components. This projection is in fact the geometric analogue of the Robinson-Schensted correspondence and involves solving a left-invariant differential equation on the Borel subgroup. Moreover, we identify the geometric Pitman transform $\mathcal{T}_{w_0}$ introduced by Biane, Bougerol and O'Connell as the transform giving the path with highest weight, in the geometric crystal path model. This allows to prove a geometric version of Littelmann's independence theorem. The geometric Robinson-Schensted correspondence is detailed in a special section, because of its importance. Finally, we exhibit the Kashiwara and Schützenberger involutions in both the group picture and the path model. In an appendix, we explain how the left-invariant flow is related to the image of the Casimir element in Kostant's Whittaker model.

研究动机与目标

• 开发利特尔曼路径模型在几何晶体中的几何类比，将他的组合框架扩展至几何设定。
• 建立从路径模型到贝伦斯坦与卡兹丹的几何晶体群图像的同态，证明其在连通分支上为同构。
• 将几何皮特曼变换识别为在路径模型中产生最高权路径的变换，从而实现几何罗宾逊-施伦斯特定理的几何版本。
• 在群图像与路径模型中展示Kashiwara与Schützenberger对合，为这些经典晶体操作提供几何提升。
• 将Borel子群上的左不变微分方程与Kostant的Whittaker模型及量子Toda哈密顿量联系起来，将几何晶体与随机过程及可积系统联系起来。

提出的方法

• 在实Cartan子代数 𝔞 中的连续路径空间上构造几何晶体结构，通过缩放生成一组等价模型。
• 将根算子定义为积分变换，几何地提升利特尔曼的分段线性反射方案，保持晶体结构。
• 建立从路径模型到群图像（Borel子群B中的完全正元素）的同态，证明其在连通分支上限制为同构。
• 将几何皮特曼变换 𝒯_{w₀} 识别为将任意路径映射到路径模型中其最高权代表的变换。
• 使用字符串参数与Lusztig参数对路径进行参数化，通过反演引理实现基于坐标的晶体作用与连通性判别准则。
• 将B上的左不变流与Kostant Whittaker模型中Casimir元的像联系起来，证明其在 𝔞 上约化为量子Toda哈密顿量。

实验结果

研究问题

• RQ1 如何将利特尔曼的路径模型几何地提升至贝伦斯坦与卡兹丹意义上的几何晶体设定？
• RQ2 罗宾逊-施伦斯特定理的几何类比是什么？它如何通过路径变换实现？
• RQ3 几何皮特曼变换与路径模型中的最高权路径有何关系？
• RQ4 Kashiwara与Schützenberger对合在群图像与路径模型中如何实现？
• RQ5 B上的左不变微分方程与Kostant Whittaker模型中的量子Toda哈密顿量之间有何联系？

主要发现

• 路径模型通过一个在连通分支上限制为同构的晶体同态投影到群图像，确立了晶体同构的几何提升。
• 几何皮特曼变换 𝒯_{w₀} 被识别为在路径模型中产生最高权路径的变换，实现了几何罗宾逊-施伦斯特定理。
• 证明路径模型同构于实Cartan子代数 𝔞 中连续路径的几何晶体，张量积由路径连接定义，权映射由路径端点给出。
• 证明Borel子群B上的左不变微分方程由算子 Ω_χ 控制，其在 𝔞 上约化为量子Toda哈密顿量，将几何晶体与可积系统联系起来。
• 在群图像与路径模型中显式构造了Kashiwara与Schützenberger对合，为这些基本晶体操作提供了几何提升。
• 几何利特尔曼模型在热带化后退化为利特尔曼原始的路径模型，确认其与经典理论的一致性。