[論文レビュー] 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$-不変多項式微分形式が基本対称多項式とその外微分によって自由に生成されることを証明し、正次数不変量のイデアルによる商における最高の双次数を特定している。これはガリアスとロメロによる予想を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$の三重次数ヒルベルト級数に与える影響を、$S_n$が多項式微分形式に作用する場合に検証すること。
• 多項式微分形式の代数における$S_n$-不変量が、基本対称多項式とその外微分によって自由に生成されることを証明すること。
• 正次数$S_n$-不変量が生成するイデアルの商における交代形式の基底を特定すること。
• 商代数における最高の双次数を計算し、ガリアスとロメロによる予想と整合性があることを確認すること。

提案手法

• 可換変数$x_i, y_i$と反可換変数$\theta_i$によって生成される三重次数代数$A$を用い、$S_n$が添え字を置換することで対角的に作用する。
• 正次数の$S_n$-不変量によって生成されるイデアル$I$を定義し、商$A/I$を分析することでヒルベルト級数と双次数構造を抽出する。
• 分解$\Omega_n \cong \mathbb{R}[x_1,\dots,x_n] \otimes \wedge \mathbb{R}^n$を用いて、対称代数とグラスマン代数の成分を分離する。
• $\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$の双次数ヒルベルト級数を計算し、$S_n$の非可約表現と関連付ける。
• Cohen-Macaulay代数と正則列の結果を応用し、特に基本対称多項式の導関数によって生成されるイデアルに対して、商における要素の次数を評価する。

実験結果

リサーチクエスチョン

• RQ1 多項式微分形式における$S_n$-不変部分代数の構造は何か？
• RQ2 商代数$\Omega_n / I$の双次数がZabrockiの予想とどのように関係しているか？
• RQ3 商における交代形式の基底を明示的に構成できるか？
• RQ4 調和微分形式の最大総次数は何か？ その構造は？
• RQ5 $S_n$-調和微分形式の空間は、調和多項式の外微分によって生成されるか？

主な発見

• 多項式微分形式における$S_n$-不変形式は、基本対称多項式とその外微分によって自由に生成される。
• 正次数不変量が生成するイデアルの商における交代形式の基底が明示的に構成された。
• 商代数における最高の双次数が特定され、調和形式の最大総次数が$\binom{n}{2}$であることが判明した。
• 総次数$\binom{n}{2}$の調和微分形式の空間は2次元であり、ヴァンデルモンド行列式$\Delta$と$d\Delta$によって張られる。
• $I$が$\partial_i h_k$によって生成されるとき、$\mathbb{C}[x_1,\dots,x_n]/I$のヒルベルト級数は$(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$-調和多項式の空間である。