[论文解读] Affine Patches on Positroid Varieties and Affine Pipe Dreams (Thesis)

Michelle Snider|arXiv (Cornell University)|Nov 16, 2010

Advanced Combinatorial Mathematics参考文献 26被引用 5

一句话总结

本论文通过一种新颖的项序和仿射管道图，建立了格拉斯曼流形中正膜族的仿射部分与仿射格拉斯曼流形中卡兹丹-卢斯蒂格簇之间的对应关系。该研究将管道图理论推广至仿射设置，证明了仿射卡兹丹-卢斯蒂格簇同构于正膜族的仿射部分，并表明在基态情形下，仿射管道图扩展了卡松与莱图的框架。

ABSTRACT

The objects of interest in this thesis are positroid varieties in the Grassmannian, which are indexed by juggling patterns. In particular, we study affine patches on these positroid varieties. Our main result corresponds these affine patches to Kazhdan-Lusztig varieties in the affine Grassmannian. We develop a new term order and study how these spaces are related to subword complexes and Stanley-Reisner ideals. We define an extension of pipe dreams to the affine case and conclude by showing how our affine pipe dreams are generalizations of Cauchon and Le diagrams.

研究动机与目标

• 将管道图理论推广至仿射格拉斯曼流形设置。
• 在正膜族的仿射部分与仿射格拉斯曼流形中的卡兹丹-卢斯蒂格簇之间建立几何对应关系。
• 在多项式环上提出一种新的项序，以促进子词复形的格罗布纳基研究。
• 通过管道图将莱与卡松图的组合框架推广至仿射情形。
• 阐明仿射设置下子词复形、斯坦利-雷泽纳环与格罗布纳基之间的关系。

提出的方法

• 在与k×n矩阵相关的多项式环上引入一种新的项序，以控制子词复形背景下初始理想的结构。
• 通过juggling模式（经由序列Qλ）构造仿射置换，并利用其定义正膜族上的仿射部分。
• 将仿射管道图定义为约化管道图的推广，其移动规则（如滑道与梯子移动）在仿射情形下得以保留。
• 通过垂直翻转与方块替换，建立仿射管道图与基态情形下卡松图之间的双射。
• 利用子词复形与斯坦利-雷泽纳理想理论，分析正膜族与卡兹丹-卢斯蒂格簇的定义理想。
• 应用格罗布纳基技术于这些簇的初始理想，证明其与新项序相容。

实验结果

研究问题

• RQ1 如何将管道图的概念扩展至仿射格拉斯曼流形，以建模正膜族？
• RQ2 正膜族的仿射部分与仿射格拉斯曼流形中卡兹丹-卢斯蒂格簇之间的确切几何对应关系是什么？
• RQ3 多项式环上的新项序如何影响子词复形的格罗布纳基结构？
• RQ4 在基态情形下，仿射管道图如何推广卡松与莱图？
• RQ5 杂耍模式在索引正膜族及其仿射部分时起什么作用？

主要发现

• 主要结果通过新项序与矩阵坍缩构造，实现了仿射卡兹丹-卢斯蒂格簇与正膜族一个部分之间的同构。
• 仿射管道图被定义为有限管道图的推广，其移动规则（滑道与梯子）在仿射情形下得以保持。
• 通过Qλ = 456 2345 1234 7（λ = (1,2,4)）构造仿射部分，得到一个杂耍模式(7,7,0,7,0,0,0)，将组合与几何联系起来。
• 在基态情形下，仿射管道图与卡松图之间存在双射关系，其中黑格对应交叉点，白格对应弯头。
• π = 5 4 6 8 7 9 10的仿射管道图复形同构于移除锥顶点后的子词复形，验证了其几何模型。
• 在垂直翻转下，莱图条件（若a,c ≠ 0，则b ≠ 0）被证明等价于卡松条件，从而验证了图之间的对应关系。