[論文レビュー] K-theory of minuscule varieties

Anders Skovsted Buch, Matthew J. Samuel|arXiv (Cornell University)|Jun 23, 2013

Advanced Combinatorial Mathematics参考文献 17被引用数 20

ひとこと要約

本稿は、最小増加テーブルを用いた $K$-的 jeu de taquin アルゴリズムにおける超標準テーブルの代わりに、最小増加テーブルを導入することにより、すべてのミニマル多様体における $K$-的シューベルト構造定数について、一様なリトルウッド＝リチャードソン則を確立する。主な貢献は、最小増加テーブルが一意の正規化目標であることを証明し、そのようなテーブルの個数を数える組合せ的公式が、グレイスマンイアン、直交グレイスマンイアン、および例外的多様体を含むすべてのミニマル型において一様に構造定数を計算可能であることを可能にする。

ABSTRACT

Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the main examples of Grassmannians of type A and maximal orthogonal Grassmannians it has the advantage that the tableaux to be counted can be recognized without reference to the jeu de taquin algorithm.

研究の動機と目的

• すべてのミニマル同調空間における $K$-的シューベルト構造定数のための一様な組合せ的則を求めるという長年の問題を解決すること。
• 超標準テーブルを含むトーマスとヨンの予想を、より強固で普遍的に有効な最小増加テーブルを用いた公式に置き換えること。
• ミニマル多様体における最小増加テーブルが $K$-的 jeu de taquin 正規化において一意の正規化目標であることを証明し、$K$-的 jeu de taquin 正規化の一貫性を保証すること。
• 型 A グレイスマンイアンおよび最大直交グレイスマンイアンについて、アルゴリズムに依存しない明示的なリトルウッド＝リチャードソン則を提供すること。
• 安定グロテンディーク多項式を通じて、$K$-的 $K$-クライン等価、jeu de taquin 等価、およびグロテンディーク環の幾何学的性質との関係を確立すること。

提案手法

• 単語およびテーブルにおける弱 $K$-クライン等価という新しい同値関係を導入し、ミニマル多様体の文脈に古典的 $K$-クライン等価を一般化する。
• jeu de taquin 同値類の標準的代表元として最小増加テーブルを定義し、それが一意の正規化目標として機能することを保証する。
• 任意のミニマル多様体について、形状 $\nu/\lambda$ のスケル形状を持つ増加テーブルの個数が、最小テーブル $M_\mu$ に正規化されることと、$K$-的構造定数 $c^\nu_{\lambda,\mu}$ が等しいことを証明する。
• 固定されたテーブルへの正規化とその行単語のヘッケ置換との間の双対写像を確立し、ヘッケ積を通じて組合せ論と $K$-理論を結びつける。
• 行単語がピエリ語である増加テーブル（ピエリテーブル）の概念を用いて、型 B のミニマル多様体における $K$-理論環 $\Gamma(\Delta)$ におけるピエリ則を導出する。
• 与えられた範囲 $[1,p]$ におけるピエリテーブルの集合が jeu de taquin スライドに関して閉じており、最小テーブル $M_{(p)}$ が一意の直線形状代表であることを活用し、ピエリ則を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべてのミニマル多様体における $K$-的シューベルト構造定数のための一様なリトルウッド＝リチャードソン則を定式化できるか？
• RQ2 トーマスとヨンの予想がフレーデンタール多様体で失敗する理由は何か？また、超標準テーブルに代わる代替の正規化目標は何か？
• RQ3 ミニマル多様体における最小増加テーブルは、$K$-的 jeu de taquin において常に一意の正規化目標か？
• RQ4 型 A および最大直交グレイスマンイアンにおいて、$K$-的リトルウッド＝リチャードソン則を jeu de taquin アルゴリズムに依存せずに表現できるか？
• RQ5 最大直交グレイスマンイアンの $K$-理論環における要素 $B_w = \sum_\lambda b_{w,\lambda} G_\lambda$ の幾何学的・代数的意義は何か？

主な発見

• 任意のミニマル多様体における $K$-的シューベルト構造定数 $c^\nu_{\lambda,\mu}$ は、$K$-的 jeu de taquin において最小増加テーブル $M_\mu$ に正規化される、スケル形状 $\nu/\lambda$ の増加テーブルの個数に等しい。
• ミニマル多様体における最小増加テーブルは、一意の正規化目標である。これは、その jeu de taquin 同値類内に同じ最小テーブルに正規化される他のテーブルが存在しないことを意味する。
• 型 A グレイスマンイアンでは、jeu de taquin アルゴリズムを必要としないリトルウッド＝リチャードソン則の版が提供され、代わりにテーブルの行単語のヘッケ置換に依存する。
• 形状 $\nu/\lambda$ の増加テーブル $T$ の個数で、$w(T) = w^{-1}$ を満たすもの（ここで $w(T)$ は $T$ の行単語のヘッケ積）は、$\mathcal{O}_\nu$ の $\mathcal{O}_\lambda \cdot G_w$ における係数を表す。
• 型 B の固定範囲 $[1,p]$ におけるピエリテーブルの集合は、1つの jeu de taquin 同値類を形成し、最小テーブル $M_{(p)}$ は一意の直線形状代表であるため、$\Gamma(\Delta)$ における新しいピエリ則が導かれる。
• 予想 7.10 では、単語 $\mathbf{u}$ と $\mathbf{v}$ が弱 $K$-クライン等価であることと、$\mathbf{u}^\dagger\mathbf{u}$ と $\mathbf{v}^\dagger\mathbf{v}$ が $K$-クライン等価であることとが同値であると示唆しており、これはテーブルが一意の正規化目標であるための必要十分条件（その平方がその同値類内で唯一の対称的かつ直線形状のテーブルである）を示唆する。