A note on Huisken's isoperimetric mass

Jeffrey L. Jauregui,Dan A. Lee,Ryan Unger

2024-08-17

Abstract:In this short note, we explain that Huisken's isoperimetric mass is always nonnegative for elementary reasons.

Differential Geometry

What problem does this paper attempt to address?

Removable Singularity of Positive Mass Theorem with Continuous Metrics

Wenshuai Jiang,Weimin Sheng,Huaiyu Zhang

DOI: https://doi.org/10.1007/s00209-022-03081-w

2022-01-01

Mathematische Zeitschrift

Abstract:In this paper, we consider asymptotically flat Riemannian manifolds endowed with a continuous metric and the metric is smooth away from a compact subset with certain conditions. If the metric is Lipschitz and the scalar curvature is nonnegative away from a closed subset with (n - 1)-dimensional Hausdorff measure zero, then we prove that the ADM mass of each end is nonnegative. Furthermore, if the ADM mass of some end is zero, then we prove that the manifold is isometric to the Euclidean space. The Hausdorff measure condition is optimal, which confirms a conjecture of Lee in 2013. The proof of the nonnegativity is based on a smoothing argument with some new estimates such as a L-1-scalar curvature approximation estimates. The proof of the rigidity relies on the RCD theory where we show that the manifold has nonnegative Ricci curvature in RCD sense. The idea involving RCD theory in the proof turns out to be much more suitable in the study of the rigidity for continuous metrics. Furthermore, our result generalizes the result of Lee and LeFloch (Commun Math Phys 339(1):99-120, 2015) from spin to non-spin.
Nonlinear Isocapacitary Concepts of Mass in 3-Manifolds with Nonnegative Scalar Curvature

Luca Benatti,Mattia Fogagnolo,Lorenzo Mazzieri

DOI: https://doi.org/10.3842/SIGMA.2023.091

2023-11-10

Abstract:We deal with suitable nonlinear versions of Jauregui's isocapacitary mass in 3-manifolds with nonnegative scalar curvature and compact outermost minimal boundary. These masses, which depend on a parameter $1<p\leq 2$, interpolate between Jauregui's mass $p=2$ and Huisken's isoperimetric mass, as $p \to 1^+$. We derive positive mass theorems for these masses under mild conditions at infinity, and we show that these masses do coincide with the ADM mass when the latter is defined. We finally work out a nonlinear potential theoretic proof of the Penrose inequality in the optimal asymptotic regime.

Differential Geometry,General Relativity and Quantum Cosmology,Analysis of PDEs
Positive mass and isoperimetry for continuous metrics with nonnegative scalar curvature

Gioacchino Antonelli,Mattia Fogagnolo,Stefano Nardulli,Marco Pozzetta

2024-03-24

Abstract:This paper deals with the positive mass theorem and the existence of isoperimetric sets on $3$-manifolds endowed with continuous complete metrics having nonnegative scalar curvature in a suitable weak sense.

Differential Geometry,Mathematical Physics,Analysis of PDEs,Metric Geometry
Isoperimetric sets in nonnegative scalar curvature and their role through various concepts of mass

Luca Benatti,Mattia Fogagnolo

2023-10-19

Abstract:We review some recent results about the relations among isoperimetric sets, Penrose inequalities and related concepts in the analysis of $3$-manifolds of nonnegative scalar curvature. We also show that if the isoperimetric sets of big volume have connected boundaries, the equivalence among suitable notions of mass hold.

Differential Geometry,Functional Analysis
Note on Brendle-Eichmair's paper "Isoperimetric and Weingarten surfaces in the Schwarchild manifold"

Haizhong Li,Yong Wei,Changwei Xiong

DOI: https://doi.org/10.1142/S0129167X14501213

2012-01-01

Abstract: In this short note, we show that the assumption "convex" in Theorem 7 of Brendle-Eichmair's paper \cite{BE} is unnecessary.
The Isoperimetric Inequality on Asymptotically Flat Manifolds with Nonnegative Scalar Curvature

Yuguang Shi

DOI: https://doi.org/10.1093/imrn/rnv395

2016-01-01

International Mathematics Research Notices

Abstract:In this note, we consider the isoperimetric inequality on an asymptotically flat manifold with nonnegative scalar curvature, and improve it by using Hawking mass. We also obtain a rigidity result when equality holds for the classical isoperimetric inequality on an asymptotically flat manifold with nonnegative scalar curvature.
A negative mass theorem for surfaces of positive genus

