[论文解读] Planar trees, free nonassociative algebras, invariants, and elliptic integrals

Vesselin Drensky, Ralf Holtkamp|ArXiv.org|Oct 2, 2007

Advanced Topics in Algebra参考文献 36被引用 15

一句话总结

本文利用带标签的约化平面根树研究由多重线性运算生成的自由非结合代数，证明其希尔伯特级数及在一般线性群作用下的不变量可由椭圆积分表示。研究发现，不变量代数通常不是有限生成的，其生成函数与希尔伯特级数通过包含三角函数和代数函数的积分表示被显式计算得出。

ABSTRACT

We consider absolutely free nonassociative algebras and, more generally, absolutely free algebras with (maybe infinitely) many multilinear operations. Such algebras are described in terms of labeled reduced planar rooted trees. This allows to apply combinatorial techniques to study their Hilbert series and the asymptotics of their coefficients. These algebras satisfy the Nielsen-Schreier property and their subalgebras are also free. Then, over a field of characteristic 0, we investigate the subalgebras of invariants under the action of a linear group, their sets of free generators and their Hilbert series. It has turned out that, except in the trivial cases, the algebra of invariants is never finitely generated. In important partial cases the Hilbert series of the algebras of invariants and the generating functions of their sets of free generators are expressed in terms of elliptic integrals.

研究动机与目标

• 使用如带标签的约化平面根树等组合结构研究具有无限多个多重线性运算的自由多算子代数。
• 分析自由 $Ω$-代数中系数的希尔伯特级数及其渐近行为。
• 研究在特征为 0 的情况下，线性群作用下不变子代数的结构。
• 确定不变量代数是否有限生成，并计算其希尔伯特级数。
• 使用椭圆积分和特殊函数表达自由生成元的生成函数及不变量的希尔伯特级数。

提出的方法

• 通过带标签的约化平面根树表示自由 $Ω$-代数，其中单项式对应树结构。
• 使用生成函数和积分变换计算自由代数及其不变量的希尔伯特级数。
• 应用 $GL_d(K)$ 和 $SL_d(K)$ 的表示理论，将 $KX$ 分解为不可约的 $GL_d(K)$-模。
• 利用包含特征标和三角函数的积分公式推导不变量的希尔伯特级数。
• 将 $K\{X\}_{\Omega}^{SL_d(K)}$ 的希尔伯特级数表示为 $[0,1]$ 上的二重积分，涉及正弦函数和舒尔函数。
• 利用 Almkvist、Dicks 和 Formanek 的已知结果，将他们对结合代数的工作推广至非结合 $Ω$-代数。

实验结果

研究问题

• RQ1 在自由 $Ω$-代数中，线性群作用下的不变子代数是否有限生成？
• RQ2 自由 $Ω$-代数中不变量的希尔伯特级数能否用特殊函数（如椭圆积分）表示？
• RQ3 不变量自由生成元的生成函数与底层平面树结构之间有何关系？
• RQ4 不变量的希尔伯特级数如何依赖于生成集 $X$ 的 $GL_d(K)$-模结构？
• RQ5 在非结合代数中，不变量希尔伯特级数的系数具有怎样的渐近行为？

主要发现

• 在所有非平凡情况下，自由 $Ω$-代数中的不变量代数均不是有限生成的。
• 不变量的希尔伯特级数以包含椭圆积分的积分形式表示，例如 $\int_0^1 \cos^2(\pi u) \left(1 - \sqrt{1 - 4z(1 + 2\cos(4\pi u))}\right) du$。
• 对于 $d=3$，不变量自由生成元的生成函数系数为 $z + 2z^2 + 8z^3 + 58z^4 + \cdots$，其中 $\delta$ 如 (26) 所示。
• 对于 $\Omega_n$（每个 $n \geq 2$ 有一个 $n$-元运算）的情形，不变量的希尔伯特级数为 $\frac{1}{2}\int_0^1 \cos^2(\pi u) f(2z\cos(2\pi u)) du$，其中 $f(t) = 1 + t - \sqrt{1 - 6t + t^2}$。
• $K\{X\}_{\Omega}$ 中 $SL_2(K)$-不变量的希尔伯特级数为 $\int_0^1 \sin^2(2\pi u) \left(1 - \sqrt{1 - 8z\sin(2\pi u)}\right) du$，为椭圆积分。
• $K\{X\}_{\omega}^{SL_2(K)}$ 的生成函数为 $z + 3z^2 + 21z^3 + 209z^4 + \cdots$，其系数快速增长，并与组合学中已知数列一致。