[論文レビュー] Hall-Littlewood expansions of Schur delta operators at $t = 0$

James Haglund, Brendon Rhoades+1 more|arXiv (Cornell University)|Jan 24, 2018

Advanced Combinatorial Mathematics参考文献 12被引用数 19

ひとこと要約

本稿は、任意の分割 $\nu$ に対して $\omega\Delta'_{s_\nu}e_n$ のハル・リトルウッド展開を計算することにより、$t=0$ におけるデルタ予想の新しい代数的証明を提供する。その結果、$n$ の分割で $k$ 個の部品を持つものについて、$q^{\overline{b}(\mu)}\binom{k}{m(\mu)}_q$ による重み付けと双対ハル・リトルウッド基底 $Q'_\mu$ との積の和に等しいことが示される。この結果は、対称群表現の $\mathrm{Hom}$-空間を通じて解釈され、$t=0$ における予想の新しい幾何学的および表現論的理解が得られる。本研究は以前の結果を一般化し、スケーリング作用素と超幾何変換を用いた革新的な手法を提供する。

ABSTRACT

For any Schur function $s_ν$, the associated {\em delta operator} $Δ'_{s_ν}$ is a linear operator on the ring of symmetric functions which has the modified Macdonald polynomials as an eigenbasis. When $ν= (1^{n-1})$ is a column of length $n-1$, the symmetric function $Δ'_{e_{n-1}} e_n$ appears in the Shuffle Theorem of Carlsson-Mellit. More generally, when $ν= (1^{k-1})$ is any column the polynomial $Δ'_{e_{k-1}} e_n$ is the symmetric function side of the Delta Conjecture of Haglund-Remmel-Wilson. We give an expansion of $ωΔ'_{s_ν} e_n$ at $t = 0$ in the dual Hall-Littlewood basis for any partition $ν$. The Delta Conjecture at $t = 0$ was recently proven by Garsia-Haglund-Remmel-Yoo; our methods give a new proof of this result. We give an algebraic interpretation of $ωΔ'_{s_ν} e_n$ at $t = 0$ in terms of a $\mathrm{Hom}$-space.

研究の動機と目的

• 対称関数論とハル・リトルウッド基底を用いて、$t=0$ におけるデルタ予想の新しい代数的証明を提供すること。
• 既知の $\omega C_{n,k}$ の $t=0$ における展開を、$\nu = (1^{k-1})$ の場合に限らない任意のシュール関数 $s_\nu$ に一般化すること。
• $\omega\Delta'_{s_\nu}e_n|_{t=0}$ を対称群 $\mathfrak{S}_n$-モジュールの $\mathrm{Hom}$-空間の階数付きフロベニウス指標として表現論的に解釈すること。
• $\omega\Delta'_{s_\nu}e_n|_{t=0}$ とフラッグに類似た多様体 $X_{n,k}$ のボレル＝モーアホモロジーとの間に幾何的接続を確立すること。

提案手法

• 対称関数環 $\Lambda$ 上でのスケーリング作用素 $e_j^\perp$ を用いて、$\Delta'_{s_\nu}$ の作用を操作すること。
• ${}_3\phi_2$-超幾何変換を用いて、得られた対称関数の式を簡略化および評価すること。
• すべての分割 $\nu$ に対して、$\omega\Delta'_{s_\nu}e_n|_{t=0}$ のハル・リトルウッド展開を双対ハル・リトルウッド関数 $Q'_\mu$ を用いて計算すること。
• 得られた対称関数が、$W_{n,m}$ と呼ばれる階数付き $\mathfrak{S}_n$-モジュールにおける $\mathrm{Hom}_{{\mathfrak{S}}_n}(S^\nu, W_{n,m})$ のフロベニウス指標に等しいと特定すること。
• ポincare双対性とボレル＝モーアホモロジーを用いて、コホモロジー環 $R_{n,k}$ の反転を $\widetilde{R}_{n,k} \cong \mathbb{Q} \otimes \overline{H}_\bullet(X_{n,k})$ として解釈すること。
• $\mathbb{C}^k$ を生成する $\mathbb{C}^k$ 内の $n$ 個の直線の $n$-組からなる多様体 $X_{n,k}$ を構成し、$\mathfrak{S}_n$-作用を備えることで、コホモロジーをモジュールとして実現すること。

実験結果

リサーチクエスチョン

• RQ1 $\nu$ が $n$ の任意の分割であるとき、$t=0$ における $\omega\Delta'_{s_\nu}e_n$ のハル・リトルウッド展開は何か？
• RQ2 組合せ的統計ではなく、対称関数の技法と超幾何恒等式を用いて、$t=0$ におけるデルタ予想を再証明できるか？
• RQ3 対称群 $\mathfrak{S}_n$ の表現論的観点から、$\omega\Delta'_{s_\nu}e_n|_{t=0}$ はどのように解釈できるか？
• RQ4 コホモロジーが $\omega\Delta'_{s_\nu}e_n|_{t=0}$ のフロベニウス指標を実現するような幾何的多様体 $X_{n,\nu}$ は存在するか？
• RQ5 コホモロジー環の反転操作が、対称関数とボレル＝モーアホモロジーを結ぶ役割を果たすのはどのようなものか？

主な発見

• 本稿は、任意の分割 $\nu$ に対して $\omega\Delta'_{s_\nu}e_n|_{t=0} = \sum_{\mu \vdash n, \ell(\mu)=k} q^{\overline{b}(\mu)} \binom{k}{m(\mu)}_q Q'_\mu$ が成り立つことを確立し、以前の結果を一般化した。
• この結果により、$t=0$ におけるデルタ予想の新しい代数的証明が得られ、対称関数の恒等式と超幾何変換を用いて $\Delta'_{e_{k-1}}e_n|_{t=0} = C_{n,k}$ が確認された。
• $\omega\Delta'_{s_\nu}e_n|_{t=0}$ が、$W_{n,m}$ と呼ばれる反転コホモロジー環のテンソル積の直和である階数付き $\mathfrak{S}_n$-モジュール $W_{n,m}$ に対する $\mathrm{Hom}_{{\mathfrak{S}}_n}(S^\nu, W_{n,m})$ の階数付きフロベニウス指標に等しいことが示された。
• コホモロジー環 $R_{n,k} = \mathbb{Q}[x_1,\dots,x_n]/I_{n,k}$ は $H^\bullet(X_{n,k})$ に一致し、その反転 $\widetilde{R}_{n,k}$ はポincare双対性によりボレル＝モーアホモロジー $\overline{H}_\bullet(X_{n,k})$ に同型である。
• コホモロジーがデルタ予想の対称関数側のモジュール構造を実現する $\mathfrak{S}_n$-作用を備えた幾何的モデル $X_{n,k}$（$\mathbb{C}^k$ 内で $\mathbb{C}^k$ を生成する $n$ 個の直線の $n$-組）が構成された。
• 本研究は、任意の $\nu$ に対して $\omega\Delta'_{s_\nu}e_n|_{t=0}$ をフロベニウス指標として実現する一般の多様体 $X_{n,\nu}$ を構築するための枠組みを提供し、フラッグ多様体モデルを任意の $\nu$ に拡張した。