Kate Okikiolu

DOI: https://doi.org/10.1007/s00220-008-0722-z

2008-10-14

Abstract:We define the "sum of squares of the wavelengths" of a Riemannian surface (M,g) to be the regularized trace of the inverse of the Laplacian. We normalize by scaling and adding a constant, to obtain a "mass", which is scale invariant and vanishes at the round sphere. This is an anlaog for closed surfaces of the ADM mass from general relativity. We show that if M has positive genus then on each conformal class, the mass attains a negative minimum. For the minimizing metric, there is a sharp logarithmic Hardy-Littlewood-Sobolev inequality and a Moser-Trudinger-Onofri type inequality.

Spectral Theory,Differential Geometry
A Note on the Harnack Inequality Related with the Martin Boundary

H. -J. Ruan,X. -Y. Wang

2015-01-01

Markov processes and related fields

Abstract:Harnack inequality plays a key role for the homeomorphism between the Martin boundaries and the self-similar sets. In this note, we study a transition probability on the finite words space of an iterated function system, whose invariant set is the unit interval. We present the necessary and sufficient condition for the transition probability to satisfy the Harnack inequality.
Rigidities of Isoperimetric inequality under nonnegative Ricci curvature

Fabio Cavalletti,Davide Manini

2024-08-07

Abstract:The sharp isoperimetric inequality for non-compact Riemannian manifolds with non-negative Ricci curvature and Euclidean volume growth has been obtained in increasing generality with different approaches in a number of contributions [<a class="link-https" data-arxiv-id="1812.05022" href="https://arxiv.org/abs/1812.05022">arXiv:1812.05022</a>, <a class="link-https" data-arxiv-id="2012.09490" href="https://arxiv.org/abs/2012.09490">arXiv:2012.09490</a>, <a class="link-https" data-arxiv-id="2009.13717" href="https://arxiv.org/abs/2009.13717">arXiv:2009.13717</a>, <a class="link-https" data-arxiv-id="2103.08496" href="https://arxiv.org/abs/2103.08496">arXiv:2103.08496</a>] culminated by Balogh and Kristaly [<a class="link-https" data-arxiv-id="2012.11862" href="https://arxiv.org/abs/2012.11862">arXiv:2012.11862</a>] covering also m.m.s.'s verifying the non-negative Ricci curvature condition in the synthetic sense of Lott, Sturm and Villani. In sharp contrast with the compact case of positive Ricci curvature, for a large class of spaces including weighted Riemannian manifolds, no complete characterisation of the equality cases is present in the literature. The scope of this note is to settle this problem by proving, in the same generality of [<a class="link-https" data-arxiv-id="2012.11862" href="https://arxiv.org/abs/2012.11862">arXiv:2012.11862</a>], that the equality in the isoperimetric inequality can be attained only by metric balls. Whenever this happens the space is forced, in a measure theoretic sense, to be a cone. Our result applies to different frameworks yielding as corollaries new rigidity results: it extend to weighted Riemannian manifold the rigidity results of [<a class="link-https" data-arxiv-id="2009.13717" href="https://arxiv.org/abs/2009.13717">arXiv:2009.13717</a>], it extend to general $\mathsf{RCD}$ spaces the rigidity results of [<a class="link-https" data-arxiv-id="2201.04916" href="https://arxiv.org/abs/2201.04916">arXiv:2201.04916</a>] and finally applies also to the Euclidean setting by proving that that optimisers in the anisotropic and weighted isoperimetric inequality for Euclidean cones are necessarily the Wulff shapes.

Metric Geometry
Incompressible hypersurface, positive scalar curvature and positive mass theorem

Jie Chen,Peng Liu,Yuguang Shi,Jintian Zhu

2021-01-01

Abstract: In this paper, we prove for $n\leq 7$ that if a differentiable $n$-manifold contains a relatively incompressible essential hypersurface in some class $\mathcal C_{deg}$, then it admits no complete metric with positive scalar curvature. Based on this result, we show for $n\leq 7$ that surgeries between orientable $n$-manifolds and $n$-torus along incompressible sub-torus with codimension no less than $2$ still preserve the obstruction for complete metrics with positive scalar curvature. As an application, we establish positive mass theorem with incompressible conditions for asymptotically flat/conical manifolds with flat fiber $F$ (including ALF and ALG manifolds), which can be viewed as a generalization of the classical positive mass theorem from \cite{SY79PMT} and \cite{SY2017}. Finally, we investigate Gromov's fill-in problem and bound the total mean curvature for nonnegative scalar curvature fill-ins of flat $2$-toruses (an optimal bound is obtained for product $2$-toruses). This confirms the validity of Mantoulidis-Miao's definition of generalized Brown-York mass in \cite{MM2017} for flat $2$-toruses.
A Note on Riemannian Metrics on the Moduli Space of Riemann Surfaces

