[论文解读] Manifestation of the topological index formula in quantum waves and geophysical waves

Fréderic Faure|arXiv (Cornell University)|Jan 29, 2019

Quantum Mechanics and Non-Hermitian Physics被引用 13

一句话总结

本文在 $\mathbb{R}^n$ 上建立了一个通用的半经典模型，统一了量子与地球物理波中的拓扑指标理论与谱流。利用 Atiyah-Singer 指标理论，证明了计数本征值跃迁的谱指标 $\mathcal{N}$ 等于向量丛的拓扑陈指标 $\mathcal{C}$，展示了该指标公式在分子与赤道波系统中的普遍实现。

ABSTRACT

Using semi-classical analysis in $\mathbb{R}^{n}$ we present a quite general model for which the topological index formula of Atiyah-Singer predicts a spectral flow with the transition of a finite number of eigenvalues between clusters (energy bands). This model corresponds to physical phenomena that are well observed for quantum energy levels of small molecules [faure_zhilinskii_2000,2001], also in geophysics for the oceanic or atmospheric equatorial waves [Matsuno_1966, Delplace_Marston_Venaille_2017] and expected to be observed in plasma physics [Qin, Fu 2022].

研究动机与目标

• 在单一数学框架下统一描述量子与地球物理波系统中的拓扑谱流。
• 在 $\mathbb{R}^n$ 上建立一个通用模型，使得计数随参数 $\mu$ 变化的本征值跃迁的谱指标 $\mathcal{N}$ 等于一个拓扑陈指标 $\mathcal{C}$。
• 证明 Atiyah-Singer 指标公式在分子能级与赤道罗斯贝-重力波等实际现象中具有物理实现。
• 基于 Fedosov-Hörmander 理论，通过伪微分算子方法，严格推导指标公式 $\mathcal{N} = \mathcal{C}$。
• 通过将拼接函数的量子化，将抽象的 K-理论与向量丛拓扑与具体的物理波系统联系起来。

提出的方法

• 在 $\mathbb{R}^n$ 上构造一个参数为 $\mu \in (-2,2)$ 的可容许符号族 $ (H_\mu)_{\mu} $，在特定情况下对 $ (\mu, x, \xi) $ 呈线性依赖。
• 将谱指标 $\mathcal{N} \in \mathbb{Z}$ 定义为当 $\mu$ 增加时穿过能带隙的本征值的净数量。
• 通过 $ S^{2n} $ 上复向量丛的拼接函数引入拓扑陈指标 $\mathcal{C} \in \mathbb{Z}$，其由符号在无穷远处的行为计算得出。
• 应用欧氏空间上伪微分算子的 Fedosov-Hörmander 指标定理，将 $ \mathrm{Op}_1(g) $ 的解析指标与拓扑指标 $\mathcal{C}$ 联系起来。
• 使用标准 Weyl 量子化方法对 $ \mathbb{R}^{2n} \setminus \{0\} $ 上的拼接函数 $ g_n $ 进行量子化，得到一个指标可计算的 Fredholm 算子，其指标通过核维数确定。
• 利用 Bott 映射与酉符号的递归结构，证明 $ \mathrm{Ind}(\hat{g}_n) = 1 $，并通过 K-理论的可加性将其推广至一般丛。

实验结果

研究问题

• RQ1 是否存在一个统一的数学框架，能够统一描述量子分子与地球物理赤道波中观测到的拓扑谱流？
• RQ2 Atiyah-Singer 指标公式是否在具有谱跃迁的物理系统中以 $ \mathcal{N} = \mathcal{C} $ 的形式实现？
• RQ3 由符号渐近行为导出的 $ S^{2n} $ 上向量丛的陈指标，如何与实际穿越能带隙的本征值数量相关联？
• RQ4 半经典分析与伪微分算子在连接拓扑不变量与谱数据方面起到何种作用？
• RQ5 能否从定义在球面 $ S^{2n-1} $ 上的拼接函数的量子化出发，严格推导出指标公式？

主要发现

• 谱指标 $\mathcal{N} $，即随 $\mu$ 增加而向上移动的本征值数量，精确等于拓扑陈指标 $\mathcal{C} $，从而在通用模型中证明了 $ \mathcal{N} = \mathcal{C} $。
• 对于标准型符号 $ g_n $，其量子化算子 $ \hat{g}_n = \mathrm{Op}_1(g_n) $ 是 Fredholm 算子，且其指标为 $ \mathrm{Ind}(\hat{g}_n) = 1 $，该指标与拓扑不变量 $ \mathcal{C} = 1 $ 一致。
• 应用 Fedosov-Hörmander 指标定理表明，对于任意复向量丛 $ F \to S^{2n} $，若其拼接函数为 $ g $，则 $ \mathrm{Op}_1(g) $ 的指标等于陈指标 $ \mathcal{C} $。
• 该模型恢复了已知的物理情形：在 Matsuno 的赤道波模型中，$ \mathcal{N} = \mathcal{C} = +2 $，与观测到的两个赤道模态一致。
• 在分子物理模型中，该指标公式解释了小分子中的谱流，且 $ \mathcal{N} = \mathcal{C} $ 与能量级交叉的实验观测结果相符。
• 证明依赖于 $ g_n^\dagger g_n $ 仅在原点处为零，从而保证了椭性与 Fredholm 性，且 $ \hat{g}_n $ 的核为一维，而 $ \hat{g}_n^\dagger $ 的核为平凡。