[论文解读] Some implications of a conjecture of Zabrocki to the action of $S_{n}$ on polynomial differential forms

Nolan R. Wallach|arXiv (Cornell University)|Jun 27, 2019

Advanced Differential Equations and Dynamical Systems参考文献 2被引用 4

一句话总结

本文证明了 $S_n$-不变多项式微分形式由初等对称多项式及其外微分自由生成，并确定了商代数中最高双分次度。该结果证实了 Garsia 与 Romero 基于 Zabrocki 猜想所作的预测，为交错形式提供了基，并以调和多项式的导数形式刻画了调和微分形式的结构。

ABSTRACT

The symmetric group acts on polynomial differential forms on $\mathbb{R}^{n}$ through its action by permuting the coordinates. In this paper the $S_{n}% $-invariants are shown to be freely generated by the elementary symmetric polynomials and their exterior derivatives. A basis of the alternants in the quotient of the ideal generated by the homogeneous invariants of positive degree is given. In addition, the highest bigraded degrees are given for the quotient. All of these results are consistent with predictions derived by Garsia and Romero from a recent conjecture of Zabrocki.

研究动机与目标

• 验证 Zabrocki 猜想关于 $A/I$ 的三重分次 Hilbert 系数在 $S_n$ 作用于多项式微分形式时的后果。
• 证明 $S_n$-不变量在多项式微分形式代数中由初等对称多项式及其外微分自由生成。
• 在由正次数 $S_n$-不变量生成的理想之商中，为交错形式构造一个基。
• 计算商代数中的最高双分次度，并与 Garsia 和 Romero 的预测保持一致。

提出的方法

• 使用由交换变量 $x_i, y_i$ 和反对易变量 $\theta_i$ 生成的三重分次代数 $A$，其中 $S_n$ 通过置换指标对角作用。
• 定义 $I$ 为由正次数 $S_n$-不变量生成的理想，并分析商 $A/I$ 以提取 Hilbert 系数和双分次结构。
• 应用分解 $\Omega_n \cong \mathbb{R}[x_1,\dots,x_n] \otimes \wedge \mathbb{R}^n$ 以分离对称代数与 Grassmann 代数部分。
• 利用同构 $\mathbb{R}[x_1,\dots,x_n]^{S_n} \otimes H \to \mathbb{R}[x_1,\dots,x_n]$ 描述调和多项式的分解。
• 运用舒尔正交性与特征理论计算 $H \otimes \wedge \mathbb{R}^n$ 的双分次 Hilbert 系数，将其与 $S_n$ 的不可约表示关联。
• 应用 Cohen-Macaulay 代数与正则序列的结果，对商代数中元素的次数进行有界，特别是对由初等对称多项式导数生成的理想。

实验结果

研究问题

• RQ1 多项式微分形式的 $S_n$-不变子代数的结构是什么？
• RQ2 商代数 $\Omega_n / I$ 的双分次度如何与 Zabrocki 猜想相关？
• RQ3 能否显式构造出商中交错形式的基？
• RQ4 $S_n$-调和微分形式的最大总次数是多少，其结构如何？
• RQ5 $S_n$-调和微分形式的空间是否由调和多项式的外微分生成？

主要发现

• $S_n$-不变微分形式作为代数由初等对称多项式及其外微分自由生成。
• 在正次数不变量理想之商中，交错形式的基被显式构造。
• 商代数中的最高双分次度被确定，调和形式的最大总次数为 $\binom{n}{2}$。
• 总次数为 $\binom{n}{2}$ 的调和微分形式空间是二维的，由 $\Delta$ 和 $d\Delta$ 张成，其中 $\Delta$ 是 Vandermonde 行列式。
• $\mathbb{C}[x_1,\dots,x_n]/I$ 的 Hilbert 系数，其中 $I$ 由 $\partial_i h_k$ 生成，为 $(1 + q + \cdots + q^{k-2})^n$，这意味着次数 $d > n(k-2)$ 的齐次多项式属于 $I$。
• 证实了如下猜想： $S_n$-调和微分形式的空间由 $\sum_{k=0}^{n-1} \sum_{1 \leq j_1 < \cdots < j_k \leq n-1} d_{j_1} \cdots d_{j_k} H$ 张成，其中 $H$ 是 $S_n$-调和多项式空间。