Table of Contents
Fetching ...

Boundary conditions for scalar curvature

Christian Baer, Bernhard Hanke

Abstract

Based on the Atiyah-Patodi-Singer index formula, we construct an obstruction to positive scalar curvature metrics with mean convex boundaries on spin manifolds of infinite K-area. We also characterize the extremal case. Next we show a general deformation principle for boundary conditions of metrics with lower scalar curvature bounds. This implies that the relaxation of boundary conditions often induces weak homotopy equivalences of spaces of such metrics. This can be used to refine the smoothing of codimension-one singularites a la Miao and the deformation of boundary conditions a la Brendle-Marques-Neves, among others. Finally, we construct compact manifolds for which the spaces of positive scalar curvature metrics with mean convex boundaries have nontrivial higher homotopy groups.

Boundary conditions for scalar curvature

Abstract

Based on the Atiyah-Patodi-Singer index formula, we construct an obstruction to positive scalar curvature metrics with mean convex boundaries on spin manifolds of infinite K-area. We also characterize the extremal case. Next we show a general deformation principle for boundary conditions of metrics with lower scalar curvature bounds. This implies that the relaxation of boundary conditions often induces weak homotopy equivalences of spaces of such metrics. This can be used to refine the smoothing of codimension-one singularites a la Miao and the deformation of boundary conditions a la Brendle-Marques-Neves, among others. Finally, we construct compact manifolds for which the spaces of positive scalar curvature metrics with mean convex boundaries have nontrivial higher homotopy groups.

Paper Structure

This paper contains 13 sections, 26 theorems, 132 equations, 4 figures, 1 table.

Key Result

Lemma \oldthetheorem

Let $p\in M$. Then all eigenvalues $\lambda$ of $\mathscr{K}^E_p$ satisfy

Figures (4)

  • Figure 1: Identify opposite sides of cube to obtain $3$-torus and remove the red solid torus
  • Figure 2: $M=S^1\times I$ is area-enlargeable
  • Figure 3: The functions $\varphi_1$, $\psi_1$, and $\chi_\delta$
  • Figure 4: The functions $S_1$ and $S_2$

Theorems & Definitions (66)

  • Lemma \oldthetheorem
  • proof
  • Corollary \oldthetheorem
  • Proposition \oldthetheorem
  • proof
  • Corollary \oldthetheorem
  • Definition \oldthetheorem
  • Remark \oldthetheorem
  • Lemma \oldthetheorem
  • proof
  • ...and 56 more