[論文レビュー] Proof of Stasinski and Voll's Hyperoctahedral Group Conjecture

Aaron Landesman|arXiv (Cornell University)|Aug 29, 2014

Advanced Combinatorial Mathematics参考文献 3被引用数 3

ひとこと要約

この論文は、ハイパーオクタヘドラル群 $B_n$ の商における L-統計量の符号付き生成関数に関する、Stasinski と Voll の予想を証明し、すべての商について積公式を確立する。再帰構造と符号反転置換を用いて項をキャンセルすることで、生成関数が有理関数の積公式と一致することを示し、対称行列の Poincaré 多項式および表現ゼータ関数への応用がある。

ABSTRACT

In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this conjecture for a few special types of quotients. We prove this conjecture in full, showing it holds for all quotients. In the case of signed permutations with at most one descent, this formula gives the Poincare polynomials for the varieties of symmetric matrices of a fixed rank.

研究の動機と目的

• ハイパーオクタヘドラル群 $B_n$ のすべての商について、Stasinski と Voll の L-統計量の符号付き分布に関する完全な予想を証明すること。
• この生成関数と固定ランクの $\mathbb{F}_q$ 上の $n \times n$ 対称行列の Poincaré 多項式との間の関係を確立すること。
• 結果が Brenti と Carnevale が述べる表現ゼータ関数における恒等式の正当性を示すこと。
• 2変数版の生成関数を一般化し、$0 \in I$ のとき $tX + 1$ が整除するという条件を予想すること。

提案手法

• L-統計量を $B_n$ 上で、$i < j$, $w(i) > w(j)$, かつ $i \not\equiv j \pmod{2}$ を満たすペア $(i,j)$ の数の半分として定義し、符号付きの単位元からの距離（逆数の異なる奇偶性のインデックス）を測定する。
• $n$ に関する帰納法を用いて、生成関数 $\sum_{w \in B_n^{I^c}} (-1)^{l(w)} X^{L(w)}$ が、積公式 $f_{n,I}(X)$ と同じ再帰的関係を満たすことを証明する。
• 項をキャンセルするために「スワップ」と呼ばれる符号反転置換を導入し、和のサポートを「初期にキャンセルされない」および「最終的にキャンセルされない」要素に削減する。
• 初期にキャンセルされない要素および最終的にキャンセルされない要素を、特定のスワップ操作に関して不動点として特徴づけ、これらの集合の間の双対写像を構成して再帰的関係を検証する。
• $B_n$ のコクセター群構造（下降集合 $D(w)$ および標準生成子 $s_i$）を活用し、$l(w)$ および $L(w)$ の再帰的挙動を分析する。
• 記号 $f_{n,I}(X) = \frac{(\underline{n})!}{(\underline{i_1})! \cdot \prod_{k=1}^l (\underline{\delta_k})!!}$ を用い、$\delta_k = i_{k+1} - i_k$ および $\underline{n} = 1 - X^n$（$n > 0$）で、$\underline{0} = 1$ とする。

実験結果

リサーチクエスチョン

• RQ1 すべての $I \subset [n-1]_0$ に対して、符号付き生成関数 $\sum_{w \in B_n^{I^c}} (-1)^{l(w)} X^{L(w)}$ が積公式 $f_{n,I}(X)$ に等しいか。
• RQ2 L-統計量の $B_n^{I^c}$ 上の分布は、再帰的構造と符号反転置換を用いて完全に特徴づけられるか。
• RQ3 この生成関数と固定ランクの $\mathbb{F}_q$ 上の $n \times n$ 対称行列の Poincaré 多項式との間の関係は何か。
• RQ4 2変数生成関数 $\sum_{w \in B_n^{I^c}} t^{l(w)} X^{L(w)}$ が、$0 \in I$ であるときかつそのときに限り $tX + 1$ で割り切れるか。
• RQ5 $D(w)$ および商構造 $B_n^{I^c}$ は、生成関数の再帰的分解にどのように影響するか。

主な発見

• Stasinski と Voll の予想は完全に証明された：すべての $n \in \mathbb{N}$ およびすべての $I \subset [n-1]_0$ に対して、$\sum_{w \in B_n^{I^c}} (-1)^{l(w)} X^{L(w)} = f_{n,I}(X)$ が成り立つ。
• 生成関数は、$\underline{n} = 1 - X^n$ および偶数添え字の二重階乗で定義される有理関数の積公式 $f_{n,I}(X)$ と一致する。
• 高々1つの下降をもつ符号付き置換に対して、この公式は $\mathbb{F}_q$ 上の $n \times n$ 対称行列の、固定ランクの多様体の Poincaré 多項式を与える。
• この結果は、[5, 系 5.5] における恒等式の正当性を示し、表現ゼータ関数における以前未解決であった関係を確認する。
• $0 \in I$ のとき、2変数生成関数 $\sum_{w \in B_n^{I^c}} t^{l(w)} X^{L(w)}$ は $tX + 1$ で割り切れることが、$w_{1,1} = \pm 1$ を満たす要素に対する置換によって示された。
• 2変数生成関数が $tX + 1$ で割り切れるための必要十分条件は $0 \in I$ であるという予想は、$n \leq 6$ についての計算的検証によって裏付けられているが、一般の証明は未解決のままである。