[논문 리뷰] The Invariant Ring Of m Matrices Under The Adjoint Action By a Product Of General Linear Groups

Jacob Turner, Jason Morton|arXiv (Cornell University)|2013. 10. 01.

Matrix Theory and Algorithms참고 문헌 17인용 수 4

한 줄 요약

이 논문은 텐서곱 공간 V = V₁ ⊗ ⋯ ⊗ Vₙ의 m개의 엔도모르피즘에 대해 GL(V₁) × ⋯ × GL(Vₙ)의 수반 작용 하에서 다항식 불변량의 성질을 기술한다. 불변량 링이 일반화된 트레이스 단항식 Trᴹ_σ로 생성됨을 증명하며, 여기서 M는 [m] 위의 멀티셋이고 σ는 Sm에 속하는 n개의 순열로 이루어진 n-튜플이며, 모든 생성자는 최대 (3/8)m(dim V)^6의 차수를 가진다.

ABSTRACT

Let $V=V_1 \otimes \cdots \otimes V_n$ be a vector space over an algebraically closed field $K$ of characteristic zero with $\dim(V_i)=d_i$. We study the ring of polynomial invariants $K[\operatorname{End}(V)^{\oplus m}]^{\operatorname{GL}_{\mathbf{d}}}$ of $m$ endomorphisms of $V$ under the adjoint action of $\operatorname{GL}_{\mathbf{d}}:=\operatorname{GL}(V_1) imes \cdots imes \operatorname{GL}(V_n)$. We find that the ring is generated by certain generalized trace monomials $\operatorname{Tr}^M_σ$ where $M$ is a multiset with entries in $[m]=\{1,\dots, m\}$ and $σ\in \mathcal{S}_m^n$ is a choice of $n$ permutations of $[m]$. We find that $K[\operatorname{End}(V)^{\oplus m}]^{\operatorname{GL}_{\mathbf{d}}}$ is generated by the $\operatorname{Tr}^M_σ$ of degree at most $\frac{3}{8}m\dim(V)^6$.

연구 동기 및 목표

• V = V₁ ⊗ ⋯ ⊗ Vₙ의 m개 엔도모르피즘에 대해 GL(V₁) × ⋯ × GL(Vₙ)의 수반 작용 하에서 다항식 불변량 링의 구조를 규명하는 것.
• K[End(V)⊕m]^GL_d의 유한 생성 집합을 규명하는 것.
• 생성자의 최대 차수를 m와 dim(V)의 함수로 유 bounds하는 것.
• 멀티셋 M과 Sm^n에 속하는 n-튜플의 순열 σ를 포함하는 일반화된 트레이스 단항식 Trᴹ_σ를 통해 생성자를 기술하는 것.

제안 방법

• 연구는 V의 m개 엔도모르피즘의 튜플에 대한 GL_d = GL(V₁) × ⋯ × GL(Vₙ)의 수반 작용을 사용한다.
• 일반화된 트레이스 단항식 Trᴹ_σ를 도입하며, 여기서 M는 [m]에 값을 가진 크기 k의 멀티셋이고 σ ∈ Sm^n는 [m]의 순열로 이루어진 n-튜플이다.
• 대수적으로 닫힌 체 K(특성 0) 위에서 표현 이론을 사용하여 불변량 링의 구조를 분석한다.
• 모든 불변량이 이러한 Trᴹ_σ에 의해 생성됨을 증명하며, 그룹 작용이 유도하는 대칭성을 활용한다.
• 차수의 경계는 생성 불변량의 조합론적 및 대수적 분석을 통해 도출된다.
• 증명는 불변량 링이 유한 생성임을 바탕으로 하며, 트레이스 유사 함수를 사용하여 생성 집합을 구성한다.

실험 결과

연구 질문

• RQ1 GL(V₁) × ⋯ × GL(Vₙ)의 곱의 수반 작용 하에서 텐서곱 공간 V = V₁ ⊗ ⋯ ⊗ Vₙ의 m개 엔도모르피즘에 대한 다항식 불변량 링의 구조는 무엇인가?
• RQ2 구체적으로 어떤 일반화된 트레이스 단항식 Trᴹ_σ가 불변량 링 K[End(V)⊕m]^GL_d를 생성하는가?
• RQ3 불변량 링은 유계 차수의 불변량으로 생성될 수 있는가? 만약 그렇다면, 그 최대 상한은 무엇인가?
• RQ4 순열 σ ∈ Sm^n과 멀티셋 M은 어떻게 작용하여 독립적인 생성자를 만들어내는가?
• RQ5 전체 불변량 링은 최대 (3/8)m(dim V)^6 차수의 트레이스 단항식으로 생성되는가?

주요 결과

• 불변량 링 K[End(V)⊕m]^GL_d는 멀티셋 M과 Sm^n에 속하는 순열 n-튜플 σ에 대해 일반화된 트레이스 단항식 Trᴹ_σ로 생성된다.
• 생성자 Trᴹ_σ는 멀티셋 M과 순열 n-튜플 σ로부터 구성되며, 텐서 인자들 사이의 대칭성을 반영한다.
• 불변량 링의 모든 생성자는 최대 (3/8)m(dim V)^6의 차수를 가진다.
• 경계 (3/8)m(dim V)^6는 불변량 링의 최소 생성 집합의 차수에 대한 상한이다.
• 불변량 링은 유한 생성되며, 일반화된 트레이스 단항식은 완전한 생성 집합을 이룬다.
• 결과는 대수적으로 닫힌 체 K(특성 0)에서 성립하며, 표현 이론적 추론의 타당성을 보장한다.