[논문 리뷰] Poincare series of some pure and mixed trace algebras of two generic matrices

Dragomir Ž. Djoković|arXiv (Cornell University)|2006. 09. 09.

Advanced Topics in Algebra참고 문헌 9인용 수 5

한 줄 요약

이 논문은 특성 0인 체 위의 두 일반적 $n \times n$ 행렬의 순수 및 혼합 추적 대수에 대한 Poincaré 급수를 계산하며, 이는 기존의 $n \leq 4$에 대한 결과를 $n = 5$ 및 $n = 6$로 확장한다. $C_{4,2}$와 $C_{5,2}$에 대해 최소 생성집합을 구성하며, 후자는 173개의 이형태 다항식으로 이루어져 있고, 복소 행렬의 유니터리 동치성에 응용을 제공한다. 또한 Poincaré 급수의 분자와 분모에 대한 다섯 가지 추측을 제기한다.

ABSTRACT

We work over a field K of characteristic zero. The Poincare series for the algebra C_{n,2} of GL_n-invariants and the algebra T_{n,2} of GL_n-concomitants of two generic n x n matrices x and y are presented for n less than or equal 6. Both simply graded and bigraded cases are included. The cases for n at most 4 were known previously. If n=5 or 6, we show that C_{n,2} has no bigraded system of parameters. For the algebra C_{4,2} and C_{5,2} we construct a minimal set of generators and give an application to Specht's theorem on unitary similarity of two complex matrices. Five conjectures are proposed concerning the numerators and denominators of various Poincare series mentioned above. Some heuristic formulas and open problems are stated.

연구 동기 및 목표

• $n \leq 6$에 대해 두 일반적 $n \times n$ 행렬의 ${\rm GL}_n$-불변량과 동반량인 대수 $C_{n,2}$ 및 $T_{n,2}$에 대한 Poincaré 급수를 계산하는 것.
• $C_{4,2}$에 대한 최소 생성집합을 $x$와 $y$에 대한 단어의 추적으로 구성하고, 이를 $4 \times 4$ 복소 행렬의 유니터리 동치성에 적용하는 것.
• $C_{5,2}$에 대한 최소 생성집합을 구성하며, 이는 특정 대칭 성질을 가진 173개의 이형태 다항식으로 이루어진다.
• ${\rm GL}_n$-작용을 ${\rm GL}_n \times {\rm GL}_2$로 확장하고, ${\rm GL}_n \times {\rm SL}_2$ 및 ${\rm GL}_n \times \Delta_1$의 부분군에 대한 불변량에 대한 Poincaré 급수를 계산하는 것, 여기서 $\Delta_1$는 ${\rm SL}_2$의 최대 토루스이다.
• 다양한 Poincaré 급수의 기약 분수 형태에 대한 다섯 가지 추측을 제안하고, 분자와 분모의 최저차항에 대한 힌트를 제시하며, 개방 문제를 제기하는 것.

제안 방법

• $n = 5,6$에 대해 $C_{n,2}$ 및 $T_{n,2}$에 대한 이중부등급 및 단순부등급 Poincaré 급수를 계산하며, $n \leq 4$에 대한 기존 결과를 바탕으로 표현 이론적 및 계산 기법을 사용한다.
• Procesi의 정리에 따라 $C_{n,d}$가 행렬 $x_1, \dots, x_d$에 대한 단어의 추적으로 생성된다는 점을 활용하며, 주로 두 문자에 대한 단어 $w$에 대한 ${\rm tr}(w(x,y))$ 형태의 추적에 집중한다.
• 계산 대수 기법을 사용하여 $C_{4,2}$ (32개 생성자) 및 $C_{5,2}$ (173개 생성자)에 대한 최소 생성집합을 구성하고, 대칭형, 반대칭형, 쌍형 생성자에 대한 대칭 유형을 분석한다.
• ${\rm GL}_n$-작용을 $M_n^2$에서 ${\rm GL}_n \times {\rm GL}_2$로 확장하며, $M_n^2 \cong M_n \otimes K^2$로 식별하고, ${\rm GL}_n \times {\rm SL}_2$ 및 ${\rm GL}_n \times \Delta_1$의 불변량에 대한 Poincaré 급수를 계산한다.
• Poincaré 급수 $P(T_{n,2};t)$의 계수 수열 $d_{n,2}(k)$의 구조를 분석하며, 패턴을 관찰하고 $P(T_{\infty,2};t)$ 및 $P(T_{\infty,\infty};t_1,t_2,\dots)$에 대한 힌트 공식을 유도한다.
• 계산된 급수에서 관찰된 패턴을 바탕으로 Poincaré 급수의 유리수 형태에 대한 추측을 제안하며, 특히 분자와 분모의 최저차항에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 $n = 5$ 및 $n = 6$에 대해 두 일반적 $n \times n$ 행렬의 순수 및 혼합 추적 대수 $C_{n,2}$ 및 $T_{n,2}$에 대한 Poincaré 급수는 무엇인가?
• RQ2 $n = 5$ 및 $n = 6$에 대해 이중부등급 대수 $C_{n,2}$는 이중부등급 매개변수 체계를 갖는가? 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ3 $C_{4,2}$에 대한 최소 생성집합을 $x$와 $y$에 대한 단어의 추적으로 구성할 수 있으며, 이를 어떻게 사용하여 $4 \times 4$ 복소 행렬의 유니터리 동치성을 테스트할 수 있는가?
• RQ4 $C_{5,2}$에 대한 최소 생성집합의 구조와 크기는 무엇이며, 생성자들은 대칭형, 반대칭형, 쌍형으로 어떻게 분포되어 있는가?
• RQ5 ${\rm GL}_n \times {\rm SL}_2$ 및 ${\rm GL}_n \times \Delta_1$의 작용에 대한 불변량에 대한 Poincaré 급수는 $n \leq 5$일 때 무엇이며, 이들에서 관찰되는 패턴이나 추측은 무엇인가?

주요 결과

• $T_{n,2}$에 대한 Poincaré 급수는 $n = 5,6$에 대해 명시적으로 계산되었으며, 계수 $d_{n,2}(k)$는 $k = 19$까지 표로 제시되었으며, $n$이 증가함에 따라 복잡도가 뚜렷이 증가하는 경향을 보였다.
• $n = 5$ 및 $n = 6$에 대해 대수 $C_{n,2}$는 Proposition 2.1에서 보여지듯이 이중부등급 매개변수 체계를 갖지 않는다.
• $C_{4,2}$에 대한 최소 생성집합은 ${\rm tr}(w(x,y))$ 형태의 32개 생성자로 이루어져 있으며, 이 집합을 사용하여 공액 쌍을 제거한 후 20개의 단어만으로도 $4 \times 4$ 복소 행렬의 유니터리 동치성 테스트를 유도할 수 있다.
• $C_{5,2}$에 대한 최소 생성집합은 173개의 이형태 다항식으로 이루어져 있다: 대칭형 5개, 반대칭형 4개, 쌍형 164개 ($\{f(x,y), f(y,x)\}$ 형태).