Yunhui Wu

DOI: https://doi.org/10.1090/proc/12936

IF: 0.9709

2016-01-01

Proceedings of the American Mathematical Society

Abstract:In this note we show that the moduli space M(S-g,(n)) of surface S-g,S-n of genus g with n punctures, satisfying 3g + n >= 5, admits no complete Riemannian metric of nonpositive sectional curvature such that the Teichmuller space T(S-g,S-n) is a mapping class group Mod(S-g,S-n)-invariant visibility manifold.
A note on the Huijsmans–de Pagter problem on finite dimensional ordered vector spaces

C. Badea,J. Glück

DOI: https://doi.org/10.1007/s10476-024-00052-7

2024-10-03

Analysis Mathematica

Abstract:A classical problem posed in 1992 by Huijsmans and de Pagter asks whether, for every positive operator on a Banach lattice with spectrum , the inequality holds true. While the problem remains unsolved in its entirety, a positive solution is known in finite dimensions. In the broader context of ordered Banach spaces, Drnovšek provided an infinite-dimensional counterexample. In this note, we demonstrate the existence of finite-dimensional counterexamples, specifically on the ice cream cone and on a polyhedral cone in . On the other hand, taking inspiration from the notion of -isometries, we establish that each counterexample must contain a Jordan block of size at least .

mathematics
Note on Minkowski Summation and Unimodularity in Discrete Convex Analysis

Kazuo Murota,Akihisa Tamura

2024-04-28

Abstract:This short note gives an elementary alternative proof for a theorem of Danilov and Koshevoy on Minkowski summation and unimodularity in discrete convex analysis. It is intended to disseminate this fundamental theorem and make its proof accessible to researchers in optimization and operations research.

Combinatorics
A note on the Huijsmans-de Pagter problem on finite dimensional ordered vector spaces

Catalin Badea,Jochen Glück

2024-05-28

Abstract:A classical problem posed in 1992 by Huijsmans and de Pagter asks whether, for every positive operator $T$ on a Banach lattice with spectrum $\sigma(T) = \{1\}$, the inequality $T \ge \operatorname{id}$ holds true. While the problem remains unsolved in its entirety, a positive solution is known in finite dimensions. In the broader context of ordered Banach spaces, Drnovšek provided an infinite-dimensional counterexample. In this note, we demonstrate the existence of finite-dimensional counterexamples, specifically on the ice cream cone and on a polyhedral cone in $\mathbb{R}^3$. On the other hand, taking inspiration from the notion of $m$-isometries, we establish that each counterexample must contain a Jordan block of size at least $3$.

Functional Analysis,Spectral Theory
A Green's Function Proof of the Positive Mass Theorem

Virginia Agostiniani,Lorenzo Mazzieri,Francesca Oronzio

DOI: https://doi.org/10.1007/s00220-024-04941-8

IF: 2.361

2024-02-22

Communications in Mathematical Physics

Abstract:In this paper, a new proof of the Positive Mass Theorem is established through a newly discovered monotonicity formula, holding along the level sets of the Green's function of an asymptotically flat 3-manifolds. In the same context and for $1<p<3$ , a Geroch-type calculation is performed along the level sets of p -harmonic functions, leading to a new proof of the Riemannian Penrose Inequality under favourable assumptions. A new characterisation of scalar curvature lower bounds in terms of the monotonicity formulas is also given.</p<3\)<>

physics, mathematical
A note on the primitive cohomology lattice of a projective surface

Chris Peters

2023-12-01

Abstract:The isometry class of the intersection form of a compact complex surface can be easily determined from complex-analytic invariants. For projective surfaces the primitive lattice is another naturally occurring lattice. The goal of this note is to show that it can be determined from the intersection lattice and the self-intersection of a primitive ample class, at least when the primitive lattice is indefinite. Examples include the Godeaux surfaces, the Kunev surface and a specific Horikawa surface. There are also some results concerning (negative) definite primitive lattices, especially for canonically polarized surfaces of general type.

