## Publications of SPP2026

On this site you find preprints and publications produced within the projects and with the support of the DFG priority programme „Geometry at Infinity“.

We show that, for each $n\geqslant 1$, there exist infinitely many spin and non-spin diffeomorphism types of closed, smooth, simply-connected $(n+4)$-manifolds with a smooth, effective action of a torus $T^{n+2}$ and a metric of positive Ricci curvature invariant under a $T^{n}$-subgroup of $T^{n+2}$. As an application, we show that every closed, smooth, simply-connected $5$- and $6$-manifold admitting a smooth, effective torus action of cohomogeneity two supports metrics with positive Ricci curvature invariant under a circle or $T^2$-action, respectively.

Journal | Proc. Amer. Math. Soc. |

Volume | In press. |

Link to preprint version |

**Related project(s):****11**Topological and equivariant rigidity in the presence of lower curvature bounds

We obtain a Central Limit Theorem for closed Riemannian manifolds, clarifying along the way the geometric meaning of some of the hypotheses in Bhattacharya and Lin's Omnibus Central Limit Theorem for Fréchet means. We obtain our CLT assuming certain stability hypothesis for the cut locus, which always holds when the manifold is compact but may not be satisfied in the non-compact case.

**Related project(s):****11**Topological and equivariant rigidity in the presence of lower curvature bounds**15**Spaces and Moduli Spaces of Riemannian Metrics with Curvature Bounds on compact and non-compact Manifolds

Abstract: For an immersed Lagrangian submanifold, let \check{A} be the Lagrangian trace-free second fundamental form. In this note we consider the equation \nabla^*T=0 on Lagrangian surfaces immersed in \mathbb{C}^2, where T=-2\nabla^*(\check{A}\lrcornerω), and we prove a gap theorem for the Whitney sphere as a solution to this equation.

**Related project(s):****22**Willmore functional and Lagrangian surfaces

In this paper we introduce a Guan-Li type volume preserving mean curvature flow for free boundary hypersurfaces in a ball. We give a concept of star-shaped free boundary hypersurfaces in a ball and show that the Guan-Li type mean curvature flow has long time existence and converges to a free boundary spherical cap, provided the initial data is star-shaped.

**Related project(s):****22**Willmore functional and Lagrangian surfaces

In this paper we prove that any immersed stable capillary hypersurfaces in a ball in space forms are totally umbilical. This solves completely a long-standing open problem. In the proof one of crucial ingredients is a new Minkowski type formula. We also prove a Heintze-Karcher-Ros type inequality for hypersurfaces in a ball, which, together with the new Minkowski formula, yields a new proof of Alexandrov's Theorem for embedded CMC hypersurfaces in a ball with free boundary.

Journal | Math. Ann. |

Volume | 374 |

Pages | 1845--1882 |

Link to preprint version | |

Link to published version |

**Related project(s):****22**Willmore functional and Lagrangian surfaces

In this note, we first introduce a boundary problem for Lagrangian submanifolds, analogous to the free boundary hypersurfaces and capillary hypersurfaces. Then we present some interesting minimal Lagrangian submanifolds examples satisfying this boundary condition and we prove a Lagrangian version of Nitsche (or Hopf) type theorem. Some problems are proposed at the end of this note.

**Related project(s):****22**Willmore functional and Lagrangian surfaces

We study immersed surfaces in R3 which are critical points of the Willmore functional under boundary constraints. The two cases considered are when the surface meets a plane orthogonally along the boundary, and when the boundary is contained in a line. In both cases we derive weak forms of the resulting free boundary conditions and prove regularity by reflection.

**Related project(s):****22**Willmore functional and Lagrangian surfaces

For the Willmore flow of spheres in R^n with small energy, we prove stability estimates for the barycenter, the quadratic moment, and in case n=3 also for the enclosed volume and averaged mean curvature. As applications, we give a new proof for a quasi-rigidity estimate due to De Lellis and Müller, also for an inequality by Röger and Schätzle for the isoperimetric deficit.

**Related project(s):****22**Willmore functional and Lagrangian surfaces

Let M be a compact Riemannian manifold which does not admit any immersed surface which is totally geodesic. We prove that then any completely immersed surface in M has area bounded in terms of the L^2 norm of the second fundamental form.

**Related project(s):****22**Willmore functional and Lagrangian surfaces

A classical problem in general relativity is the Cauchy problem for the linearised Einstein equation (the initial value problem for gravitational waves) on a globally hyperbolic vacuum spacetime. A well-known result is that it is uniquely solvable up to gauge solutions, given initial data on a spacelike Cauchy hypersurface. The solution map is an isomorphism between initial data (modulo gauge producing initial data) and solutions (modulo gauge solutions). In the first part of this work, we show that the solution map is actually an isomorphism of locally convex topological vector spaces. This implies that the equivalence class of solutions depends continuously on the equivalence class of initial data. We may therefore conclude well-posedness of the Cauchy problem. In the second part, we show that the linearised constraint equations can always be solved on a closed manifold with vanishing scalar curvature. This generalises the classical notion of TT-tensors on flat space used to produce models of gravitational waves. All our results are proven for smooth and distributional initial data of arbitrary real Sobolev regularity.

