[논문 리뷰] Quasi-identities on matrices and the Cayley-Hamilton polynomial

Matej Brešar, Claudio Procesi외 1명|arXiv (Cornell University)|2012. 12. 19.

Advanced Topics in Algebra참고 문헌 21인용 수 6

한 줄 요약

이 논문은 행렬 대수 $M_n(F)$ 위에서의 준동치성($\textit{quasi-identities}$)이 케일리-엄마턴 항등식에서 유도되는지 조사한다. 많은 경우—특히 상수항이 0인 중심다항식을 곱한 경우—그렇다는 것이 입증되지만, 일반적으로는 그렇지 않다. 저자들은 케일리-엄마턴 항등식에서 유도되지 않는 명시적인 반대칭 준동치성을 구성하고, 이러한 준동치성의 한 가족을 완전히 기술함으로써, 준동치성의 몫공간에 대한 기하적 구조를 드러낸다.

ABSTRACT

We consider certain functional identities on the matrix algebra $M_n$ that are defined similarly as the trace identities, except that the "coefficients" are arbitrary polynomials, not necessarily those expressible by the traces. The main issue is the question of whether such an identity is a consequence of the Cayley-Hamilton identity. We show that the answer is affirmative in several special cases, and, moreover, for every such an identity $P$ and every central polynomial $c$ with zero constant term there exists $m\in\mathbb{N}$ such that the affirmative answer holds for $c^mP$. In general, however, the answer is negative. We prove that there exist antisymmetric identities that do not follow from the Cayley-Hamilton identity, and give a complete description of a certain family of such identities.

연구 동기 및 목표

• 모든 $M_n(F)$ 위의 준동치성이 케일리-엄마턴 항등식의 결과인지 판별하는 것.
• 케일리-엄마턴 항등식에서 유도되는 것들과의 몫공간으로서 준동치성 공간의 구조를 분석하는 것.
• 특히 반대칭인 경우를 포함한 행렬 대수에서의 함수동치성의 비표준적 해의 존재를 조사하는 것.
• 준동치성의 이상이 T-이상으로 유한생성됨을 확립하여, 이 클래스의 동치성에 대해 스펙트 문제의 한 형태를 해결하는 것.

제안 방법

• 계수들이 추적($\textit{trace}$)이 아닌 임의의 다항식인 $M_n(F)$ 위의 준다항식($\textit{quasi-polynomials}$)의 대수를 도입한다.
• 모든 $M_n(F)$에 대한 평가에서 0이 되는 이 대수의 원소를 준동치성으로 정의하며, 다항식 동치성을 일반화한다.
• 표현 이론과 대칭 대수, 특히 슈어 함수와 카우치의 공식을 사용하여 준동치성 공간의 구조를 분석한다.
• 최고 무게 벡터 이론과 주요 공변량의 이론을 적용하여 준동치성의 T-이상의 유한생성을 보인다.
• 귀납법과 행렬 단위 대입을 활용하여 특정 계수 함수들이 0이 되어야 한다는 것을 증명함으로써, $P = \lambda_{0,\text{id}} Q_n$ 이라는 결론을 이끌어낸다.
• 행렬 $m$-성분의 $\mathrm{PGL}_n$ 작용 하에서의 행렬 다양체의 몫공간에 대한 $\mathfrak{I}_n / (Q_n)$의 작용을 분석함으로써, 그 기하학적 및 모듈 이론적 성격을 드러낸다.

실험 결과

연구 질문

• RQ1 모든 $M_n(F)$ 위의 준동치성은 케일리-엄마턴 항등식의 결과인가?
• RQ2 케일리-엄마턴 항등식에서 유도되지 않는 반대칭 준동치성이 존재하는가? 만약 존재한다면 그 구조는 어떠한가?
• RQ3 $\mathfrak{I}_n / (Q_n)$의 구조는 무엇이며, 그 구조는 군 작용 하에서의 행렬 다양체의 기하학과 어떻게 관련되는가?
• RQ4 모든 준동치성의 T-이상은 유한생성될 수 있는가? 만약 그렇다면 몇 개의 변수에 의존하는가?
• RQ5 상수항이 0인 중심다항식 $c$에 대해, 어떤 $m$에 대해 $c^m P$ 가 케일리-엄마턴 항등식의 결과가 되는가?

주요 결과

• 케일리-엄마턴 항등식에서 유도되지 않는 반대칭 준동치성이 $M_n(F)$ 위에 존재함을 보이며, 주요 질문에 대한 부정적 답변을 제시한다.
• 모든 준동치성 $P$ 와 상수항이 0인 중심다항식 $c$ 에 대해, 어떤 $m \in \mathbb{N}$ 이 존재하여 $c^m P$ 가 케일리-엄마턴 항등식의 결과가 된다.
• $\mathfrak{I}_n / (Q_n)$ 공간은 $\mathrm{PGL}_n$ 작용 하에서의 몫다양체의 특이점 집합 위에 지지되는 모듈과 동형이며, 그 기하학적 성격을 드러낸다.
• 모든 준동치성의 이상 $\mathfrak{I}_n$ 은 T-이상으로서 유한생성되며, 최대 $2n^2$ 개 이하의 변수에 의존하는 생성자를 가진다.
• 유한생성의 증명은 카우치의 공식을 통한 대칭대수 분해와 무한선형군의 표현 이론에 기반한다.
• 저자들은 귀납법과 행렬 단위 평가를 활용하여, 케일리-엄마턴 항등식의 결과가 아닌 특정 준동치성의 가족을 완전히 기술하였다.