[논문 리뷰] Approximate diagonalization of self--adjoint matrices over $C(M)$

Yifeng Xue|arXiv (Cornell University)|2010. 02. 21.

Spectral Theory in Mathematical Physics참고 문헌 11인용 수 4

한 줄 요약

이 논문은 컴팩트 하우스도르프 공간 $M$ 위의 연속 복소함수 대수 $C(M)$ 상에서 정의된 자기수반 행렬이 근사적으로 대각화 가능할 조건을 규명한다. 그 조건은 $\dim M \leq 2$ 이고 $\mathrm{H}^2(M,\mathbb{Z}) \cong 0$ 인 것이다. 또한, $C(M)$ 상의 모든 유니터리 행렬이 근사적으로 대각화 가능할 조건은 $\dim M \leq 2$ 이며 $\mathrm{H}^1(M,\mathbb{Z}) \cong 0$ 과 $\mathrm{H}^2(M,\mathbb{Z}) \cong 0$ 이 동시에 성립하는 것이다. 이 결과는 안정적 차수 이론과 체흐 코hom로지에 의한 벡터 번들의 분류를 통해 도출된다.

ABSTRACT

Let $M$ be a compact Hausdorff space. We prove that in this paper, every self--adjoint matrix over $C(M)$ is approximately diagonalizable iff $\dim M\le 2$ and $\HO^2(M,\mathbb Z)\cong 0$. Using this result, we show that every unitary matrix over $C(M)$ is approximately diagonalizable iff $\dim M\le 2$, $\HO^1(M,\mathbb Z)\cong\HO^2(M,\mathbb Z)\cong 0$ when $M$ is a compact metric space.

연구 동기 및 목표

• 컴팩트 하우스도르프 공간 $M$ 에 대해, $M_n(C(M))$ 에 속한 모든 자기수반 행렬이 근사적으로 대각화 가능할 조건이 되는 필요충분 위상적 조건을 규명하는 것.
• 자기수반 행렬의 특성화를 유니터리 행렬으로 확장하여, $C(M)$ 상에서 근사 대각화가 가능한 조건을 규명하는 것.
• Choi와 Elliott의 결과를 구성적으로 증명하여, $\dim M \leq 2$ 인 경우 $C(M)$ 상의 자기수반 행렬의 근사 대각화를 보장하는 것.
• 근사 대각화 성질이 안정적 차수 불변량과 체흐 코호몰로지 군 $\mathrm{H}^1(M,\mathbb{Z})$ 및 $\mathrm{H}^2(M,\mathbb{Z})$ 와 어떻게 연결되는지 규명하는 것.
• 자기수반 행렬의 근사 대각화에 있어 $\mathrm{H}^2(M,\mathbb{Z})$ 가 0이 되는 것이 필수적임을 보여주며, 이는 $\dim M \leq 2$ 인 경우에도 마찬가지로 성립함을 규명하는 것.

제안 방법

• 자기수반 행렬의 행렬 대수의 구조 분석을 위해 $C(M)$ 의 위상적 안정적 차수와 일반 안정적 차수, 특히 $\mathrm{tsr}(C(M))$ 와 $\mathrm{gsr}(C(M))$ 를 사용한다.
• 레마 2.2 를 적용하여, 자기수반 행렬을 작은 비대각항을 가진 삼중대각형태로 줄이는 유니터리 변환을 구성한다.
• 가정 $\mathrm{H}^2(M,\mathbb{Z}) \cong 0$ 을 활용하여, 고유값의 고유벡터를 $M$ 상에서 연속적으로 선택할 수 있음을 보장함으로써, 유니터리 공역을 통한 대각형태로의 변환 가능성을 확보한다.
• $\dim M \leq 2$ 일 때 $\mathrm{csr}(C(M)) \leq 2$ 임을 이용하여, 유니터리 군이 구 $S_n(C(M))$ 에 대해 추이적인 작용을 함을 보장함으로써, 유니터리 근사에 핵심적인 역할을 한다.
• Arens-Royden 정리를 적용하여 $U(C(M))/U_0(C(M))$ 와 $\mathrm{H}^1(M,\mathbb{Z})$ 를 연결하고, 이로부터 $\mathrm{H}^1(M,\mathbb{Z}) \cong 0$ 이 유니터리 근사 대각화에 필수적임을 보여준다.
• 자기수반 행렬 $A$ 에 대해 $A = \frac{1}{2}\|A\|(V + V^*)$ 인 식에서 $V = \exp(iA/\|A\|)$ 를 사용하여, 행렬 $A$ 의 대각화 문제를 유니터리 행렬 $V$ 의 대각화 문제로 환원함으로써 두 문제를 연결한다.

실험 결과

연구 질문

• RQ1 컴팩트 하우스도르프 공간 $M$ 에 대해, $M_n(C(M))$ 에 속한 모든 자기수반 행렬이 근사적으로 대각화 가능할 조건은 무엇인가?
• RQ2 자기수반 행렬의 근사 대각화 가능성과 $\mathrm{H}^2(M,\mathbb{Z})$ 가 0이 되는 것 사이의 관계는 무엇인가?
• RQ3 어떤 조건에서 $U_n(C(M))$ 에 속한 모든 유니터리 행렬이 근사적으로 대각화 가능한가?
• RQ4 왜 $\mathrm{H}^1(M,\mathbb{Z}) \cong 0$ 이 $C(M)$ 상의 유니터리 행렬 근사 대각화에 필수적인가?
• RQ5 $\mathrm{tsr}(C(M))$ 와 $\mathrm{gsr}(C(M))$ 와 같은 $C(M)$ 의 안정적 차수 불변량은 어떻게 행렬 대수의 구조를 제약하며, 근사 대각화를 가능하게 하는가?

주요 결과

• 자기수반 행렬이 $C(M)$ 상에서 근사적으로 대각화 가능할 조건은 $\dim M \leq 2$ 이고 $\mathrm{H}^2(M,\mathbb{Z}) \cong 0$ 인 것이다.
• 모든 유니터리 행렬이 $C(M)$ 상에서 근사적으로 대각화 가능할 조건은 $\dim M \leq 2$ 이며 $\mathrm{H}^1(M,\mathbb{Z}) \cong 0$ 과 $\mathrm{H}^2(M,\mathbb{Z}) \cong 0$ 이 동시에 성립하는 것이다.
• 자기수반 행렬의 경우 증명 과정에서 비대각항의 노름이 $7\epsilon$ 이하인 삼중대각형태로 줄이는 유니터리 변환을 구성하며, 이에 따라 대각근사가 $14\epsilon$ 이내로 가능해진다.
• $\mathrm{H}^2(M,\mathbb{Z})$ 가 0이면 고유벡터를 벡터 번들의 연속적 단면으로서 선택할 수 있어, 전역적인 유니터리 공역을 통한 대각형태로의 변환이 가능하다.
• 유니터리 근사 대각화에 있어 $\mathrm{H}^1(M,\mathbb{Z}) \cong 0$ 이 필수적임을 보이기 위해, 반례로 $\begin{bmatrix}0&1\\f&0\end{bmatrix}$ 형태의 유니터리 행렬을 구성하였으며, 이 행렬의 근사 대각화 가능성은 $U(C(M))/U_0(C(M)) \cong \mathrm{H}^1(M,\mathbb{Z})$ 에서 $[f] = 0$ 이 되어야 함을 의미한다.
• 본 결과는 Choi와 Elliott의 $\dim M \leq 2$ 인 경우에 대해 $C(M)$ 상의 자기수반 행렬의 근사 대각화에 관한 결과를 일반화하고, 구성적인 증명을 제공한다.