[论文解读] Approximate diagonalization of self--adjoint matrices over $C(M)$

Yifeng Xue|arXiv (Cornell University)|Feb 21, 2010

Spectral Theory in Mathematical Physics参考文献 11被引用 4

一句话总结

本文证明，对于紧致豪斯多夫空间 $M$ 上连续复值函数代数 $C(M)$ 上的自伴矩阵，其可约近似对角化当且仅当 $∝ M \leq 2$ 且 $χ^2(M,\mathbb{Z}) \cong 0$。此外，$C(M)$ 上的每个酉矩阵可约近似对角化当且仅当 $∝ M \leq 2$ 且 $χ^1(M,\mathbb{Z}) \cong 0$ 与 $χ^2(M,\mathbb{Z}) \cong 0$ 同时成立，该结论基于稳定秩理论与通过Čech上同调分类向量丛的方法。

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)$ 上自伴矩阵可约近似对角化的结果提供构造性证明。
• 将近似对角化性质与稳定秩不变量及 Čech 上同调群 $χ^1(M,\mathbb{Z})$ 与 $χ^2(M,\mathbb{Z})$ 联系起来。
• 确立 $χ^2(M,\mathbb{Z})$ 的消失对自伴矩阵近似对角化的必要性，即使在 $∝ M \leq 2$ 的情况下亦然。

提出的方法

• 利用 $C(M)$ 的拓扑稳定秩与一般稳定秩分析 $C(M)$ 上矩阵代数的结构，特别是 $χ₀₁\mathrm{sr}(C(M))$ 与 $χ₀₁\mathrm{gsr}(C(M))$。
• 应用引理 2.2 构造一个酉变换，将自伴矩阵约化为具有小非对角元素的三对角形式。
• 利用 $χ^2(M,\mathbb{Z}) \cong 0$ 的假设，确保特征值的特征向量可在 $M$ 上连续选取，从而实现酉共轭对角化。
• 利用当 $∝ M \leq 2$ 时 $χ₀₁\mathrm{csr}(C(M)) \leq 2$ 的事实，确保酉群在球面 $S_n(C(M))$ 上的传递作用，这对酉近似至关重要。
• 应用 Arens-Royden 定理将 $U(C(M))/U_0(C(M))$ 与 $χ^1(M,\mathbb{Z})$ 关联，借此证明 $χ^1(M,\mathbb{Z}) \cong 0$ 是酉矩阵近似对角化的必要条件。
• 利用恒等式 $A = \frac{1}{2}\|A\|(V + V^*)$（其中 $V = \exp(iA/\|A\|)$）将 $A$ 的对角化问题转化为对酉矩阵 $V$ 的对角化问题，从而连接两个问题。

实验结果

研究问题

• RQ1 紧致豪斯多夫空间 $M$ 的何种拓扑条件是 $M_n(C(M))$ 中每个自伴矩阵均可约近似对角化的必要且充分条件？
• RQ2 为何 $χ^2(M,\mathbb{Z})$ 的消失与 $C(M)$ 上自伴矩阵近似对角化的可能性密切相关？
• RQ3 在何种 $M$ 的条件下，$U_n(C(M))$ 中每个酉矩阵均可约近似对角化？
• RQ4 为何 $χ^1(M,\mathbb{Z}) \cong 0$ 是 $C(M)$ 上酉矩阵近似对角化的必要条件？
• RQ5 如 $χ₀₁\mathrm{tsr}(C(M))$ 与 $χ₀₁\mathrm{gsr}(C(M))$ 等 $C(M)$ 的稳定秩不变量，如何约束矩阵代数的结构并促成近似对角化？

主要发现

• 自伴矩阵在 $C(M)$ 上可约近似对角化当且仅当 $∝ M \leq 2$ 且 $χ^2(M,\mathbb{Z}) \cong 0$。
• 每个酉矩阵在 $C(M)$ 上可约近似对角化当且仅当 $∝ M \leq 2$ 且 $χ^1(M,\mathbb{Z}) \cong 0$ 与 $χ^2(M,\mathbb{Z}) \cong 0$ 同时成立。
• 自伴情形的证明构造了一个酉变换，将矩阵约化为非对角元素范数小于 $7\epsilon$ 的三对角形式，从而得到在 $14\epsilon$ 内的对角近似。
• $χ^2(M,\mathbb{Z})$ 的消失确保特征值的特征向量可作为向量丛的连续截面选取，从而实现全局酉共轭对角化。
• 通过构造反例酉矩阵 $\begin{bmatrix}0&1\\f&0\end{bmatrix}$，证明 $χ^1(M,\mathbb{Z}) \cong 0$ 对酉矩阵近似对角化的必要性：其近似对角化意味着 $[f] = 0$ 在 $U(C(M))/U_0(C(M)) \cong \u03C7^1(M,\mathbb{Z})$ 中。
• 该结果推广并为 Choi 与 Elliott 在 $∝ M \leq 2$ 时关于 $C(M)$ 上自伴矩阵近似对角化的结果提供了构造性证明。