Codimension two index obstructions to positive scalar curvature (Q5962655)
From MaRDI portal
scientific article; zbMATH DE number 6541618
Language | Label | Description | Also known as |
---|---|---|---|
English | Codimension two index obstructions to positive scalar curvature |
scientific article; zbMATH DE number 6541618 |
Statements
Codimension two index obstructions to positive scalar curvature (English)
0 references
15 February 2016
0 references
The main result of this paper is the weakening of the condition behind \textit{M. Gromov} and \textit{H. B. Lawson jun.}'s [Publ. Math., Inst. Hautes Étud. Sci. 58, 83--196 (1983; Zbl 0538.53047)] obstruction to positive scalar curvature (hereafter abbreviated PSC). To wit, Gromov and Lawson's obstruction is that, if \(M\) is a closed aspherical spin manifold with an enlargeable submanifold \(N\) of codimension 2 with trivial normal bundle, and if the homotopy map \(\pi_1(N)\to \pi_1(M)\) induced by inclusion is injective, then \(M\) does not admit a Riemannian metric with PSC. The authors of the present paper demonstrate that the asphericity condition on \(M\) may be replaced with the vanishing of the 2nd homotopy group and that the enlageability condition on \(N\) may be replaced with the nonvanishing of the Rosenberg index. Their approach uses the coarse index theory for Dirac operators twisted by Hilbert-module bundles. The analytic properties of such Dirac operators -- in particular, their regularity and self-adjointness -- has to be addressed first, but a satisfactory account has not been documented in the literature. This lack is satiated by the present paper. In the course of obtaining the main result, the authors also prove a generalized vanishing theorem for the coarse index over noncompact manifolds. To be specific, let \(M\) be a complete, connected, noncompact, and spin manifold, such that, outside of a compact subset, the scalar curvature is uniformly positive. Let \(E\to M\) be a smooth Hilbert A-module bundle that is equipped with a flat connection compatible with the inner product and whose fibers are finitely generated and projective. Under such hypothesis, the authors prove that the coarse index of a Dirac operator twisted by \(E\) vanishes. The results mentioned so far are derived as particular instances of more general principles which are proved in the paper.
0 references
index theory
0 references
positive scalar curvature
0 references
codimension 2
0 references
hypersurface
0 references
Mishchenko-Fomenko index
0 references
large scale geometry
0 references
coarse geometry
0 references
large scale index theory
0 references
coarse index theory
0 references
0 references