[論文レビュー] The Poincaré series for the algebras of joint invariants and covariants of $n$ linear forms

Nadia Ilash|arXiv (Cornell University)|Apr 27, 2015

Advanced Algebra and Geometry被引用数 3

ひとこと要約

この論文は、$SL_2$ の作用の下で $n$ 個の線形二進型の共同不変量および共変量の代数のポアンカレ系列の明示的閉形式式を導出する。ナルヤナ多項式と母関数を用いて、これらの代数の超越次元および次数を計算し、$n \to \infty$ のとき、不変量代数 $Σ_n$ の次数が $∼ \frac{1}{2\sqrt{\pi n^3}}$ であり、共変量代数 $Σ_n$ の次数が $∼ \frac{1}{\sqrt{\pi n}}$ であることを示す。結果は組合せ的恒等式および留数に基づく級数展開から導かれる。

ABSTRACT

Explicit formulas for computation of the Poincaré series for the algebras of joint $SL_2$-invariants and covariants of $n$ linear forms in terms of Narayana polynomials are found. Also, for these algebras we calculate the degrees and asymptotic behavious of the degrees.

研究の動機と目的

• $SL_2$ の作用の下で $n$ 個の線形二進型の共同不変量および共変量の代数のポアンカレ系列の明示的閉形式式を導出すること。
• ポアンカレ系列を用いて、これらの代数の超越次元および次数を計算すること。
• $n \to \infty$ のとき、これらの代数の次数の漸近的挙動を特定すること。
• ポアンカレ系列とナルヤナ多項式やカタラン数などの組合せ的構造との関係を確立すること。

提案手法

• 微分作用素と母関数を用いてポアンカレ系列を導出し、以前の再帰的公式を閉形式に簡略化する。
• $\mathcal{I}_n$ のポアンカレ系列を $\frac{N_{n-2}(z^2)}{(1 - z^2)^{2n-3}}$、$\mathcal{C}_n$ のポアンカレ系列を $\frac{W_{n-1}(z^2) + n z N_{n-1}(z^2)}{(1 - z^2)^{2n-1}}$ と表現する。ここで $N_n(z)$ および $W_n(z)$ はナルヤナ多項式である。
• 広義のレ・ジャオ・シャオおよび二項係数の和に関する組合せ的恒等式を用いて、級数展開を簡略化する。
• 代数 $R$ の次数を計算するために、$\lim_{z \to 1} (1 - z)^r \mathcal{P}(R, z)$ の極限を適用する。ここで $r$ は超越次元である。
• 簡略化されたポアンカレ系列に $z = 1$ を代入し、留数を抽出することで、$\mathcal{I}_n$ および $\mathcal{C}_n$ の次数を評価する。
• カタラン数の漸近的解析を適用し、$n \to \infty$ のときの次数の主要項の挙動を導出する。

実験結果

リサーチクエスチョン

• RQ1 $n$ 個の線形二進型の共同不変量代数のポアンカレ系列の閉形式式は何か？
• RQ2 $n$ 個の線形二進型の共同共変量代数のポアンカレ系列の閉形式式は何か？
• RQ3 代数 $\mathcal{I}_n$ および $\mathcal{C}_n$ の超越次元は何か？
• RQ4 代数 $\mathcal{I}_n$ および $\mathcal{C}_n$ の正確な次数は何か？
• RQ5 $n \to \infty$ のとき、$\mathcal{I}_n$ および $\mathcal{C}_n$ の次数はどのように漸近的に振る舞うか？

主な発見

• 共同不変量代数 $\mathcal{I}_n$ のポアンカレ系列は $\mathcal{P}(\mathcal{I}_n, z) = \frac{N_{n-2}(z^2)}{(1 - z^2)^{2n-3}}$ であり、ここで $N_n(z)$ はナルヤナ多項式である。
• 共同共変量代数 $\mathcal{C}_n$ のポアンカレ系列は $\mathcal{P}(\mathcal{C}_n, z) = \frac{W_{n-1}(z^2) + n z N_{n-1}(z^2)}{(1 - z^2)^{2n-1}}$ であり、ここで $W_n(z)$ はタイプBのナルヤナ多項式である。
• $\mathcal{I}_n$ の超越次元は $2n - 3$、$\mathcal{C}_n$ の超越次元は $2n - 1$ であり、ポアンカレ系列における $z = 1$ における極の位数から決定される。
• $\mathcal{I}_n$ の次数は $\deg(\mathcal{I}_n) = \frac{1}{2^{2n-3}} \cdot \frac{1}{n-1} \binom{2n-4}{n-2}$ であり、これは $\frac{C_{n-2}}{2^{2n-3}}$ に簡略化され、ここで $C_k$ は $k$ 番目のカタラン数である。
• $\mathcal{C}_n$ の次数は $\deg(\mathcal{C}_n) = \frac{1}{2^{2n-2}} \binom{2n-2}{n-1} = \frac{C_{n-1}}{2^{2n-2}}$ であり、$C_k$ は $k$ 番目のカタラン数である。
• 漸近的に、$n \to \infty$ のとき $\deg(\mathcal{I}_n) \sim \frac{1}{2\sqrt{\pi n^3}}$ および $\deg(\mathcal{C}_n) \sim \frac{1}{\sqrt{\pi n}}$ となる。これはカタラン数の漸近的成長 $C_n \sim \frac{4^n}{n^{3/2}\sqrt{\pi}}$ から導かれる。