## 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“.

In this paper we establish stability of the Ricci de Turck flow near Ricci-flat metrics with isolated conical singularities. More precisely, we construct a Ricci de Turck flow which starts sufficiently close to a Ricci-flat metric with isolated conical singularities and converges to a singular Ricci-flat metric under an assumption of integrability, linear and tangential stability. We provide a characterization of conical singularities satisfying tangential stability and discuss examples where the integrability condition is satisfied.

Journal | Calc. Var. Part. Differ. Eq. |

Publisher | Springer |

Volume | 58 |

Pages | 75 |

Link to preprint version | |

Link to published version |

**Related project(s):****21**Stability and instability of Einstein manifolds with prescribed asymptotic geometry**23**Spectral geometry, index theory and geometric flows on singular spaces

We consider the long-time behaviour of the mean curvature flow of spacelike hypersurfaces in the Lorentzian product manifold *M*×R, where *M* is asymptotically flat. If the initial hypersurface *F*0⊂*M*×R is uniformly spacelike and asymptotic to *M*×{*s*} for some *s*∈R at infinity, we show that the mean curvature flow starting at *F*0 exists for all times and converges uniformly to *M*×{*s*} as *t*→∞.

**Related project(s):****21**Stability and instability of Einstein manifolds with prescribed asymptotic geometry**29**Curvature flows without singularities**30**Nonlinear evolution equations on singular manifolds**31**Solutions to Ricci flow whose scalar curvature is bounded in Lp.

We consider the Cahn-Hilliard equation on manifolds with conical singularities. For appropriate initial data we show that the solution exists in the maximal \(L^q\)-regularity space for all times and becomes instantaneously smooth in space and time, where the maximal \(L^q\)-regularity is obtained in the sense of Mellin-Sobolev spaces. Moreover, we provide precise information concerning the asymptotic behavior of the solution close to the conical tips in terms of the local geometry.

**Related project(s):****30**Nonlinear evolution equations on singular manifolds

We represent algebraic curves via commuting matrix polynomials. This allows us to show that the canonical Obata connection on the Hilbert scheme of cohomologically stable twisted rational curves of degree *d* in the ℙ3∖ℙ1 is flat for any *d*≥3.

**Related project(s):****7**Asymptotic geometry of moduli spaces of curves

We investigate the geometry of the Kodaira moduli space* M* of sections of a twistor projection, the normal bundle of which is allowed to jump. In particular, we identify the natural assumptions which guarantee that the Obata connection of the hypercomplex part of *M* extends to a logarithmic connection on *M*.

**Related project(s):****7**Asymptotic geometry of moduli spaces of curves

We describe the natural geometry of Hilbert schemes of curves in projective spaces.

**Related project(s):****7**Asymptotic geometry of moduli spaces of curves

In this paper, we study the long-time behavior of modified Calabi flow to study the existence of generalized Kähler-Ricci soliton. We first give a new expression of the modified $K$-energy and prove its convexity along weak geodesics. Then we extend this functional to some finite energy spaces. After that, we study the long-time behavior of modified Calabi flow.

Journal | The Journal of Geometric Analysis |

Link to preprint version |

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

We develop a categorical index calculus for elliptic symbol families. The categorified index problems we consider are a secondary version of the traditional problem of expressing the index class in K-theory in terms of differential-topological data. They include orientation problems for moduli spaces as well as similar problems for skew-adjoint and self-adjoint operators. The main result of this paper is an excision principle which allows the comparison of categorified index problems on different manifolds. Excision is a powerful technique for actually solving the orientation problem; applications appear in the companion papers arXiv:1811.01096, arXiv:1811.02405, and arXiv:1811.09658.

**Related project(s):****33**Gerbes in renormalization and quantization of infinite-dimensional moduli spaces

Pseudo H-type Lie groups \(G_{r,s}\) of signature (r,s) are defined via a module action of the Clifford algebra \(C\ell_{r,s}\) on a vector space V≅\(\mathbb{R}^{2n}\). They form a subclass of all 2-step nilpotent Lie groups and based on their algebraic structure they can be equipped with a left-invariant pseudo-Riemannian metric. Let \(\mathcal{N}_{r,s}\) denote the Lie algebra corresponding to \(G_{r,s}\). A choice of left-invariant vector fields [\(X_1, \ldots, X_{2n}\)] which generate a complement of the center of \(\mathcal{N}_{r,s}\) gives rise to a second order operator

\(\Delta_{r,s}:=\big{(}X_1^2+ \ldots + X_n^2\big{)}- \big{(}X_{n+1}^2+ \ldots +X_{2n}^2 \big{)}\)