Journal | Annales Henri Poincaré |

Publisher | Springer International Publishing |

Volume | 20 |

Pages | 3849–3888 |

Link to preprint version | |

Link to published version |

**Related project(s):****21**Stability and instability of Einstein manifolds with prescribed asymptotic geometry

We prove that any compact Cauchy horizon with constant non-zero surface gravity in a smooth vacuum spacetime is a Killing horizon. The novelty here is that the Killing vector field is shown to exist on both sides of the horizon. This generalises classical results by Moncrief and Isenberg, by dropping the assumption that the metric is analytic. In previous work by Rácz and the author, the Killing vector field was constructed on the globally hyperbolic side of the horizon. In this paper, we prove a new unique continuation theorem for wave equations through smooth compact lightlike (characteristic) hypersurfaces which allows us to extend the Killing vector field beyond the horizon. The main ingredient in the proof of this theorem is a novel Carleman type estimate. Using a well-known construction, our result applies in particular to smooth stationary asymptotically flat vacuum black hole spacetimes with event horizons with constant non-zero surface gravity. As a special case, we therefore recover Hawking's local rigidity theorem for such black holes, which was recently proven by Alexakis-Ionescu-Klainerman using a different Carleman type estimate.

**Related project(s):****21**Stability and instability of Einstein manifolds with prescribed asymptotic geometry

An action of a compact Lie group is called equivariantly formal, if the Leray--Serre spectral sequence of its Borel fibration degenerates at the E_2-term. This term is as prominent as it is restrictive.

In this article, also motivated by the lack of junction between the notion of equivariant formality and the concept of formality of spaces (surging from rational homotopy theory) we suggest two new variations of equivariant formality: "MOD-formal actions" and "actions of formal core".

We investigate and characterize these new terms in many different ways involving various tools from rational homotopy theory, Hirsch--Brown models, A∞-algebras, etc., and, in particular, we provide different applications ranging from actions on symplectic manifolds and rationally elliptic spaces to manifolds of non-negative sectional curvature.

A major motivation for the new definitions was that an almost free action of a torus Tn↷X possessing any of the two new properties satisfies the toral rank conjecture, i.e. dimH∗(X;Q)≥2n. This generalizes and proves the toral rank conjecture for actions with formal orbit spaces.

**Related project(s):****15**Spaces and Moduli Spaces of Riemannian Metrics with Curvature Bounds on compact and non-compact Manifolds

We provide several results on the existence of metrics of non-negative sectional curvature on vector bundles over certain cohomogeneity one manifolds and homogeneous spaces up to suitable stabilization.

Beside explicit constructions of the metrics, this is achieved by identifying equivariant structures upon these vector bundles via a comparison of their equivariant and non-equivariant K-theory. For this, in particular, we transcribe equivariant K-theory to equivariant rational cohomology and investigate surjectivity properties of induced maps in the Borel fibration via rational homotopy theory.

**Related project(s):****15**Spaces and Moduli Spaces of Riemannian Metrics with Curvature Bounds on compact and non-compact Manifolds

We show that the space introduced by Vasy in order to construct a pseudodifferential calculus adapted to the N-body problem can be obtained as the primitive ideal spectrum of one of the N-body algebras considered by Georgescu. In the process, we provide an alternative description of the iterated blow-up space of a manifold with corners with respect to a clean semilattice of adapted submanifolds (i.e. p-submanifolds). Since our constructions and proofs rely heavily on manifolds with corners and their submanifolds, we found it necessary to clarify the various notions of submanifolds of a manifold with corners.

**Related project(s):****3**Geometric operators on a class of manifolds with bounded geometry

We prove well-posedness and regularity results for elliptic boundary value problems on certain singular domains. Our class of domains contains the class of domains with isolated oscillating conical singularities. Our results thus generalize the classical results of Kondratiev on domains with conical singularities. The proofs are based on conformal changes of metric, on the differential geometry of manifolds with boundary and bounded geometry, and on our earlier results on manifolds with boundary and bounded geometry.

Journal | Comptes Rendus Mathématique Sér. I 357 487-493 (2019) |

Link to preprint version | |

Link to published version |

**Related project(s):****3**Geometric operators on a class of manifolds with bounded geometry

Let M be a smooth manifold with (smooth) boundary ∂M and bounded geometry and ∂<sub>D</sub>M ⊂ ∂M be an open and closed subset. We prove the well-posedness of the mixed Robin boundary value problem Pu = f in M, u = 0 on ∂<sub>D</sub>M, ∂<sup>P</sup><sub>ν</sub> u + bu = 0 on ∂M \ ∂<sub>D</sub>M under the following assumptions. First, we assume that P satisfies the strong Legendre condition (which reduces to the uniformly strong ellipticity condition in the scalar case) and that it has totally bounded coefficients (that is, that the coefficients of P and all their derivatives are bounded). Let ∂<sub>R</sub>M ⊂ ∂M \ ∂<sub>D</sub>M be the set where b≠ 0.

