[論文レビュー] Positroid varieties I: juggling and geometry

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

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

ひとこと要約

本稿では、グラスマンニアンにおける巡回的にずらされたブルハット胞体の共通部分集合としてポジトロイド多様体を導入し、それらが正規的で、コhen＝マカウレイ的であり、ピュッカー座標の消失によって定義されることを確立している。主な貢献は、有界ジャグリングパターン（アフィンワイル群の元）による新しいインデキシングであり、これによりアフィンスターリング関数および量子シューベルト計算と結びつけられている。

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.

研究の動機と目的

• リチャードソン層構造を refining するが、望ましい幾何的性質を保つ新しいグラスマンニアンの層構造を定義・研究すること。
• 完全な GGMS 分解の取り扱いにくさを解消するため、単一のブルハット分解の巡回的シフトに制限すること。
• アフィンワイル群における有界ジャグリングパターンを用いて、巡回的不変で、組合せ論的に取り扱いやすい層のインデキシングを提供すること。
• ポジトロイド多様体が正規的で、コhen＝マカウレイ的であり、ピュッカー関係式によって定義され、$T$-等配 Hilbert 級数が計算可能であることを確立すること。
• ポストニコフのポジトロイド的アプローチと、バッチ＝クレシュ＝タムヴァキスの量子シューベルト計算とを、アフィンスターリング関数を介して結びつけること。

提案手法

• ポジトロイド多様体を $n$ 個の巡回的にずらされたシューベルト多様体の共通部分集合として定義し、それらが巡回的にずらされたブルハット胞体の交わりの閉包と一致することを示す。
• 有界ジャグリングパターンを、アフィン置換に基づいて得られるポジトロイド多様体の新しい組合せ的インデキシング集合として導入する。
• ブリオン、ラクシュミバイ、リトルマンによるフロベニウス分割技術を応用し、正規性および有理的特異点を証明する。
• ホッジ＝グレブナーの退化を用いて、各ポジトロイド多様体が、シェーブル可能な球体のプロジェクト型スタニレー＝ライスナースキームに退化することを示す。
• アフィンスターリング関数の理論を用いて、ポジトロイド多様体の $T$-等配 Hilbert 級数を計算する。
• コhomology類がアフィンスターリング関数によって表されることを示すことにより、ポジトロイド多様体と量子シューベルト計算との間に幾何的リンクを確立する。

実験結果

リサーチクエスチョン

• RQ1 リチャードソン層構造の refine されたバージョンを構成可能か。その際、正規性、コhen＝マカウレイ性、有理的特異点を保ちつつ、GGMS 分解の病理的性質を回避できるか。
• RQ2 このような refine された分解における層の巡回的不変インデキシングを提供する組合せ的構造は何か。
• RQ3 ポジトロイド多様体は、量子シューベルト計算およびアフィンスターリング関数とどのように関係しているか。
• RQ4 ポジトロイド多様体のコhomology類は、対称関数論を用いて明示的に記述可能か。
• RQ5 ポジトロイド多様体の退化における幾何的挙動は何か。これにより特異点との関係はどのように明らかになるか。

主な発見

• フロベニウス分割を用いた関連リチャードソン多様体の解析により、ポジトロイド多様体が正規的で、コhen＝マカウレイ的であり、有理的特異点を持つことが確認された。
• 特定のピュッカー座標の消失によって定義されることから、ポジトロイド多様体がスキーム論的構造を持つことが確認された。
• ポジトロイド多様体の $T$-等配 Hilbert 級数は、対応するアフィンスターリング関数によって与えられ、幾何学と対称関数論の間のリンクを確立した。
• ポジトロイド多様体のコhomology類はアフィンスターリング関数によって表され、これによりポストニコフの手法とバッチ＝クレシュ＝タムヴァキスの量子シューベルト計算への直接的な接続が可能になった。
• ホッジ＝グレブナーの退化により、各ポジトロイド多様体がシェーブル可能な球体のプロジェクト型スタニレー＝ライスナースキームに退化することが確認され、その位相的正規性が裏付けられた。
• フラッグ多様体からグラスマンニアンへの写像により、リチャードソン多様体がポジトロイド多様体に投影され、この投影が層構造を保存することが示された。このことは、シューベルト多様体の引き戻しに関する定理によって裏付けられた。