which we call ultra-hyperbolic. In terms of classical special functions we present families of fundamental solutions of \(\Delta_{r,s}\) in the case r=0, s>0 and study their properties. In the case of r>0 we prove that \(\Delta_{r,s}\) admits no fundamental solution in the space of tempered distributions. Finally we discuss the local solvability of \(\Delta_{r,s}\) and the existence of a fundamental solution in the space of Schwartz distributions.

**Related project(s):****6**Spectral Analysis of Sub-Riemannian Structures

We prove that the sign of the Euler characteristic of arithmetic groups with CSP is determined by the profinite completion. In contrast, we construct examples showing that this is not true for the Euler characteristic itself and that the sign of the Euler characteristic is not profinite among general residually finite groups of type F. Our methods imply similar results for L2-torsion as well as a strong profiniteness statement for Novikov--Shubin invariants.

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

Let *N* be a smooth manifold that is homeomorphic but not diffeomorphic to a closed hyperbolic manifold *M*. In this paper, we study the extent to which *N* admits as much symmetry as *M*. Our main results are examples of *N* that exhibit two extremes of behavior. On the one hand, we find *N* with maximal symmetry, i.e. Isom(*M*) acts on *N* by isometries with respect to some negatively curved metric on *N*. For these examples, Isom(*M*) can be made arbitrarily large. On the other hand, we find *N* with little symmetry, i.e. no subgroup of Isom(*M*) of "small" index acts by diffeomorphisms of *N*. The construction of these examples incorporates a variety of techniques including smoothing theory and the Belolipetsky-Lubotzky method for constructing hyperbolic manifolds with a prescribed isometry group.

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

In this short survey article, we showcase a number of non-trivial geometric problems that have recently been resolved by marrying methods from functional calculus and real-variable harmonic analysis. We give a brief description of these methods as well as their interplay. This survey is succinct rather than comprehensive, and its aim is to inspire geometers and analysts alike to study these methods so that they can be adapted and potentially applied more widely.

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

We develop an algebro-analytic framework for the systematic study of the continuous bounded cohomology of Lie groups in large degree. As an application, we examine the continuous bounded cohomology of PSL(2,R) with trivial real coefficients in all degrees greater than two. We prove a vanishing result for strongly reducible classes, thus providing further evidence for a conjecture of Monod. On the cochain level, our method yields explicit formulas for cohomological primitives of arbitrary bounded cocycles.

Journal | Journal of Topology and Analysis |

Link to preprint version | |

Link to published version |

**Related project(s):****27**Invariants and boundaries of spaces

Let $(M,g)$ be a smooth Riemannian manifold and $G$ a compact Lie group acting on $M$ effectively and by isometries. It is well known that a lower bound of the sectional curvature of $(M,g)$ is again a bound for the curvature of the quotient space, which is an Alexandrov space of curvature bounded below. Moreover, the analogous stability property holds for metric foliations and submersions.

The goal of the paper is to prove the corresponding stability properties for synthetic Ricci curvature lower bounds. Specifically, we show that such stability holds for quotients of $RCD^{*}(K,N)$-spaces, under isomorphic compact group actions and more generally under metric-measure foliations and submetries. An $RCD^{*}(K,N)$-space is a metric measure space with an upper dimension bound $N$ and weighted Ricci curvature bounded below by $K$ in a generalized sense. In particular, this shows that if $(M,g)$ has Ricci curvature bounded below by $K\in \mathbb{R}$ and dimension $N$, then the quotient space is an $RCD^{*}(K,N)$-space. Additionally, we tackle the same problem for the $CD/CD^*$ and $MCP$ curvature-dimension conditions.

We provide as well geometric applications which include: A generalization of Kobayashi's Classification Theorem of homogenous manifolds to $RCD^{*}(K,N)$-spaces with \emph{essential minimal dimension} $n\leq N$; a structure theorem for $RCD^{*}(K,N)$-spaces admitting actions by \emph{large (compact) groups}; and geometric rigidity results for orbifolds such as Cheng's Maximal Diameter and Maximal Volume Rigidity Theorems.

Finally, in two appendices we apply the methods of the paper to study quotients by isometric group actions of discrete spaces and of (super-)Ricci flows.

Journal | J. Funct. Anal. |

Publisher | Elsevier |

Volume | 275 |

Pages | 1368-1446 |

Link to preprint version | |

Link to published version |

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

Journal | SIAM J. Math. Anal. |

Volume | 50 |

