[論文レビュー] A module for the Delta conjecture

Mike Zabrocki|arXiv (Cornell University)|Feb 24, 2019

Commutative Algebra and Its Applications参考文献 9被引用数 32

ひとこと要約

本稿では、可換な $x_i$、$y_i$ とGrassmann変数 $\theta_i$ の3セットの変数を持つ三重次数付き超対角コインバリアントモジュラス $M_n$ を提案する。このモジュラスの $qtz$-次数付きフロベニウス特徴は、デルタ予想の中心的役割を果たす対称関数式 $\Delta'_{e_{n-1} + z e_{n-2} + \cdots + z^{n-1}}(e_n)$ に等しいと予想されている。この予想は、$z=0$ の場合にハイマンの対角コインバリアントに関する定理を拡張し、デルタ予想の完全な表現論的モデルを提供する。計算ツールを用いた検証は $n=6$ まで行われている。

ABSTRACT

We define a module that is an extension of the diagonal harmonics and whose graded Frobenius characteristic is conjectured to be the symmetric function expression which appears in `the Delta conjecture' of Haglund, Remmel and Wilson [arXiv:1509.07058].

研究の動機と目的

• デルタ予想に現れる対称関数式をモデル化する三重次数付き $S_n$-モジュラス $M_n$ を構成すること。
• モジュラス $M_n$ の $qtz$-次数付きフロベニウス特徴が $\Delta'_{e_{n-1} + z e_{n-2} + \cdots + z^{n-1}}(e_n)$ に等しいと予想すること。
• 反可換な $\theta_i$ 変数を組み込むことで、ハイマンの対角コインバリアントに関する結果（$z=0$）を、デルタ予想の完全な形に拡張すること。
• デルタ予想における対称関数式のシュール正値性を表現論的枠組みで解釈すること。
• Macaulay2 および Sage を用いて、$n=6$ まで計算的にこの予想を検証すること。

提案手法

• 可換な $x_i$、$y_i$ とGrassmann変数 $\theta_i$（$\theta_i^2 = 0$、$\theta_i\theta_j = -\theta_j\theta_i$）を持つ多項式環 $R_n = \mathbb{Q}[x_1,\dots,x_n, y_1,\dots,y_n, \theta_1,\dots,\theta_n]$ を定義する。
• 正の整数 $r,s$ に対して $0 < r+s \leq n$ を満たす $p_{r,s} = \sum_{i=1}^n x_i^r y_i^s$ と、$0 \leq r'+s' < n$ を満たす $\tilde{p}_{r',s'} = \sum_{i=1}^n x_i^{r'} y_i^{s'} \theta_i$ を用いて、理想 $I_n$ を生成する。
• 商モジュラス $M_n = R_n / I_n$ を定義し、これは三重次数付きの超対角コインバリアントと呼ばれる。このモジュラスは $x_i$、$y_i$、$\theta_i$ における次数によって三重次数を有する。
• 三重次数付きフロベニウス像を $\mathcal{F}_{qtz}(M_n) = \sum_{a,b,c \geq 0} \sum_{\mu} q^a t^b z^c \chi_{M_n^{(a,b,c)}}(\mu) \frac{p_\mu}{z_\mu}$ と定義する。ここで $\chi_{M_n^{(a,b,c)}}(\mu)$ は、次数 $(a,b,c)$ の同次成分における $S_n$-作用のキャラクターである。
• 予想として $\mathcal{F}_{qtz}(M_n) = \Delta'_{e_{n-1} + z e_{n-2} + \cdots + z^{n-1}}(e_n)$ が成り立つこと。特に $z=0$ の場合にハイマンの対角コインバリアントに関する定理が回復され、既存の結果と整合性を持つ。
• Macaulay2 および Sage を用いた計算ツールを用いて、$n=6$ までこの予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 三重次数付きフロベニウス特徴 $\mathcal{F}_{qtz}(M_n)$ は、超対角コインバリアントモジュラス $M_n$ に対して、対称関数式 $\Delta'_{e_{n-1} + z e_{n-2} + \cdots + z^{n-1}}(e_n)$ に等しいか？
• RQ2 Grassmann変数 $\theta_i$ を三重次数付きモジュラスに組み込むことで、デルタ予想の完全な表現論的モデルが得られるか？
• RQ3 予想により示唆されるように、対称関数式 $\sum_{k=1}^n z^{k-1} \Delta'_{e_{n-k}}(e_n)$ はシュール正値か？
• RQ4 $z=0$ のとき、提案されたモジュラスはハイマンの対角コインバリアントをどのように一般化するか？
• RQ5 ホール＝リトルウッド展開における $t=0$ の場合が、予想される対称関数作用素の形を導く動機付けとして果たす役割は何か？

主な発見

• Macaulay2 および Sage を用いた計算的検証により、$n \leq 6$ に対して $\mathcal{F}_{qtz}(M_n) = \Delta'_{e_{n-1} + z e_{n-2} + \cdots + z^{n-1}}(e_n)$ という予想が成り立つことが確認された。
• 予想の特殊ケース $z=0$ は、ハイマンの対角コインバリアントに関する定理を回復し、既存の結果と整合性があることが確認された。
• モジュラス $M_n = R_n / I_n$ は $x_i$、$y_i$、$\theta_i$ における次数によって三重次数を有し、各同次成分 $M_n^{(a,b,c)}$ は対称群 $S_n$-モジュラス構造を持つ。
• 理想 $I_n$ は $p_{r,s}$ および $\tilde{p}_{r',s'}$ によって生成され、[OZ] の定理4.5が示唆するように、$R_n$ の $S_n$-不変部分環を代数的に生成する。
• フロベニウス特徴 $\mathcal{F}_{qtz}(M_n)$ は $S_n$-表現のキャラクターと対称関数を用いて定義され、$p_\mu / z_\mu$ の正規化が施されている。
• この予想により、デルタ予想における対称関数式の表現論的解釈が得られ、そのシュール正値性が示唆される。