Relative eta invariant and uniformly positive scalar curvature on non-compact manifolds
Pengshuai Shi
TL;DR
The paper develops a relative eta- invariant framework for Dirac–Schrödinger operators on complete non-compact manifolds with bounded geometry and shows a real gluing formula in the invertible case. It derives a geometric spectral-flow formula linking the flow of twisted Dirac operators to the integral of the A-hat genus against Chern–Simons forms, and establishes APS-type index theorems for manifolds with non-compact boundary. These tools are then applied to study spaces of uniformly positive scalar curvature metrics on non-compact connected sums, proving nontrivial topology (infinite path components) of PSC metric spaces and distinguishing metrics via relative rho invariants. The results extend index theory and PSC-geometry to non-compact settings, offering new methods to understand moduli spaces of PSC metrics and the impact of non-compact boundaries on index-theoretic invariants.
Abstract
On complete non-compact manifolds with bounded sectional curvature, we consider a class of self-adjoint Dirac-type operators called Dirac-Schrödinger operators. Assuming two Dirac-Schrödinger operators coincide at infinity, by previous work, one can define their relative eta invariant. A typical example of Dirac-Schrödinger operators is the (twisted) spin Dirac operators on spin manifolds which admit a Riemannian metric of uniformly positive scalar curvature. In this case, using the relative eta invariant, we get a geometric formula for the spectral flow on non-compact manifolds, which induces a new proof of Gromov-Lawson's result about compact area enlargeable manifolds in odd dimensions. When two such spin Dirac operators are the boundary restriction of an operator on a manifold with non-compact boundary, under certain conditions, we obtain an index formula involving the relative eta invariant. This generalizes the Atiyah-Patodi-Singer index theorem to non-compact boundary situation. As a result, we can use the relative eta invariant to study the space of uniformly positive scalar curvature metrics on some non-compact connected sums.
