[論文レビュー] Quantum Grothendieck Polynomials

Cristian Lenart, Toshiaki Maeno|ArXiv.org|Aug 9, 2006

Advanced Mathematical Identities参考文献 25被引用数 9

ひとこと要約

この論文は、旗多様体 $Fl_n$ の量子K理論の統一的枠組みとして、量子グロテンジエック多項式を導入する。これは、グロテンジエック多項式および量子シューベルト多項式の両方を一般化する。著者たちは、因数分解性を有する新しい量子化写像を用い、これらの多項式が量子K理論におけるシューベルト類を表すと予想し、Gromov-Witten型の量子K不変量の計算を可能にするモノ型乗法公式を導出する。

ABSTRACT

Quantum K-theory is a K-theoretic version of quantum cohomology, which was recently defined by Y.-P. Lee. Based on a presentation for the quantum K-theory of the classical flag variety Fl_n, we define and study quantum Grothendieck polynomials. We conjecture that they represent Schubert classes (i.e., the natural basis elements) in the quantum K-theory of Fl_n, and present strong evidence for this conjecture. We describe an efficient algorithm which, if the conjecture is true, computes the quantum K-invariants of Gromov-Witten type for Fl_n. Two explicit constructions for quantum Grothendieck polynomials are presented. The natural generalizations of several properties of Grothendieck polynomials and of the quantum Schubert polynomials due to Fomin, Gelfand, and Postnikov are proved for our quantum Grothendieck polynomials. For instance, we use a quantization map satisfying a factorization property similar to the cohomology quantization map, and we derive a Monk-type multiplication formula. We also define quantum double Grothendieck polynomials and derive a Cauchy identity. Our constructions are considerably more complex than those for quantum Schubert polynomials. In particular, a crucial ingredient in our work is the Pieri formula for Grothendieck polynomials due to the first author and Sottile.

研究の動機と目的

• 量子シューベルト多項式の理論を、量子グロテンジエック多項式を定義することによって、量子K理論へと拡張すること。
• $Fl_n$ におけるGromov-Witten型の量子K不変量を計算するための組合せ的枠組みを提供すること。
• 量子グロテンジエック多項式が $Fl_n$ の量子K理論環におけるシューベルト類を表すと予想すること。
• グロテンジエック多項式および量子シューベルト多項式の重要な性質（モノ型公式やコーシー恒等式など）を、量子K理論の文脈に一般化すること。

提案手法

• 量子K理論の $QK(Fl_n)$ の提示に基づいて導出された新しい量子化写像を用い、古典的グロテンジエック多項式の像として量子グロテンジエック多項式を定義する。
• 量子変形と整合性を持つ、コhomologyの量子化写像に類似した因数分解性を有する量子化写像を導入する。
• 量子版を構成する上で、グロテンジエック多項式のピエリ公式を重要な要素とする。
• 対称群 $S_n$ 上の量子ブルアットグラフにおける経路を用いて、モノ型乗法公式を構築し、古典的および量子シューベルト多項式の結果を一般化する。
• 量子ダブルグロテンジエック多項式を定義し、コーシー恒等式を導出することで、対称関数論を量子K理論の文脈へと拡張する。
• シューベルト類の表現に関する予想に基づき、Gromov-Witten型の量子K不変量を計算するためのアルゴリズムを構築する。

実験結果

リサーチクエスチョン

• RQ1 量子グロテンジエック多項式は、$Fl_n$ の量子K理論環におけるシューベルト類を表すか？
• RQ2 量子ブルアットグラフを用いて、量子グロテンジエック多項式に対してモノ型乗法公式を導出できるか？
• RQ3 量子グロテンジエック多項式は、グロテンジエック多項式および量子シューベルト多項式の性質をどのように一般化するか？
• RQ4 量子ダブルグロテンジエック多項式の構造は何か？また、それらに対してコーシー恒等式が成り立つか？
• RQ5 シューベルト類の表現に関する予想が成り立つと仮定した場合、このフレームワークを用いて $Fl_n$ におけるGromov-Witten型の量子K不変量を計算できるか？

主な発見

• $n=5$ の場合、最大の量子グロテンジエック多項式は1959項を数え、古典的グロテンジエック多項式の40項、量子シューベルト多項式の57項を大きく上回り、はるかに豊かな構造を示している。
• 量子グロテンジエック多項式に対してモノ型乗法公式が導出され、古典的グロテンジエック多項式の公式および量子シューベルト多項式の公式の両方を一般化している。
• 量子グロテンジエック多項式が $QK(Fl_n)$ におけるシューベルト類を表すという予想は、モノ型公式の整合性および因数分解性といった強力な証拠によって支持されている。
• $QK(Fl_n)$ の完全な提示に基づき、因数分解性を満たす新しい量子化写像が構成され、これにより従来の構成とは明確に区別される。
• 量子ダブルグロテンジエック多項式はコーシー恒等式を満たし、古典的対称関数恒等式が量子K理論の文脈へと拡張されている。
• シューベルト類の表現に関する予想が成り立つと仮定した場合、Gromov-Witten型の量子K不変量を計算するためのアルゴリズムが提案されている。