[论文解读] Z_2 indices and factorization properties of odd symmetric Fredholm operators

Hermann Schulz‐Baldes|arXiv (Cornell University)|Nov 2, 2013

Advanced Topics in Algebra参考文献 15被引用 21

一句话总结

本文建立了可分希尔伯特空间上奇对称弗雷德霍姆算子的分解定理，证明其可表示为 $ T = I^*A^tIA $ 的形式，其中 $ A $ 为有界算子。其核心贡献是引入了一个基于核维数奇偶性的 $ \mathbb{Z}_2 $-指标，该指标对这类算子空间的连通分支进行分类，并提供一个适用于时间反演对称系统（如拓扑绝缘体）的拓扑不变量。

ABSTRACT

A bounded operator $T$ on a separable, complex Hilbert space is said to be odd symmetric if $I^*T^tI=T$ where $I$ is a real unitary satisfying $I^2=-1$ and $T^t$ denotes the transpose of $T$. It is proved that such an operator can always be factorized as $T=I^*A^tIA$ with some operator $A$. This generalizes a result of Hua and Siegel for matrices. As application it is proved that the set of odd symmetric Fredholm operators has two connected components labelled by a $Z_2$-index given by the parity of the dimension of the kernel of $T$. This recovers a result of Atiyah and Singer. Two examples of $Z_2$-valued index theorems are provided, one being a version of the Noether-Gohberg-Krein theorem with symmetries and the other an application to topological insulators.

研究动机与目标

• 建立可分希尔伯特空间上奇对称弗雷德霍姆算子的一般分解性质。
• 基于此类算子核维数的奇偶性，定义并分析一个 $ \mathbb{Z}_2 $-指标。
• 在时间反演对称系统背景下，恢复并推广阿蒂亚-辛格指标定理。
• 为凝聚态物理中 $ \mathbb{Z}_2 $-取值指标定理（特别是拓扑绝缘体）提供数学框架。
• 利用谱理论与弗雷德霍姆理论，展示拓扑不变量在时间反演对称性破缺扰动下的稳定性。

提出的方法

• 利用存在一个实反自伴酉算子 $ I $ 满足 $ I^2 = -\mathbf{1} $ 的事实，定义满足 $ I^*T^tI = T $ 的奇对称算子类。
• 证明任意奇对称算子 $ T $ 均可分解为 $ T = I^*A^tIA $，其中 $ A \in \mathbb{B}(\mathcal{H}) $，推广了胡亚与西格尔的结果。
• 应用该分解证明奇对称弗雷德霍姆算子的集合具有两个连通分支，由 $ \mathbb{Z}_2 $-指标 $ \mathrm{Ind}_2(T) = \dim(\ker T) \mod 2 $ 标记。
• 分析此类算子的谱性质，表明广义特征子空间的维数为偶数，推广了克拉默斯简并。
• 构造瑞兹投影 $ P_\pm $，将其投影到 $ PAP $ 的正负谱上，其中 $ P $ 为费米投影，并利用其在子空间上定义弗雷德霍姆算子。
• 证明 $ P_\pm F P_\pm $ 的诺伊曼指标在模 2 意义下相等，且在破坏时间反演对称性的扰动下保持稳定，从而导出一个稳健的 $ \mathbb{Z}_2 $ 不变量。

实验结果

研究问题

• RQ1 每个奇对称弗雷德霍姆算子是否都能表示为 $ T = I^*A^tIA $ 的形式，其中 $ A $ 为有界算子？
• RQ2 何种拓扑不变量可对奇对称弗雷德霍姆算子空间的连通分支进行分类？
• RQ3 该 $ \mathbb{Z}_2 $-指标如何与这类算子的谱简并性相关联，特别是在有限维与紧算子情形下？
• RQ4 在时间反演对称性被破坏的系统中，$ \mathbb{Z}_2 $-指标是否可解释为一个稳定不变量？
• RQ5 在拓扑绝缘体中，$ \mathbb{Z}_2 $-指标的物理意义是什么，特别是其与自旋陈数的关系？

主要发现

• 每个奇对称弗雷德霍姆算子 $ T \in \mathbb{F}(\mathcal{H}, I) $ 均可分解为 $ T = I^*A^tIA $，其中 $ A \in \mathbb{B}(\mathcal{H}) $，且当 $ \dim(\ker T) $ 为偶数或无穷时，有 $ \ker A = \ker T $。
• 奇对称弗雷德霍姆算子的空间恰好有两个连通分支，由 $ \mathbb{Z}_2 $-指标 $ \mathrm{Ind}_2(T) = \dim(\ker T) \mod 2 $ 分类。
• 对于紧致奇对称算子 $ K $，所有 $ \lambda \neq 0 $ 和 $ k \geq 1 $，广义特征子空间的维数 $ d_k(K, \lambda) $ 为偶数。
• 在有限维情形下，广义特征子空间维数 $ d_k(T, \lambda) $ 与 $ d_1(T^*T, \lambda) $ 对所有 $ \lambda \in \mathbb{C} $ 均为偶数，推广了克拉默斯简并。
• $ P_\pm F P_\pm $ 的诺伊曼指标满足 $ \mathrm{Ind}(P_+ F P_+) = -\mathrm{Ind}(P_- F P_-) $，且其模 2 值定义了 $ \mathbb{Z}_2 $-不变量。
• $ \mathbb{Z}_2 $-不变量 $ \mathrm{Ind}_2(T_P) $ 在破坏时间反演对称性的扰动（如磁场）下保持稳定，通过 $ \mathbb{F}(\mathcal{H}, I) $ 中的同伦论证得以证明。