arXiv Science⌕ Search

arXiv subjects

Simon Brendle

Publications and source records attributed to Simon Brendle.

At least 19 recordsLinked to original sources
arXiv2025

On fill-ins with scalar curvature bounded from below and an inequality of Hijazi-Montiel-Roldán

We consider fill-ins of spin manifolds with scalar curvature bounded by $-n(n-1)$. Gromov proposed a conjecture relating the infimum of the mean curvature of such a fill-in to the hyperspherical radius. We observe that the inequality conjectured by Gromov follows by combining an inequality of Hijazi-Montiel-Roldán for the first Dirac eigenvalue with a recent theorem of Bär. Moreover, we give an alternative proof of the Hijazi-Montiel-Roldán inequality based on the work of Bär and Bär-Ballmann.

math.DG↗
arXiv2025

Rigidity results for initial data sets satisfying the dominant energy condition

Our work proves rigidity theorems for initial data sets associated with compact smooth spin manifolds with boundary and with compact convex polytopes, subject to the dominant energy condition. For manifolds with smooth boundary, this is based on the solution of a boundary value problem for Dirac operators. For convex polytopes we use approximations by manifolds with smooth boundary.

math.DG↗
arXiv2024

A geometric approach to apriori estimates for optimal transport maps

A key inequality which underpins the regularity theory of optimal transport for costs satisfying the Ma--Trudinger--Wang condition is the Pogorelov second derivative bound. This translates to an apriori interior $C^1$ estimate for smooth optimal maps. Here we give a new derivation of this estimate which relies in part on Kim, McCann and Warren's observation that the graph of an optimal map becomes a volume maximizing spacelike submanifold when the product of the source and target domains is endowed with a suitable pseudo-Riemannian geometry that combines both the marginal densities and the cost.

math.DG↗
arXiv2024

Scalar curvature rigidity of warped product metrics

We show scalar-mean curvature rigidity of warped products of round spheres of dimension at least 2 over compact intervals equipped with strictly log-concave warping functions. This generalizes earlier results of Cecchini-Zeidler to all dimensions. Moreover, we show scalar curvature rigidity of round spheres of dimension at least 3 with two antipodal points removed. This resolves a problem in Gromov's ''Four Lectures'' in all dimensions. Our arguments are based on spin geometry.

math.DG↗
arXiv2023

A generalization of Geroch's conjecture

The Theorem of Bonnet--Myers implies that manifolds with topology $M^{n-1} \times \mathbb{S}^1$ do not admit a metric of positive Ricci curvature, while the resolution of Geroch's conjecture implies that the torus $\mathbb{T}^n$ does not admit a metric of positive scalar curvature. In this work we introduce a new notion of curvature interpolating between Ricci and scalar curvature (so called $m$-intermediate curvature), and use stable weighted slicings to show that for $n \leq 7$ the manifolds $N^n = M^{n-m} \times \mathbb{T}^m$ do not admit a metric of positive $m$-intermediate curvature.

math.DG↗
arXiv2022

A local noncollapsing estimate for mean curvature flow

We prove a local version of the noncollapsing estimate for mean curvature flow. By combining our result with earlier work of X.-J. Wang, it follows that certain ancient convex solutions that sweep out the entire space are noncollapsed.

math.DG↗
arXiv2022

Rotational symmetry of ancient solutions to the Ricci flow in higher dimensions

We extend the second part of \cite{Bre20} on the uniqueness of ancient $κ$-solutions to higher dimensions. In dimensions $n \geq 4$, an ancient $κ$-solution is a nonflat, complete, ancient solution of the Ricci flow that is uniformly PIC and weakly PIC2; has bounded curvature; and is $κ$-noncollapsed. We show that the only noncompact ancient $κ$-solutions up to isometry are a family of shrinking cylinders, a quotient thereof, or the Bryant soliton.

math.DG↗
arXiv2021

Unique Asymptotics of Compact Ancient Solutions to three-dimensional Ricci flow

We consider compact ancient solutions to the three-dimensional Ricci flow which are noncollapsed. We prove that such a solutions is either a family of shrinking round spheres, or it has a unique asymptotic behavior as $t \to -\infty$ which we describe. This analysis applies in particular to the ancient solution constructed by Perelman.

math.DG↗
arXiv2021

Uniqueness of compact ancient solutions to the higher dimensional Ricci flow

In this paper, we study the classification of $κ$-noncollapsed ancient solutions to n-dimensional Ricci flow on $S^n$, extending the result in [13] to higher dimensions. We prove that such a solution is either isometric to a family of shrinking round spheres, or the Type II ancient solution constructed by Perelman.

math.DG↗
arXiv2017

Asymptotic behavior of flows by powers of the Gaussian curvature

We consider a one-parameter family of strictly convex hypersurfaces in $\mathbb{R}^{n+1}$ moving with speed $- K^αν$, where $ν$ denotes the outward-pointing unit normal vector and $α\geq \frac{1}{n+2}$. For $α> \frac{1}{n+2}$, we show that the flow converges to a round sphere after rescaling. In the affine invariant case $α=\frac{1}{n+2}$, our arguments give an alternative proof of the fact that the flow converges to an ellipsoid after rescaling.

math.DG↗
arXiv2014

A Minkowski inequality for hypersurfaces in the Anti-deSitter-Schwarzschild manifold

We prove a sharp inequality for hypersurfaces in the n-dimensional Anti-deSitter-Schwarzschild manifold for general n greater or equal to 3. This inequality generalizes the classical Minkowski inequality for surfaces in the three dimensional Euclidean space, and has a natural interpretation in terms of the Penrose inequality for collapsing null shells of dust. The proof relies on a new monotonicity formula for inverse mean curvature flow, and uses a geometric inequality established by the first author in [3].

math.DG↗
arXiv2013

Large outlying stable constant mean curvature spheres in initial data sets

We give examples of asymptotically flat three-manifolds $(M,g)$ which admit arbitrarily large constant mean curvature spheres that are far away from the center of the manifold. This resolves a question raised by G. Huisken and S.-T. Yau in 1996. On the other hand, we show that such surfaces cannot exist when $(M,g)$ has nonnegative scalar curvature. This result depends on an intricate relationship between the scalar curvature of the initial data set and the isoperimetric ratio of large stable constant mean curvature surfaces.

math.DG↗
arXiv2013

A Gibbons-Penrose inequality for surfaces in Schwarzschild spacetime

We propose a geometric inequality for two-dimensional spacelike surfaces in the Schwarzschild spacetime. This inequality implies the Penrose inequality for collapsing dust shells in general relativity, as proposed by Penrose and Gibbons. We prove that the inequality holds in several important cases.

math-ph↗
arXiv2013

Isoperimetric and Weingarten surfaces in the Schwarzschild manifold

We show that any star-shaped convex hypersurface with constant Weingarten curvature in the deSitter-Schwarzschild manifold is a sphere of symmetry. Moreover, we study an isoperimetric problem for bounded domains in the doubled Schwarzschild manifold. We prove the existence of an isoperimetric surface for any value of the enclosed volume, and we completely describe the isoperimetric surfaces for very large enclosed volume. This complements work in H. Bray's thesis, where isoperimetric surfaces homologous to the horizon are studied.

math.DG↗
arXiv2004

Global existence and convergence for a higher order flow in conformal geometry

We study a higher-order parabolic equation which generalizes the Ricci flow on two-dimensional surfaces. The metric is deformed conformally with a speed given by the Q-curvature of the metric. Under a condition on the Q-curvature of the initial metric we show that the soluton exists for all time and converges to a metric of prescribed Q-curvature.

math.DG↗