[论文解读] Poincare series of some pure and mixed trace algebras of two generic matrices

Dragomir Ž. Djoković|arXiv (Cornell University)|Sep 9, 2006

Advanced Topics in Algebra参考文献 9被引用 5

一句话总结

本文计算了特征为零的域上两个通用 $n \times n$ 矩阵的纯迹代数和混合迹代数的庞加莱级数，将已知的 $n \leq 4$ 的结果扩展到 $n = 5$ 和 $n = 6$。它为 $C_{4,2}$ 和 $C_{5,2}$ 构造了极小生成集，其中后者包含 173 个双齐次多项式，并将结果应用于复矩阵的酉相似性问题，同时提出了关于庞加莱级数分子与分母的五个猜想。

ABSTRACT

We work over a field K of characteristic zero. The Poincare series for the algebra C_{n,2} of GL_n-invariants and the algebra T_{n,2} of GL_n-concomitants of two generic n x n matrices x and y are presented for n less than or equal 6. Both simply graded and bigraded cases are included. The cases for n at most 4 were known previously. If n=5 or 6, we show that C_{n,2} has no bigraded system of parameters. For the algebra C_{4,2} and C_{5,2} we construct a minimal set of generators and give an application to Specht's theorem on unitary similarity of two complex matrices. Five conjectures are proposed concerning the numerators and denominators of various Poincare series mentioned above. Some heuristic formulas and open problems are stated.

研究动机与目标

• 计算 $n \leq 6$ 时两个通用 $n \times n$ 矩阵的 ${\rm GL}_n$-不变量和协变量代数 $C_{n,2}$ 与 $T_{n,2}$ 的庞加莱级数。
• 为 $C_{4,2}$ 构造一个由 $x$ 和 $y$ 中字词迹组成的极小生成集，并将其应用于 $4 \times 4$ 复矩阵的酉相似性检验。
• 为 $C_{5,2}$ 构造一个极小生成集，该集合由 173 个具有特定对称性质的双齐次多项式组成。
• 将 ${\rm GL}_n$-作用扩展至 ${\rm GL}_n \times {\rm GL}_2$，并计算 ${\rm GL}_n \times {\rm SL}_2$ 和 ${\rm GL}_n \times \Delta_1$ 子群作用下不变量的庞加莱级数，其中 $\Delta_1$ 是 ${\rm SL}_2$ 的极大环面。
• 提出关于各种庞加莱级数的最简形式分子与分母的五个猜想，并基于观察到的模式提出启发式公式与开放问题。

提出的方法

• 使用表示论与计算技术，对 $n = 5,6$ 的 $C_{n,2}$ 和 $T_{n,2}$ 计算了双分次与单分次庞加莱级数，建立在已知的 $n \leq 4$ 结果之上。
• 应用普罗塞伊的定理，即 $C_{n,d}$ 由矩阵 $x_1, \dots, x_d$ 中字词的迹生成，重点研究形如 ${\rm tr}(w(x,y))$ 的迹，其中 $w$ 是两个字母的字词。
• 使用计算代数方法，为 $C_{4,2}$（32 个生成元）和 $C_{5,2}$（173 个生成元）构造极小生成集，分析其对称类型：对称、反对称及成对生成元。
• 通过识别 $M_n^2 \cong M_n \otimes K^2$，将 $M_n^2$ 上的 ${\rm GL}_n$-作用扩展为 ${\rm GL}_n \times {\rm GL}_2$，并计算 ${\rm GL}_n \times {\rm SL}_2$ 和 ${\rm GL}_n \times \Delta_1$ 作用下不变量的庞加莱级数。
• 分析庞加莱级数 $P(T_{n,2};t)$ 中系数序列 $d_{n,2}(k)$ 的结构，观察其模式，并推导出 $P(T_{\infty,2};t)$ 和 $P(T_{\infty,\infty};t_1,t_2,\dots)$ 的启发式公式。
• 基于计算所得级数中观察到的模式，提出关于庞加莱级数有理形式的猜想，特别是其分子与分母的最低次项。

实验结果

研究问题

• RQ1 对于 $n = 5$ 和 $n = 6$，两个通用 $n \times n$ 矩阵的纯迹代数 $C_{n,2}$ 与混合迹代数 $T_{n,2}$ 的庞加莱级数是什么？
• RQ2 对于 $n = 5$ 和 $n = 6$，双分次代数 $C_{n,2}$ 是否存在双分次参数系？若不存在，原因是什么？
• RQ3 能否仅使用 $x$ 和 $y$ 中字词的迹来构造 $C_{4,2}$ 的极小生成集？该生成集如何用于测试 $4 \times 4$ 复矩阵的酉相似性？
• RQ4 $C_{5,2}$ 的极小生成集的结构与大小如何？其生成元在对称、反对称及成对形式中如何分布？
• RQ5 对于 $n \leq 5$，${\rm GL}_n \times {\rm SL}_2$ 和 ${\rm GL}_n \times \Delta_1$ 作用下不变量的庞加莱级数是什么？可从中得出哪些模式或猜想？

主要发现

• 对 $n = 5,6$ 的 $T_{n,2}$ 的庞加莱级数进行了显式计算，系数 $d_{n,2}(k)$ 列表至 $k = 19$，显示出随着 $n$ 增大，复杂度明显上升。
• 对于 $n = 5$ 和 $n = 6$，代数 $C_{n,2}$ 没有双分次参数系，如命题 2.1 所示。
• 为 $C_{4,2}$ 构造的极小生成集包含 32 个形如 ${\rm tr}(w(x,y))$ 的生成元，该集合用于推导出仅使用 20 个字词（去除共轭对后）的 $4 \times 4$ 复矩阵酉相似性检验方法。
• 为 $C_{5,2}$ 构造的极小生成集包含 173 个双齐次多项式：5 个对称，4 个反对称，以及 164 个成对出现的形式 $\{f(x,y), f(y,x)\}$。