On Atiyah-Singer and Atiyah-Bott for finite abstract simplicial complexes

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

[1]  Hans L. Cycon,et al.  Schrodinger Operators: With Application to Quantum Mechanics and Global Geometry , 1987 .

[2]  Isospectral deformations of the Dirac operator , 2013, 1306.5597.

[3]  M. Atiyah,et al.  Seminar on the Atiyah-Singer Index Theorem. , 1968 .

[4]  J. Jonsson Simplicial complexes of graphs , 2007 .

[5]  Oliver Knill,et al.  Curvature from Graph Colorings , 2014, ArXiv.

[6]  Oliver Knill,et al.  On index expectation and curvature for networks , 2012, ArXiv.

[7]  Oliver Knill,et al.  The strong ring of simplicial complexes , 2017, ArXiv.

[8]  H. McKean,et al.  Curvature and the Eigenvalues of the Laplacian , 1967 .

[9]  Norman Levitt,et al.  The euler characteristic is the unique locally determined numerical homotopy invariant of finite complexes , 1992, Discret. Comput. Geom..

[10]  Martin Raussen,et al.  Interview with Michael Atiyah and Isadore Singer , 2004 .

[11]  Michèle Vergne,et al.  Heat Kernels and Dirac Operators: Grundlehren 298 , 1992 .

[12]  Patrick D. Shanahan The Atiyah-Singer index theorem: An introduction , 1978 .

[13]  Oliver Knill,et al.  A graph theoretical Poincare-Hopf Theorem , 2012, ArXiv.

[14]  Oliver Knill,et al.  Gauss-Bonnet for multi-linear valuations , 2016, ArXiv.

[15]  Daniel A. Klain,et al.  Introduction to Geometric Probability , 1997 .

[16]  Oliver Knill,et al.  The McKean-Singer Formula in Graph Theory , 2013, ArXiv.

[17]  Oliver Knill,et al.  A graph theoretical Gauss-Bonnet-Chern Theorem , 2011, ArXiv.

[18]  An integrable evolution equation in geometry , 2013, 1306.0060.

[19]  Oliver Knill A Brouwer fixed-point theorem for graph endomorphisms , 2012, ArXiv.