Publications

We show the existence of a solution to the Ricci flow with a compact length space of bounded curvature, i.e., a space that has curvature bounded above and below in the sense of Alexandrov, as its initial condition. We show that this flow converges in the \(C^{1,\alpha}\)-sense to a \(C^{1,\alpha}\)-continuous Riemannian manifold which is isometric to the original metric space. Moreover, we prove that the flow is uniquely determined by the initial condition, up to isometry.

Related project(s):
43Singular Riemannian foliations and collapse79Alexandrov geometry in the light of symmetry and topology

We give an extension of Cheeger's deformation techniques for smooth Lie group actions on manifolds to the setting of singular Riemannian foliations induced by Lie groupoids actions. We give an explicit description of the sectional curvature of our generalized Cheeger deformation.

Related project(s):
43Singular Riemannian foliations and collapse

The goal of this note is to demonstrate how existing results can be adapted

to establish the following result: A locally metric measure homogeneous RCD(????, ????)

space is isometric to, after multiplying a positive constant to the reference measure,

a smooth Riemannian manifold with the Riemannian volume measure.

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

We prove a local version of the index theorem for Lorentzian Dirac-type operators on globally hyperbolic Lorentzian manifolds with Cauchy boundary. In case the Cauchy hypersurface is compact we do not assume self-adjointness of the Dirac operator on the spacetime or the associated elliptic Dirac operator on the boundary. In this case integration of our local index theorem results in a generalization of previously known index theorems for globally hyperbolic spacetimes that allows for twisting bundles associated with non-compact gauge groups.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds

We develop an algorithm for recognizing whether a character belongs to \(\Sigma^m\). In order to apply it we just need to know that the ambient group is of type \(\mathrm{FP}_m\) or of type \( \mathrm{F}_2\) and that the word problem is solvable for this group. Then finite data is sufficient proof of membership in \(\Sigma^m\), not just for the given character but also for a neighborhood of it.

Related project(s):
39Geometric invariants of discrete and locally compact groups

In this paper we develop the theory of homological geometric invariants (following Bieri-Neumann-Strebel-Renz) for locally compact Hausdorff groups. The homotopical version is treated elsewhere. Both versions are connected by a Hurewicz-like theorem.

Related project(s):
39Geometric invariants of discrete and locally compact groups

We show that the covolume of an irreducible lattice in a higher rank semisimple Lie group with the congruence subgroup property is determined by the profinite completion. Without relying on CSP, we additionally show that volume is a profinite invariant of octonionic hyperbolic congruence manifolds.

Related project(s):
58Profinite perspectives on l2-cohomology61At infinity of symmetric spaces

In this paper we study n-dimensional Ricci flows  (M,g(t)), t in [0,T),   where  T is finite,  and   potentially a singular time, and for which the spatial L^p norm,  p>n/2,  of the scalar curvature is uniformly  bounded on [0,T). 

 In the case that M is closed, we show that non-collapsing  and non-inflating estimates hold. If we further assume   that  n=4 or that  M^n is Kähler, we explain how  these non-inflating/non-collapsing estimates can be combined  with    integral bounds on the Ricci and full curvature tensor of  the  prequel paper   to   obtain  an improved space time integral bound of the Ricci curvature.  

  As an application of these estimates,  we show  that if we further restrict to n=4, then  the solution convergences to an orbifold as t approaches T and  that the flow can be extended    using the Orbifold Ricci flow to the time interval    [0,T+a)$ for some a>0.

  We also prove local versions of many of the  results mentioned above. 

Related project(s):
75Solutions to Ricci flow whose scalar curvature is bounded in L^p II

 In this   paper we  prove   localised weighted curvature   integral estimates for solutions to the Ricci flow 
in the setting of a  smooth four dimensional Ricci flow or a closed n-dimensional Kähler Ricci flow. 
These integral   estimates improve and extend  the integral curvature estimates shown by the second author  in an earlier paper. If  
the scalar curvature is uniformly bounded in the spatial L^p sense for some p>2, then the estimates imply a uniform bound on the spatial L^2 norm of the Riemannian curvature  tensor. Stronger integral estimates are shown to hold if one further assumes a weak non-inflating condition.    
In a sequel paper, we show that in many natural settings,  a   non-inflating condition holds.

Related project(s):
75Solutions to Ricci flow whose scalar curvature is bounded in L^p II

We extend the K-cowaist inequality to generalized Dirac operators in the sense of Gromov and Lawson and study applications to manifolds with boundary.

Related project(s):
37Boundary value problems and index theory on Riemannian and Lorentzian manifolds52Spaces and Moduli Spaces of Riemannian Metrics with Curvature Bounds on compact and non-compact Manifolds II

In this paper, we combine and generalize to higher dimensions the approaches to proving the uniqueness of connected (3+1)-dimensional static vacuum asymptotically flat black hole spacetimes by Müller zum Hagen--Robinson--Seifert and by Robinson. Applying these techniques, we prove and/or reprove geometric inequalities for connected (n+1)-dimensional static vacuum asymptotically flat spacetimes with either black hole or equipotential photon surface or specifically photon sphere inner boundary. In particular, assuming a natural upper bound on the total scalar curvature of the boundary, we recover and extend the well-known uniqueness results for such black hole and equipotential photon surface spacetimes. We also relate our results and proofs to existing results, in particular to those by Agostiniani--Mazzieri and by Nozawa--Shiromizu--Izumi--Yamada.

Related project(s):
41Geometrically defined asymptotic coordinates in general relativity

