[논문 리뷰] On the Invariants of Matrices and the Embedding Problem

Francesco Vaccarino|ArXiv.org|2004. 06. 09.

Advanced Topics in Algebra참고 문헌 7인용 수 3

한 줄 요약

이 논문은 무한체 Π 위에서의 임의의 카이리-헤일버거 $Π$-대수 $n$에 대해, 도킨과 쿠브코프의 정리들을 통해 양의 특성에서의 불변량을 이용하여, $n\times n$ 행렬의 다항식 불변량의 환의 몫임을 증명한다. 핵심 결과는 프로세치의 정리의 특성에 관계없는 일반화를 확인하며, $R$이 형식적 카이리-헤일버거 조건을 만족할 경우, 유일한 사상 $j_n^R$이 동형임을 보여준다.

ABSTRACT

Let K be an infinite field and let R be a K-algebra endowed with a homogeneous polynomial norm N of degree n. If N satisfies a formal analogue of the Cayley-Hamilton Theorem the we will show that R is a quotient of the ring of the invariants of several square matrices of order n under the simultaneous conjugation.

연구 동기 및 목표

• 행렬 통합에 관한 프로세치의 특성 0 정리를 임의의 무한체로 일반화하기.
• 임의의 카이리-헤일버거 $Π$-대수 $R$가 차수 $n$을 가지면, $n\times n$ 행렬의 다항식 불변량의 환의 몫으로 나타남을 확립하기.
• 유일한 사상 $j_n^R: R \to M_n(A_n(R))^{GL_n(\u03a0)}$가 이러한 대수들에 대해 동형임을 보장하는 기초를 마련하기.
• 양의 특성에서의 불변량(도킨-주브코프)을 특성에 관계없는 결과로 연결하는 다리로 활용하기.

제안 방법

• Π-모듈의 간격 다항식 사상의 개념을 형식화하기 위해 다항식 법칙과 분할 거듭제곱 환을 사용한다.
• 도킨-주브코프 정리를 적용하여, 양의 특성에서의 행렬 불변량을 이용해 $n\times n$ 행렬의 다항식 불변량의 환을 제시한다.
• 함자적 대응에 기반하여, $R \to M_n(B)$의 준동형사상과 $A_n(R) \to B$ 사이의 관계를 통해 유일한 환 $A_n(R)$과 사상 $j_n^R$을 구성한다.
• 특히 $H^1(GL_n(\u03a0), \cdot)$를 사용한 코homological 기법을 적용하여, $GL_n(\u03a0)$-모듈의 구조를 분석하고 유일한 사상의 단사성을 증명한다.
• 좋은 필터링 이론을 적용하여, 일부 $GL_n(\u03a0)$-모듈의 첫 번째 코homology 군이 0이 되도록 보장함으로써, 정확한 수열의 분할 가능성을 확보한다.
• 문제를 $J_{S'} = M_n(I_{S'}) \cap D_S(n)$로 축소하고, $B_{S'}(n) \cong B_S(n) \oplus \tilde{J}_{S'}$의 분할을 이용하여 유도된 사상의 핵과 상을 분석한다.

실험 결과

연구 질문

• RQ1 형식적 다항식 노름 $N$이 차수 $n$을 가지는 $Π$-대수 $R$가 어떤 조건에서 $M_n(L)$에 임베딩될 수 있는가? 여기서 $L$은 가환 $Π$-대수이다.
• RQ2 임의의 카이리-헤일버거 $Π$-대수 $R$가 차수 $n$을 가지면, 유일한 사상 $j_n^R: R \to M_n(A_n(R))^{GL_n(\u03a0)}$가 동형인지 여부는?
• RQ3 프로세치의 카이리-헤일버거 항등식에 관한 특성 0 결과를, 양의 특성에서의 불변량을 통해 임의의 무한체로 확장할 수 있는가?
• RQ4 왜 $n\times n$ 행렬의 불변량 환을 사용하여 차수 $n$의 모든 카이리-헤일버거 대수를 매개변수화할 수 있는가?
• RQ5 $GL_n(\u03a0)$-모듈의 코homology는 유일한 사상 $j_n^R$의 단사성을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 형식적 카이리-헤일버거 조건을 만족하는 노름 $N$을 가진 임의의 카이리-헤일버거 $Π$-대수 $R$는 차수 $n$의 $n\times n$ 행렬의 다항식 불변량의 환의 몫과 동형이다.
• $R$이 형식적 카이리-헤일버거 항등식을 만족할 경우, 유일한 사상 $j_n^R: R \to M_n(A_n(R))^{GL_n(\u03a0)}$가 동형임을 입증하였다.
• 사상 $D_S(n) \to D_{S'}(n)$의 핵이 $J_{S'} = M_n(I_{S'}) \cap D_S(n)$임을 보였다. 여기서 $I_{S'}$는 $A_S(n) \to A_{S'}(n)$의 사영의 핵이다.
• $GL_n(\u03a0)$-모듈 $B_{S'}(n) \cong B_S(n) \oplus \tilde{J}_{S'}$의 분할은 단면의 구성이 가능하게 하며, 이는 코homological 추론에 필수적이다.
• 좋은 필터링 이론을 통해 일부 모듈 $V$에 대해 $H^1(GL_n(\u03a0), V)$의 값이 0임을 입증하여, 코homology 수열의 정확성을 보장하였다.
• 결과적으로, 프로세치의 정리에 대한 특성에 관계없는 일반화를 확인하였으며, 모든 무한체 위의 카이리-헤일버거 대수에서 유일한 사상 $j_n^R$이 동형임을 보여주었다.