[論文レビュー] Multivariate Diagonal Coinvariant Spaces for Complex Reflection Groups

François Bergeron|arXiv (Cornell University)|May 22, 2011

Advanced Algebra and Geometry参考文献 8被引用数 8

ひとこと要約

本稿は、有限複素反射群 $W = G(m,p,n)$ に関連する多変数対角余不変空間の多重グレーディングヒルベルト級数に対して、一様でグローバルな公式を確立する。級数 $\mathscr{C}_W^{(r)}(\mathbf{q})$ は、$r$ に依存せず $W$ のみに依存する係数 $c_\mu$ を持つシュール正の展開 $\sum_{\mu} c_\mu s_\mu(\mathbf{q})$ を持つことが示され、$r \geq 1$ のすべての $r$ に対して有効である。これは、$r=1$ および $r=2$ の結果を一般の $r$ に拡張する長年の課題を解決する。主な洞察は、対角的調和多項式空間が自然な内積に関して直交補空間としてこの商を実現することであり、これによりシュール関数における $GL_r$-特徴の展開が可能になる。

ABSTRACT

For finite complex reflexion groups, we consider the graded $W$-modules of diagonally harmonic polynomials in $r$ sets of variables, and show that associated Hilbert series may be described in a global manner, independent of the value of $r$.

研究の動機と目的

• 複素反射群 $W = G(m,p,n)$ の対角余不変空間の多重グレーディングヒルベルト級数を、すべての $r \geq 1$ に対して一様かつグローバルに記述すること。
• 既知の $r=1$（古典的調和多項式）および $r=2$（最近の進展）の結果を、任意の $r$ にまで拡張すること。
• ヒルベルト級数 $\mathscr{C}_W^{(r)}(\mathbf{q})$ が、$r$ に依存しない係数 $c_\mu$ を持つシュール正の展開 $\sum_{\mu} c_\mu s_\mu(\mathbf{q})$ を持つことを示し、これによりすべての $r$ にわたる構造の統一を達成すること。
• 自然な内積に関して直交補空間を介して、対角余不変空間と対角的調和多項式空間との間に標準的同型を確立すること。
• 対称関数の恒等式と近似を用いて、フロベニウス特徴関数およびヒルベルト級数の低次の成分を計算するための枠組みを提供すること。

提案手法

• 対角余不変空間 $\mathscr{C}_W^{(r)}$ は、$r$ 組の $n$ 変数からなる多項式環 $\mathcal{R}_n^{(r)} = \mathbb{C}[X]$ を、$W$-不変で定数項を含まない多項式によって生成されるイデアル $\mathscr{I}_W^{(r)}$ で割った商として定義される。
• 対角的調和多項式空間 $\mathscr{H}_W^{(r)}$ は、すべての $f \in \mathscr{I}_W^{(r)}$ に対して $f(\partial X)(g(X)) = 0$ を満たす関数 $g(X)$ の解空間として定義される。ここで $f(\partial X)$ は、変数を偏微分演算子に置き換えた微分作用素である。
• 直交補空間同型が確立される：内積 $\langle f,g \rangle = f(\partial X)g(X)\big|_{X=0}$ に関して $\mathscr{H}_W^{(r)} = (\mathscr{I}_W^{(r)})^\perp$ であり、これにより単項式が直交基底をなす。
• $\mathscr{C}_W^{(r)}$ の $GL_r$-特徴は、$\mathbf{q} = (q_1,\ldots,q_r)$ に関して対称である多重グレーディングヒルベルト級数 $\mathscr{C}_W^{(r)}(\mathbf{q})$ と同一視され、シュール多項式 $s_\mu(\mathbf{q})$ の正の線形結合として展開される。
• $r$ に依存しない係数 $c_\mu$ が、$W$-作用の構造的解析と対称関数の恒等式を用いて、$W$ のみに依存することを示す。
• 低次の成分は、対称関数の恒等式（例：コーシーの恒等式 $h_n[\mathbf{x}\mathbf{y}] = \sum_{\lambda \vdash n} h_\lambda(\mathbf{x}) m_\lambda(\mathbf{y})$）および公式 $\mathscr{H}_n(\mathbf{w};\mathbf{q}) \simeq_n \frac{h_n[\mathbf{w} H(\mathbf{q})]}{h_n[H(\mathbf{q})]}$（$n$ 次まで正確に成り立つ）を用いて近似される。

実験結果

リサーチクエスチョン

• RQ1 複素反射群の対角余不変空間の多重グレーディングヒルベルト級数は、変数の組数 $r$ に依存しない一様な記述が可能か？
• RQ2 級数 $\mathscr{C}_W^{(r)}(\mathbf{q})$ のシュール多項式展開における係数は、$r$ の値にかかわらず一定のままであるか？
• RQ3 対角余不変空間と対角的調和多項式空間との間に、$GL_r$-加群構造を保存する標準的同型が存在するか？
• RQ4 対称関数の恒等式と近似を用いて、フロベニウス特徴関数およびヒルベルト級数の低次の成分を明示的に計算できるか？
• RQ5 $W = G(m,p,n)$ の対角余不変空間の構造は、すべての $r$ に対して普遍的なシュール正性を有するか？

主な発見

• 多重グレーディングヒルベルト級数 $\mathscr{C}_W^{(r)}(\mathbf{q})$ は、$r$ に依存せず $W = G(m,p,n)$ のみに依存する係数 $c_\mu$ を持つグローバルなシュール正の展開 $\sum_{\mu} c_\mu s_\mu(\mathbf{q})$ を持つ。これはすべての $r \geq 1$ に対して有効な統一的公式を提供する。
• 対角的調和多項式空間 $\mathscr{H}_W^{(r)}$ は、内積 $\langle f,g \rangle = f(\partial X)g(X)\big|_{X=0}$ に関して直交補空間を介して対角余不変空間 $\mathscr{C}_W^{(r)}$ と同型であり、単項式が直交基底をなすことが保証される。
• $r=1$ の場合、ヒルベルト級数は $\mathscr{H}_n(\mathbf{w};q,0,0,\ldots) = h_n[\mathbf{w}(1-q)^{-1}] \prod_{k=1}^n (1 - q^k)$ で与えられ、既知のケースを確認するとともに、$r > 1$ の基準を提供する。
• フロベニウス特徴関数の近似として $\mathscr{H}_n(\mathbf{w};\mathbf{q}) \simeq_n \frac{h_n[\mathbf{w} H(\mathbf{q})]}{h_n[H(\mathbf{q})]}$ が導出され、$\mathbf{q}$-次数 $\leq n$ のすべての項で正確に成り立つ。$\mathscr{H}_n(\mathbf{q})$ における $h_\mu$ の係数は $n$ の明示的な多項式表現を有する。
• $n=4$ の場合、4次近似により $\mathscr{H}_4(\mathbf{w};\mathbf{q}) \simeq S_4(\mathbf{w}) + (s_1 + s_2 + s_3)S_{31}(\mathbf{w}) + \cdots$ が得られ、$s_5 S_{211}(\mathbf{w})$ や $s_{41} S_{1111}(\mathbf{w})$ のような高次項を除き、低次の項において高い正確性を示す。
• この手法は $GL_r$-特徴にまで拡張可能であり、ヒルベルト級数をシュール正の組み合わせとして計算するための枠組みを提供する。係数 $c_\mu$ は $r$ に依存せず普遍的であり、$\mathscr{H}_W$ のすべての同型成分に対して普遍的なシュール正性を確認する。