[論文レビュー] Puzzles, positroid varieties, and equivariant K-theory of Grassmannians

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

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

ひとこと要約

本稿は、Vakilのデゲネレーション多様体が、正則性、Cohen-Macaulay性、有理的特異点を持つポジトロイド多様体であることを確立し、パズルパスを通じてこれらの多様体の明示的方程式を提供する。これは[KnTao03]の等化パズル則を幾何的に証明し、Vakilのデゲネレーションプロセスを拡張して等化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.

研究の動機と目的

• Vakilのシューベルト計算における中間的デゲネレーション多様体がポジトロイド多様体であることを特定し、それらの幾何的・代数的性質を確立すること。
• Va06の付録に基づき、部分的に埋められたパズルに対応するVakil多様体の明示的方程式を導出すること。
• Vakilの幾何的デゲネレーションプロセスを拡張し、シューベルト計算における等化パズル則の幾何的証明を与えること。
• 最近の旗多様体の等化K理論における抽象的正性結果を、パズルに応じた対応するパズル則によって具体化すること。

提案手法

• リチャードソン多様体に対して、一意パラメータ群作用の平坦極限と閉包として定義される幾何的シフトとスイープを用い、段階的にそれらをデゲネレートする。
• プラクティクス座標における定義式を通じて、Vakilのデゲネレーションプロセスで生じる中間多様体がポジトロイド多様体として特定される。
• パズル図のピンクの点とレイヤーを分析することで、パズルパスに伴うVakil多様体を構成し、組合せ的データを用いて部分多様体を定義する。
• 固定順序のペア(i→j)に沿った再帰的デゲネレーションプロセスを適用し、各段階での成分の挙動を追跡することで、極限スキームを制御する。
• パズルの埋め方におけるラミンスおよび三角形ピeceの構造を用いて、成分遷移をモデル化し、極限に2つの成分が現れる条件を特定する。
• デゲネレーションステップを繰り返し適用することで等化K理論の公式を導出し、パズルタイル上のΦ(E*,ρ)の積を含む構造定数公式を通じて、コホノロジー類を追跡する。

実験結果

リサーチクエスチョン

• RQ1 Vakilのリチャードソン多様体のデゲネレーションにおいて生じる中間多様体は、ポジトロイド多様体であるか。それらの幾何的性質は何か。
• RQ2 部分的に埋められたパズルパスに対応するVakil多様体の定義式は何か。
• RQ3 Vakilの幾何的デゲネレーションプロセスを用いて、K理論における等化パズル則の幾何的証明が可能か。
• RQ4 旗多様体の等化K理論における抽象的正性結果は、パズルを用いて具体化可能か。

主な発見

• Vakilのリチャードソン多様体のデゲネレーションにおける中間多様体はポジトロイド多様体であり、それらは正則的で、Cohen-Macaulayであり、有理的特異点を持つ。
• パズルパスに付随するVakil多様体は、特定のプラクティクス座標の消失によって定義され、その方程式はパズルのピンクの点とレイヤーによって明示的に決定される。
• Vakil多様体Π_γに適用される幾何的シフト操作X_{i→j}は、2つの成分Π_{γ₁}とΠ_{γ₀}の和集合をもたらし、クラス関係[Π_γ] = (1−exp(y_i−y_j))[Π_Ψγ] + exp(y_i−y_j)([Π_γ₁] + [Π_γ₀] − [Π_γ_K])が成り立つ。
• すべてのn選2のペアにわたるデゲネレーションプロセスを繰り返すことで、完全な等化K理論構造定数公式が回復され、[X^ν_μ] = ∑_P (∏_{ρ∈P} Φ(E*,ρ)) [X^λ(P)] が得られる。ここで和は、NEにμ、Sにν、NWにλ(P)を有するパズルPの上をとる。
• 本稿は、以前抽象的であった等化K理論における正性結果を、パズルに基づく公式を通じて具体化し、旗多様体のK理論環における構造定数のパズルによる公式を提供する。