[논문 리뷰] Invariants of commuting matrices

Claudio Procesi|arXiv (Cornell University)|2015. 01. 21.

Advanced Algebra and Geometry참고 문헌 7인용 수 3

한 줄 요약

이 논문은 $ m $-튜플의 교환 가능한 $ n \times n $ 행렬에 대한 켤레 작용 하에서의 불변량의 링이 대칭군 $ S_n $ 작용 하에서의 $ n $ 개 변수에 대한 대칭 다항식의 링과 동형임을 증명한다. 주요 결과는 고전적 불변량 이론과 다중선형 축소를 통해 증명되며, 행렬 불변량에서 대칭 다항식으로의 제약 사상이 동형임을 확인함으로써, 교환 가능한 행렬에 대한 오랫동안 남아 있던 질문을 해결하고, 모든 $ m \geq 2 $ 에 대해 일반화한다. 증명은 추적 불변량의 구조와 집합 분할로부터 유도된 조합론적 자료에 기반한다.

ABSTRACT

We comment two papers of Domokos and Vaccarino proving that the restriction to diagonal matrices of the scheme of commuting matrices is an isomorphism when restricted to invariants to the symmetric group invariants.

연구 동기 및 목표

• 교환 가능한 행렬에 대한 공식 $[X_i, X_j] = 0$ 가 생성하는 이상이 $ n \times n $ 행렬의 다항식 링에서 소임을 증명하는 것.
• GL(n,F)에 의한 켤레 작용 하에서 $ m $-튜플의 교환 가능한 행렬의 불변량과 $ S_n $ 작용 하에서의 $ m $ 개의 대각행렬의 불변량 간의 구조적 동형을 확립하는 것.
• 고전적 불변량 이론과 다항식 사상의 통합 프레임워크를 제공하여 교환 가능한 행렬의 불변량 링을 이해하는 데 기여하는 것.
• 이전의 $ m=2 $ 에 대한 결과를 일반화하여 다중선형 축소 기법을 사용해 임의의 $ m $, 포함하여 $ m = \infty $ 에까지 확장하는 것.

제안 방법

• 교환 가능한 행렬의 불변량에서 대칭 다항식으로의 제약 사상 $ \tilde{\pi}: A_{n,m}^{GL(n,F)} \to B_{n,m}^{S_n} $ 를 사용한다.
• 로비의 다항식 사상 정리에 따라 행렬식 사상 $ D: F[x_1,\dots,x_m] \to A_{n,m}^{GL(n,F)} $ 가 $ n $-번째 대칭거듭제곱을 통과하도록 적용한다.
• 아르놀트의 방법을 통한 다중선형 불변량으로의 축소로, 동형임을 입증하기 위해 다중선형 원소에서의 검증으로 충분함을 보인다.
• 집합 분할을 통해 $ [m] $ 에 대해 최대 $ n $ 개의 부분집합으로 나누는 방식으로 $ B_{n,m}^{S_n} $ 내의 다중선형 불변량을 식별한다.
• 행렬 불변량 $ A_{n,m}^{GL(n,F)} $ 내에서 다항식 $ M $ 에 대해 $ tr(M) $ 의 곱으로서의 불변량을 구성하며, 인자 수는 $ n $ 이하로 제한된다.
• 다항식 $ \bar{D} $ 의 단사성과 전사성을 증명하여, 다항식의 순서를 사전순으로 정렬함으로써 역관계가 성립함을 보인다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 $ n \times n $ 행렬의 다항식 링에서 공식 $[X_i, X_j] = 0$ 가 생성하는 이상이 소임을 증명할 수 있는가?
• RQ2 GL(n,F)에 의한 켤레 작용 하에서 $ m $-튜플의 교환 가능한 $ n \times n $ 행렬의 불변량 링이 대칭 대칭대수로 기술될 수 있는가?
• RQ3 모든 $ m \geq 2 $ 에 대해, 행렬 불변량에서 $ n $ 개 변수에 대한 대칭 다항식으로의 제약 사상이 불변량 링 간의 동형을 유도하는가?
• RQ4 교환 가능한 행렬 설정에서의 다중선형 불변량은 집합 분할과 같은 조합론적 자료와 어떻게 대응되는가?
• RQ5 $ m = \infty $ 일 때 불변량 링의 구조는 어떻게 되며, 대칭 다항식과 어떤 관련이 있는가?

주요 결과

• 제약 사상 $ \tilde{\pi}: A_{n,m}^{GL(n,F)} \to B_{n,m}^{S_n} $ 는 동형이며, 교환 가능한 행렬의 불변량과 대칭 다항식 사이의 완전한 대응을 확립한다.
• 불변량 링 $ A_{n,m}^{GL(n,F)} $ 는 켤레-하미튼 항등식에 의해 최대 $ n $ 개의 인자를 가진 추적 $ tr(M) $ 의 곱으로 생성된다.
• 다중선형 불변량 $ A_{n,m}^{GL(n,F)} $ 는 $ \Lambda = \{S_1, \dots, S_k\} $ 가 $ [m] $ 을 최대 $ n $ 개의 부분집합으로 나누는 분할일 때, $ t_\Lambda = \prod_{i=1}^k tr_{S_i} $ 의 형태로 생성된다.
• 각 불변량 $ t_\Lambda $ 의 주요 단항식은 $ S_n $ 작용 하에서의 궤도 내에서 사전순으로 가장 큰 표현과 대응되며, 선형 독립성을 보장한다.
• $ A_n $ 의 영리성 $ J $ 는 $ GL(n,F) $-불변 원소를 포함하지 않으며, 이는 불변량 링이 감소함을 의미한다.
• 불변량 링의 동차 성분은 슈어 함수 $ S_\lambda(F^m) $ 로 분해되며, 다중선형 부분은 $ S_m $ 의 청소부 하위군의 여부에 대한 순열 표현과 대응된다.