## 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 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 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 that a finitely generated residually finite rationally solvable (or RFRS) group *G* is virtually fibred, in the sense that it admits a virtual surjection to $\mathbb Z$ with a finitely generated kernel, if and only if the first $L^2$-Betti number of *G* vanishes. This generalises (and gives a new proof of) the analogous result of Ian Agol for fundamental groups of 3-manifolds.

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

We develop the theory of agrarian invariants, which are algebraic counterparts to $L^2$-invariants. Specifically, we introduce the notions of agrarian Betti numbers, agrarian acyclicity, agrarian torsion and agrarian polytope.

We use the agrarian invariants to solve the torsion-free case of a conjecture of Friedl--Tillmann: we show that the marked polytopes they constructed for two-generator one-relator groups with nice presentations are independent of the presentations used. We also show that, for such groups, the agrarian polytope encodes the splitting complexity of the group. This generalises theorems of Friedl--Tillmann and Friedl--Lück--Tillmann. Finally, we prove that for agrarian groups of deficiency $1$, the agrarian polytope admits a marking of its vertices which controls the Bieri--Neumann--Strebel invariant of the group, improving a result of the second author and partially answering a question of Friedl--Tillmann.

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

We prove that if a quasi-isometry of warped cones is induced by a map between the base spaces of the cones, the actions must be conjugate by this map. The converse is false in general, conjugacy of actions is not sufficient for quasi-isometry of the respective warped cones. For a general quasi-isometry of warped cones, using the asymptotically faithful covering constructed in a previous work with Jianchao Wu, we deduce that the two groups are quasi-isometric after taking Cartesian products with suitable powers of the integers.

Secondly, we characterise geometric properties of a group (coarse embeddability into Banach spaces, asymptotic dimension, property A) by properties of the warped cone over an action of this group. These results apply to arbitrary asymptotically faithful coverings, in particular to box spaces. As an application, we calculate the asymptotic dimension of a warped cone and improve bounds by Szabo, Wu, and Zacharias and by Bartels on the amenability dimension of actions of virtually nilpotent groups.

In the appendix, we justify optimality of our result on general quasi-isometries by showing that quasi-isometric warped cones need not come from quasi-isometric groups, contrary to the case of box spaces.

Journal | Proc. Lond. Math. Soc. |

Publisher | Wiley |

Link to preprint version | |

Link to published version |

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

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$.

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

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

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.

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

In this note we refine examples by Aka from arithmetic to S-arithmetic groups to show that the vanishing of the *i*-th ℓ²-Betti number is not a profinite invariant for all *i*≥2.

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

Given an S-arithmetic group, we ask how much information on the ambient algebraic group, number field of definition, and set of places S is encoded in the commensurability class of the profinite completion. As a first step, we show that the profinite commensurability class of an S-arithmetic group with CSP determines the number field up to arithmetical equivalence and the places in S above unramified primes. We include some applications to profiniteness questions of group invariants.

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

We review some recent results on geometric equations on Lorentzian manifolds such as the wave and Dirac equations. This includes well-posedness and stability for various initial value problems, as well as results on the structure of these equations on black-hole spacetimes (in particular, on the Kerr solution), the index theorem for hyperbolic Dirac operators and properties of the class of Green-hyperbolic operators.

Publisher | de Gruyter |

Book | J. Brüning, M. Staudacher (Eds.): Space - Time - Matter |

Pages | 324-348 |

Link to preprint version | |

Link to published version |

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

We show that a properly convex projective structure p on a closed oriented surface of negative Euler characteristic arises from a Weyl connection if and only if p is hyperbolic. We phrase the problem as a non-linear PDE for a Beltrami differential by using that p admits a compatible Weyl connection if and only if a certain holomorphic curve exists. Turning this non-linear PDE into a transport equation, we obtain our result by applying methods from geometric inverse problems. In particular, we use an extension of a remarkable L2-energy identity known as Pestov's identity to prove a vanishing theorem for the relevant transport equation.

**Related project(s):****26**Projective surfaces, Segre structures and the Hitchin component for PSL(n,R)

We study the Newton polytopes of determinants of square matrices defined over rings of twisted Laurent polynomials. We prove that such Newton polytopes are single polytopes (rather than formal differences of two polytopes); this result can be seen as analogous to the fact that determinants of matrices over commutative Laurent polynomial rings are themselves polynomials, rather than rational functions. We also exhibit a relationship between the Newton polytopes and invertibility of the matrices over Novikov rings, thus establishing a connection with the invariants of Bieri-Neumann-Strebel (BNS) via a theorem of Sikorav.

We offer several applications: we reprove Thurston's theorem on the existence of a polytope controlling the BNS invariants of a 3-manifold group; we extend this result to free-by-cyclic groups, and the more general descending HNN extensions of free groups. We also show that the BNS invariants of Poincare duality groups of type F in dimension 3 and groups of deficiency one are determined by a polytope, when the groups are assumed to be agrarian, that is their integral group rings embed in skew-fields. The latter result partially confirms a conjecture of Friedl.

