Abstract:We obtain an equivariant index theorem, or Lefschetz fixed-point formula, for isometries from complete Riemannian manifolds to themselves. The fixed-point set of such an isometry may be noncompact. We build on techniques developed by Roe. Key new ingredients are a localised functional on operators with bounded smooth kernels, and an algebra (reminiscent of Yu's localisation algebra) of `asymptotically local' operators, on which this functional has an asymptotic trace property. As consequences, we show that some earlier indices used are special cases of the one we introduce here, and obtain an obstruction to positive scalar curvature.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish a Lefschetz fixed - point formula on non - compact manifolds, that is, the equivariant index theorem on non - compact fixed - point sets. Specifically, the goal of the paper is, for isometries from complete Riemannian manifolds to themselves, when the fixed - point sets of these mappings may be non - compact, how to construct an effective Lefschetz fixed - point formula.
### Background and Motivation
The traditional Lefschetz fixed - point theorem usually assumes that the fixed - point set is compact, or considers proper group actions with compact quotient spaces. However, in many practical applications, the fixed - point set may not be compact, which limits the application scope of existing theories. Therefore, the main contribution of this paper is to expand this theory so that it can handle the case of non - compact fixed - point sets.
### Main Results
The main result of the paper is a new Lefschetz fixed - point formula that does not depend on the compactness assumption of the fixed - point set. Specifically, by introducing a new algebraic structure (asymptotically local operators) and a localized functional, the author successfully constructs a trace - like number with trace properties in the limit. This new formula can be applied to Dirac - type operators on non - compact manifolds and can extract a numerical index.
### Formula
The core formula in the paper is as follows:
\[ \text{Tr}_U^\Phi(\text{index}_L(D)) = \lim_{j \to \infty} \frac{1}{\text{vol}(M_j \cap U)} \int_{(M_j \cap U) \phi} \text{AS}_\Phi(D) \]
where:
- \( \text{Tr}_U^\Phi \) is a trace - like number defined on \( A_L^{-\infty}(S)^\Phi \).
- \( \text{index}_L(D) \) is the index of the Dirac operator \( D \).
- \( \text{AS}_\Phi(D) \) is the classical Atiyah–Segal–Singer integrand.
- \( U \) is a neighborhood of the fixed - point set \( M_\phi \).
- \( M_j \) is an increasing sequence of compact subsets of \( M \), and the union of them is the whole \( M \).
### Applications and Significance
This formula not only extends the existing Lefschetz fixed - point formula to make it applicable to a wider range of situations, but also provides a new method to study the geometric and topological properties on non - compact manifolds. In particular, the paper shows how to use this formula to derive some special cases of known indices and gives the obstruction conditions for positive scalar curvature.
### Conclusion
In general, this paper successfully solves the problem of the Lefschetz fixed - point formula on non - compact fixed - point sets by introducing new algebraic structures and localization techniques, providing new tools and perspectives for research in related fields.