[論文レビュー] Ordered set partitions and the 0-Hecke algebra

Jia Huang, Brendon Rhoades|arXiv (Cornell University)|Nov 4, 2016

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

ひとこと要約

本稿は、Haglund, Rhoades, および Shimozono が定義した $R_{n,k}$ 商環の 0-ヘッケ代数版を導入し、$ℝ[℔ℑ}_n]$ の新たな商 $S_{n,k}$ を構成する。この商は 0-ヘッケ代数 $H_n(0)$ の次数付き作用を持つ。主な結果は、$S_{n,k}$ の 0-ヘッケ特徴が古典的 $R_{n,k}$ の次数付きフロベニウス特徴と一致することであり、対称群と 0-ヘッケ加群構造の間の深く予期せぬ関係を示している。

ABSTRACT

Let the symmetric group $\mathfrak{S}_n$ act on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The coinvariant algebra is the graded $\mathfrak{S}_n$-module $R_n := {\mathbb{Q}[\mathbf{x}_n]} / {I_n}$, where $I_n$ is the ideal in $\mathbb{Q}[\mathbf{x}_n]$ generated by invariant polynomials with vanishing constant term. Haglund, Rhoades, and Shimozono introduced a new quotient $R_{n,k}$ of the polynomial ring $\mathbb{Q}[\mathbf{x}_n]$ depending on two positive integers $k \leq n$ which reduces to the classical coinvariant algebra of the symmetric group $\mathfrak{S}_n$ when $k = n$. The quotient $R_{n,k}$ carries the structure of a graded $\mathfrak{S}_n$-module; Haglund et. al. determine its graded isomorphism type and relate it to the Delta Conjecture in the theory of Macdonald polynomials. We introduce and study a related quotient $S_{n,k}$ of $\mathbb{F}[\mathbf{x}_n]$ which carries a graded action of the 0-Hecke algebra $H_n(0)$, where $\mathbb{F}$ is an arbitrary field. We prove 0-Hecke analogs of the results of Haglund, Rhoades, and Shimozono. In the classical case $k = n$, we recover earlier results of Huang concerning the 0-Hecke action on the coinvariant algebra.

研究の動機と目的

• 対称群作用から 0-ヘッケ代数作用への $R_{n,k}$ 商環構成の拡張を図ること。
• 任意の体 $ℝ$ を用いて、0-ヘッケ代数 $H_n(0)$ に対して安定な新たな商 $S_{n,k} = \mathbb{F}[\mathbf{x}_n]/J_{n,k}$ を定義すること。
• Haglund, Rhoades, および Shimozono の $R_{n,k}$ 加群に関する結果の 0-ヘッケ版を証明すること。
• 0-ヘッケ作用の下で、$S_{n,k}$ と古典的コインバリアント代数 $R_n$ の構造的・表現論的類似性を調査すること。
• 恒等式 $\mathrm{Ch}_t(S_{n,k}) = \mathrm{grFrob}(R_{n,k};t)$ の謎を解明するための概念的説明を提示すること。

提案手法

• $R_{n,k}$ の構成に用いられる理想 $I_{n,k}$ の 0-ヘッケ版として、$\mathbb{F}[\mathbf{x}_n]$ の新たな斉次理想 $J_{n,k} \subseteq \mathbb{F}[\mathbf{x}_n]$ を定義し、0-ヘッケ代数作用に対して安定であることを保証する。
• 商環 $S_{n,k} = \mathbb{F}[\mathbf{x}_n]/J_{n,k}$ を構成し、これにより $H_n(0)$-加群としての次数付き構造を引き継ぐ。
• 0-ヘッケ特徴 $\mathrm{Ch}_t(S_{n,k})$ が次数付きフロベニウス特徴 $\mathrm{grFrob}(R_{n,k};t)$ に等しいことを証明し、重要な恒等式を確立する。
• 一般化された Garsia-Stanton の単項式や順序付き集合分割を用いた組合せ論的基底を用いて、$S_{n,k}$ の構造を分析する。
• $\Delta$ 猜想およびキラスミトリー的関数との関係を活用し、$S_{n,k}$ を対称関数論と結びつける。
• 構成を他の反映群へ一般化し、スプリンガー・ファイバーのコホロロジー環に対して 0-ヘッケ安定理想を定義する可能性を検討する。

実験結果

リサーチクエスチョン

• RQ1 0-ヘッケ代数版の $R_{n,k}$ 商環とは何か？ そして、これは古典的コインバリアント代数をどのように一般化するか？
• RQ2 なぜ $S_{n,k}$ の 0-ヘッケ特徴が $R_{n,k}$ の次数付きフロベニウス特徴と正確に一致するのか？ その恒等式の概念的説明は何か？
• RQ3 タンイサキ理想 $I_\lambda$ をどのように変更すれば、0-ヘッケ安定商 $\mathbb{F}[\mathbf{x}_n]/J_\lambda$ を定義でき、その特徴が双対ハル=リトルウッド多項式 $Q'_\lambda(\mathbf{x};t)$ に一致するか？
• RQ4 $S_{n,k}$ における 0-ヘッケ作用は、順序付き集合分割の組合せ論および $\Delta$ 猜想とどのように関係するか？
• RQ5 $\mathfrak{S}_n$ を超える他の複素反映群に対しても、$S_{n,k}$ の構成を拡張できるか？

主な発見

• 商 $S_{n,k} = \mathbb{F}[\mathbf{x}_n]/J_{n,k}$ は、$J_{n,k}$ が $I_{n,k}$ の 0-ヘッケ版として構成された 0-ヘッケ安定理想であるため、$H_n(0)$-加群としての次数付き構造を持つ。
• 0-ヘッケ特徴 $\mathrm{Ch}_t(S_{n,k})$ は恒等式 $\mathrm{Ch}_t(S_{n,k}) = \mathrm{grFrob}(R_{n,k};t)$ を満たし、これは $R_{n,k}$ の対称群フロベニウス特徴と一致する驚くべき深いつながりを示している。
• $k = n$ のとき、この構成は Huang が得た古典的コインバリアント代数 $R_n$ における 0-ヘッケ作用の結果を回復する。
• $S_{n,k}$ の次元は $k! \cdot \mathrm{Stir}(n,k)$ に等しく、$[n]$ を $k$ 個のブロックに分割する順序付き集合分割の数に一致する。この加群は、未次数付き $H_n(0)$-加群として $\mathcal{OP}_{n,k}$ 上の置換加群と同型である。
• $S_{n,k}$ の 0-ヘッケ加群は、$R_{n,k}$ の Garsia-Stanton 基底に類似した単項式基底を備え、置換と順序付き集合分割によってインデックス付けされる。
• 恒等式 $\mathrm{Ch}_t(S_{n,k}) = \mathrm{grFrob}(R_{n,k};t)$ はまだ概念的に説明されておらず、対称群と 0-ヘッケ表現の間のより深い代数的または組合せ論的双対性を示唆している。