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

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

The purpose of this article is to define and study new invariants of topological spaces: the *p*-adic Betti numbers and the *p*-adic torsion. These invariants take values in the *p*-adic numbers and are constructed from a virtual pro-*p* completion of the fundamental group. The key result of the article is an approximation theorem which shows that the *p*-adic invariants are limits of their classical analogues. This is reminiscent of Lück's approximation theorem for *L*2-Betti numbers.

After an investigation of basic properties and examples we discuss the *p*-adic analog of the Atiyah conjecture: When do the *p*-adic Betti numbers take integer values? We establish this property for a class of spaces and discuss applications to cohomology growth.

**Related project(s):****18**Analytic L2-invariants of non-positively curved spaces**58**Profinite perspectives on l2-cohomology

We enlarge the category of bornological coarse spaces by adding transfer morphisms and introduce the notion of an equivariant coarse homology theory with transfers. We then show that equivariant coarse algebraic K-homology and equivariant coarse ordinary homology can be extended to equivariant coarse homology theories with transfers. In the case of a finite group we observe that equivariant coarse homology theories with transfers provide Mackey functors. We express standard constructions with Mackey functors in terms of coarse geometry, and we demonstrate the usage of transfers in order to prove injectivity results about assembly maps.

**Related project(s):****10**Duality and the coarse assembly map

We show injectivity results for assembly maps using equivariant coarse homology theories with transfers. Our method is based on the descent principle and applies to a large class of linear groups or, more general, groups with finite decomposition complexity.

**Related project(s):****10**Duality and the coarse assembly map

We show that local deformations, near closed subsets, of solutions to open partial differential relations can be extended to global deformations, provided all but the highest derivatives stay constant along the subset. The applicability of this general result is illustrated by a number of examples, dealing with convex embeddings of hypersurfaces, differential forms, and lapse functions in Lorentzian geometry.

The main application is a general approximation result by sections which have very restrictive local properties an open dense subsets. This shows, for instance, that given any *K*∈R every manifold of dimension at least two carries a complete *C^*1,1-metric which, on a dense open subset, is smooth with constant sectional curvature *K*. Of course this is impossible for *C^*2-metrics in general.

Journal | Comm. Pure Appl. Mathematics |

Volume | to appear |

Link to preprint version | |

Link to published version |

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

In this article, we interpret affine Anosov representations of any word hyperbolic group in \(\mathsf{SO}_0(n−1,n)⋉\mathbb{R}^{2n−1}\) as infinitesimal versions of representations of word hyperbolic groups in \(\mathsf{SO}_0(n,n)\) which are both Anosov in \(\mathsf{SO}_0(n,n)\) with respect to the stabilizer of an oriented (*n*−1)-dimensional isotropic plane and Anosov in \(\mathsf{SL}(2n,\mathbb{R})\) with respect to the stabilizer of an oriented *n*-dimensional plane. Moreover, we show that representations of word hyperbolic groups in \(\mathsf{SO}_0(n,n)\) which are Anosov in \(\mathsf{SO}_0(n,n)\) with respect to the stabilizer of an oriented (*n*−1)-dimensional isotropic plane, are Anosov in \(\mathsf{SL}(2n,\mathbb{R})\) with respect to the stabilizer of an oriented *n*-dimensional plane if and only if its action on \(\mathsf{SO}_0(n,n)/\mathsf{SO}_0(n-1,n)\) is proper. In the process, we also provide various different interpretations of the Margulis invariant.

**Related project(s):****12**Anosov representations and Margulis spacetimes

We construct a Baum--Connes assembly map localised at the unit element of a discrete group $\Gamma$.

This morphism, called $\mu_\tau$, is defined in $KK$-theory with coefficients in $\mathbb{R}$ by means of the action of the projection $[\tau]\in KK_\mathbb{R}^\Gamma(\mathbb{C},\mathbb{C})$ canonically associated to the group trace of $\Gamma$. The right hand side of $\mu_\tau$ is functorial with respect to the group $\Gamma$.

