[论文解读] Puzzles, positroid varieties, and equivariant K-theory of Grassmannians

Allen Knutson|arXiv (Cornell University)|Aug 25, 2010

Advanced Algebra and Geometry参考文献 11被引用 13

一句话总结

本文证明了格拉斯曼流形施伯伯特微分几何中的瓦基尔退化簇是正膜簇——即正规的、科恩-麦克aul伊的，且具有有理奇点——并通过拼图路径给出了这些簇的显式方程。该文几何地证明了[KnTao03]中的等变拼图法则，将瓦基尔的退化过程扩展至给出等变K-理论结构常数的显式公式，从而具体化了此前在旗流形等变K-理论中一个抽象的正性结果。

ABSTRACT

Vakil studied the intersection theory of Schubert varieties in the Grassmannian in a very direct way: he degenerated the intersection of a Schubert variety X_mu and opposite Schubert variety X^nu to a union {X^lambda}, with repetition. This degeneration proceeds in stages, and along the way he met a collection of more complicated subvarieties, which he identified as the closures of certain locally closed sets. We show that Vakil's varieties are _positroid varieties_, which in particular shows they are normal, Cohen-Macaulay, have rational singularities, and are defined by the vanishing of Plücker coordinates [Knutson-Lam-Speyer]. We determine the equations of the Vakil variety associated to a partially filled ``puzzle'' (building on the appendix to [Vakil]), and extend Vakil's proof to give a geometric proof of the puzzle rule from [Knutson-Tao '03] for equivariant Schubert calculus. The recent paper [Anderson-Griffeth-Miller] establishes (abstractly; without a formula) three positivity results in equivariant K-theory of flag manifolds G/P. We demonstrate one of these concretely, giving a corresponding puzzle rule.

研究动机与目标

• 将瓦基尔在施伯伯特微分几何中关于 Richardson 簇的中间退化簇识别为正膜簇，确立其几何与代数性质。
• 基于[Va06]的附录，为部分填充拼图所对应的瓦基尔簇推导显式方程。
• 将瓦基尔的几何退化过程扩展，以几何方式证明施伯伯特微分几何中的等变拼图法则。
• 通过相应的拼图法则，具体化最近在旗流形等变K-理论中一个抽象的正性结果。

提出的方法

• 通过 Richardson 簇上的几何平移与扫掠操作（即一参数子群作用的平坦极限与闭包）逐步退化簇。
• 通过其在普吕克坐标下的定义方程，将瓦基尔退化过程中出现的中间簇识别为正膜簇。
• 通过分析拼图图中粉红色点与射线的结构，构建拼图路径对应的瓦基尔簇，利用组合数据定义子簇。
• 沿固定顺序的配对 (i→j) 应用递归退化过程，追踪每一步骤中各分量的行为，以控制极限概形。
• 利用拼图填充中菱形与三角形块的结构，模拟分量的转换，并确定何时两个分量会出现在极限中。
• 通过迭代应用退化步骤，推导出等变K-理论公式，利用包含所有拼图块 ρ 的 Φ(E*,ρ) 乘积的结构常数公式，追踪上同调类。

实验结果

研究问题

• RQ1 在格拉斯曼流形中，瓦基尔对 Richardson 簇的退化过程中出现的中间簇是否为正膜簇？其几何性质如何？
• RQ2 与部分填充拼图路径相关的瓦基尔簇的定义方程是什么？
• RQ3 瓦基尔的几何退化过程能否用于给出等变K-理论中拼图法则的几何证明？
• RQ4 旗流形等变K-理论中的抽象正性结果是否可通过拼图实现具体化？

主要发现

• 瓦基尔在 Richardson 簇退化过程中出现的中间簇是正膜簇，其具有正规性、科恩-麦克aul伊性，且具有有理奇点。
• 与拼图路径相关的瓦基尔簇由某些普吕克坐标的消失所定义，其方程由拼图中粉红色点与射线明确确定。
• 对瓦基尔簇 Π_γ 应用几何平移操作 X_{i→j}，会得到两个分量 Π_{γ₁} 与 Π_{γ₀}，满足类关系 [Π_γ] = (1−exp(y_i−y_j))[Π_Ψγ] + exp(y_i−y_j)([Π_γ₁] + [Π_γ₀] − [Π_γ_K])。
• 通过在所有 n 选 2 对 (i→j) 上迭代退化过程，完整恢复了等变K-理论结构常数公式，得到 [X^ν_μ] = ∑_P (∏_{ρ∈P} Φ(E*,ρ)) [X^λ(P)]，其中求和范围为满足 μ 在东北侧、ν 在南侧、λ(P) 在西北侧的拼图。
• 本文为此前在等变K-理论中抽象的正性结果提供了具体实现，给出了旗流形K-理论环中结构常数的基于拼图的公式。