[論文レビュー] K-theoretic Schubert calculus for OG(n,2n+1) and jeu de taquin for shifted increasing tableaux

Edward Clifford, Hugh Thomas+1 more|Archipelago (Université du Québec à Montréal)|Feb 8, 2010

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

ひとこと要約

この論文は、奇数直交グラスマン多様体 $OG(n,2n+1)$ の $K$-理論に対して、Littlewood-Richardson則を証明する。構造定数 $C_{\rho,\rho}^{\nu}$ は、$\nu/\rho$ の形をしたシフトされた増加テーブルックスのうち、 jeu de taquin を用いて超標準テーブルックス $S_{\rho}$ にリキャクテーション可能なものの個数に、$(-1)^{|\nu|-|\rho|-|\rho|}$ を乗じたものに等しい。主な貢献は、シフトされた増加テーブルックスに対する $K$-リキャクテーションの定義可能性と結合則の証明であり、[Thomas-Yong '09] の予想を確認する。

ABSTRACT

We present a proof of a Littlewood-Richardson rule for the K-theory of odd orthogonal Grassmannians OG(n,2n+1), as conjectured in [Thomas-Yong '09]. Specifically, we prove that rectification using the jeu de taquin for increasing shifted tableaux introduced there, is well-defined and gives rise to an associative product. Recently, [Buch-Ravikumar '09] proved a Pieri rule for OG(n,2n+1) that [Feigenbaum-Sergel '09] showed confirms a special case of the conjecture. Together, these results imply the aforementioned conjecture.

研究の動機と目的

• 奇数直交グラスマン多様体 $OG(n,2n+1)$ の $K$-理論に対する完全な Littlewood-Richardson則を確立し、通常のコホモロジーを超えて拡張すること。
• シフトされた増加テーブルックスに対する jeu de taquin を用いて、[Thomas-Yong '09] の $K$-理論的シューベルト計算に関する予想を解明すること。
• シフトされた増加テーブルックスの $K$-リキャクテーションが定義可能で結合的であることを証明し、グロテンディーク環における一貫した積構造を保証すること。
• リキャクテーションの組合せ論と $K^0(OG(n,2n+1))$ の構造定数 $C_{\rho,\rho}^{\nu}$ を結びつけることで、完全に明示的な則を提供すること。

提案手法

• シフトされた増加テーブルックスに対する $K$-リキャクテーションを、jeu de taquin を用いて形式化し、古典的なリキャクテーションを $K$-理論的設定に一般化する。
• jeu de taquin アルゴリズムを用いて、スケルタルなシフトテーブルックスを直線形状に変換するリキャクテーションプロセスを定義し、最終的なテーブルックスは超標準的フィリングである。
• $K$-リキャクテーションを用いて、構造定数 $C_{\rho,\rho}^{\nu}$ を、$S_{\rho}$ にリキャクテーション可能なテーブルックスの符号付き個数として定義する。符号は $|\nu| - |\rho| - |\rho|$ の差に依存する。
• Buch と Ravikumar が最近得た $OG(n,2n+1)$ におけるピエリ則を活用し、特殊ケースを確認する。これに加え、リキャクテーションの結果から、予想の完全な証明が導かれる。
• $K$-理論における双対性とペイオナーデュアルティーの議論を用い、境界イデアル層 $[\rho X_{\rho}]$ が $[\rho X_{\rho}] = (1 - [{\frak O}_{(1)}]) [{\frak O}_{X_{\rho}}]$ を満たすことを示し、シューベルト基底の双対性を支持する。
• 特定の条件下で、リキャクテーションの一意性と定義可能性を示すために、帰納的議論とテーブルックスのフィリングにおける LIS（最長増加部分列）の性質に依存する。

実験結果

リサーチクエスチョン

• RQ1 シフトされた増加テーブルックスに対する $K$-リキャクテーションプロセスは、jeu de taquin スライドの順序に依存せず、定義可能であるか？
• RQ2 形状 $\nu/\rho$ のシフトされた増加テーブルックスのうち、超標準テーブルックス $S_{\rho}$ にリキャクテーション可能なものの個数は、正しい $K$-理論的構造定数 $C_{\rho,\rho}^{\nu}$ を与えるか？
• RQ3 シフトされた増加テーブルックスの jeu de taquin とリキャクテーションを用いて、$OG(n,2n+1)$ の $K$-理論的 Littlewood-Richardson則を完全に確立できるか？
• RQ4 $K$-理論的シューベルト構造定数 $C_{\rho,\rho}^{\nu}$ は、予想通り $(-1)^{|\nu|-|\rho|-|\rho|}$ を乗じた、そのようなリキャクテーション可能なテーブルックスの個数に等しいか？
• RQ5 $K^0(OG(n,2n+1))$ における $[\frak O_{X_{\rho}}]$ と $[\rho X_{\rho}]$ の双対性は成り立つか？ そして、これはシューベルト基底の双対性をどのように支持するか？

主な発見

• 任意のシフトされた増加テーブルックスの $K$-リキャクテーションは、超標準テーブルックスにリキャクテーションできる限り、jeu de taquin スライドの順序に依存せず、定義可能である。
• $K^0(OG(n,2n+1))$ のグロテンディーク環における構造定数 $C_{\rho,\rho}^{\nu}$ は、$(-1)^{|\nu|-|\rho|-|\rho|}$ を乗じた、形状 $\nu/\rho$ のシフトされた増加テーブルックスで、超標準テーブルックス $S_{\rho}$ にリキャクテーション可能なものの個数に等しい。
• $\nu = \rho^{\bullet}$（シフトされた階段形）の場合、$C_{\rho,\rho}^{\rho^{\bullet}} = 1$ が $\rho^{\bullet} = \rho^{\bullet}$ のとき成り立ち、それ以外では 0 である。これは双対性条件を確認する。
• この則は Buch と Ravikumar が最近証明したピエリ則と整合しており、予想の特殊ケースを確認する。
• $K^0(OG(n,2n+1))$ において、双対性関係 $[\rho X_{\rho}] = (1 - [{\frak O}_{(1)}]) [{\frak O}_{X_{\rho}}]$ が成り立つ。これはシューベルト基底の双対性を支持する。
• 本証明により、$OG(n,2n+1)$ における $K$-理論的シューベルト計算の完全な最初の Littlewood-Richardson則が確立され、通常のコホモロジーを超えて有効である。