[论文解读] Analogue of Sylvester-Cayley formula for invariants of $n$-ary form

Leonid Bedratyuk|arXiv (Cornell University)|Jul 2, 2008

Advanced Combinatorial Mathematics参考文献 5被引用 4

一句话总结

本文将二元型的西尔维斯特-凯利不变量公式推广至任意次数 $d$ 的 $n$-元型，利用威尔群作用与权重重数，提出一种基于特征的公式。关键结果将次数 $k$ 的不变量空间维数 $\nu_{n,d}(k)$ 表示为威尔群轨道上由正根半和 $\rho$ 衍生出的极大权的带符号和，其中系数为编码对称幂中权分布的线性丢番图方程组的非负整数解个数。

ABSTRACT

The number $ν_{n,d}(k)$ of linearly independed homogeneous invariants of degree $k$ for the $n$-ary form of degree $d$ is calculated.

研究动机与目标

• 将经典的二元型西尔维斯特-凯利公式推广至任意次数 $d$ 的 $n$-元型。
• 计算 $SL_n$ 作用于 $n$-元型时，齐次不变量空间在次数 $k$ 下的维数 $\nu_{n,d}(k)$。
• 利用涉及 $\mathfrak{sl}_n$ 的威尔群与权格的表示论技术，推导 $\nu_{n,d}(k)$ 的闭式公式。
• 将线性独立不变量的个数表示为威尔群元素上的带符号和，权重为编码权分布的方程组的非负整数解个数。

提出的方法

• 该方法使用对应于次数为 $d$ 的 $n$-元型的 $\mathfrak{sl}_n$-模 $A$ 的对称幂 $S^k(A)$ 的特征公式，其中 $A$ 是最高权为 $(d,0,\dots,0)$ 的基本表示。
• 应用威尔特征公式与威尔群作用，计算 $S^k(A)$ 中平凡表示的重数，该重数即为 $\nu_{n,d}(k)$。
• 公式通过对 $\mathfrak{sl}_n$ 的威尔群 $W$ 求和得到，每一项的权重为 $(-1)^{|s|}$，即群元素 $s$ 的符号，以及方程组的非负整数解个数 $c_{n,d}(k, (\rho - s(\rho))^*)$，该方程组编码了 $S^k(A)$ 中单项式的权。
• 该方程组以总次数 $k$、型的次数 $d$ 和权分量 $\mu_s = \omega_s(\alpha)$ 表达单项式的权，其中 $\alpha$ 是和为 $k$ 的非负整数多重指标。
• 数量 $c_{n,d}(k, \mu)$ 作为生成函数 $R_{n,d}$ 中 $t^k (q_1\cdots q_{n-1})^{kd/n}$ 的系数被计算，其中 $R_{n,d}$ 是所有满足 $|\mu| \leq d$ 的多重指标的乘积的逆。
• 最终公式将 $\nu_{n,d}(k)$ 表示为生成函数中 $t^k (q)^{kd/n}$ 的系数，该生成函数包含威尔群元素上的带符号和，每一项的权重为 $q^{(\rho - s(\rho))^*_{\omega}}$。

实验结果

研究问题

• RQ1 对于 $SL_n$ 作用于次数为 $d$ 的 $n$-元型时，齐次不变量空间在次数 $k$ 下的维数 $\nu_{n,d}(k)$ 是多少？
• RQ2 如何利用表示论将二元型的古典西尔维斯特-凯利公式推广至 $n$-元型？
• RQ3 $\mathfrak{sl}_n$ 的威尔群在计算基本 $\mathfrak{sl}_n$-模的对称幂中平凡表示重数时起什么作用？
• RQ4 如何利用线性丢番图方程组的非负整数解个数来计算 $A$ 的对称幂中的权重重数？
• RQ5 生成函数 $R_{n,d}$ 是否可用于通过系数提取系统性地计算 $\nu_{n,d}(k)$？

主要发现

• 次数为 $k$ 的 $n$-元型次数为 $d$ 的齐次不变量空间的维数 $\nu_{n,d}(k)$ 由公式 $\nu_{n,d}(k) = \sum_{s \in W} (-1)^{|s|} c_{n,d}\bigl(k, (\rho - s(\rho))^*\bigr)$ 给出，其中 $W$ 是 $\mathfrak{sl}_n$ 的威尔群，$\rho$ 是正根的半和，$c_{n,d}(k, \mu)$ 表示线性方程组的非负整数解个数。
• 当 $n=3$ 时，公式简化为 $\nu_{3,d}(k) = c_{3,d}(k,(0,0)) - 2c_{3,d}(k,(1,1)) - c_{3,d}(k,(2,2)) + c_{3,d}(k,(0,3)) + c_{3,d}(k,(3,0))$，与先前研究结果一致。
• 数量 $c_{n,d}(k, \mu)$ 作为生成函数 $R_{n,d} = \left( \prod_{|\mu| \leq d} (1 - t q_1^{\mu_1} \cdots q_{n-1}^{\mu_{n-1}}) \right)^{-1}$ 中 $t^k (q_1\cdots q_{n-1})^{kd/n}$ 的系数被计算。
• 该公式通过将 $S^k(A)$ 的特征表示为单项式的对称和，并利用威尔特征公式提取平凡表示的重数推导得出。
• 权 $\mu^*$ 是 $\mu$ 的威尔群轨道中唯一的极大权，确保最终求和中仅极大权参与。
• 该方法为任意 $n$、$d$ 和 $k$ 提供了一种系统且算法化的 $\nu_{n,d}(k)$ 计算方式，通过求解丢番图方程组并按威尔群元素的符号求和。