[论文解读] On Mirković-Vilonen cycles and crystals combinatorics

Pierre Baumann, Stéphane Gaussent|ArXiv.org|Jun 28, 2006

Advanced Algebra and Geometry被引用 5

一句话总结

本文建立了量子群中基的字符串参数化与仿射格拉斯曼流形中Mirković-Vilonen（MV）循环之间的精确联系。通过为MV循环上的晶体算子提供显式代数公式，作者证明了Gaussent与Littelmann的LS路径到MV循环的对应关系是一个晶体同构，并进一步表明Lusztig的代数几何基参数化与MV循环有深刻关联。

ABSTRACT

Let $G$ be a complex reductive group and let $G^\vee$ be its Langlands dual. Let us choose a triangular decomposition $\mathfrak g^\vee=\mathfrak n^\vee_-\oplus\mathfrak h^\vee\oplus\mathfrak n^\vee_+$ of the Lie algebra $G^\vee$. Braverman, Finkelberg and Gaitsgory show that the set of all Mirković-Vilonen cycles in the affine grassmannian $\mathscr G=G\bigl(\mathbb C((t))\bigr)/G\bigl(\mathbb C[[t]]\bigr)$ is a crystal isomorphic to the crystal of the canonical basis of $U(\mathfrak n^\vee_+)$. Starting from the string parameter of an element of the canonical basis, we give an explicit description of a dense subset of the associated MV cycle. As a corollary, we show that any MV cycle can be obtained as the closure of one of the varieties involved in Lusztig's algebraic-geometric parametrization of the canonical basis. In addition, we prove that the bijection between LS paths and MV cycles constructed by Gaussent and Littelmann is an isomorphism of crystals.

研究动机与目标

• 通过Mirković-Vilonen循环建立基的显式几何实现。
• 澄清Lusztig对基的代数几何参数化与MV循环之间的关系。
• 证明Gaussent-Littelmann在LS路径与MV循环之间的双射是一个晶体同构。
• 从基的字符串参数出发，提供MV循环的显式代数描述。

提出的方法

• 基于几何定义，推导出MV循环上晶体算子（e_i, f_i）的显式代数公式。
• 利用仿射格拉斯曼流形的结构以及朗兰兹对偶群的作用，将MV循环定义为子概形。
• 应用几何Satake对应，将MV循环的上同调与G∨的不可约表示联系起来。
• 构造从LS画廊到MV循环的映射，并通过显式计算证明其与晶体算子相容。
• 利用B(−∞)中元素的字符串参数来参数化MV循环，表明其像为一个余稠密子集。
• 通过稳定子条件与群作用验证MV循环映射与晶体算子的相容性，使用公理验证方法。

实验结果

研究问题

• RQ1 Gaussent-Littelmann在LS路径与MV循环之间的双射是否为晶体同构？
• RQ2 能否用基中元素的字符串参数显式描述其对应的MV循环？
• RQ3 Lusztig对基的代数几何参数化与MV循环之间有何关系？
• RQ4 晶体算子在MV循环上的精确代数表达式如何用群论数据表示？
• RQ5 与字符串参数相关的MV循环是否具有可显式描述的余稠密开子集？

主要发现

• Gaussent与Littelmann构造的从LS画廊到MV循环的映射是一个晶体同构。
• LS路径晶体与MV循环映射的复合，与Braverman、Finkelberg与Gaitsgory的晶体同构一致。
• 给出了基于几何定义推导出的MV循环上晶体算子的显式代数公式。
• B(−∞)中元素的字符串参数确定了其对应MV循环的一个余稠密开子集。
• Lusztig对基的代数几何参数化被证明与MV循环有内在关联。
• 与字符串参数相关的MV循环通过一系列群元素和根子群作用来描述，且对稳定子有精确条件。