[論文レビュー] A Gröbner basis for Kazhdan-Lusztig ideals

Alexander Woo, Alexander Yong|arXiv (Cornell University)|Sep 3, 2009

Advanced Combinatorial Mathematics参考文献 18被引用数 8

ひとこと要約

本稿では、タイプAのKazhdan–Lusztig理想に対して、平方因子なしの先頭項を持つグレブナー基底を提示し、シューベルト多様体を座標部分多様体の和に幾何的に退化させる。この構成により、ロシードラム上のパイプドリームの自然性が説明され、シューベルト多様体とグロチェンディーク多項式の組合せ論的公式、同等K理論の特殊化、多重度の公式が、一つの代数的幾何的枠組みで統一される。

ABSTRACT

Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in: * combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82]; * the equivariant K-theory specialization formula of [Buch-Rimanyi '04]; and * a positive combinatorial formula for multiplicities of Schubert varieties in good cases, including those for which the associated Kazhdan-Lusztig ideal is homogeneous under the standard grading. Our results generalize (with alternate proofs) [Knutson-Miller '05]'s Grobner basis theorem for Schubert determinantal ideals and their geometric interpretation of the monomial positivity of Schubert polynomials. We also complement recent work of [Knutson '08,'09] on degenerations of Kazhdan-Lusztig varieties in general Lie type, as well as work of [Goldin '01] on equivariant localization and of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], and [Krattenthaler '01] on Grassmannian multiplicity formulas.

研究の動機と目的

• シューベルト多様体のトーラス固定点における局所方程式を符号化するKazhdan–Lusztig理想のグレブナー基底を提供することで、問題1.1を解決すること。
• シューベルト計算におけるロシードラム上でのパイプドリームの出現に、幾何的説明を提供すること。
• シューベルト多様体とグロチェンディーク多項式、同等K理論の特殊化、シューベルト多様体の多重度を含む組合せ論的公式を統一し、新たな証明を提供すること。
• シューベルト行列式理想のグレブナー基底定理（Knutson–Miller）を、Kazhdan–Lusztig理想のより広いクラスへ一般化すること。
• 特定の座標系と項順序を用いて、反復的でない明示的な退化を、Kazhdan–Lusztig多様体から座標部分空間の非還元的和へ行うことで、それらを確立すること。

提案手法

• 著者らは、置換のロシードラムに由来する特定の単項式順序と座標系を用いて、Kazhdan–Lusztig理想のグレブナー基底を構成する。
• 部分語複体に関連する単体的複体の頂点分解を用いて、理想 $I_{v,w}$ の初期理想を分析する。
• 証明は、$π(w_0v)$ に関する帰納法に依拠し、単体的複体におけるリンクおよび削除作用素を用いて、より小さい場合に帰着する。
• 主要な技術的道具は、Kostant–Kumarの再帰と、行列構成における本質的ボックスおよび小行列式に関する組合せ論的議論である。
• この方法により、グレブナー基底の先頭項が平方因子なし単項式であることが示され、それらはロシードラム上のパイプドリームに対応する。
• この構成は、KnutsonのKazhdan–Lusztig多様体の退化の一つを明示的に実現し、先行研究には存在しなかった方程式と座標を提供する。

実験結果

リサーチクエスチョン

• RQ1 Kazhdan–Lusztig理想に対して、シューベルト行列式理想を一般化するグレブナー基底を明示的に構成する方法は何か？
• RQ2 なぜパイプドリームは $n \times n$ グリッドではなく、ロシードラム上に自然に現れるのか？
• RQ3 グレブナー基底によるシューベルト多様体の幾何的退化は、シューベルト多様体とグロチェンディーク多項式の正値性および組合せ論的性質を説明できるか？
• RQ4 グレブナー基底は、Buch–RimányiおよびFomin–Kirillovの公式を含む同等K理論の公式をどのように統一するのか？
• RQ5 シューベルト多様体の多重度の公式において、斉次性と次数の役割は何か、特にグラスマン多様体の場合にはどうか？

主な発見

• 本稿では、平方因子なしの先頭項を持つKazhdan–Lusztig理想のグレブナー基底を構成し、座標部分多様体の非還元的和への一様な幾何的退化を提供する。
• この退化により、ロシードラム上でのパイプドリームの出現が幾何的に説明され、長年の組合せ論的問題が解決される。
• グレブナー基底は、シューベルト多様体の単項式正値性の新たな直接的証明を提供し、Knutson–Millerの結果を一般化する。
• この構成により、Buch–Rimányiの同等K理論の特殊化公式およびFomin–Kirillovの以前の公式が統一され、幾何的説明が得られる。
• グラスマン多様体の場合、明示的な多重度の公式が得られ、関連する理想が標準的次数に関して斉次であることが示される。
• 頂点分解と $w_0v$ の長さに関する帰納法に基づく証明技法により、Frobenius分解や反復的退化に依拠せずに、組合せ論的可換代数を用いてグレブナー基底が確立される。