We show scalar-mean curvature rigidity of warped products of round spheres of dimension at least 2 over compact intervals equipped  with   strictly log-concave warping functions. This generalizes earlier results of  Cecchini-Zeidler to all dimensions. Moreover, we show scalar curvature rigidity of round spheres of dimension at least $3$ minus two antipodal points, thus resolving a problem in Gromov's  ``Four Lectures'' in all dimensions. Our arguments are based on spin geometry.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds52Spaces and Moduli Spaces of Riemannian Metrics with Curvature Bounds on compact and non-compact Manifolds II

We consider first-order elliptic differential operators acting on vector bundles over smooth manifolds with smooth boundary, which is permitted to be noncompact. Under very mild assumptions, we obtain a regularity theory for sections in the maximal domain. Under additional geometric assumptions, and assumptions on an adapted boundary operator, we obtain a trace theorem on the maximal domain. This allows us to systematically study both local and nonlocal boundary conditions. In particular, the Atiyah-Patodi-Singer boundary condition occurs as a special case. Furthermore, we study contexts which induce semi-Fredholm and Fredholm extensions.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds

We extend the K-cowaist inequality to generalized Dirac operators in the sense of Gromov and Lawson and study applications to manifolds with boundary.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds52Spaces and Moduli Spaces of Riemannian Metrics with Curvature Bounds on compact and non-compact Manifolds II

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.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds52Spaces and Moduli Spaces of Riemannian Metrics with Curvature Bounds on compact and non-compact Manifolds II

This paper investigates realisations of elliptic differential operators of general order on manifolds with boundary following the approach of Bär-Ballmann to first order elliptic operators. The space of possible boundary values of elements in the maximal domain is described as a Hilbert space densely sandwiched between two mixed order Sobolev spaces. The description uses Calderón projectors which, in the first order case, is equivalent to results of Bär-Bandara using spectral projectors of an adapted boundary operator. Boundary conditions that induce Fredholm as well as regular realisations, and those that admit higher order regularity, are characterised. In addition, results concerning spectral theory, homotopy invariance of the Fredholm index, and well-posedness for higher order elliptic boundary value problems are proven.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds

Non-local boundary conditions, such as the Atiyah-Patodi-Singer (APS) conditions, for Dirac operators on Riemannian manifolds are well under\-stood while not much is known for such operators on spacetimes with timelike boundary. We define a class of Lorentzian boundary conditions that are local in time and non-local in the spatial directions and show that they lead to a well-posed Cauchy problem for the Dirac operator. This applies in particular to the APS conditions imposed on each level set of a given Cauchy temporal function.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds

The relative index theorem is proved for general first-order elliptic operators that are complete and coercive at infinity over measured manifolds. This extends the original result by Gromov-Lawson for generalised Dirac operators as well as the result of Bär-Ballmann for Dirac-type operators. The theorem is seen through the point of view of boundary value problems, using the graphical decomposition of elliptically regular boundary conditions for general first-order elliptic operators due to Bär-Bandara. Splitting, decomposition and the Phi-relative index theorem are proved on route to the relative index theorem.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds

We adapt the Faddeev-LeVerrier algorithm for the computation of characteristic polynomials to the computation of the Pfaffian of a skew-symmetric matrix. This yields a very simple, easy to implement and parallelize algorithm of computational cost O(n^{β+1}) where n is the size of the matrix and O(n^β) is the cost of multiplying n×n-matrices, β∈[2,2.37286). We compare its performance to that of other algorithms and show how it can be used to compute the Euler form of a Riemannian manifold using computer algebra.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds

We prove a local version of the index theorem for Lorentzian Dirac-type operators on globally hyperbolic Lorentzian manifolds with Cauchy boundary. In case the Cauchy hypersurface is compact we do not assume self-adjointness of the Dirac operator on the spacetime or the associated elliptic Dirac operator on the boundary. In this case integration of our local index theorem results in a generalization of previously known index theorems for globally hyperbolic spacetimes that allows for twisting bundles associated with non-compact gauge groups.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds