[論文レビュー] Unique rectification in $d$-complete posets: towards the $K$-theory of Kac-Moody flag varieties

Rahul Ilango, Oliver Pechenik+1 more|arXiv (Cornell University)|May 6, 2018

Advanced Combinatorial Mathematics参考文献 23被引用数 2

ひとこと要約

本稿は、d-完全な半順序集合の広いクラスにおいて、一意な正規化目標（URTs）の存在を確立し、Kac-Moody旗多様体におけるK-理論的シューベルト構造定数の正の組合せ的規則を開発するための重要な一歩を示している。繰り返しの斜め和で構成される最小ラベル付き増加テーブルックスがURTsであることを証明することで、著者たちはKac-Moody同次空間におけるK-理論的Littlewood-Richardson型公式の予想的枠組みを築いた。

ABSTRACT

The jeu-de-taquin-based Littlewood-Richardson rule of H. Thomas and A. Yong (2009) for minuscule varieties has been extended in two orthogonal directions, either enriching the cohomology theory or else expanding the family of varieties considered. In one direction, A. Buch and M. Samuel (2016) developed a combinatorial theory of "unique rectification targets" in minuscule posets to extend the Thomas-Yong rule from ordinary cohomology to $K$-theory. Separately, P.-E. Chaput and N. Perrin (2012) used the combinatorics of R. Proctor's "$d$-complete posets" to extend the Thomas-Yong rule from minuscule varieties to a broader class of Kac-Moody structure constants. We begin to address the unification of these theories. Our main result is the existence of unique rectification targets in a large class of $d$-complete posets. From this result, we obtain conjectural positive combinatorial formulas for certain $K$-theoretic Schubert structure constants in the Kac-Moody setting.

研究の動機と目的

• Kac-Moody旗多様体のK-理論的シューベルト計算を、d-完全な半順序集合の jeu-de-taquinに基づく組合せ論と統一すること。
• d-完全な半順序集合が、minuscule半順序集合の拡張を超えてThomas-YongのK-理論的規則を拡張可能とするのに十分な一意な正規化目標（URTs）を備えているかどうかという未解決問題を解明すること。
• Λ-minuscule K-理論的シューベルト構造定数の予想的な正の組合せ的公式を構築するための組合せ的枠組みを確立すること。
• minuscule半順序集合からd-完全な半順序集合の広いクラスへとURTsの概念を、斜め和構成法を用いて一般化すること。

提案手法

• R. Proctorによるd-完全な半順序集合の分類（最小ラベル付き増加テーブルックスがURTsの候補として機能することを示す）。
• d-完全な半順序集合の順序理想における最小ラベル付き増加テーブルックスを、候補となるURTsとして適用する。
• A-chain URTs（Aは非循環的ノードの集合）の概念を用いて、正規化の一意性を一般化する。
• minuscule半順序集合の繰り返し斜め和における、非可約成分の数に関する帰納的推論を適用する。
• 順序理想と正規化回数から組み立てられる組合せ的K-理論環K(P)を構成し、Kac-Moody旗多様体のK(X)をモデル化する。
• minuscule半順序集合における正規化に関する先行研究に依拠し、d-完全な半順序集合の構造的性質を用いてそれを拡張する。

実験結果

リサーチクエスチョン

• RQ1 d-完全な半順序集合は、K-理論的Littlewood-Richardson規則を支えるのに十分な一意な正規化目標（URTs）を備えているか？
• RQ2 斜め和構成法を用いて、minuscule半順序集合から一般のd-完全な半順序集合へと一意な正規化目標（URTs）の性質を拡張できるか？
• RQ3 d-完全な半順序集合の順序理想における最小ラベル付き増加テーブルックスは、常に一意な正規化目標（URTs）か？
• RQ4 d-完全な半順序集合におけるURTsの存在は、Λ-minuscule K-理論的シューベルト構造定数の正の組合せ的公式を示唆するか？
• RQ5 d-完全な半順序集合の順序理想に基づいて定義された組合せ的K-理論環K(P)は、対応するKac-Moody旗多様体のK-理論をモデル化できるか？

主な発見

• 著者たちは、minuscule半順序集合の繰り返し斜め和における直線型のすべての最小ラベル付き増加テーブルックスが一意な正規化目標（URTs）であることを証明した。
• 10個以上のノードを持つ長方形、二重尾付きダイヤモンド、およびシフトステアレイスd-完全な半順序集合において、任意の順序理想における最小ラベル付きテーブルックスは一意な正規化目標（URTs）である。
• minuscule半順序集合の繰り返し斜め和として構成されるd-完全な半順序集合の任意の順序理想における最小ラベル付きテーブルックスは、一意な正規化目標（URTs）である。
• この結果は、このクラスの半順序集合について、予想1.1を確認し、Thomas-YongのK-理論的規則を拡張するための構造的根拠を提供する。
• このクラスにおけるURTsの存在は、組合せ的K-理論環K(P)が対応するKac-Moody旗多様体のK-理論をモデル化するとする予想を支持する。
• この枠組みにより、Kac-Moody旗多様体におけるΛ-minuscule K-理論的シューベルト構造定数の予想的正の公式が可能になる。