[论文解读] Polyhedral parametrizations of canonical bases & cluster duality

Volker Genz, Gleb Koshevoy+1 more|arXiv (Cornell University)|Nov 20, 2017

Algebraic structures and combinatorial models参考文献 20被引用 7

一句话总结

本文在单余型代数群 G 的基仿射空间 G/N 上，建立了 Gross-Hacking-Keel-Kontsevich (GHKK) 潜在函数与 Berenstein-Kazhdan 装饰函数之间的精确对应关系。通过簇对偶性和热带化，证明了装饰函数经由一个正则映射 ϕ 拉回到 GHKK 潜在函数，从而统一了两种构造所给出的典范基的多面体参数化。关键结果是定理 A：f_B = W ∘ ϕ，统一了表示理论中两种不同的典范基构造方法。

ABSTRACT

We establish the relation of the potential function constructed by Gross-Hacking-Keel-Kontsevich's and Berenstein-Kazhdan's decoration function on the open double Bruhat cell in the base affine space $G/\mathcal{N}$ of a simple, simply connected, simply laced algebraic group $G$. As a byproduct we derive explicit identifications of polyhedral parametrization of canonical bases of the ring of regular functions on $G/\mathcal{N}$ arising from the tropicalizations of the potential and decoration function with the classical string and Lusztig parametrizations.

研究动机与目标

• 在基仿射空间 G/N 上，建立 GHKK 潜在函数 W 与 Berenstein-Kazhdan 装饰函数 f_B 之间的精确关系。
• 统一两种不同的典范基构造方法：一种基于簇对偶性（GHKK），另一种基于几何晶体（Berenstein-Kazhdan）。
• 证明对 f_B 和 W 的热带化可分别给出典范基的多面体参数化，并将这些参数化与经典的 Lusztig 和 string 参数化相联系。
• 证明映射 ϕ 将 f_B 与 W 关联起来，且该映射在簇结构和 codimension-2 覆盖下是良好定义且唯一的。

提出的方法

• 在 G/N 中的双重 Bruhat 单元关联的簇簇 A 和 X 之间构造一个正则映射 ϕ: A → X。
• 通过 f_B 和 W 的热带化，定义整数多面锥 C_Σ 和 Ĉ_Σ，用于参数化典范基。
• 引入辅助映射 s_i, l_i, s_i^∨, l_i^∨，将热带化结果与 Lusztig 和 Kashiwara 的参数化相联系。
• 建立交换图，通过热带化簇映射将各种参数化联系起来。
• 通过显式线性变换，证明格拉斯 string 锥与 Lusztig 锥之间存在单模同构。
• 利用 Zelevinsky 的覆盖结果，将局部映射 ϕ_i 扩展为全局正则映射 ϕ: A → X，从而保证 f_B = W ∘ ϕ。

实验结果

研究问题

• RQ1 在基仿射空间 G/N 上，GHKK 潜在函数 W 与 Berenstein-Kazhdan 装饰函数 f_B 之间有何关系？
• RQ2 对 W 和 f_B 进行热带化后得到的典范基多面体参数化，能否与经典的 Lusztig 和 string 参数化相识别？
• RQ3 是否存在一个典范的正则映射 ϕ: A → X，使得 f_B = W ∘ ϕ，且该映射是否唯一？
• RQ4 在 Caldero-Marsh-Morier-Genoud 映射下，Lusztig 参数化与 string 参数化的锥不等式如何相互对应？
• RQ5 在 G/N 情形下，GHKK 的 toric degeneration 与 Caldero/Alexeev-Brion 构造的 toric degeneration 是否一致？

主要发现

• 定理 A 建立了一个全局正则映射 ϕ: A → X，使得 f_B = W ∘ ϕ，统一了 GHKK 与 Berenstein-Kazhdan 的构造。
• f_B 的热带化截取出 Lusztig 参数化锥，而 W 的热带化截取出 GHKK 典范基锥。
• 映射 ϕ 是唯一确定的，并与两种不同的局部构造一致，确保在所有簇图中的一致性。
• 构造了格拉斯 string 锥与格拉斯 Lusztig 锥之间的单模同构，恢复了 Caldero-Marsh-Morier-Genoud 的一个结果。
• 在 Caldero-Marsh-Morier-Genoud 映射下，Lusztig 参数化的不等式映射到 string 锥的加权不等式，反之亦然。
• 权多面体 P_Si(λ) 与 P_Si(λ*) 是仿射单模同构的，其显式线性变换由热带化簇映射给出。