Algebraic Geometry
A general principle for Hausdorff measure

Mumtaz Hussain,David Simmons

DOI: https://doi.org/10.1090/proc/14539

IF: 0.9709

2019-06-10

Proceedings of the American Mathematical Society

Abstract:We introduce a general principle for studying the Hausdorff measure of limsup sets. A consequence of this principle is the well-known Mass Transference Principle of Beresnevich and Velani (2006).

mathematics, applied
On the Isoperimetric Riemannian Penrose Inequality

Luca Benatti,Mattia Fogagnolo,Lorenzo Mazzieri

2024-11-20

Abstract:We prove that the Riemannian Penrose Inequality holds for Asymptotically Flat $3$-manifolds with nonnegative scalar curvature and connected horizon boundary, provided the optimal decay assumptions are met, which result in the $\mathrm{ADM}$ mass being a well-defined geometric invariant. Our proof builds on a novel interplay between the Hawking mass and a potential-theoretic version of it, recently introduced by Agostiniani, Oronzio and the third named author. As a consequence, we establish the equality between $\mathrm{ADM}$ mass and Huisken's Isoperimetric mass under the above sharp assumptions. Moreover, we establish a Riemannian Penrose Inequality in terms of the Isoperimetric mass on any $3$-manifold with nonnegative scalar curvature, connected horizon boundary, and which supports a well-posed notion of weak Inverse Mean Curvature Flow. In particular, such Isoperimetric Riemannian Penrose Inequality does not require the asymptotic flatness of the manifold. The argument is based on a new asymptotic comparison result involving Huisken's Isoperimetric mass and the Hawking mass.

Differential Geometry,General Relativity and Quantum Cosmology,Analysis of PDEs
Mass Inequality and Stability of the Positive Mass Theorem For Kähler Manifolds

Johan Jacoby Klemmensen

2024-10-02

Abstract:We prove an integral inequality and two stability results for the ADM mass on AE Kähler manifolds of all complex dimensions. The inequality bounds the ADM mass from below by an integral of the scalar curvature and the Hessian of certain holomorphic coordinate functions arising from the complex coordinates at infinity. Using this, we first prove a stability result for any sequence of AE Kähler manifolds with ADM mass converging to zero. We conclude that, for any such sequence, there exist subsets of each with vanishing boundaries in the limit such that the complements converge to Euclidean space in the pointed Gromov-Hausdorff sense. This gives the first stability result of the Positive Mass Theorem for Kähler manifolds, or more generally, of manifolds without strong curvature or volume conditions or for a very explicit family of metrics in real dimensions greater than three. If we furthermore impose a uniform lower bound on the Ricci curvature, the second stability theorem shows the same result without taking the complement of a sequence of vanishing sets. Finally, we find three new families of AE Kähler manifolds with vanishing mass in the limit for which the stability results apply.

Differential Geometry

A note on Huisken's isoperimetric mass

Removable Singularity of Positive Mass Theorem with Continuous Metrics

Nonlinear Isocapacitary Concepts of Mass in 3-Manifolds with Nonnegative Scalar Curvature

Positive mass and isoperimetry for continuous metrics with nonnegative scalar curvature

Isoperimetric sets in nonnegative scalar curvature and their role through various concepts of mass

Note on Brendle-Eichmair's paper "Isoperimetric and Weingarten surfaces in the Schwarchild manifold"

The Isoperimetric Inequality on Asymptotically Flat Manifolds with Nonnegative Scalar Curvature

A negative mass theorem for surfaces of positive genus

A Note on the Harnack Inequality Related with the Martin Boundary

Rigidities of Isoperimetric inequality under nonnegative Ricci curvature

Incompressible hypersurface, positive scalar curvature and positive mass theorem

A Note on Riemannian Metrics on the Moduli Space of Riemann Surfaces

A note on the Huijsmans–de Pagter problem on finite dimensional ordered vector spaces

Note on Minkowski Summation and Unimodularity in Discrete Convex Analysis

A note on the Huijsmans-de Pagter problem on finite dimensional ordered vector spaces

A Green's Function Proof of the Positive Mass Theorem

A note on the primitive cohomology lattice of a projective surface

A general principle for Hausdorff measure

On the Isoperimetric Riemannian Penrose Inequality

Mass Inequality and Stability of the Positive Mass Theorem For Kähler Manifolds