[論文レビュー] Affine Springer fibers of type A and combinatorics of diagonal coinvariants

Tatsuyuki Hikita|arXiv (Cornell University)|Mar 27, 2012

Algebraic structures and combinatorial models参考文献 7被引用数 11

ひとこと要約

本稿は、正則半単純 nil 楕円的元に関連する型 $A$ のアフィン・スプリンガー・ファイバーのボレル＝ムーアホモロジーを用いて、$q,t$-Catalan および対角コインvariant 予想の中心的役割を果たす組合せ的対称関数 $D^{u}_n(z;q)$ の幾何的実現を確立する。このホモロジー・モジュールの二重次数フロベニウス級数が $q$-変形されたシュール関数と一致することを証明し、$D^{u}_n(z;q)$ のシュール正定性の新たな幾何的証明を提供するとともに、Haglund らの対角コインvariant 環のフロベニウス級数の組合せ的展開に関する予想を裏付ける。

ABSTRACT

We calculate the Borel-Moore homology of affine Springer fibers of type $A$ associated to some regular semisimple nil elliptic elements. As a result, we obtain bigraded $\mf{S}_{n}$-modules whose bigraded Frobenius series are generalization of the symmetric functions introduced by Haglund, Haiman, Loehr, Remmel, and Ulyanov.

研究の動機と目的

• Haglund, Haiman, Loehr, Remmel, Ulyanov が対角コインvariant の文脈で導入した対称関数 $D^\nu_n(z;q)$ の幾何的解釈を提供すること。
• 型 $A$ のアフィン・スプリンガー・ファイバーのボレル＝ムーアホモロジーと $q,t$-Catalan 組合せ論の間の関係を確立すること。
• 幾何的表現論を用いて $D^\nu_n(z;q)$ のシュール正定性を証明し、対角コインvariant 理論における予想の新たな証明を提供すること。
• 幾何的手法を用いて、対角コインvariant 環 $DR_n$ の二重次数フロベニウス級数の予想的な組合せ的公式を検証すること。

提案手法

• 本稿は、$\mathfrak{sl}_n(\mathbb{C})[[\epsilon]]$ 内の正則半単純 nil 楕円的元 $v$ に関連するアフィン・スプリンガー・ファイバー $\hat{\mathcal{B}}_v$ を、$v$ を含むイワホリ部分代数を用いて研究する。
• 射影 $\pi: \hat{\mathcal{B}} \to X$ による像 $X_v \subset \text{Gr}_{SL_n}$ に、分割 $\lambda \subset \delta_n$ でパラメトライズされるセルを持つアフィンパビングを構成する。
• セル $\pi^{-1}(C_{\lambda})$ の逆像のボレル＝ムーアホモロジーが、二重次数 $\mathfrak{S}_n$-モジュール構造をもち、そのフロベニウス級数が $D^\nu_n(z;q)$ と関係することを示す。
• 主な技術的ステップは、ルート系のデータとワイル群のアフィン根への作用を用いて、半標準テーブルの $d$-反転数を数えることである。
• 証明は、アフィンパビング構造とホモロジー次数への $\mathfrak{S}_n$-作用の整合性を用いて、$H^{BM}_*(\hat{\mathcal{B}}_v)$ 上のフィルトレーションを定義する。
• 主結果は、フロベニウス級数をハル＝リトルウッド対称関数とペアリングし、$\omega$-双対性と $q$-変形を用いて組合せ的公式と比較することで得られる。

実験結果

リサーチクエスチョン

• RQ1 組合せ的対称関数 $D^\nu_n(z;q)$ は、対角コインvariant 環のフロベニウス級数を展開すると予想されているが、これをどのように幾何的に実現できるか？
• RQ2 型 $A$ のアフィン・スプリンガー・ファイバーのボレル＝ムーアホモロジーと $q,t$-Catalan 組合せ論の間の明確な関係は何か？
• RQ3 $D^\nu_n(z;q)$ のシュール正定性は、LLT 多項式ではなく幾何的表現論を用いて確立できるか？
• RQ4 アフィン・スプリンガー・ファイバーのホモロジーの二重次数フロベニウス級数は、$DR_n$ の予想的な公式の $q$-変形と一致するか？
• RQ5 半標準テーブルの $d$-反転数は、アフィンワイル群におけるルート系のデータとどのように対応するか？

主な発見

• アフィン・スプリンガー・ファイバー $\hat{\mathcal{B}}_v$ のボレル＝ムーアホモロジーの二重次数フロベニウス級数は、$q^{m\binom{n}{2} + \frac{(n-1)(b-1)}{2}} \omega D_n(z; q^{-1}, t)$ で与えられ、対角コインvariant 環と直接的な関係を確立する。
• 各セル $\pi^{-1}(C_{\lambda})$ のホモロジーは、二重次数 $\mathfrak{S}_n$-モジュール構造を持ち、そのフロベニウス級数は $q^{m\binom{n}{2} + \frac{(n-1)(b-1)}{2}} \omega D^\lambda(z; q^{-1})$ に一致する。これにより、$D^\lambda(z;q)$ のシュール正定性が証明される。
• 形状 $\lambda + (1^n)/\lambda$ の半標準テーブル $T$ の $d$-反転数は、アフィンルート系における特定の整数性および正性条件を満たす負のルート $\alpha$ の数に正確に一致する。
• $X_v$ のアフィンパビングは、$H^{BM}_*(\hat{\mathcal{B}}_v)$ 上のフィルトレーションを誘導し、その関連する順次モジュールのフロベニウス級数は $q,t$-変形された予想的公式と一致する。
• 証明は、$D^\lambda(z;q)$ が対称的であること、すなわち $\mathfrak{S}_n$-不変量と $\omega$-双対性による不変性によって確認される事実に依存している。
• 本結果は、元の予想的証明で用いられた LLT 多項式理論とは独立した、$D^\lambda(z;q)$ のシュール正定性の新たな幾何的証明を提供する。