[论文解读] 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}$ 等於 $(-1)^{|\nu|-|\rho|-\rho|}$ 乘以形狀為 $\nu/\rho$ 且透過 jeu de taquin 矩陣化至超標準表 $S_{\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] 對 $OG(n,2n+1)$ 的 K-理論 Schubert 計數的猜想。
• 證明移位遞增表的 $K$-矩陣化過程具有良定義性與結合性，確保 Grothendieck 環中乘法結構的一致性。
• 將矩陣化過程的組合學與 $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)$ 的 Pieri 法則，確認特殊情形，此與矩陣化結果結合，可推導出完整猜想。
• 在 K-理論中運用對偶性與 Poincaré 對偶性論證，顯示邊界理想層 $[\rho X_{\rho}]$ 滿足 $[\rho X_{\rho}] = (1 - [{\frak O}_{(1)}]) [{\frak O}_{X_{\rho}}]$，支持 Schubert 基的對偶性。
• 依賴歸納論證與表填充中 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$-理論 Schubert 結構常數 $C_{\rho,\rho}^{\nu}$ 是否等於 $(-1)^{|\nu|-|\rho|-\rho|}$ 乘以能矩陣化至該表的表之數目，如猜想所示？
• RQ5 $K^0(OG(n,2n+1))$ 中 $[\frak O_{X_{\rho}}]$ 與 $[\rho X_{\rho}]$ 之間的對偶關係是否成立？此對偶關係如何支持 Schubert 基的對偶性？

主要发现

• 只要移位遞增表能矩陣化至超標準表，其 $K$-矩陣化過程即具有良定義性，且與 jeu de taquin 滑動順序無關。
• 在 Grothendieck 環 $K^0(OG(n,2n+1))$ 中，結構常數 $C_{\rho,\rho}^{\nu}$ 等於 $(-1)^{|\nu|-|\rho|-\rho|}$ 乘以形狀為 $\nu/\rho$ 且矩陣化至超標準表 $S_{\rho}$ 的移位遞增表之數目。
• 當 $\nu = \rho^{\bullet}$ 時（即移位階梯形），若 $\rho^{\bullet} = \rho^{\bullet}$ 則 $C_{\rho,\rho}^{\rho^{\bullet}} = 1$，否則為 0，此結果確認了一項對偶性條件。
• 該法則與 Buch 與 Ravikumar 最近證明的 Pieri 法則一致，從而確認了猜想的特殊情形。
• $K^0(OG(n,2n+1))$ 中的對偶關係 $[\rho X_{\rho}] = (1 - [{\frak O}_{(1)}]) [{\frak O}_{X_{\rho}}]$ 成立，支持 Schubert 基的對偶性。
• 本證明確立了 $OG(n,2n+1)$ 上 K-理論 Schubert 計數的首個完整 Littlewood-Richardson 法則，其適用範圍超越普通上同調理論。