[論文レビュー] Schubert calculus and shifting of interval positroid varieties

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

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

ひとこと要約

本稿は、グラスマンニアン上のシューベルト計算におけるVakilの幾何的リトルウッド・リチャードソン規則の$K$-理論的類似を、'K-IPパイプドリーム'——区間ポジトロイド多様体のずれを記録する組合せ的モデル——を用いて導入する。パズルとこれらのパイプドリームの間で重みを保存する自然な全単射を確立し、区間ポジトロイド多様体（特にリチャードソン多様体やシューベルト多様体）の$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.

研究の動機と目的

• グラスマンニアン内の区間ポジトロイド多様体の等配上同型$K_T$-理論的類に対して、明示的な正の組合せ的公式を提供すること。
• Vakilの幾何的退化技術をコホロジーから等支配$K$-理論へと拡張すること。
• 重みを保存するパズルと$K$-IPパイプドリームの間の全単射を確立し、ずれの過程を記録すること。
• 区間ランク関数に基づく新しい組合せ的モデルを用いて、$K$-理論への幾何的リトルウッド・リチャードソン規則を一般化すること。
• K-IPパイプドリームモデルが、特にリチャードソン多様体に対して、$T$-不変部分多様体の幾何的ずれの構造を捉えられることを示すこと。

提案手法

• 区間ポジトロイド多様体を、反対シューベルト多様体の和集合へと変形するVakilの退化技術を用い、その過程を幾何的ずれで追跡する。
• 'K-IPパイプドリーム'——$n \times n$グリッドの上三角部分をラベル付きタイル（0, 1, および文字）で敷き詰めたもので、局所的および非局所的交差条件を満たす——を導入する。
• 等支配パズル（等支配重みを表す$R$-ラベルを有する）から$K$-IPパイプドリームへの変換を、幾何的再配置およびラベル回転により定義する。
• Erdős–Ko–Radoのずれの概念を$T$-不変部分多様体に一般化し、グラスマンニアン多様体の幾何的設定へと拡張する。
• 区間ランク関数が上三角部分置換行列に対応することを用い、区間ポジトロイド多様体をグラスマンニアン内のストラト分類の閉包として定義する。
• パズルと$K$-IPパイプドリームの間で重みを保存する全単射を、1つの文字を含む場合に確立し、2つのモデルの組合せ的性質が幾何的変換のもとで同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Vakilの幾何的退化法を、区間ポジトロイド多様体に対してコホロジーから等支配$K$-理論へと拡張することは可能か？
• RQ2 コホロジーにおけるパズルに類似した、$K$-理論におけるずれの過程を記録する組合せ的対象は何か？
• RQ3 パズルと新しいクラスのパイプドリームとの間に直接的な対応関係が存在し、$K_T$-構造定数の正の性質を明示的に示せるか？
• RQ4 グラスマンニアンにおける$T$-不変部分多様体の幾何的ずれを形式化し、$K$-理論的類の計算に応用可能か？
• RQ5 K-IPパイプドリームは、リチャードソン多様体およびその交わりの$K_T$-類に対して完全かつ正の公式を提供するか？

主な発見

• 本稿は、等支配パズルと$K$-IPパイプドリームの間で重みを保存する全単射を構成し、2つのモデルが幾何的変換のもとで組合せ的に同値であることを示した。
• $K$-IPパイプドリームモデルは、区間ポジトロイド多様体の$K_T$-類に対する明示的な正の公式を提供し、Vakilのコホロジー的規則を$K$-理論へと拡張した。
• 1つの文字（つまり、$\{0,1,R\}$内のラベル）しか持たない区間ポジトロイド多様体に対しては、非局所的『2度以上パイプが交差しない』条件が不要になり、組合せ的構造が単純化される。
• パズルから$K$-IPパイプドリームへの変換には、パズルをパイプドリームの形状に再配置し、垂直辺ラベルを回転させること（$R \to 1$, $1 \to 0$, $0 \to R$）し、対角線ラベルを消去することが含まれる。
• この方法により、リチャードソン多様体の$K_T$-類が、反対シューベルト類の正の組み合わせであることが確認され、係数は$K$-IPパイプドリームに符号化されている。
• 結果は、任意の$T$-不変部分多様体に一般化され、幾何的ずれがこのパイプドリームモデルを用いて計算可能であることが示された。