## 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 consider pseudodifferential operators of tensor product type, also called bisingular pseudodifferential operators, which are defined on the product manifold $M_1 \times M_2$ for closed manifolds $M_1$ and $M_2$. We prove a topological index theorem for Fredholm operators of tensor product type. To this end we construct a suitable double deformation groupoid and prove a Poincaré duality type result in relative $K$-theory.

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

We extend two known existence results to simply connected manifolds with

positive sectional curvature: we show that there exist pairs of simply

connected positively-curved manifolds that are tangentially homotopy equivalent

but not homeomorphic, and we deduce that an open manifold may admit a pair of

non-homeomorphic simply connected and positively-curved souls. Examples of such

pairs are given by explicit pairs of Eschenburg spaces. To deduce the second

statement from the first, we extend our earlier work on the stable converse

soul question and show that it has a positive answer for a class of spaces that

includes all Eschenburg spaces.

Journal | Mathematical Proceedings of the Cambridge Philosophical Society |

Link to preprint version |

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

The Bartnik mass is a quasi-local mass tailored to asymptotically flat Riemannian manifolds with non-negative scalar curvature. From the perspective of general relativity, these model time-symmetric domains obeying the dominant energy condition without a cosmological constant. There is a natural analogue of the Bartnik mass for asymptotically hyperbolic Riemannian manifolds with a negative lower bound on scalar curvature which model time-symmetric domains obeying the dominant energy condition in the presence of a negative cosmological constant. Following the ideas of Mantoulidis and Schoen [2016], of Miao and Xie [2016], and of joint work of Miao and the authors [2017], we construct asymptotically hyperbolic extensions of minimal and constant mean curvature (CMC) Bartnik data while controlling the total mass of the extensions. We establish that for minimal surfaces satisfying a stability condition, the Bartnik mass is bounded above by the conjectured lower bound coming from the asymptotically hyperbolic Riemannian Penrose inequality. We also obtain estimates for such a hyperbolic Bartnik mass of CMC surfaces with positive Gaussian curvature.

Journal | J. Geom. Phys. |

Publisher | Elsevier |

Volume | 132 |

Pages | 338--357 |

Link to preprint version | |

Link to published version |

**Related project(s):****5**Index theory on Lorentzian manifolds

We prove that a minimal disc in a CAT(0) space is a local embedding away from a finite set of "branch points". On the way we establish several basic properties of minimal surfaces: monotonicity of area densities, density bounds, limit theorems and the existence of tangent maps.

As an application, we prove Fary-Milnor's theorem in the CAT(0) setting.

**Related project(s):****24**Minimal surfaces in metric spaces

A surface which does not admit a length nonincreasing deformation is called metric minimizing. We show that metric minimizing surfaces in CAT(0) spaces are locally CAT(0) with respect to their intrinsic metric.

**Related project(s):****24**Minimal surfaces in metric spaces

We prove an analog of Schoen-Yau univalentness theorem for saddle maps between discs.

**Related project(s):****24**Minimal surfaces in metric spaces

In this paper we first introduce quermassintegrals for free boundary hypersurfaces in the (*n*+1)-dimensional Euclidean unit ball. Then we solve some related isoperimetric type problems for convex free boundary hypersurfaces, which lead to new Alexandrov-Fenchel inequalities. In particular, for *n*=2 we obtain a Minkowski-type inequality and for *n*=3 we obtain an optimal Willmore-type inequality. To prove these estimates, we employ a specifically designed locally constrained inverse harmonic mean curvature flow with free boundary.

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

In this paper, by providing the uniform gradient estimates for approximating equations, we prove the existence, uniqueness and regularity of conical parabolic complex Monge-Ampère equation with weak initial data. As an application, we obtain a regularity estimate, that is, any $L^{\infty}$-solution of the conical complex Monge-Ampère equation admits the $C^{2,\alpha,\beta}$-regularity.

Journal | Calculus of Variations and Partial Differential Equations |

Link to preprint version |

**Related project(s):****31**Solutions to Ricci flow whose scalar curvature is bounded in Lp.

Given two weighted graphs $(X,b_k,m_k)$, $k=1,2$ with $b_1\sim b_2$ and $m_1\sim m_2$, we prove a weighted $L^1$-criterion for the existence and completeness of the wave operators $W_{\pm}(H_{2},H_1, I_{1,2})$, where $H_k$ denotes the natural Laplacian in $\ell^2(X,m_k)$ w.r.t. $(X,b_k,m_k)$ and $I_{1,2}$ the trivial identification of $\ell^2(X,m_1)$ with $\ell^2(X,m_2)$. In particular, this entails a general criterion for the absolutely continuous spectra of $H_1$ and $H_2$ to be equal.

Journal | Math. Phys. Anal. Geom. |

Pages | 21-28 |

Link to preprint version |

**Related project(s):****19**Boundaries, Greens formulae and harmonic functions for graphs and Dirichlet spaces

We define a Toledo number for actions of surface groups and complex hyperbolic lattices on infinite dimensional Hermitian symmetric spaces, which allows us to define maximal representations. When the target is not of tube type we show that there cannot be Zariski-dense maximal representations, and whenever the existence of a boundary map can be guaranteed, the representation preserves a finite dimensional totally geodesic subspace on which the action is maximal. In the opposite direction we construct examples of geometrically dense maximal representation in the infinite dimensional Hermitian symmetric space of tube type and finite rank. Our approach is based on the study of boundary maps, that we are able to construct in low ranks or under some suitable Zariski-density assumption, circumventing the lack of local compactness in the infinite dimensional setting.

