[논문 리뷰] Some implications of a conjecture of Zabrocki to the action of $S_{n}$ on polynomial differential forms

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

Advanced Differential Equations and Dynamical Systems참고 문헌 2인용 수 4

한 줄 요약

이 논문은 $S_n$-불변 다항식 미분형식이 기본 대칭 다항식과 그 외부 도함수들에 의해 자유롭게 생성됨을 증명하고, 양의 차수의 불변형식으로 생성된 아이디얼에 대한 몫에서의 최고 이중차수를 규명한다. 이는 Zabrocki의 추측에 기반한 Garsia와 Romero의 예측을 확인하며, 대칭형식의 조화 미분형식의 구조를 조화 다항식의 도함수들로 기술하는 기반을 제공한다.

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의 추측이 다항식 미분형식의 $S_n$ 작용에 대한 삼중차수 Hilbert 급수 $A/I$에 미치는 영향을 검증하는 것.
• 다항식 미분형식 대수에서 $S_n$-불변형식이 기본 대칭 다항식과 그 외부 도함수들에 의해 자유롭게 생성됨을 증명하는 것.
• 양의 차수의 $S_n$-불변형식으로 생성된 아이디얼의 몫에서의 대칭형식(Alternants)에 대한 기저를 결정하는 것.
• 몫 대수에서의 최고 이중차수를 계산하고, Garsia와 Romero의 예측과의 일致성을 확인하는 것.

제안 방법

• 서로 가환하는 변수 $x_i, y_i$와 반가환 변수 $\theta_i$로 생성되는 삼중차수 대수 $A$를 사용하며, $S_n$은 인덱스를 순열시켜 대각적으로 작용한다.
• 양의 차수의 $S_n$-불변형식으로 생성된 아이디얼 $I$를 정의하고, 몫 $A/I$를 분석하여 Hilbert 급수와 이중차수 구조를 추출한다.
• 다항식 대수의 분해 $\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]$의 동형을 활용한다.
• Schur 수직성과 특징 이론을 적용하여 $H \otimes \wedge \mathbb{R}^n$의 이중차수 Hilbert 급수를 계산하고, 이를 $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}$인 조화 미분형식의 공간은 두 차원이며, $\Delta$와 $d\Delta$에 의해 생성되며, 여기서 $\Delta$는 바르드모인 딜레르트 행렬식이다.
• $I$가 $\partial_i h_k$로 생성된 경우, $\mathbb{C}[x_1,\dots,x_n]/I$의 Hilbert 급수는 $(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$-조화 다항식의 공간이다.