Journal | Rev. Roumaine Math. Pures Appl. 64 85-111 (2019) |

Link to preprint version | |

Link to published version |

**Related project(s):****3**Geometric operators on a class of manifolds with bounded geometry

Let M be a manifold with boundary and bounded geometry. We assume that M has "finite width", that is, that the distance from any point to the boundary is bounded uniformly. Under this assumption, we prove that the Poincaré inequality for vector valued functions holds on M. We also prove a general regularity result for uniformly strongly elliptic equations and systems on general manifolds with boundary and bounded geometry. By combining the Poincaré inequality with the regularity result, we obtain-as in the classical case-that uniformly strongly elliptic equations and systems are well-posed on M in Hadamard's sense between the usual Sobolev spaces associated to the metric. We also provide variants of these results that apply to suitable mixed Dirichlet-Neumann boundary conditions. We also indicate applications to boundary value problems on singular domains.

Journal | Mathematische Nachrichten |

Publisher | Wiley |

Link to preprint version | |

Link to published version |

**Related project(s):****3**Geometric operators on a class of manifolds with bounded geometry

We compute the *p*-central and exponent-*p* series of all right angled Artin groups, and compute the dimensions of their subquotients. We also describe their associated Lie algebras, and relate them to the cohomology ring of the group as well as to a partially commuting polynomial ring and power series ring. We finally show how the growth series of these various objects are related to each other.

**Related project(s):****18**Analytic L2-invariants of non-positively curved spaces

Let *N*⊂*M* be a submanifold embedding of spin manifolds of some codimension *k*≥1. A classical result of Gromov and Lawson, refined by Hanke, Pape and Schick, states that *M* does not admit a metric of positive scalar curvature if *k*=2 and the Dirac operator of *N* has non-trivial index, provided that suitable conditions are satisfied. In the cases *k*=1 and *k*=2, Zeidler and Kubota, respectively, established more systematic results: There exists a transfer KO∗(C∗*π*1*M*)→KO∗−*k*(C∗*π*1*N*) which maps the index class of *M* to the index class of *N*. The main goal of this article is to construct analogous transfer maps *E*∗(B*π*1*M*)→*E*∗−*k*(B*π*1*N*) for different generalized homology theories *E* and suitable submanifold embeddings. The design criterion is that it is compatible with the transfer *E*∗(*M*)→*E*∗−*k*(*N*) induced by the inclusion *N*⊂*M* for a chosen orientation on the normal bundle. Under varying restrictions on homotopy groups and the normal bundle, we construct transfers in the following cases in particular: In ordinary homology, it works for all codimensions. This slightly generalizes a result of Engel and simplifies his proof. In complex K-homology, we achieve it for *k*≤3. For *k*≤2, we have a transfer on the equivariant KO-homology of the classifying space for proper actions.

**Related project(s):****9**Diffeomorphisms and the topology of positive scalar curvature

Let Γ be a finitely generated discrete group and let *M*˜ be a Galois Γ-covering of a smooth compact manifold *M*. Let *u*:*X*→*B*Γ be the associated classifying map. Finally, let SΓ∗(*M*˜) be the analytic structure group, a K-theory group appearing in the Higson-Roe exact sequence ⋯→SΓ∗(*M*˜)→*K*∗(*M*)→*K*∗(*C*∗Γ)→⋯. Under suitable assumptions on Γ we construct two pairings, first between SΓ∗(*M*˜) and the delocalized part of the cyclic cohomology of CΓ, and secondly between SΓ∗(*M*˜) and the relative cohomology *H*∗(*M*→*B*Γ). Both are compatible with known pairings associated with the other terms in the Higson-Roe sequence. In particular, we define higher rho numbers associated to the rho class *ρ*(*D*˜)∈SΓ∗(*M*˜) of an invertible Γ-equivariant Dirac type operator on *M*˜. Regarding the first pairing we establish in fact a more general result, valid without additional assumptions on Γ: indeed, we prove that it is possible to map the Higson-Roe analytic surgery sequence to the long exact sequence in noncommutative de Rham homology ⋯−→*j*∗*H*∗−1(AΓ)→*ι**H**d**e**l*∗−1(AΓ)→*δ**H**e*∗(AΓ)−→*j*∗⋯ with AΓ a dense homomorphically closed subalgebra of *C*∗*r*Γ and *H**d**e**l*∗(AΓ) and *H**e*∗(AΓ) denoting versions of the delocalized homology and the homology localized at the identity element, respectively.

**Related project(s):****9**Diffeomorphisms and the topology of positive scalar curvature