**Related project(s):****28**Rigidity, deformations and limits of maximal representations

Manifolds all of whose geodesics are closed have been studied a lot, but there are only few examples known. The situation is different if one allows in addition for orbifold singularities. We show, nevertheless, that the abundance of new examples is restricted to even dimensions. As one key ingredient we provide a characterization of orientable manifolds among orientable orbifolds in terms of characteristic classes.

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

We prove that $\mathrm{Aut}(F_n)$ has Kazhdan's property (T) for every $n \geqslant 6$. Together with a previous result of Kaluba, Nowak, and Ozawa, this gives the same statement for $n\geqslant 5$.

We also provide explicit lower bounds for the Kazhdan constants of $\mathrm{SAut}(F_n)$ (with $n \geqslant 6$) and of $\mathrm{SL}_n(\mathbb Z)$ (with $n \geqslant 3$) with respect to natural generating sets.

In the latter case, these bounds improve upon previously known lower bounds whenever $n> 6$.

**Related project(s):****8**Parabolics and invariants

In this work, it is shown that a simply-connected, rationally-elliptic torus orbifold is equivariantly rationally homotopy equivalent to the quotient of a product of spheres by an almost-free, linear torus action, where this torus has rank equal to the number of odd-dimensional spherical factors in the product. As an application, simply-connected, rationally-elliptic manifolds admitting slice-maximal torus actions are classified up to equivariant rational homotopy. The case where the rational-ellipticity hypothesis is replaced by non-negative curvature is also discussed, and the Bott Conjecture in the presence of a slice-maximal torus action is proved.

Journal | Int. Math. Res. Not. IMRN |

Volume | 18 |

Pages | 5786--5822 |

Link to preprint version | |

Link to published version |

**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

In this paper, we study smooth, semi-free actions on closed, smooth, simply connected manifolds, such that the orbit space is a smoothable manifold. We show that the only simply connected 5-manifolds admitting a smooth, semi-free circle action with fixed-point components of codimension 4 are connected sums of *\(S^3\)*-bundles over \(S^2\). Furthermore, the Betti numbers of the 5-manifolds and of the quotient 4-manifolds are related by a simple formula involving the number of fixed-point components. We also investigate semi-free \(S^3\) actions on simply connected 8-manifolds with quotient a 5-manifold and show, in particular, that the Pontrjagin classes, the \(\hat A\) -genus and the signature of the 8-manifold must all necessarily vanish.

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

We study the intrinsic structure of parametric minimal discs in metric spaces admitting a quadratic isoperimetric inequality. We associate to each minimal disc a compact, geodesic metric space whose geometric, topological, and analytic properties are controlled by the isoperimetric inequality. Its geometry can be used to control the shapes of all curves and therefore the geometry and topology of the original metric space. The class of spaces arising in this way as intrinsic minimal discs is a natural generalization of the class of Ahlfors regular discs, well-studied in analysis on metric spaces

Journal | Geom. Topol. |

Volume | 22 |

Pages | 591-644 |

Link to preprint version |

**Related project(s):****24**Minimal surfaces in metric spaces

We prove that a proper geodesic metric space has non-positive curvature in the sense of Alexandrov if and only if it satisfies the Euclidean isoperimetric inequality for curves. Our result extends to non-geodesic spaces and non-zero curvature bounds.

Journal | Acta Math. |

Volume | 221 |

Pages | 159-202 |

Link to preprint version | |

Link to published version |

**Related project(s):****24**Minimal surfaces in metric spaces

We show that the class of CAT(0) spaces is closed under suitable conformal changes. In particular, any CAT(0) space admits a large variety of non-trivial deformations.

Journal | Math. Ann. |

Volume | Online First |

Link to preprint version |

**Related project(s):****24**Minimal surfaces in metric spaces

We study geometric and topological properties of locally compact, geodesically complete spaces with an upper curvature bound. We control the size of singular subsets, discuss homotopical and measure-theoretic stratifications and regularity of the metric structure on a large part.

Journal | Geom. Funct. Anal. |

Volume | To appear |

Link to preprint version |

**Related project(s):****24**Minimal surfaces in metric spaces

Our topological setting is a smooth compact manifold of dimension two or higher with smooth boundary. Although this underlying topological structure is smooth, the Riemannian metric tensor is only assumed to be bounded and measurable. This is known as a rough Riemannian manifold. For a large class of boundary conditions we demonstrate a Weyl law for the asymptotics of the eigenvalues of the Laplacian associated to a rough metric. Moreover, we obtain eigenvalue asymptotics for weighted Laplace equations associated to a rough metric. Of particular novelty is that the weight function is not assumed to be of fixed sign, and thus the eigenvalues may be both positive and negative. Key ingredients in the proofs were demonstrated by Birman and Solomjak nearly fifty years ago in their seminal work on eigenvalue asymptotics. In addition to determining the eigenvalue asymptotics in the rough Riemannian manifold setting for weighted Laplace equations, we also wish to promote their achievements which may have further applications to modern problems.

**Related project(s):****5**Index theory on Lorentzian manifolds

Geometric structures on manifolds became popular when Thurston used them in his work on the Geometrization Conjecture. They were studied by many people and they play an important role in Higher Teichmüller Theory. Geometric structures on a manifold are closely related with representations of the fundamental group and with flat bundles. Higgs bundles can be very useful in describing flat bundles explicitly, via solutions of Hitchin's equations. Baraglia has shown in his Thesis that this technique can be used to construct geometric structures in interesting cases. Here we will survey some recent results in this direction, which are joint work with Qiongling Li.

**Related project(s):****1**Hitchin components for orbifolds