[論文レビュー] 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性質）を用いて、有限抽象単体複体における楕円型微分複体を定義することで、アティヤ・シンガーおよびアティヤ・ボットの指数定理の離散的類似を確立する。解析的指数（ホッジラプラシアンの熱核のスーパートレースとして定義）が、頂点上の曲率和として表される位相的指数に等しいことを示し、オイラーおよびウーの特性に一般化する。主たる貢献は、熱流および勾配変形を用いて証明された、ブルーワー型インデックスを用いた離散的不動点定理である。

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).

研究の動機と目的

• 有限抽象単体複体に対して、離散微分幾何学を用いてアティヤ・シンガーおよびアティヤ・ボットの指数定理を拡張すること。
• McKean-Singerのスペクトル対称性条件を用いて、離散的設定における楕円型複体を定義すること。
• 解析的指数（熱核のスーパートレース）が、0次元スケルトン上で曲率項の和として表される位相的指数に等しいことを示すこと。
• ブルーワー型インデックスを用いて、Lefschetzの不動点定理を離散的複体に一般化すること。
• 多様体構造を仮定しない、連続的指数定理を模倣する離散的で組合せ論的な枠組みを提供すること。

提案手法

• 有限単体複体 $ G $ 上に微分複体 $ D: E \to F $ を定義し、$ D^2 $ がホッジラプラシアン $ L $ に一致するようにする。
• スーパートレース $ \mathrm{str}(e^{-tL}) $ が $ t $ に依存しないこと、すなわちスペクトル対称性を満たす場合に $ D $ を楕円型と定義する。
• 解析的指数を $ \chi(G,D) = \sum_k (-1)^k b_k(D) $ として表し、ここで $ b_k(D) $ はホッジ理論による $ k $-番目のベッチ数である。
• 位相的指数を $ \sum_{v \in V} K(v) $ として表し、ここで $ K(v) $ は複体および $ D $ に依存する曲率である。
• 熱変形を用いてコプマン作用素 $ U(T) $ を、コhomologicalスーパートレース $ \mathrm{str}(e^{-tL}U(T)) $ に接続し、その後ホッジ理論を適用する。
• 離散的勾配流を用いて、Lefschetz数 $ \mathrm{str}(U(T)) $ を0次元スケルトンに変形し、ブルーワー型インデックス $ i(v) $ を得る。

実験結果

リサーチクエスチョン

• RQ1 有限単体複体に対して、アティヤ・シンガーの指数定理を完全に離散的な設定で定式化できるか？
• RQ2 McKean-Singerのスペクトル対称性条件は、楕円性の有効な離散的類似として成立するか？
• RQ3 離散的微分複体の解析的指数を、曲率和による位相的指数に等しくできるか？
• RQ4 離散的曲率およびインデックスを用いて、アティヤ・ボットの不動点定理を離散的単体複体にどのように一般化できるか？
• RQ5 熱流および勾配変形は、離散的において力学的およびコhomological不変量をどのように結びつけるか？

主な発見

• 解析的指数 $ \chi(G,D) = \sum_k (-1)^k b_k(D) $ が、複体および微分作用素 $ D $ に依存する曲率 $ K(v) $ によって定義される位相的指数 $ \sum_{v \in V} K(v) $ に等しい。
• de Rham複体に対しては、位相的指数はオイラー特性 $ \chi(G) $ に簡略化され、接続複体に対してはウー特性 $ \omega_k(G) $ を得る。
• 自己準同型 $ T $ のLefschetz数 $ \chi(T,G,D) $ は、$ T $ の不動点単体に関連するブルーワー型インデックス $ i(v) $ の和 $ \sum_{v \in V} i(v) $ に等しい。
• 証明は、コプマン作用素 $ U(T) $ の熱変形に依存し、その後ホッジ理論および離散的勾配流を用いてスーパートレースを0次元スケルトンに還元する。
• 曲率 $ K(v) $ およびインデックス $ i(v) $ は変形プロセスから自然に導かれるものであり、アティヤ・ボットの不動点公式の離散的類似を提供する。
• この枠組みは、多様体や幾何的構造を仮定しない一般の有限抽象単体複体に適用可能であり、古典的結果を組合せ論的に一般化する。