It is a well-known fact that the Schwarzschild spacetime admits a maximal spacetime extension in null coordinates which extends the exterior Schwarzschild region past the Killing horizon, called the Kruskal-Szekeres extension. This method of extending the Schwarzschild spacetime was later generalized by Brill-Hayward to a class of spacetimes of "profile h" across non-degenerate Killing horizons. Circumventing analytical subtleties in their approach, we reconfirm this fact by reformulating the problem as an ODE, and showing that the ODE admits a solution if and only if the naturally arising Killing horizon is non-degenerate. Notably, this approach lends itself to discussing regularity across the horizon for non-smooth metrics.

We will discuss applications to the study of photon surfaces, extending results by Cederbaum-Galloway and Cederbaum-Jahns-Vičánek-Martínez beyond the Killing horizon. In particular, our analysis asserts that photon surfaces approaching the Killing horizon must necessarily cross it.

Related project(s):
41Geometrically defined asymptotic coordinates in general relativity

We present a new proof of the Willmore inequality for an arbitrary bounded domain Ω⊂ℝ^n with smooth boundary. Our proof is based on a parametric geometric inequality involving the electrostatic potential for the domain Ω; this geometric inequality is derived from a geometric differential inequality in divergence form. Our parametric geometric inequality also allows us to give new proofs of the quantitative Willmore-type and the weighted Minkowski inequalities by Agostiniani and Mazzieri.

Related project(s):
41Geometrically defined asymptotic coordinates in general relativity

We present different proofs of the uniqueness of 4-dimensional static vacuum asymptotically flat spacetimes containing a connected equipotential photon surface or in particular a connected photon sphere. We do not assume that the equipotential photon surface is outward directed or non-degenerate and hence cover not only the positive but also the negative and the zero mass case which has not yet been treated in the literature. Our results partially reproduce and extend beyond results by Cederbaum and by Cederbaum and Galloway. In the positive and negative mass cases, we give three proofs which are based on the approaches to proving black hole uniqueness by Israel, Robinson, and Agostiniani--Mazzieri, respectively. In the zero mass case, we give four proofs. One is based on the positive mass theorem, the second one is inspired by Israel's approach and in particular leads to a new proof of the Willmore inequality in (ℝ^3,δ), under a technical assumption. The remaining two proofs are inspired by proofs of the Willmore inequality by Cederbaum and Miehe and by Agostiniani and Mazzieri, respectively. In particular, this suggests to view the Willmore inequality and its rigidity case as a zero mass version of equipotential photon surface uniqueness.

Related project(s):
41Geometrically defined asymptotic coordinates in general relativity

We study four-dimensional asymptotically flat electrostatic electro-vacuum spacetimes with a connected black hole, photon sphere, or equipotential photon surface inner boundary. Our analysis, inspired by the potential theory approach by Agostiniani–Mazzieri, allows to give self-contained proofs of known uniqueness theorems of the sub-extremal, extremal, and super-extremal Reissner–Nordström spacetimes. We also obtain new results for connected photon spheres and equipotential photon surfaces in the extremal case. Finally, we provide, up to a restrictionon the range of their radii, the uniqueness result for connected (both non-degenerate and degenerate) equipotential photon surfaces in the super-extremal case, not yet treated in the literature.

Related project(s):
41Geometrically defined asymptotic coordinates in general relativity

We extend the classical theory of homotopical Σ-sets, defined by Bieri, Neumann, Renz and Strebel for abstract groups, to  locally compact Hausdorff groups. Given such a group G, our geometric invariants are sets of continuous homomorphisms G→R ("characters"). They match the classical Σ-sets if G is discrete, and refine the homotopical compactness properties of Abels and Tiemeyer. Moreover, our theory recovers the definition of low-dimensional geometric invariants for topological gropus proposed by Kochloukova.

Related project(s):
39Geometric invariants of discrete and locally compact groups

We prove that the group of isometries preserving a metric foliation on a closed Alexandrov space \(X\), or a singular Riemannian foliation on a manifold \(M\) is a closed subgroup of the isometry group of \(X\) in the case of a metric foliation, or of the isometry group of \(M\) for the case of a singular Riemannian foliation. We obtain a sharp upper bound for the dimension of these subgroups and show that, when equality holds, the foliations that realize this upper bound are induced by fiber bundles whose fibers are round spheres or projective spaces. Moreover, singular Riemannian foliations that realize the upper bound are induced by smooth fiber bundles whose fibers are round spheres or projective spaces.

Related project(s):
43Singular Riemannian foliations and collapse

In this paper, we consider the stability of the generalized Lagrangian mean curvature flow of graph case in the cotangent bundle, which is first defined by Smoczyk-Tsui-Wang [14]. By new estimates of derivatives along the flow, we weaken the initial condition and remove the positive curvature condition in [14]. More precisely, we prove that if the graph induced by a closed $1$-form is a special Lagrangian submanifold in the cotangent bundle of a Riemannian manifold, then the generalized Lagrangian mean curvature flow is stable near it.

Related project(s):
31Solutions to Ricci flow whose scalar curvature is bounded in Lp.75Solutions to Ricci flow whose scalar curvature is bounded in L^p II

We consider a general class of non-homogeneous contracting flows of convex hypersurfaces in \(\mathbb R^{n+1}\), and prove the existence and regularity of the flow before extincting to a point in finite time.

Related project(s):
31Solutions to Ricci flow whose scalar curvature is bounded in Lp.75Solutions to Ricci flow whose scalar curvature is bounded in L^p II

In this paper, we show the relation between the existence of twisted conical Kähler-Ricci solitons and the greatest log Bakry-Emery-Ricci lower bound on Fano manifolds. This is based on our proofs of some openness theorems on the existence of twisted conical Kähler-Ricci solitons, which generalize Donaldson's existence conjecture and openness theorem of the conical Kähler-Einstein metrics to the conical soliton case.

Related project(s):
31Solutions to Ricci flow whose scalar curvature is bounded in Lp.75Solutions to Ricci flow whose scalar curvature is bounded in L^p II