[논문 리뷰] Grassman semialgebras and the Cayley-Hamilton theorem

Letterio Gatto, Louis Rowen|arXiv (Cornell University)|2018. 03. 21.

Advanced Topics in Algebra참고 문헌 20인용 수 11

한 줄 요약

이 논문은 반체 위에서 그라스만 반대수를 Hasse-Schmidt 미분을 사용하여 도입함으로써 고전적 선형대수학, 타이드로피컬 대수학, 슈퍼트로픽 구조를 통합하는 방식으로 케일리-엄마턴 정리를 일반화한다. 이를 통해 미분에 대한 준역관계를 수립하고, 부정화 사상과 초월관계(≽)를 사용하여 일반화된 케일리-엄마턴 항등식을 증명하며, 표준적인 경우에 고전적 등식을 복원한다.

ABSTRACT

We develop a theory of semialgebra Grassmann triples via Hasse-Schmidt derivations, which formally generalizes results such as the Cayley-Hamilton theorem in linear algebra, thereby providing a unified approach to classical linear algebra and tropical algebra.

연구 동기 및 목표

• 고전적 선형대수학, 타이드로피컬 대수학, 슈퍼트로픽 구조를 일반화하는 그라스만 반대수의 통합 프레임워크를 개발하는 것.
• Hasse-Schmidt 미분과 일반화된 부정화 사상을 사용하여 케일리-엄마턴 정리를 반환에 확장하는 것.
• 그라스만 반대수에서 Hasse-Schmidt 미분에 대한 준역연산자를 정의하여, 비고전적 환경에서 케일리-엄마턴 항등식의 본질을 포착하는 것.
• 반환 환 환경에서 등식의 대체로 사용되는 초월관계(≽)를 공식화하여, 행렬식 기반 항등식의 일반화를 가능하게 하는 것.
• 덧셈 역원이 존재하지 않는 상황에서도 비어 있지 않은 부정화 사상을 갖는 그라스만 반대수를 부여하는 대칭 삼중구조를 제공하는 것.

제안 방법

• 반체 위의 자유 모듈러 V 위에서 텐서곱과 조건 $\overline{b_{\pi(i_1)}\cdots\overline{b_{\pi(i_t)}}} = (-)^\pi b_{i_1}\cdots\overline{b_{i_t}}$ 를 만족하는 부정화 사상을 사용하여 그라스만 반대수를 구성한다.
• 값이 $\bigwedge V_n[[z]]$ 에 있는 $\bigwedge V_n$ 위에 Hasse-Schmidt 미분 $D\{z\}$ 를 정의하며, $D\{z\}(u\wedge v) = D\{z\}u \wedge D\{z\}v$ 를 만족시킨다.
• 값이 $\operatorname{End}(\bigwedge V_n)[z]$ 에 있는 준역연산자 $\overline{D}\{z\}$ 를 정의하여 $\overline{D}\{z\}D\{z\}u \succeq u$ 를 만족시킨다.
• 초월관계 $\succeq$ 를 사용하여 항등식에서 등식을 대체함으로써, 반환 환 환경에서 케일리-엄마턴 정리의 일반화를 가능하게 한다.
• 고전적 대수학에서 정리가 등식으로 성립한다는 사실을 활용하여, 고전적 대수에서 반대수로의 전이 원리를 적용한다.
• 원래의 그라스만 반대수에 비어 있지 않은 부정화 사상을 갖도록 포함시키는 비어 있지 않은 부정화 사상을 갖는 대칭 삼중구조 $(\mathfrak{G}(V)^\natural, \widehat{\mathcal{T}}, (-)_{\mathrm{sw}})$ 를 구성한다.

실험 결과

연구 질문

• RQ1 덧셈 역원이 존재하지 않는 반환에서 케일리-엄마턴 정리를 어떻게 일반화할 수 있는가?
• RQ2 그라스만 반대수에서 의미 있는 고유값과 고유벡터의 유사체를 정의하기 위해 어떤 구조가 필요한가?
• RQ3 Hasse-Schmidt 미분을 반대수로 확장할 수 있는가? 이때 케일리-엄마턴 공식과 같은 핵심 대수적 항등식이 유지되는가?
• RQ4 초월관계 $\succeq$ 는 비고전적 대수적 항등식에서 등식을 대체할 때 어떤 역할을 하는가?
• RQ5 대칭 삼중구조는 $v \otimes v = 0$ 이 강제되지 않는 상황에서도 그라스만 반대수에 비어 있지 않은 부정화 사상을 어떻게 제공하는가?

주요 결과

• 논문은 일반화된 케일리-엄마턴 항등식을 수립한다: 모든 $u \in \bigwedge^{>0} V_n$ 에 대해 $\left((D_n u + e_1 D_{n-1} u + \cdots + e_n u) \wedge v\right)(-)\left((D_n u + e'_1 D_{n-1} u + \cdots + e'_n u) \wedge v\right) \succeq \mathbb{0}$.
• 표준적인 경우에서 초월관계는 등식으로 변환되며, 이는 Remark 3.16 에서 표준 케일리-엄마턴 정리로 복원됨을 보여준다.
• 준역연산자 $\overline{D}\{z\}$ 는 $\overline{D}\{z\}(D\{z\}u \wedge v) \succeq u \wedge \overline{D}\{z\}v$ 를 만족하며, 반환 환 환경에서 역원 성질을 일반화한다.
• 그라스만 반대수에서 $\overline{D}_i$ 가 $\bigwedge^n V_n$ 에 작용할 때 고유값 쌍 $(e_i, e'_i)$ 는 $\overline{D}_i \zeta = e_i \zeta + e'_i \zeta'$ 를 통해 정의되며, 여기서 $\zeta = b_0 \wedge \cdots \wedge b_{n-1}$.
• Corollary 3.17 에서는 $D_1^n + (e_1(-)e_1')D_1^{n-1} + \cdots + (e_n(-)e_n') \succeq \mathbb{0}$ 이며, 이는 특성다항식 항등식을 일반화한다.
• 반대수 $\mathfrak{G}(V)_{\geq 2}$ 를 다룰 경우 모든 준영원은 $\mathbb{0}$ 이므로 Theorem 3.15 와 Corollary 3.17 에서 등식이 성립하며, 이는 고전적 결과와의 일致를 확인한다.