[论文解读] On Atiyah-Singer and Atiyah-Bott for finite abstract simplicial complexes

Oliver Knill|arXiv (Cornell University)|Aug 21, 2017

Topological and Geometric Data Analysis参考文献 15被引用 3

一句话总结

本文通过定义基于谱对称性（McKean-Singer 性质）的椭圆微分复形，建立了有限抽象单纯复形上 Atiyah-Singer 与 Atiyah-Bott 指标定理的离散类比。证明了由 Hodge 拉普拉斯算子的热核的迹所定义的解析指标，等于顶点上的曲率之和所表示的拓扑指标，从而推广了欧拉特征与吴特征。关键贡献是通过热流与梯度形变，建立了一类基于 Brouwer 型指标的离散不动点定理。

ABSTRACT

A linear or multi-linear valuation on a finite abstract simplicial complex can be expressed as an analytic index dim(ker(D)) -dim(ker(D^*)) of a differential complex D:E -> F. In the discrete, a complex D can be called elliptic if a McKean-Singer spectral symmetry applies as this implies str(exp(-t D^2)) is t-independent. In that case, the analytic index of D is the sum of (-1)^k b_k(D), where b_k(D) is the k'th Betti number, which by Hodge is the nullity of the (k+1)'th block of the Hodge operator L=D^2. It can also be written as a topological index summing K(v) over the set of zero-dimensional simplices in G and where K is an Euler type curvature defined by G and D. This can be interpreted as a Atiyah-Singer type correspondence between analytic and topological index. Examples are the de Rham differential complex for the Euler characteristic X(G) or the connection differential complex for Wu characteristic w_k(G). Given an endomorphism T of an elliptic complex, the Lefschetz number X(T,G,D) is defined as the super trace of T acting on cohomology defined by E. It is equal to the sum i(v) over V which are contained in fixed simplices of T, and i is a Brouwer type index. This Atiyah-Bott result generalizes the Brouwer-Lefschetz fixed point theorem for an endomorphism of the simplicial complex G. In both the static and dynamic setting, the proof is done by heat deforming the Koopman operator U(T) to get the cohomological picture str(exp(-t D^2) U(T)) in the limit t to infinity and then use Hodge, and then by applying a discrete gradient flow to the simplex data defining the valuation to push str(U(T)) to V, getting curvature K(v) or the Brouwer type index i(v).

研究动机与目标

• 将 Atiyah-Singer 与 Atiyah-Bott 指标定理推广至有限抽象单纯复形，采用离散微分几何方法。
• 通过 McKean-Singer 谱对称性条件，在离散设定下定义椭圆复形。
• 证明离散微分复形的解析指标（热核的超迹）等于 0-骨架上的拓扑指标（曲率项之和）。
• 利用 Brouwer 型指标，将 Lefschetz 不动点定理推广至离散复形。
• 提供一个离散的、组合的框架，其作用类似于连续情形下的指标定理，且无需假设流形结构。

提出的方法

• 在有限单纯复形 $ G $ 上定义微分复形 $ D: E \to F $，其中 $ D^2 $ 为 Hodge 拉普拉斯算子 $ L $。
• 若超迹 $ \mathrm{str}(e^{-tL}) $ 关于 $ t $ 恒定，则称 $ D $ 为椭圆型，此条件蕴含谱对称性。
• 将解析指标表示为 $ \chi(G,D) = \sum_k (-1)^k b_k(D) $，其中 $ b_k(D) $ 为通过 Hodge 理论得到的第 $ k $ 个贝蒂数。
• 将拓扑指标表示为 $ \sum_{v \in V} K(v) $，其中 $ K(v) $ 为由复形与 $ D $ 导出的曲率。
• 利用热变形将 Koopman 算子 $ U(T) $ 与同调超迹 $ \mathrm{str}(e^{-tL}U(T)) $ 联系起来，随后应用 Hodge 理论。
• 应用离散梯度流，将 Lefschetz 数 $ \mathrm{str}(U(T)) $ 变形至 0 维骨架，从而导出 Brouwer 型指标 $ i(v) $。

实验结果

研究问题

• RQ1 能否在纯离散设定下，为有限单纯复形表述 Atiyah-Singer 指标定理？
• RQ2 McKean-Singer 谱对称性条件是否可作为椭圆性的有效离散类比？
• RQ3 能否通过曲率求和，将离散微分复形的解析指标与拓扑指标相等化？
• RQ4 如何利用离散曲率与指标，将 Atiyah-Bott 不动点定理推广至离散单纯复形？
• RQ5 热流与梯度形变在连接离散情形下的动力系统与同调不变量中起何作用？

主要发现

• 解析指标 $ \chi(G,D) = \sum_k (-1)^k b_k(D) $ 等于拓扑指标 $ \sum_{v \in V} K(v) $，其中 $ K(v) $ 为由复形与微分算子 $ D $ 定义的曲率。
• 对于 de Rham 复形，拓扑指标退化为欧拉特征 $ \chi(G) $；对于联络复形，其结果为吴特征 $ \omega_k(G) $。
• 自同态 $ T $ 的 Lefschetz 数 $ \chi(T,G,D) $ 等于 $ \sum_{v \in V} i(v) $，其中 $ i(v) $ 为与 $ T $ 的不动单纯形相关联的 Brouwer 型指标。
• 证明依赖于 Koopman 算子 $ U(T) $ 的热变形，随后应用 Hodge 理论与离散梯度流，将超迹约化至 0-骨架。
• 曲率 $ K(v) $ 与指标 $ i(v) $ 自然地从变形过程中浮现，提供了 Atiyah-Bott 不动点公式的离散类比。
• 该框架适用于一般有限抽象单纯复形，无需流形或几何结构假设，以组合方式推广了经典结果。