[論文レビュー] The $q$-analog of Kostant's partition function and the highest root of the classical Lie algebras

Pamela E. Harris, Erik Insko+1 more|arXiv (Cornell University)|Aug 31, 2015

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

ひとこと要約

本稿は、古典的リー代数 $B_r$、$C_r$、$D_r$ の最高根におけるコスタンツの分割関数の $q$-アナログの明示的生成関数および閉形式式を導出する。再帰関係と特徴方程式の根を用いて、$q$-依存の代数的関数による正確な多項式公式を提供し、重み多重度とリー代数の指数に関するコスタンツの結果を組合せ的アプローチで検証可能にする。

ABSTRACT

Kostant's partition function counts the number of ways to represent a particular vector (weight) as a nonnegative integral sum of positive roots of a Lie algebra. For a given weight the $q$-analog of Kostant's partition function is a polynomial where the coefficient of $q^k$ is the number of ways the weight can be written as a nonnegative integral sum of exactly $k$ positive roots. In this paper we determine generating functions for the $q$-analog of Kostant's partition function when the weight in question is the highest root of the classical Lie algebras of types $B$, $C$ and $D$.

研究の動機と目的

• 古典的リー代数 $B_r$、$C_r$、$D_r$ のタイプにおける最高根におけるコスタンツの分割関数の $q$-アナログの明示的生成関数を提供すること。
• 重み多重度のコスタンツの公式の計算的非実行性を克服するため、長さごとの正根分解の個数を追跡する $q$-アナログに焦点を当てる。
• 最高根とゼロ重みの $q$-重み多重度生成関数が、リー代数の指数 $e_i$ に対する $q^{e_i}$ の和に等しいというコスタンツの結果に対する、完全に組合せ的な証明の基盤を築くこと。
• 線形再帰を用いて、特に恒等写像の要素におけるウェイル交替集合上での $q$-分割関数の値の構造を特定すること、特に代数的係数をもつ線形再帰を解くこと。

提案手法

• 古典的リー代数における正根系の構造を用いて、生成関数 $\mathscr{P}_{B_r}(q)$、$\mathscr{P}_{C_r}(q)$、$\mathscr{P}_{D_r}(q)$ の再帰関係を導出する。
• 特徴方程式 $f_\lambda(q) = \lambda^2 - (2+2q+q^2)\lambda + (1+2q+q^2+q^3)$ の根 $\beta_1(q)$ と $\beta_2(q)$ が、閉形式解の基盤を形成することを特定する。
• 初期値 $\mathscr{P}_{B_2}(q)$、$\mathscr{P}_{B_3}(q)$ などを含む線形系を解き、$\beta_1(q)$ と $\beta_2(q)$ を用いて係数関数 $\alpha_1(q)$、$\alpha_2(q)$、$\gamma_1(q)$、$\gamma_2(q)$、$\delta_1(q)$、$\delta_2(q)$ を決定する。
• 最終的な公式を $\beta_1(q)$ と $\beta_2(q)$ の累乗の線形結合として表現し、$q^2 + 4$ の平方根を含む有理関数を係数に持つことにより、任意のランク $r$ に対して正確な評価が可能になる。
• 記号的代数を用いて初期ケースのための連立方程式系を解き、根号と $q$ に関する有理関数を含む閉形式式を導出する。
• 小規模な $r$ に対する既知の値（例：$\mathscr{P}_{B_2}(q) = q^3 + q^2 + q$ および $\mathscr{P}_{D_4}(q) = q^5 + 3q^4 + 6q^3 + 4q^2 + q$）との整合性を確認することで、再帰構造の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 タイプ $B_r$ リー代数における最高根におけるコスタンツの分割関数の $q$-アナログの明示的生成関数は何か？
• RQ2 $C_r$ および $D_r$ の最高根における $q$-分割関数の値は、$q$ に関する代数的関数の累乗の線形結合としてどのように表現できるか？
• RQ3 再帰に基づくアプローチにより、$B_r$、$C_r$、$D_r$ の古典的リー代数における $q$-アナログ分割関数の閉形式式を導出できるか？
• RQ4 $\beta_1(q)^{r-k}$ と $\beta_2(q)^{r-k}$ の線形結合において、$\mathscr{P}_{B_r}(q)$、$\mathscr{P}_{C_r}(q)$、$\mathscr{P}_{D_r}(q)$ を得るために必要な係数の関数形は何か？
• RQ5 小ランクにおける分割関数の初期値は、再帰と特徴方程式の根を用いて、全解の族をどのように決定するか？

主な発見

• タイプ $B_r$ における最高根における $q$-アナログの生成関数は、$r \geq 3$ に対して再帰 $\mathscr{P}_{B_r}(q) = (2+2q+q^2)\mathscr{P}_{B_{r-1}}(q) - (1+2q+q^2+q^3)\mathscr{P}_{B_{r-2}}(q)$ を満たし、初期値 $\mathscr{P}_{B_2}(q) = q^3 + q^2 + q$ および $\mathscr{P}_{B_3}(q) = q^5 + 2q^4 + 4q^3 + 3q^2 + q$ を有する。
• $\mathscr{P}_{B_r}(q)$ の閉形式式は $\alpha_1(q) \beta_1(q)^{r-2} + \alpha_2(q) \beta_2(q)^{r-2}$ である。ここで $\beta_1(q)$ と $\beta_2(q)$ は二次方程式 $\lambda^2 - (2+2q+q^2)\lambda + (1+2q+q^2+q^3)$ の根であり、$\alpha_1(q)$、$\alpha_2(q)$ は $\sqrt{q^2 + 4}$ を含む有理関数である。
• タイプ $C_r$ では、生成関数は $B_r$ と同じ再帰を満たし、$\mathscr{P}_{C_r}(q) = \gamma_1(q) \beta_1(q)^{r-1} + \gamma_2(q) \beta_2(q)^{r-1}$ である。ここで $\gamma_1(q) = \frac{q(q^2 + q\sqrt{q^2+4} + 4)}{2(q^2+4)}$ および $\gamma_2(q) = \frac{q(q^2 - q\sqrt{q^2+4} + 4)}{2(q^2+4)}$ であり、初期値 $\mathscr{P}_{C_1}(q) = q$ および $\mathscr{P}_{C_2}(q) = q^3 + q^2 + q$ から導出される。
• タイプ $D_r$ では再帰が $r \geq 6$ に対して成り立ち、$\mathscr{P}_{D_r}(q) = \delta_1(q) \beta_1(q)^{r-4} + \delta_2(q) \beta_2(q)^{r-4}$ である。ここで $\delta_1(q)$ と $\delta_2(q)$ は $\sqrt{q^2 + 4}$ を含む有理関数および $q$ の多項式で与えられる。
• $\alpha_1(q)$、$\alpha_2(q)$、$\gamma_1(q)$、$\gamma_2(q)$、$\delta_1(q)$、$\delta_2(q)$ の係数関数は、初期値と再帰から導かれた線形系を用いて明示的に計算され、全ランクで整合性が確認された。
• 各古典的タイプの完全な解は、$q$ の代数的関数で表現され、任意のランク $r$ における最高根における $q$-アナログ分割関数の正確な計算が可能になる。解の構造は、下位の根系の対称性を反映している。