We show that the corresponding $\tau$-Baum--Connes conjecture is weaker then the classical one but still implies the strong Novikov conjecture.

Journal | to appear on Compositio Mathematica |

Link to preprint version |

**Related project(s):****4**Secondary invariants for foliations

It is observed that in Banach spaces, sectorial operators having bounded imaginary powers satisfy a Heinz-Kato inequality.

Journal | J. Anal. 28, no. 3, 841-846 (2020) |

Link to preprint version |

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

We consider the unnormalized Yamabe flow on manifolds with conical singularities. Under certain geometric assumption on the initial cross-section we show well posedness of the short time solution in the \(L^q\)-setting. Moreover, we give a picture of the deformation of the conical tips under the flow by providing an asymptotic expansion of the evolving metric close to the boundary in terms of the initial local geometry. Due to the blow up of the scalar curvature close to the singularities we use maximal \(L^q\)-regularity theory for conically degenerate operators.

Journal | J. Evol. Equ. 20, no. 2, 321-334 (2020) |

Link to preprint version |

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

We consider a generalized Dirac operator on a compact stratified space with an iterated cone-edge metric. Assuming a spectral Witt condition, we prove its essential self-adjointness and identify its domain and the domain of its square with weighted edge Sobolev spaces. This sharpens previous results where the minimal domain is shown only to be a subset of an intersection of weighted edge Sobolev spaces. Our argument does not rely on microlocal techniques and is very explicit. The novelty of our approach is the use of an abstract functional analytic notion of interpolation scales. Our results hold for the Gauss-Bonnet and spin Dirac operators satisfying a spectral Witt condition.

Journal | JOURNAL OF SPECTRAL THEORY |

Volume | Volume 8, Issue 4, 2018, pp. 1295–1348 |

Link to preprint version | |

Link to published version |

**Related project(s):****23**Spectral geometry, index theory and geometric flows on singular spaces

Let (M,g) be a compact smoothly stratified pseudomanifold with an iterated cone-edge metric satisfying a spectral Witt condition. Under these assumptions the Hodge-Laplacian Δ is essentially self-adjoint. We establish the asymptotic expansion for the resolvent trace of Δ. Our method proceeds by induction on the depth and applies in principle to a larger class of second-order differential operators of regular-singular type, e.g., Dirac Laplacians. Our arguments are functional analytic, do not rely on microlocal techniques and are very explicit. The results of this paper provide a basis for studying index theory and spectral invariants in the setting of smoothly stratified spaces and in particular allow for the definition of zeta-determinants and analytic torsion in this general setup.

**Related project(s):****23**Spectral geometry, index theory and geometric flows on singular spaces

We provide a large class of discrete amenable groups for which the complex group ring has several C*-completions, thus providing partial evidence towards a positive answer to a question raised by Rostislav Grigorchuk, Magdalena Musat and Mikael Rørdam.

**Related project(s):****2**Asymptotic geometry of sofic groups and manifolds

We give the definition of an invariant random positive definite function on a discrete group, generalizing both the notion of an invariant random subgroup and a character. We use von Neumann algebras to show that all invariant random positive definite functions on groups with infinite conjugacy classes which integrate to the regular character are constant.

**Related project(s):****2**Asymptotic geometry of sofic groups and manifolds

On a compact globally hyperbolic Lorentzian spin manifold with smooth spacelike Cauchy boundary the (hyperbolic) Dirac operator is known to be Fredholm when Atiyah-Patodi-Singer boundary conditions are imposed. In this paper we investigate to what extent these boundary conditions can be replaced by more general ones and how the index then changes. There are some differences to the classical case of the elliptic Dirac operator on a Riemannian manifold with boundary.

Publisher | Oxford University Press |

Book | A. Dancer, J.E. Andersen, O. García-Prada (eds.): Geometry and Physics |

Volume | 1 |

Pages | 3-18 |

Link to preprint version | |

Link to published version |

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