[论文解读] Positroid varieties I: juggling and geometry

Allen Knutson, Thomas Lam+1 more|ArXiv.org|Mar 21, 2009

Advanced Combinatorial Mathematics参考文献 28被引用 62

一句话总结

本文通过格拉斯曼流形中循环移位的布吕特尔胞腔的交集引入正位形簇，证明其为正规、科恩-麦克唐劳以及由普利克坐标消失定义。关键贡献是引入有界投掷图案（仿射韦尔群元素）作为新索引，将其与仿射斯坦利函数及量子舒伯特上同调联系起来。

ABSTRACT

While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the {\em cyclic shifts} of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, and Brown-Goodearl-Yakimov. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call {\em bounded juggling patterns}. We adopt his terminology and call the strata {\em positroid varieties.} We show that positroid varieties are normal and Cohen-Macaulay, and are defined as schemes by the vanishing of Plucker coordinates. We compute their T-equivariant Hilbert series, and show that their associated cohomology classes are represented by affine Stanley functions. This latter fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus. Our principal tools are the Frobenius splitting results for Richardson varieties as developed by Brion, Lakshmibai, and Littelmann, and the Hodge-Grobner degeneration of the Grassmannian. We show that each positroid variety degenerates to the projective Stanley-Reisner scheme of a shellable ball.

研究动机与目标

• 定义并研究格拉斯曼流形的一种新分层，该分层细化理查森分层，同时保持理想的几何性质。
• 通过限制到单个布吕特尔分解的循环移位，解决完整 GGMS 分解的不可解性问题。
• 利用仿射韦尔群中的有界投掷图案，提供一种循环不变且组合可处理的分层索引。
• 证明正位形簇是正规、科恩-麦克唐劳的，并由普利克关系定义，且其等变希尔伯特级数可计算。
• 通过仿射斯坦利函数，将波斯托诺夫的正位形方法与巴赫-克雷施-塔姆瓦基斯的量子舒伯特上同调联系起来。

提出的方法

• 将正位形簇定义为 $n$ 个循环移位的舒伯特簇的交集，证明其与循环移位的布吕特尔胞腔交集的闭包一致。
• 引入有界投掷图案作为正位形簇的新组合索引集，其源自仿射置换。
• 应用布里翁、拉克什米巴伊和利特尔曼的弗罗贝尼乌斯分裂技术，证明正规性与有理奇点。
• 利用霍奇-格罗布纳退化方法，证明每个正位形簇退化为一个可壳化球面的射影斯坦利-雷伊纳德方案。
• 利用仿射斯坦利函数理论，计算正位形簇的 $T$-等变希尔伯特级数。
• 通过证明其上同调类由仿射斯坦利函数表示，建立正位形簇与量子舒伯特上同调之间的几何联系。

实验结果

研究问题

• RQ1 能否构造理查森分层的细化，使其保持正规性、科恩-麦克唐劳性与有理奇点，同时避免 GGMS 分解的病态性？
• RQ2 何种组合结构可为这种细化分层中的分层提供循环不变的索引？
• RQ3 正位形簇如何与量子舒伯特上同调及仿射斯坦利函数相关联？
• RQ4 能否使用对称函数理论显式描述正位形簇的上同调类？
• RQ5 正位形簇在退化下的几何行为如何？这与其奇点有何关联？

主要发现

• 正位形簇是正规且科恩-麦克唐劳的，具有有理奇点，通过相关理查森簇的弗罗贝尼乌斯分裂得以证明。
• 每个正位形簇作为概形由某些普利克坐标的消失定义，确认了其概形结构。
• 正位形簇的 $T$-等变希尔伯特级数由相应的仿射斯坦利函数给出，从而将几何与对称函数理论联系起来。
• 正位形簇的上同调类由仿射斯坦利函数表示，实现了与波斯托诺夫及巴赫-克雷施-塔姆瓦基斯方法在量子舒伯特上同调中的直接联系。
• 每个正位形簇在霍奇-格罗布纳退化下退化为一个可壳化球面的射影斯坦利-雷伊纳德方案，证实了其拓扑正则性。
• 旗流形到格拉斯曼流形的映射将理查森簇投影到正位形簇上，且该投影保持分层结构，此结论通过舒伯特簇拉回定理得以证明。