Pages | 4407--4425 |

Link to preprint version | |

Link to published version |

**Related project(s):****22**Willmore functional and Lagrangian surfaces**25**The Willmore energy of degenerating surfaces and singularities of geometric flows

We study the following problem: Given initial data on a compact Cauchy horizon, does there exist a unique solution to wave equations on the globally hyperbolic region? Our main results apply to any spacetime satisfying the null energy condition and containing a compact Cauchy horizon with surface gravity that can be normalised to a non-zero constant. Examples include the Misner spacetime and the Taub-NUT spacetime. We prove an energy estimate close to the Cauchy horizon for wave equations acting on sections of vector bundles. Using this estimate we prove that if a linear wave equation can be solved up to any order at the Cauchy horizon, then there exists a unique solution on the globally hyperbolic region. As a consequence, we prove several existence and uniqueness results for linear and non-linear wave equations without assuming analyticity or symmetry of the spacetime and without assuming that the generators close. We overcome in particular the essential remaining difficulty in proving that vacuum spacetimes with a compact Cauchy horizon with constant non-zero surface gravity necessarily admits a Killing vector field. This work is therefore related to the strong cosmic censorship conjecture.

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

We prove that any smooth vacuum spacetime containing a compact Cauchy horizon with surface gravity that can be normalised to a non-zero constant admits a Killing vector field. This proves a conjecture by Moncrief and Isenberg from 1983 under the assumption on the surface gravity and generalises previous results due to Moncrief-Isenberg and Friedrich-Rácz-Wald, where the generators of the Cauchy horizon were closed or densely filled a 2-torus. Consequently, the maximal globally hyperbolic vacuum development of generic initial data cannot be extended across a compact Cauchy horizon with surface gravity that can be normalised to a non-zero constant. Our result supports, thereby, the validity of the strong cosmic censorship conjecture in the considered special case. The proof consists of two main steps. First, we show that the Killing equation can be solved up to any order at the Cauchy horizon. Second, by applying a recent result of the first author on wave equations with initial data on a compact Cauchy horizon, we show that this Killing vector field extends to the globally hyperbolic region.

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

We discuss a method to construct Dirac-harmonic maps developed by J. Jost, X. Mo and M. Zhu. The method uses harmonic spinors and twistor spinors, and mainly applies to Dirac-harmonic maps of codimension 1 with target spaces of constant sectional curvature. Before the present article, it remained unclear when the conditions of the theorems in the publication by Jost, Mo and Zhu were fulfilled. We show that for isometric immersions into spaceforms, these conditions are fulfilled only under special assumptions. In several cases we show the existence of solutions.

Journal | Lett. Math. Phys. |

Link to preprint version | |

Link to published version |

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

We show that an enlargeable Riemannian metric on a (possibly nonspin) manifold cannot have uniformly positive scalar curvature. This extends a well-known result of Gromov and Lawson to the nonspin setting. We also prove that every noncompact manifold admits a nonenlargeable metric. In proving the first result, we use the main result of the recent paper by Schoen and Yau on minimal hypersurfaces to obstruct positive scalar curvature in arbitrary dimensions. More concretely, we use this to study nonzero degree maps f from a manifold X to the product of the k-sphere with the n-k dimensional torus, with k=1,2,3. When X is a closed oriented manifold endowed with a metric g of positive scalar curvature and the map f is (possibly area) contracting, we prove inequalities relating the lower bound of the scalar curvature of g and the contracting factor of the map f.

Journal | Proc. AMS |

Publisher | AMS |

Link to preprint version | |

Link to published version |

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

In this paper we prove a strengthening of a theorem of Chang, Weinberger and Yu on obstructions to the existence of positive scalar curvature metrics on compact manifolds with boundary. They construct a relative index for the Dirac operator, which lives in a relative K-theory group, measuring the difference between the fundamental group of the boundary and of the full manifold. Whenever the Riemannian metric has product structure and positive scalar curvature near the boundary, one can define an absolute index of the Dirac operator taking value in the K-theory of the C*-algebra of fundamental group of the full manifold. This index depends on the metric near the boundary. We prove that the relative index of Chang, Weinberger and Yu is the image of this absolute index under the canonical map of K-theory groups. This has the immediate corollary that positive scalar curvature on the whole manifold implies vanishing of the relative index, giving a conceptual and direct proof of the vanishing theorem of Chang, Weinberger, and Yu. To take the fundamental groups of the manifold and its boundary into account requires working with maximal C* completions of the involved *-algebras. A significant part of this paper is devoted to foundational results regarding these completions.

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