[论文解读] Schubert calculus and shifting of interval positroid varieties

Allen Knutson|arXiv (Cornell University)|Aug 6, 2014

Advanced Combinatorial Mathematics参考文献 7被引用 9

一句话总结

本文引入了Vakil在Grassmannian上的Schubert微分几何Littlewood-Richardson法则的$K$-理论类比，采用'K-IP管道梦境'——一种记录区间正交拟阵流形移动的组合模型。它在谜题与这些管道梦境之间建立了保持权重的双射，从而为区间正交拟阵流形（包括Richardson流形和Schubert流形）的$K_T$-类提供了显式正性公式，其表达形式为等变$K$-理论系数。

ABSTRACT

Consider k x n matrices with rank conditions placed on intervals of columns. The ranks that are actually achievable correspond naturally to upper triangular partial permutation matrices, and we call the corresponding subvarieties of Gr(k,n) the _interval positroid varieties_, as this class lies within the class of positroid varieties studied in [Knutson-Lam-Speyer]. It includes Schubert and opposite Schubert varieties, and their intersections, and is Grassmann dual to the projection varieties of [Billey-Coskun]. Vakil's "geometric Littlewood-Richardson rule" [Vakil] uses certain degenerations to positively compute the H^*-classes of Richardson varieties, each summand recorded as a (2+1)-dimensional "checker game". We use his same degenerations to positively compute the K_T-classes of interval positroid varieties, each summand recorded more succinctly as a 2-dimensional "K-IP pipe dream". In Vakil's restricted situation these IP pipe dreams biject very simply to the puzzles of [Knutson-Tao]. We relate Vakil's degenerations to Erd\H os-Ko-Rado shifting, and include results about computing "geometric shifts" of general T-invariant subvarieties of Grassmannians.

研究动机与目标

• 为Grassmannian中区间正交拟阵流形的等变$K_T$-理论类提供一个显式正性的组合公式。
• 将Vakil的几何退化技术从上同调推广至等变$K$-理论。
• 在谜题与K-IP管道梦境之间建立保持权重的双射，以记录移动过程。
• 基于基于区间秩函数的新组合模型，将几何Littlewood-Richardson法则推广至$K$-理论。
• 证明K-IP管道梦境模型能够捕捉$T$-不变子流形几何移动的结构，尤其适用于Richardson流形。

提出的方法

• 使用Vakil的退化技术将区间正交拟阵流形变形为对偶Schubert流形的并集，通过几何移动过程进行追踪。
• 引入'K-IP管道梦境'——在$n \times n$网格的上三角区域中用带标签的瓷砖（0、1和字母）进行铺砌，满足局部与非局部交叉条件。
• 通过几何重构与标签旋转，定义从带$R$-标签（用于等变权重）的等变谜题到K-IP管道梦境的变换。
• 将Erdős–Ko–Rado移动的概念应用于$T$-不变子流形，将其推广至Grassmannian流形的几何设定。
• 利用区间秩函数对应于上三角部分置换矩阵的事实，将区间正交拟阵流形定义为Grassmannian中流形的轨道的闭包。
• 在谜题与仅含一个字母的K-IP管道梦境之间建立保持权重的双射，表明两种模型在几何变换下的组合结构等价。

实验结果

研究问题

• RQ1 Vakil的几何退化方法如何从上同调推广至区间正交拟阵流形的等变$K$-理论？
• RQ2 在$K$-理论中，何种组合对象可类比于上同调中的谜题，以记录移动过程？
• RQ3 是否存在谜题与一类新管道梦境之间的直接对应关系，使得$K_T$-结构常数的正性显而易见？
• RQ4 能否形式化并应用$T$-不变子流形在Grassmannian中的几何移动，以计算$K$-理论类？
• RQ5 K-IP管道梦境是否为Richardson流形及其交的$K_T$-类提供了完整且正性的公式？

主要发现

• 本文构建了等变谜题与K-IP管道梦境之间的保持权重的双射，表明在几何变换下，两种模型的组合结构等价。
• K-IP管道梦境模型为区间正交拟阵流形的$K_T$-类提供了显式正性公式，将Vakil的上同调法则推广至$K$-理论。
• 对于仅含一个字母（即标签在$\{0,1,R\}$中）的区间正交拟阵流形，非局部的'两条管道不交叉两次'条件变得冗余，从而简化了组合结构。
• 从谜题到K-IP管道梦境的变换包括：将谜题重构为管道梦境形状，旋转垂直边标签（$R \to 1$，$1 \to 0$，$0 \to R$），并擦除对角线标签。
• 该方法证实，Richardson流形的$K_T$-类是其对偶Schubert类的正组合，其系数由K-IP管道梦境编码。
• 结果可推广至Grassmannian的任意$T$-不变子流形，表明几何移动可通过此管道梦境模型进行计算。