We also deduce the vanishing of the Newton polytopes associated to elements of the Whitehead groups of many groups satisfying the Atiyah conjecture. We use this to show that the *L*2-torsion polytope of Friedl-Lueck is invariant under homotopy. We prove the vanishing of this polytope in the presence of amenability, thus proving a conjecture of Friedl-Lueck-Tillmann.

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

We show that in each dimension 4n+3, n>1, there exist infinite sequences of closed smooth simply connected manifolds M of pairwise distinct homotopy type for which the moduli space of Riemannian metrics with nonnegative sectional curvature has infinitely many path components. Closed manifolds with these properties were known before only in dimension 7, and our result also holds for moduli spaces of Riemannian metrics with positive Ricci curvature. Moreover, inconjunction with work of Belegradek, Kwasik and Schultz, we obtain that for each such M the moduli space of complete nonnegative sectional curvature metrics on the open simply connected manifold M × R also has infinitely many path components.

Journal | Bulletin of the London Math. Society |

Volume | 50 |

Pages | 96-107 |

Link to preprint version | |

Link to published version |

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

We investigate the problem of calculating the Fredholm index of a geometric Dirac operator subject to local (e.g. Dirichlet and Neumann) and non-local (APS) boundary conditions posed on the strata of a manifold with corners. The boundary strata of the manifold with corners can intersect in higher codimension. To calculate the index we introduce a glueing construction and a corresponding Lie groupoid. We describe the Dirac operator subject to mixed boundary conditions via an equivariant family of Dirac operators on the fibers of the Lie groupoid. Using a heat kernel method with rescaling we derive a general index formula of the Atiyah-Singer type.

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

We prove that the smallest non-trivial quotient of the mapping class group of a connected orientable surface of genus at least 3 without punctures is Sp_2*g*(2), thus confirming a conjecture of Zimmermann. In the process, we generalise Korkmaz's results on C-linear representations of mapping class groups to projective representations over any field.

Journal | To appear in Groups Geom. Dyn. |

Link to preprint version |

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

We study the porous medium equation on manifolds with conical singularities. Given strictly positive initial values, we show that the solution exists in the maximal \(L^q\)-regularity space for all times and is instantaneously smooth in space and time, where the maximal \(L^q\)-regularity is obtained in the sense of Mellin-Sobolev spaces. Moreover, we obtain precise information concerning the asymptotic behavior of the solution close to the singularity. Finally, we show the existence of generalized solutions for non-negative initial data.

Journal | Comm. Partial Differential Equations 43, no 10, 1456-1484 (2018) |

Link to preprint version | |

Link to published version |

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

We construct a codimension 3completely non-holonomic subbundle on the Gromoll–Meyer exotic 7-sphere based on its realization as a base space of a Sp(2)-principal bundle with the structure group Sp(1). The same method can be applied to construct a codimension 3 completely non-holonomic subbundle on the standard 7-sphere (or more general on a (4*n *+3)-dimensional standard sphere). In the latter case such a construction based on the Hopf bundle is well-known. Our method provides a new and simple proof for the standard sphere *S*7.

Journal | Appl. Anal. 96 (2017), 2390–2407. |

Link to preprint version |

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

In this article, a six-parameter family of highly connected 7-manifolds which admit an SO(3)-invariant metric of non-negative sectional curvature is constructed and the Eells-Kuiper invariant of each is computed. In particular, it follows that all exotic spheres in dimension 7 admit an SO(3)-invariant metric of non-negative curvature.

**Related project(s):****4**Secondary invariants for foliations**11**Topological and equivariant rigidity in the presence of lower curvature bounds

We decompose locally in time maximal \(L^{q}\)-regular solutions of abstract quasilinear parabolic equations as a sum of a smooth term and an arbitrary small−with respect to the maximal \(L^{q}\)-regularity space norm−remainder. In view of this observation, we next consider the porous medium equation and the Swift-Hohenberg equation on manifolds with conical singularities. We write locally in time each solution as a sum of three terms, namely a term that near the singularity is expressed as a linear combination of complex powers and logarithmic integer powers of the singular variable, a term that decays to zero close to the singularity faster than each of the non-constant summands of the previous term and a remainder that can be chosen arbitrary small with respect e.g. to the \(C^{0}\)-norm. The powers in the first term are time independent and determined explicitly by the local geometry around the singularity, e.g. by the spectrum of the boundary Laplacian in the situation of straight conical tips. The case of the above two problems on closed manifolds is also considered and local space asymptotics for the solutions are provided.

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

We study spaces and moduli spaces of Riemannian metrics with non-negative Ricci or non-negative sectional curvature on closed and open manifolds and construct, in particular, the first classes of manifolds for which these spaces have non-trivial rational homotopy, homology and cohomology groups. We also show that in every dimension at least seven (respectively, at least eight) there exist closed (respectively, open) manifolds for which the moduli space of Riemannian metrics with non-negative sectional curvature has infinitely many path components. An analogous statement holds for spaces of non-negative Ricci curvature metrics in every dimension at least eleven (respectively, twelve).

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