A Lefschetz theorem for foliated manifolds (Q919358)

The paper deals with a Lefschetz theorem for the Dirac complex along the foliation of a compact manifold, which is a generalization of the classical Lefschetz theorem for elliptic complexes on a compact manifold. To describe the main theorem we need the following data: F is a foliation of a compact oriented smooth manifold M, \(\nu\) an invariant transverse measure and \[ 0\quad \to \quad E_ 0\to^{d_ 0}E_ 1\quad \to \quad...\to^{d_{k-1}}E_ k\to 0 \] a Dirac complex on M along F which will be denoted by (E,d). f: \(M\to M\) is a diffeomorphism with \(f(L)=L\) for each leaf L of F. A geometric endomorphism T of (E,d) along F is a collection of homomorphisms \(T_ i: C^{\infty}(E_ i)\to C^{\infty}(E_ i)\) such that \(d_ iT_ i=T_{i+1}d_ i\), and there exist smooth bundle maps \(A_ i: f^*E_ i\to E_ i\) with \((T_ is)(x)=A_ i(s(f(x)))\). The authors define a \(\nu\)-Lefschetz number \(L_{\nu}(T)\) as the alternating sum of traces which are constructed by the endomorphisms \(T_ i\). Assume that the fixed point set N of f is a finite disjoint union of closed submanifolds \(N_ j\) of M which are transverse to the foliation, and that f is non-degenerate on \(N^ L_ j:=N_ j\cap L\) for each leaf L. This means that for any \(x\in N^ L_ j\) the restriction of the differential \(df_ x\) to the normal bundle of \(N^ L_ j\) in L does not have 1 as an eigenvalue. The main theorem is that to each \(N^ L_ j\) it is possible to associate a smooth measure \(a^ L_ j\) which depends only on f, the \(A_ i\), the symbols of the Laplacians \(\Delta_ i\), the metrics and their derivations to a finite order on \(N^ L_ j\), so that \[ L_{\nu}(T)=\int_{N}a d\nu. \] The \(a^ L_ j\) are identified explicitly for the classical complexes. If F is the codimension zero foliation of M the theorem gives the G-index theorem and the Atiyah-Bott Lefschetz theorem for the classical complexes. A chapter on applications deals with the generalization of the theorem to arbitrary complexes, relations to the results of Connes, foliations by surfaces and with the stable fibre theorem of Fuller.