[论文解读] Unique rectification in $d$-complete posets: towards the $K$-theory of Kac-Moody flag varieties

Rahul Ilango, Oliver Pechenik+1 more|arXiv (Cornell University)|May 6, 2018

Advanced Combinatorial Mathematics参考文献 23被引用 2

一句话总结

本文在一大类 d-完全偏序集中确立了唯一可修正目标（URTs）的存在性，这是为 Kac-Moody旗流形中的 K-理论 Schubert 结构常数建立正组合规则的关键一步。通过证明在极小化标签的递增表上，对极小化偏序集的斜和迭代构造所得的表为 URT，作者为 Kac-Moody齐次空间 K-理论中类似 Littlewood-Richardson 的公式提供了基础。

ABSTRACT

The jeu-de-taquin-based Littlewood-Richardson rule of H. Thomas and A. Yong (2009) for minuscule varieties has been extended in two orthogonal directions, either enriching the cohomology theory or else expanding the family of varieties considered. In one direction, A. Buch and M. Samuel (2016) developed a combinatorial theory of "unique rectification targets" in minuscule posets to extend the Thomas-Yong rule from ordinary cohomology to $K$-theory. Separately, P.-E. Chaput and N. Perrin (2012) used the combinatorics of R. Proctor's "$d$-complete posets" to extend the Thomas-Yong rule from minuscule varieties to a broader class of Kac-Moody structure constants. We begin to address the unification of these theories. Our main result is the existence of unique rectification targets in a large class of $d$-complete posets. From this result, we obtain conjectural positive combinatorial formulas for certain $K$-theoretic Schubert structure constants in the Kac-Moody setting.

研究动机与目标

• 将 Kac-Moody 旗流形的 K-理论 Schubert 微积分与 d-完全偏序集的 jeu-de-taquin 组合学统一起来。
• 解决一个开放问题：d-完全偏序集是否具有足够多的唯一可修正目标（URTs），以将 Thomas-Yong 的 K-理论规则推广至极小化偏序集之外。
• 为 Λ-极小化 K-理论 Schubert 结构常数的猜想性正组合公式建立组合框架。
• 通过斜和构造，将 URT 的概念从极小化偏序集推广至更广泛的 d-完全偏序集类。

提出的方法

• 利用 R. Proctor 对 d-完全偏序集的分类，将其视为不可约分量的粘合构造，包括极小化偏序集。
• 将 d-完全偏序集的序理想上的最小化标签递增表作为候选 URT 应用。
• 采用 A-链 URT 的概念，其中 A 为无环节点的集合，以推广可修正性的唯一性。
• 对极小化偏序集的迭代斜和中不可约分量数量进行归纳推理。
• 从序理想和可修正计数构造组合 K-理论环 K(P)，以模拟 Kac-Moody 旗流形的 K(X)。
• 依赖于先前关于极小化偏序集中可修正性的结果，并利用 d-完全偏序集的结构性质加以扩展。

实验结果

研究问题

• RQ1 d-完全偏序集是否具有足够多的唯一可修正目标，以支持 K-理论 Littlewood-Richardson 规则？
• RQ2 唯一可修正目标的性质能否通过斜和构造从极小化偏序集推广至一般的 d-完全偏序集？
• RQ3 d-完全偏序集的序理想上的最小化标签递增表是否总是唯一可修正目标？
• RQ4 d-完全偏序集中 URT 的存在是否意味着 Λ-极小化 K-理论 Schubert 结构常数存在正组合公式？
• RQ5 在 d-完全偏序集的序理想上定义的组合 K-理论环 K(P) 是否能模拟对应 Kac-Moody 旗流形的 K-理论？

主要发现

• 作者证明了在极小化偏序集的迭代斜和上，所有形状为直线的最小化标签递增表都是唯一可修正目标。
• 对于矩形、双尾菱形和至少包含 10 个节点的移位阶梯 d-完全偏序集，任何序理想上的最小化标签表都是唯一可修正目标。
• 在任何为极小化偏序集迭代斜和构造的 d-完全偏序集中，其任意序理想上的最小化标签表都是唯一可修正目标。
• 该结果证实了该类偏序集的猜想 1.1，为推广 Thomas-Yong K-理论规则提供了结构性基础。
• 此类偏序集中 URT 的存在支持了猜想：组合 K-理论环 K(P) 能够模拟对应 Kac-Moody 旗流形的 K-理论。
• 该框架使 Kac-Moody 旗流形中 Λ-极小化 K-理论 Schubert 结构常数的猜想性正组合公式成为可能。