[논문 리뷰] Analogue of Sylvester-Cayley formula for invariants of $n$-ary form

Leonid Bedratyuk|arXiv (Cornell University)|2008. 07. 02.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 4

한 줄 요약

이 논문은 이항 형식의 불변량에 대한 Sylvester-Cayley 공식을 $n$-항 형식의 차수 $d$로 일반화하며, Weyl 군 작용과 무게 중복도를 사용한 문자 기반 공식을 제공한다. 주요 결과는 $\mathfrak{sl}_n$의 양의 루트의 반합 $\rho$에서 유도된 극대 무게의 Weyl 군 궤도를 따라 부호가 붙은 합으로 표현된 차수-$k$ 불변량의 차원 $\nu_{n,d}(k)$를 제시하며, 계수는 대칭 표현의 무게 분포를 코딩하는 선형 디오판틴 방정식계의 음이 아닌 정수 해의 수로 주어진다.

ABSTRACT

The number $ν_{n,d}(k)$ of linearly independed homogeneous invariants of degree $k$ for the $n$-ary form of degree $d$ is calculated.

연구 동기 및 목표

• $SL_n$의 $n$-항 형식에 대한 작용에 대해 이항 형식의 고전적 Sylvester-Cayley 공식을 임의의 차수 $d$의 $n$-항 형식으로 확장한다.
• $SL_n$의 작용에 대해 $n$-항 형식의 차수 $d$에 대한 동차 불변량 공간의 차원 $\nu_{n,d}(k)$를 계산한다.
• $\mathfrak{sl}_n$의 Weyl 군과 무게 격자 표현 이론 기법을 사용하여 $\nu_{n,d}(k)$의 닫힌 형식 공식을 유도한다.
• 선형 독립 불변량의 수를 Weyl 군 원소 위에서의 가중된 부호 합으로 표현하며, 무게 분포를 코딩하는 방정식계의 음이 아닌 정수 해의 수로 가중치를 부여한다.

제안 방법

• 이 방법은 $n$-항 형식의 차수 $d$에 대응하는 $\mathfrak{sl}_n$-모듈 $A$의 대칭 표현 $S^k(A)$의 문자 공식을 사용한다. 여기서 $A$는 최고 무게 $(d,0,\dots,0)$를 가진 기본 표현이다.
• Weyl 문자 공식과 Weyl 군 작용을 적용하여 $S^k(A)$에서 자명 표현의 중복도를 계산하며, 이는 $\nu_{n,d}(k)$와 같다.
• 공식은 $\mathfrak{sl}_n$의 Weyl 군 $W$를 따라 합을 구하며, 각 항은 $(-1)^{|s|}$, 즉 군 원소 $s$의 부호와, 선형 디오판틴 방정식계의 음이 아닌 정수 해의 수인 $c_{n,d}(k, (\rho - s(\rho))^*)$로 가중된다.
• 이 방정식계는 $S^k(A)$의 단항식의 무게를 총 차수 $k$, 형식의 차수 $d$, 그리고 무게 성분 $\mu_s = \omega_s(\alpha)$로 표현하며, 여기서 $\alpha$는 합이 $k$가 되는 음이 아닌 정수의 다중지표이다.
• $c_{n,d}(k, \mu)$는 생성함수 $R_{n,d}$에서 $t^k (q_1\cdots q_{n-1})^{kd/n}$의 계수로 계산되며, 이는 $|\mu| \leq d$인 모든 다중지표에 대한 곱의 역수이다.
• 최종 공식은 $\nu_{n,d}(k)$를 $t^k (q)^{kd/n}$의 계수로 표현하며, Weyl 군 원소 위에서의 부호 합을 포함한 생성함수를 통해 표현되며, 각 항은 $q^{(\rho - s(\rho))^*_{\omega}}$로 가중된다.

실험 결과

연구 질문

• RQ1 $SL_n$의 작용에 대해 $n$-항 형식의 차수 $d$에 대한 동차 불변량 공간의 차수 $k$의 차원 $\nu_{n,d}(k)$는 무엇인가?
• RQ2 표현 이론을 사용하여 이항 형식의 고전적 Sylvester-Cayley 공식을 어떻게 $n$-항 형식으로 일반화할 수 있는가?
• RQ3 $\mathfrak{sl}_n$의 Weyl 군이 기본 $\mathfrak{sl}_n$-모듈의 대칭 표현에서 자명 표현의 중복도를 계산하는 데 어떤 역할을 하는가?
• RQ4 선형 디오판틴 방정식계의 음이 아닌 정수 해의 수는 어떻게 대칭 표현의 무게 중복도를 계산하는 데 사용될 수 있는가?
• RQ5 생성함수 $R_{n,d}$는 계수 추출을 통해 $\nu_{n,d}(k)$를 체계적으로 계산하는 데 사용될 수 있는가?

주요 결과

• $n$-항 형식의 차수 $d$에 대해 동차 불변량 공간의 차수 $k$의 차원 $\nu_{n,d}(k)$는 $\nu_{n,d}(k) = \sum_{s \in W} (-1)^{|s|} c_{n,d}\bigl(k, (\rho - s(\rho))^*\bigr)$로 주어지며, 여기서 $W$는 $\mathfrak{sl}_n$의 Weyl 군, $\rho$는 양의 루트의 반합이며, $c_{n,d}(k, \mu)$는 선형 방정식계의 음이 아닌 정수 해의 수이다.
• $n=3$인 경우 공식은 $\nu_{3,d}(k) = c_{3,d}(k,(0,0)) - 2c_{3,d}(k,(1,1)) - c_{3,d}(k,(2,2)) + c_{3,d}(k,(0,3)) + c_{3,d}(k,(3,0))$로 간소화되며, 이는 이전 연구에서 알려진 결과와 일치한다.
• $c_{n,d}(k, \mu)$는 생성함수 $R_{n,d} = \left( \prod_{|\mu| \leq d} (1 - t q_1^{\mu_1} \cdots q_{n-1}^{\mu_{n-1}}) \right)^{-1}$에서 $t^k (q_1\cdots q_{n-1})^{kd/n}$의 계수로 계산된다.
• 공식은 $S^k(A)$의 문자를 단항식 위의 대칭 합으로 표현하고, Weyl 문자 공식을 사용하여 자명 표현의 중복도를 추출함으로써 유도된다.
• $\mu^*$는 $\mu$의 Weyl 군 궤도에 속한 유일한 극대 무게이므로, 최종 합에서 극대 무게만 기여한다.
• 이 방법은 주어진 $n$, $d$, $k$에 대해 디오판틴 방정식계를 풀고 부호가 붙은 Weyl 군 원소 위에서 합을 구하는 체계적이고 알고리즘적인 방법을 제공한다.