We show that the isoperimetric profile $h_{g(t)}(ξ)$ of a compact Riemannian manifold $(M,g)$ is jointly continuous when metrics $g(t)$ vary continuously. We also show that, when $M$ is a compact surface and $g(t)$ evolves under normalized Ricci flow, $h^2_{g(t)}(ξ)$ is uniform Lipschitz continuous and hence $h_{g(t)}(ξ)$ is uniform locally Lipschitz continuous.
Let $({\M}, g(t))$ be a Kähler Ricci flow with positive first Chern class. We prove a uniform isoperimetric inequality for all time. In the process we also prove a Cheng-Yau type log gradient bound for positive harmonic functions on $({\M}, g(t))$, and a Poincaré inequality without assuming the Ricci curvature is bounded from below.
We prove that the isoperimetric inequality is satisfied in the cigar steady soliton and in the Bryant steady soliton. Since both of them are Riemannian manifolds with warped product metric, we utilize the result of Guan-Li-Wang to get our conclusion. For the sake of the soliton structure, we believe that the geometric restrictions for manifolds in which the isoperimetric inequality holds are naturally satisfied for steady Ricci solitons.
Given closed Riemannian manifold $(M^n, g)$ of positive Ricci curvature $Ricci(g) \geq (n-1)g$ we study isoperimetric regions on the spherical cone over $M$. When $g$ is Einstein we use this to compute the Yamabe constant of $(M \times {\bf R}, g + dt^2)$ and so to obtain lower bounds for the Yamabe invariant of $M\times S^1$.
We prove a comparison theorem for the isoperimetric profiles of solutions of the normalized Ricci flow on the two-sphere: If the isoperimetric profile of the initial metric is greater than that of some positively curved axisymmetric metric, then the inequality remains true for the isoperimetric profiles of the evolved metrics. We apply this using the Rosenau solution as the model metric to deduce sharp time-dependent curvature bounds for arbitrary solutions of the normalized Ricci flow on the two-sphere. This gives a simple and direct proof of convergence to a constant curvature metric without…
Motivated by Perelman's Pseudo Locality Theorem for the Ricci flow, we prove that if a Riemannian manifold has Ricci curvature bounded below in a metric ball which moreover has almost maximal volume, then in a smaller ball (in a quantified sense) it holds an almost-euclidean isoperimetric inequality. The result is actually established in the more general framework of non-smooth spaces satisfying local Ricci curvature lower bounds in a synthetic sense via optimal transportation.
We prove a sharp dimension-free isoperimetric inequality, involving the volume entropy, in non-compact metric measure spaces with non-negative synthetic Ricci curvature.
A comparison theorem for the isoperimetric profile on the universal cover of surfaces evolving by normalised Ricci flow is proven. For any initial metric, a model comparison is constructed that initially lies below the profile of the initial metric and which converges to the profile of the constant curvature metric. The comparison theorem implies that the evolving metric is bounded below by the model comparison for all time and hence converges to the constant curvature profile. This yields a curvature bound and a bound on the isoperimetric constant, leading to a direct proof that the metric co…
In this paper we provide new existence results for isoperimetric sets of large volume in Riemannian manifolds with nonnegative Ricci curvature and Euclidean volume growth. We find sufficient conditions for their existence in terms of the geometry at infinity of the manifold. As a byproduct we show that isoperimetric sets of big volume always exist on manifolds with nonnegative sectional curvature and Euclidean volume growth. Our method combines an asymptotic mass decomposition result for minimizing sequences, a sharp isoperimetric inequality on nonsmooth spaces, and the concavity property of t…
By using optimal mass transport theory we prove a sharp isoperimetric inequality in ${\sf CD} (0,N)$ metric measure spaces assuming an asymptotic volume growth at infinity. Our result extends recently proven isoperimetric inequalities for normed spaces and Riemannian manifolds to a nonsmooth framework. In the case of $n$-dimensional Riemannian manifolds with nonnegative Ricci curvature, we outline an alternative proof of the rigidity result of S. Brendle (2021). As applications of the isoperimetric inequality, we establish Sobolev and Rayleigh-Faber-Krahn inequalities with explicit sharp const…
We investigate the distribution of eigenvalues of the weighted Laplacian on closed weighted Riemannian manifolds of nonnegative Bakry-Émery Ricci curvature. We derive some universal inequalities among eigenvalues of the weighted Laplacian on such manifolds. These inequalities are quantitative versions of the previous theorem by the author with Shioya. We also study some geometric quantity, called multi-way isoperimetric constants, on such manifolds and obtain similar universal inequalities among them. Multi-way isoperimetric constants are generalizations of the Cheeger constant. Extending and …
We characterize locally Lipschitz mappings and existence of Lipschitz extensions through a first order nonlinear system of PDEs. We extend this study to graded group-valued Lipschitz mappings defined on compact Riemannian manifolds. Through a simple application, we emphasize the connection between these PDEs and the Rumin complex. We introduce a class of 2-step groups, satisfying some abstract geometric conditions and we show that Lipschitz mappings taking values in these groups and defined on subsets of the plane admit Lipschitz extensions. We present several examples of these groups, called …
We prove a Lipschitz-Volume rigidity theorem for the non-collapsed Gromov-Hausdorff limits of manifolds with Ricci curvature bounded from below. This is a counterpart of the Lipschitz-Volume rigidity in Alexandrov geometry.
We prove existence of isoperimetric regions for every volume in non-compact Riemannian $n$-manifolds $(M,g)$, $n\geq 2$, having Ricci curvature $Ric_g\geq (n-1) k_0 g$ and being locally asymptotic to the simply connected space form of constant sectional curvature $k_0$; moreover in case $k_0=0$ we show that the isoperimetric regions are indecomposable. We also discuss some physically and geometrically relevant examples. Finally, under assumptions on the scalar curvature we prove existence of isoperimetric regions of small volume.
We prove that if a geodesic metric measure space satisfies a comparison condition for isoperimetric profile and if the observable variance is maximal, then the space is foliated by minimal geodesics, where the observable variance is defined to be the supremum of the variance of 1-Lipschitz functions on the space. Our result can be considered as a variant of Cheeger-Gromoll's splitting theorem and also of Cheng's maximal diameter theorem. As an application, we obtain a new isometric splitting theorem for a complete weighted Riemannian manifold with a positive Bakry-Émery Ricci curvature.
We prove that the results regarding the Isoperimetric inequality and Cheeger constant formulated in terms of the Minkowski content, obtained by the authors in previous papers in the framework of essentially non-branching metric measure spaces verifying the local curvature dimension condition, also hold in the stronger formulation in terms of the perimeter.
We estimate the second order linking invariants of Lipschitz maps from an n-dimensional ellipse. The estimate uses a new directionally-dependent version of the isoperimetric inequality for cycles inside the ellipse. Using this work, we prove new lower bounds for the k-dilation of maps from one ellipse to another.
In this paper, we study the moduli spaces of noncollapsed Ricci flow solutions with bounded energy and scalar curvature. We show a weak compactness theorem for such moduli spaces and apply it to study isoperimetric constant control, Kähler Ricci flow and moduli space of gradient shrinking solitons.
We characterize the standard $\mathbb{S}^3$ as the closed Ricci-positive 3-manifold with scalar curvature at least 6 having isoperimetric surfaces of largest area: $4π$. As a corollary we answer in the affirmative an interesting special case of a conjecture of Min-Oo's on the scalar curvature rigidity of the upper hemisphere..
We prove that if $(X,\mathsf{d},\mathfrak{m})$ is a metric measure space with $\mathfrak{m}(X)=1$ having (in a synthetic sense) Ricci curvature bounded from below by $K>0$ and dimension bounded above by $N\in [1,\infty)$, then the classic Lévy-Gromov isoperimetric inequality (together with the recent sharpening counterparts proved in the smooth setting by E. Milman for any $K\in \mathbb{R}$, $N\geq 1$ and upper diameter bounds) hold, i.e. the isoperimetric profile function of $(X,\mathsf{d},\mathfrak{m})$ is bounded from below by the isoperimetric profile of the model space. Moreover, if equal…
In this article we prove a reverse Hölder inequality for the fundamental eigenfunction of the Dirichlet problem on domains of a compact Riemannian manifold with lower Ricci curvature bounds. We also prove an isoperimetric inequality for the torsional ridigity of such domains.
We establish a structure theorem for minimizing sequences for the isoperimetric problem on noncompact $\mathsf{RCD}(K,N)$ spaces $(X,\mathsf{d},\mathcal{H}^N)$. Under the sole (necessary) assumption that the measure of unit balls is uniformly bounded away from zero, we prove that the limit of such a sequence is identified by a finite collection of isoperimetric regions possibly contained in pointed Gromov--Hausdorff limits of the ambient space $X$ along diverging sequences of points. The number of such regions is bounded linearly in terms of the measure of the minimizing sequence. The result f…
We obtain a Bonnet-Myers theorem under a spectral condition: a closed Riemannian manifold $(M^n,g)$ for which the lowest eigenvalue of the Ricci tensor $ρ$ is such that the Schrödinger operator $(n-2)Δ+ ρ$ is positive has finite fundamental group. As a continuation of our earlier results, we obtain isoperimetric inequalities from a Kato condition on the Ricci curvature. Furthermore, we obtain the Kato condition for the Ricci curvature under purely geometric assumptions.
By adapting some ideas of M. Ledoux \cite{ledoux2}, \cite{ledoux-stflour} and \cite{Led} to a sub-Riemannian framework we study Sobolev, Poincaré and isoperimetric inequalities associated to subelliptic diffusion operators that satisfy the generalized curvature dimension inequality that was introduced by F. Baudoin and N. Garofalo in \cite{Bau2}. Our results apply in particular on all CR Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is non negative, all Carnot groups with step two, and wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is …
We study, on a weighted Riemannian manifold of Ric$_{N} \geq K > 0$ for $N < -1$, when equality holds in the isoperimetric inequality. Our main theorem asserts that such a manifold is necessarily isometric to the warped product $\mathbb{R} \times_{\cosh(\sqrt{K/(1-N)}t)} Σ^{n-1}$ of hyperbolic nature, where $Σ^{n-1}$ is an $(n-1)$-dimensional manifold with lower weighted Ricci curvature bound and $\mathbb{R}$ is equipped with a hyperbolic cosine measure. This is a similar phenomenon to the equality condition of Poincaré inequality. Moreover, every isoperimetric minimizer set is isometric to a …
We give a definition of convergence of differential of Lipschitz functions with respect to measured Gromov-Hausdorff topology. As their applications, we give a characterization of harmonic functions with polynomial growth on asymptotic cones of manifolds with nonnegative Ricci curvature and Euclidean volume growth, and distributional Laplacian comparison theorem on limit spaces of Riemannian manifolds.
Fenchel-Willmore-Chen inequality under lower bounds on weighted intermediate Ricci curvature
School of Mathematical and Physical Sciences, Macquarie University（麦考瑞大学数学与物理科学学院）；Department of Mathematics, University of California, Santa Barbara（加州大学圣塔芭芭拉分校数学系）
In this paper we prove the existence of isoperimetric regions of any volume in Riemannian manifolds with Ricci bounded below assuming Gromov--Hausdorff asymptoticity to the suitable simply connected model of constant sectional curvature. The previous result is a consequence of a general structure theorem for perimeter-minimizing sequences of sets of fixed volume on noncollapsed Riemannian manifolds with a lower bound on the Ricci curvature. We show that, without assuming any further hypotheses on the asymptotic geometry, all the mass and the perimeter lost at infinity, if any, are recovered by…
In this paper we study regularity and topological properties of volume constrained minimizers of quasi-perimeters in $\sf RCD$ spaces where the reference measure is the Hausdorff measure. A quasi-perimeter is a functional given by the sum of the usual perimeter and of a suitable continuous term. In particular, isoperimetric sets are a particular case of our study. We prove that on an ${\sf RCD}(K,N)$ space $({\rm X},{\sf d},\mathcal{H}^N)$, with $K\in\mathbb R$, $N\geq 2$, and a uniform bound from below on the volume of unit balls, volume constrained minimizers of quasi-perimeters are open bou…
We prove that if $(X,\mathsf d,\mathfrak m)$ is an essentially non-branching metric measure space with $\mathfrak m(X)=1$, having Ricci curvature bounded from below by $K$ and dimension bounded from above by $N \in (1,\infty)$, understood as a synthetic condition called Measure-Contraction property, then a sharp isoperimetric inequality à la Lévy-Gromov holds true. Measure theoretic rigidity is also obtained.
We study the behaviour of the Ricci Yang-Mills flow for U(1) bundles on surfaces. We show that existence for the flow reduces to a bound on the isoperimetric constant. In the presence of such a bound, we show that on $S^2$, if the bundle is nontrivial, the flow exists for all time. For higher genus surfaces the flow always exists for all time. The volume normalized flow always exists for all time and converges to a constant scalar curvature metric with the bundle curvature $F$ parallel. Finally, in an appendix we classify all gradient solitons of this flow on surfaces.
In a Riemannian manifold with a smooth positive function that weights the associated Hausdorff measures we study stable sets, i.e., second order minima of the weighted perimeter under variations preserving the weighted volume. By assuming local convexity of the boundary and certain behaviour of the Bakry-Émery-Ricci tensor we deduce rigidity properties for stable sets by using deformations constructed from parallel vector fields tangent to the boundary. As a consequence, we completely classify the stable sets in some Riemannian cylinders $Ω\times\mathbb{R}$ with product weights. Finally, we al…
In this paper, we prove the concavity of the Shannon entropy power for the heat equation associated with the Laplacian or the Witten Laplacian on complete Riemannian manifolds with suitable curvature-dimension condition and on compact super Ricci flows. Under suitable curvature-dimension condition, we prove that the rigidity models of the Shannon entropy power are Einstein or quasi Einstein manifolds with Hessian solitons. Moreover, we prove the convexity of the Shannon entropy power for the conjugate heat equation introduced by G. Perelman on Ricci flow and that the corresponding rigidity mod…
We prove some sharp isoperimetric type inequalities for domains with smooth boundary on Riemannian manifolds. For example, using generalized convexity, we show that among all domains with a lower bound $l$ for the cut distance and Ricci curvature lower bound $(n-1)k$, the geodesic ball of radius $l$ in the space form of curvature $k$ has the largest area-to-volume ratio. A similar but reversed inequality holds if we replace a lower bound on the cut distance by a lower bound of the mean curvature. As an application we show that $C^2$ isoperimetric domains in standard space forms are balls. Gene…
We prove that the isoperimetric profile of a convex domain $Ω$ with compact closure in a Riemannian manifold $(M^{n+1},g)$ satisfies a second order differential inequality which only depends on the dimension of the manifold and on a lower bound on the Ricci curvature of $Ω$. Regularity properties of the profile and topological consequences on isoperimetric regions arise naturally from this differential point of view. Moreover, by integrating the differential inequality we obtain sharp comparison theorems: not only can we derive an inequality which should be compared with Lévy-Gromov Inequality…
Let $M$ be a complete Riemannian manifold possessing a strictly convex Lipschitz continuous exhaustion function. We show that the isoperimetric profile of $M$ is a continuous and non-decreasing function. Particular cases are Hadamard manifolds and complete non-compact manifolds with strictly positive sectional curvatures.
Let $X$ be a Banach space or more generally a complete metric space admitting a conical geodesic bicombing. We prove that every closed $L$-Lipschitz curve $γ:S^1\rightarrow X$ may be extended to an $L$-Lipschitz map defined on the hemisphere $f:H^2\rightarrow X$. This implies that $X$ satisfies a quadratic isoperimetric inequality (for curves) with constant $\frac{1}{2π}$. We discuss how this fact controls the regularity of minimal discs in Finsler manifolds when applied to the work of Alexander Lytchak and Stefan Wenger.
Bishop's volume comparison theorem states that a compact $n$-manifold with Ricci curvature larger than the standard $n$-sphere has less volume. While the traditional proof uses geodesic balls, we present another proof using isoperimetric hypersurfaces, also known as "soap bubbles," which minimize area for a given volume. Curiously, isoperimetric hypersurfaces can have codimension 7 singularities, an interesting challenge we are forced to overcome.
We study here limit spaces $(M_α,g_α,p_α)\stackrel{GH}{\rightarrow} (Y,d_Y,p)$, where the $M_α$ have a lower Ricci curvature bound and are volume noncollapsed. Such limits $Y$ may be quite singular, however it is known that there is a subset of full measure $\cR(Y)\subseteq Y$, called {\it regular} points, along with coverings by the almost regular points $\cap_ε\cup_r\cR_{ε,r}(Y)=\cR(Y)$ such that each of the {\it Reifenberg sets} $\cR_{ε,r}(Y)$ is bi-Hölder homeomorphic to a manifold. It has been an ongoing question as to the bi-Lipschitz regularity the Reifenberg sets. Our results have two …
Motivated by the recent work of Lamm and Simon, in this work we study the short-time existence theory of Ricci-Deturck flow starting from rough metrics which are bi-Lipschitz and have small local scaling invariant gradient concentration. As applications, we use it to study several stability problems related to the scalar curvature.
In this paper, we consider a dilation type inequality on a weighted Riemannian manifold, which is classically known as Borell's lemma in high-dimensional convex geometry. We investigate the dilation type inequality as an isoperimetric type inequality by introducing the dilation profile and estimate it by the one for the corresponding model space under lower weighted Ricci curvature bounds. We also explore functional inequalities derived from the comparison of the dilation profiles under the nonnegative weighted Ricci curvature. In particular, we show several functional inequalities related to …
Given any $d$-dimensional Lipschitz Riemannian manifold $(M,g)$ with heat kernel $\mathsf{p}$, we establish uniform upper bounds on $\mathsf{p}$ which can always be decoupled in space and time. More precisely, we prove the existence of a constant $C>0$ and a bounded Lipschitz function $R\colon M \to (0,\infty)$ such that for every $x\in M$ and every $t>0$, \begin{align*} \sup_{y\in M} \mathsf{p}(t,x,y) \leq C\min\{t, R^2(x)\}^{-d/2}. \end{align*} This allows us to identify suitable weighted Lebesgue spaces w.r.t. the given volume measure as subsets of the Kato class induced by $(M,g)$. In the …
