Showing 1–50 of 54 results for author: Miao, P

Implications of some mass-capacity inequalities

Authors: Pengzi Miao

Abstract: Applying a family of mass-capacity related inequalities proved in \cite{M22}, we obtain sufficient conditions that imply the nonnegativity as well as positive lower bounds of the mass, on a class of manifolds with nonnegative scalar curvature, with or without a singularity. Applying a family of mass-capacity related inequalities proved in \cite{M22}, we obtain sufficient conditions that imply the nonnegativity as well as positive lower bounds of the mass, on a class of manifolds with nonnegative scalar curvature, with or without a singularity. △ Less

Submitted 2 May, 2024; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: improved exposition, 14 pages, 1 figure, to appear in the Journal of Geometric Analysis

Journal ref: J. Geom. Anal. 34, 241 (2024)

Estimates of the Bartnik mass

Authors: Pengzi Miao, Annachiara Piubello

Abstract: Given a metric $γ$ of nonnegative Gauss curvature and a positive function $H$ on a $2$-sphere $Σ$, we estimate the Bartnik quasi-local mass of $(Σ, γ, H)$ in terms of the area, the total mean curvature, and a quantity depending only on $γ$, measuring the roundness of the metric. If $γ$ has positive Gauss curvature, the roundness of $γ$ in the estimate is controlled by the ratio $κ$ between the max… ▽ More Given a metric $γ$ of nonnegative Gauss curvature and a positive function $H$ on a $2$-sphere $Σ$, we estimate the Bartnik quasi-local mass of $(Σ, γ, H)$ in terms of the area, the total mean curvature, and a quantity depending only on $γ$, measuring the roundness of the metric. If $γ$ has positive Gauss curvature, the roundness of $γ$ in the estimate is controlled by the ratio $κ$ between the maximum and the minimum of the Gauss curvature. As $κ\to 1$, the estimate approaches a sharp estimate for round spheres with arbitrary, positive mean curvature functions. Enroute we observe an estimate of the supremum of the total mean curvature among nonnegative scalar curvature fill-ins of a closed manifold with positive scalar curvature. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 18 pages

Monotone quantities of $p$-harmonic functions and their applications

Authors: Sven Hirsch, Pengzi Miao, Luen-Fai Tam

Abstract: We derive local and global monotonic quantities associated to $p$-harmonic functions on manifolds with nonnegative scalar curvature. As applications, we obtain inequalities relating the mass of asymptotically flat $3$-manifolds, the $p$-capacity and the Willmore functional of the boundary. As $ p \to 1$, one of the results retrieves a classic relation that the ADM mass dominates the Hawking mass i… ▽ More We derive local and global monotonic quantities associated to $p$-harmonic functions on manifolds with nonnegative scalar curvature. As applications, we obtain inequalities relating the mass of asymptotically flat $3$-manifolds, the $p$-capacity and the Willmore functional of the boundary. As $ p \to 1$, one of the results retrieves a classic relation that the ADM mass dominates the Hawking mass if the surface is area outer-minimizing. △ Less

Submitted 3 May, 2023; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: 38 pages, to appear in PAMQ

Mass, capacitary functions, and the mass-to-capacity ratio

Authors: Pengzi Miao

Abstract: We study connections among the ADM mass, positive harmonic functions tending to zero at infinity, and the capacity of the boundary of asymptotically flat $3$-manifolds with nonnegative scalar curvature. First we give new formulae that detect the ADM mass via harmonic functions. Then we derive a family of monotone quantities and geometric inequalities if the underlying manifold has simple topolog… ▽ More We study connections among the ADM mass, positive harmonic functions tending to zero at infinity, and the capacity of the boundary of asymptotically flat $3$-manifolds with nonnegative scalar curvature. First we give new formulae that detect the ADM mass via harmonic functions. Then we derive a family of monotone quantities and geometric inequalities if the underlying manifold has simple topology. As an immediate application, we observe several additional proofs of the $3$-dimensional Riemannian positive mass theorem. One proof leads to new, sufficient conditions that imply positivity of the mass via $C^0$-geometry of regions separating the boundary and $\infty$. A special case of such sufficient conditions shows, if a region enclosing the boundary has relative small volume, then the mass is positive. As further applications, we obtain integral identities for the mass-to-capacity ratio. We also promote the inequalities to become equality on spatial Schwarzschild manifolds outside rotationally symmetric spheres. Among other things, we show the mass-to-capacity ratio is always bounded below by one minus the square root of the normalized Willmore functional of the boundary. Prompted by our findings, we carry out a study of manifolds satisfying a constraint on the mass-to-capacity ratio. We point out such manifolds satisfy improved inequalities, their mass has an upper bound depending only on the boundary data, there are no closed minimal surfaces enclosing the boundary, and these manifolds include static extensions in the context of the Bartnik quasi-local mass. △ Less

Submitted 10 October, 2022; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: Theorem 5.1 expanded, Theorem 5.2 added, Introduction expanded, 45 pages

Journal ref: Peking Mathematical Journal, online first 2023, https://rdcu.be/dd6dq

Interpreting Mass via Riemannian Polyhedra

Authors: Pengzi Miao

Abstract: We give an account of some recent development that connects the concept of mass in general relativity to the geometry of large Riemannian polyhedra, in the setting of both asymptotically flat and asymptotically hyperbolic manifolds. We give an account of some recent development that connects the concept of mass in general relativity to the geometry of large Riemannian polyhedra, in the setting of both asymptotically flat and asymptotically hyperbolic manifolds. △ Less

Submitted 7 March, 2021; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: 15 pages, a survey article for the volume "Perspectives in Scalar Curvature"; typos corrected; additional remarks added

Hyperbolic mass via horospheres

Authors: Hyun Chul Jang, Pengzi Miao

Abstract: We derive geometric formulas for the mass of asymptotically hyperbolic manifolds using coordinate horospheres. As an application, we obtain a new rigidity result of hyperbolic space: if a complete asymptotically hyperbolic manifold has scalar curvature lower bound -n(n-1) and is isometric to hyperbolic space outside a coordinate horosphere, then the manifold is isometric to hyperbolic space. In ad… ▽ More We derive geometric formulas for the mass of asymptotically hyperbolic manifolds using coordinate horospheres. As an application, we obtain a new rigidity result of hyperbolic space: if a complete asymptotically hyperbolic manifold has scalar curvature lower bound -n(n-1) and is isometric to hyperbolic space outside a coordinate horosphere, then the manifold is isometric to hyperbolic space. In addition, we apply our formula to investigate regions near infinity that do not contribute to the mass quantity, which leads to improved rigidity results of hyperbolic space. △ Less

Submitted 28 March, 2022; v1 submitted 1 February, 2021; originally announced February 2021.

Comments: 22 pages; v2: minor changes. To appear in Commun. Contemp. Math

Mass and Riemannian Polyhedra

Authors: Pengzi Miao, Annachiara Piubello

Abstract: We show that the concept of the ADM mass in general relativity can be understood as the limit of the total mean curvature plus the total defect of dihedral angle of the boundary of large Riemannian polyhedra. We also express the $n$-dimensional mass as a suitable integral of geometric quantities that determine the $(n-1)$-dimensional mass. We show that the concept of the ADM mass in general relativity can be understood as the limit of the total mean curvature plus the total defect of dihedral angle of the boundary of large Riemannian polyhedra. We also express the $n$-dimensional mass as a suitable integral of geometric quantities that determine the $(n-1)$-dimensional mass. △ Less

Submitted 7 January, 2021; originally announced January 2021.

Comments: 17 pages, 4 figures

Rigidity of Riemannian Penrose inequality with corners and its implications

Authors: Siyuan Lu, Pengzi Miao

Abstract: Motivated by the rigidity case in the localized Riemannian Penrose inequality, we show that suitable singular metrics attaining the optimal value in the Riemannian Penrose inequality is necessarily smooth in properly specified coordinates. If applied to hypersurfaces enclosing the horizon in a spatial Schwarzschild manifold, the result gives the rigidity of isometric hypersurfaces with the same me… ▽ More Motivated by the rigidity case in the localized Riemannian Penrose inequality, we show that suitable singular metrics attaining the optimal value in the Riemannian Penrose inequality is necessarily smooth in properly specified coordinates. If applied to hypersurfaces enclosing the horizon in a spatial Schwarzschild manifold, the result gives the rigidity of isometric hypersurfaces with the same mean curvature. △ Less

Submitted 15 October, 2020; originally announced October 2020.

Nonexistence of NNSC fill-ins with large mean curvature

Authors: Pengzi Miao

Abstract: In this note we show that a closed Riemannian manifold does not admit a fill-in with nonnegative scalar curvature if the mean curvature is point-wise large. Similar result also holds for fill-ins with a negative scalar curvature lower bound. In this note we show that a closed Riemannian manifold does not admit a fill-in with nonnegative scalar curvature if the mean curvature is point-wise large. Similar result also holds for fill-ins with a negative scalar curvature lower bound. △ Less

Submitted 10 September, 2020; originally announced September 2020.

Comments: 5 pages

Mass of asymptotically flat $3$-manifolds with boundary

Authors: Sven Hirsch, Pengzi Miao, Tin-Yau Tsang

Abstract: We study the mass of asymptotically flat $3$-manifolds with boundary using the method of Bray-Kazaras-Khuri-Stern. More precisely, we derive a mass formula on the union of an asymptotically flat manifold and fill-ins of its boundary, and give new sufficient conditions guaranteeing the positivity of the mass. Motivation to such consideration comes from studying the quasi-local mass of the boundary… ▽ More We study the mass of asymptotically flat $3$-manifolds with boundary using the method of Bray-Kazaras-Khuri-Stern. More precisely, we derive a mass formula on the union of an asymptotically flat manifold and fill-ins of its boundary, and give new sufficient conditions guaranteeing the positivity of the mass. Motivation to such consideration comes from studying the quasi-local mass of the boundary surface. If the boundary isometrically embeds in the Euclidean space, we apply the formula to obtain convergence of the Brown-York mass along large surfaces tending to $\infty$ which include the scaling of any fixed coordinate-convex surface. △ Less

Submitted 23 June, 2021; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: 30 pages, 2 figures

Measuring Mass via Coordinate Cubes

Authors: Pengzi Miao

Abstract: Inspired by a formula of Stern that relates scalar curvature to harmonic functions, we evaluate the mass of an asymptotically flat $3$-manifold along faces and edges of a large coordinate cube. In terms of the mean curvature and dihedral angle, the resulting mass formula relates to Gromov's scalar curvature comparison theory for cubic Riemannian polyhedra. In terms of the geodesic curvature and tu… ▽ More Inspired by a formula of Stern that relates scalar curvature to harmonic functions, we evaluate the mass of an asymptotically flat $3$-manifold along faces and edges of a large coordinate cube. In terms of the mean curvature and dihedral angle, the resulting mass formula relates to Gromov's scalar curvature comparison theory for cubic Riemannian polyhedra. In terms of the geodesic curvature and turning angle of slicing curves, the formula realizes the mass as integration of the angle defect detected by the boundary term in the Gauss-Bonnet theorem. △ Less

Submitted 26 November, 2019; originally announced November 2019.

Comments: 11 pages

Bartnik mass via vacuum extensions

Authors: Pengzi Miao, Naqing Xie

Abstract: We construct asymptotically flat, scalar flat extensions of Bartnik data $(Σ, γ, H)$, where $γ$ is a metric of positive Gauss curvature on a two-sphere $Σ$, and $H$ is a function that is either positive or identically zero on $Σ$, such that the mass of the extension can be made arbitrarily close to the half area radius of $(Σ, γ)$. In the case of $H \equiv 0$, the result gives an analogue of a t… ▽ More We construct asymptotically flat, scalar flat extensions of Bartnik data $(Σ, γ, H)$, where $γ$ is a metric of positive Gauss curvature on a two-sphere $Σ$, and $H$ is a function that is either positive or identically zero on $Σ$, such that the mass of the extension can be made arbitrarily close to the half area radius of $(Σ, γ)$. In the case of $H \equiv 0$, the result gives an analogue of a theorem of Mantoulidis and Schoen, but with extensions that have vanishing scalar curvature. In the context of initial data sets in general relativity, the result produces asymptotically flat, time-symmetric, vacuum initial data with an apparent horizon $(Σ, γ)$, for any metric $γ$ with positive Gauss curvature, such that the mass of the initial data is arbitrarily close to the optimal value in the Riemannian Penrose inequality. The method we use is the Shi-Tam type metric construction from \cite{ShiTam02} and a refined Shi-Tam monotonicity, found by the first named author in \cite{Miao09}. △ Less

Submitted 10 September, 2019; v1 submitted 3 July, 2019; originally announced July 2019.

Comments: references updated; to appear in International Journal of Mathematics, a special issue dedicated to the mathematical contribution of Professor Luen-Fai Tam

On the evolution of the spacetime Bartnik mass

Authors: Stephen McCormick, Pengzi Miao

Abstract: It is conjectured that the full (spacetime) Bartnik mass of a surface $Σ$ is realised as the ADM mass of some stationary asymptotically flat manifold with boundary data prescribed by $Σ$. Assuming this holds true for a 1-parameter family of surfaces $Σ_t$ evolving in an initial data set {with the dominant energy condition}, we compute an expression for the derivative of the Bartnik mass along thes… ▽ More It is conjectured that the full (spacetime) Bartnik mass of a surface $Σ$ is realised as the ADM mass of some stationary asymptotically flat manifold with boundary data prescribed by $Σ$. Assuming this holds true for a 1-parameter family of surfaces $Σ_t$ evolving in an initial data set {with the dominant energy condition}, we compute an expression for the derivative of the Bartnik mass along these surfaces. An immediate consequence of this formula is that the Bartnik mass of $Σ_t$ is monotone non-decreasing whenever $Σ_t$ flows outward. It is our pleasure to dedicate this paper to Robert Bartnik on the occasion of his $60$th birthday. △ Less

Submitted 4 June, 2019; v1 submitted 6 February, 2019; originally announced February 2019.

Comments: 24 pages. v2: Updated to agree with accepted version (to appear in PAMQ); remarks and comments added

MSC Class: Primary: 83C99; 83C40. Secondary: 83-06

A Positive Mass Theorem for Manifolds with Boundary

Authors: Sven Hirsch, Pengzi Miao

Abstract: We derive a positive mass theorem for asymptotically flat manifolds with boundary whose mean curvature satisfies a sharp estimate involving the conformal Green's function. The theorem also holds if the conformal Green's function is replaced by the standard Green's function for the Laplacian operator. As an application, we obtain an inequality relating the mass and harmonic functions that generaliz… ▽ More We derive a positive mass theorem for asymptotically flat manifolds with boundary whose mean curvature satisfies a sharp estimate involving the conformal Green's function. The theorem also holds if the conformal Green's function is replaced by the standard Green's function for the Laplacian operator. As an application, we obtain an inequality relating the mass and harmonic functions that generalizes H. Bray's mass-capacity inequality in his proof of the Riemannian Penrose conjecture. △ Less

Submitted 13 January, 2020; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: 15 pages, to appear in Pacific J. Math

Journal ref: Pacific J. Math. 306 (2020) 185-201

On Hawking mass and Bartnik mass of CMC surfaces

Authors: Pengzi Miao, Yaohua Wang, Naqing Xie

Abstract: Given a constant mean curvature surface that bounds a compact manifold with nonnegative scalar curvature, we obtain intrinsic conditions on the surface that guarantee the positivity of its Hawking mass. We also obtain estimates of the Bartnik mass of such surfaces, without assumptions on the integral of the squared mean curvature. If the ambient manifold has negative scalar curvature, our method a… ▽ More Given a constant mean curvature surface that bounds a compact manifold with nonnegative scalar curvature, we obtain intrinsic conditions on the surface that guarantee the positivity of its Hawking mass. We also obtain estimates of the Bartnik mass of such surfaces, without assumptions on the integral of the squared mean curvature. If the ambient manifold has negative scalar curvature, our method also applies and yields estimates on the hyperbolic Bartnik mass of these surfaces. △ Less

Submitted 19 February, 2019; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: version accepted by Math. Res. Lett

Capacity, quasi-local mass, and singular fill-ins

Authors: Christos Mantoulidis, Pengzi Miao, Luen-Fai Tam

Abstract: We derive new inequalities between the boundary capacity of an asymptotically flat 3-manifold with nonnegative scalar curvature and boundary quantities that relate to quasi-local mass; one relates to Brown--York mass and the other is new. We argue by recasting the setup to the study of mean-convex fill-ins with nonnegative scalar curvature and, in the process, we consider fill-ins with singular me… ▽ More We derive new inequalities between the boundary capacity of an asymptotically flat 3-manifold with nonnegative scalar curvature and boundary quantities that relate to quasi-local mass; one relates to Brown--York mass and the other is new. We argue by recasting the setup to the study of mean-convex fill-ins with nonnegative scalar curvature and, in the process, we consider fill-ins with singular metrics, which may have independent interest. Among other things, our work yields new variational characterizations of Riemannian Schwarzschild manifolds and new comparison results for surfaces in them. △ Less

Submitted 22 December, 2019; v1 submitted 14 May, 2018; originally announced May 2018.

Comments: 46 pages. Latest pre-print version. Final and most up-to-date version will appear in Journal fur die reine und angewandte Mathematik (Crelle)

Variation and rigidity of quasi-local mass

Authors: Siyuan Lu, Pengzi Miao

Abstract: Inspired by the work of Chen-Zhang \cite{Chen-Zhang}, we derive an evolution formula for the Wang-Yau quasi-local energy in reference to a static space, introduced by Chen-Wang-Wang-Yau \cite{CWWY}. If the reference static space represents a mass minimizing, static extension of the initial surface $Σ$, we observe that the derivative of the Wang-Yau quasi-local energy is equal to the derivative of… ▽ More Inspired by the work of Chen-Zhang \cite{Chen-Zhang}, we derive an evolution formula for the Wang-Yau quasi-local energy in reference to a static space, introduced by Chen-Wang-Wang-Yau \cite{CWWY}. If the reference static space represents a mass minimizing, static extension of the initial surface $Σ$, we observe that the derivative of the Wang-Yau quasi-local energy is equal to the derivative of the Bartnik quasi-local mass at $Σ$. Combining the evolution formula for the quasi-local energy with a localized Penrose inequality proved in \cite{Lu-Miao}, we prove a rigidity theorem for compact $3$-manifolds with nonnegative scalar curvature, with boundary. This rigidity theorem in turn gives a characterization of the equality case of the localized Penrose inequality in $3$-dimension. △ Less

Submitted 4 April, 2018; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: new notations added; references updated; section 4 revised

Uniqueness of isometric immersions with the same mean curvature

Authors: Chunhe Li, Pengzi Miao, Zhizhang Wang

Abstract: Motivated by the quasi-local mass problem in general relativity, we study the rigidity of isometric immersions with the same mean curvature into a warped product space. As a corollary of our main result, two star-shaped hypersurfaces in a spatial Schwarzschild or AdS-Schwarzschild manifold with nonzero mass differ only by a rotation if they are isometric and have the same mean curvature. We also g… ▽ More Motivated by the quasi-local mass problem in general relativity, we study the rigidity of isometric immersions with the same mean curvature into a warped product space. As a corollary of our main result, two star-shaped hypersurfaces in a spatial Schwarzschild or AdS-Schwarzschild manifold with nonzero mass differ only by a rotation if they are isometric and have the same mean curvature. We also give similar results if the mean curvature condition is replaced by an $σ_2$-curvature condition. △ Less

Submitted 16 April, 2018; v1 submitted 12 February, 2018; originally announced February 2018.

Comments: 23 pages, introduction revised, references updated

Static potentials and area minimizing hypersurfaces

Authors: Lan-Hsuan Huang, Daniel Martin, Pengzi Miao

Abstract: We show that if an asymptotically flat manifold with horizon boundary admits a global static potential, then the static potential must be zero on the boundary. We also show that if an asymptotically flat manifold with horizon boundary admits an unbounded static potential in the exterior region, then the manifold must contain a complete non-compact area minimizing hypersurface. Some results related… ▽ More We show that if an asymptotically flat manifold with horizon boundary admits a global static potential, then the static potential must be zero on the boundary. We also show that if an asymptotically flat manifold with horizon boundary admits an unbounded static potential in the exterior region, then the manifold must contain a complete non-compact area minimizing hypersurface. Some results related to the Riemannian positive mass theorem and Bartnik's quasi-local mass are obtained. △ Less

Submitted 2 October, 2017; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: Several minor changes throughout the article for a better presentation. Accepted by Proceedings of the AMS

Minimal hypersurfaces and boundary behavior of compact manifolds with nonnegative scalar curvature

Authors: Siyuan Lu, Pengzi Miao

Abstract: On a compact Riemannian manifold with boundary having positive mean curvature, a fundamental result of Shi and Tam states that, if the manifold has nonnegative scalar curvature and if the boundary is isometric to a strictly convex hypersurface in the Euclidean space, then the total mean curvature of the boundary is no greater than the total mean curvature of the corresponding Euclidean hypersurfac… ▽ More On a compact Riemannian manifold with boundary having positive mean curvature, a fundamental result of Shi and Tam states that, if the manifold has nonnegative scalar curvature and if the boundary is isometric to a strictly convex hypersurface in the Euclidean space, then the total mean curvature of the boundary is no greater than the total mean curvature of the corresponding Euclidean hypersurface. In $3$-dimension, Shi-Tam's result is known to be equivalent to the Riemannian positive mass theorem. In this paper, we provide a supplement to Shi-Tam's result by including the effect of minimal hypersurfaces on the boundary. More precisely, given a compact manifold $Ω$ with nonnegative scalar curvature, assuming its boundary consists of two parts, $Σ_h$ and $Σ_o$, where $Σ_h$ is the union of all closed minimal hypersurfaces in $Ω$ and $Σ_o$ is isometric to a suitable $2$-convex hypersurface $Σ$ in a spatial Schwarzschild manifold of positive mass $m$, we establish an inequality relating $m$, the area of $Σ_h$, and two weighted total mean curvatures of $Σ_o$ and $ Σ$. In $3$-dimension, the inequality has implications to both isometric embedding and quasi-local mass problems. In a relativistic context, our result can be interpreted as a quasi-local mass type quantity of $ Σ_o$ being greater than or equal to the Hawking mass of $Σ_h$. We further analyze the limit of such quasi-local mass quantity associated with suitably chosen isometric embeddings of large coordinate spheres of an asymptotically flat $3$-manifold $M$ into a spatial Schwarzschild manifold. We show that the limit equals the ADM mass of $M$. It follows that our result on the compact manifold $Ω$ is equivalent to the Riemannian Penrose inequality. △ Less

Submitted 22 May, 2017; v1 submitted 23 March, 2017; originally announced March 2017.

Comments: Introduction revised, references updated, 43 pages

On a Penrose-like inequality in dimensions less than eight

Authors: Stephen McCormick, Pengzi Miao

Abstract: On an asymptotically flat manifold $M^n$ with nonnegative scalar curvature, with outer minimizing boundary $Σ$, we prove a Penrose-like inequality in dimensions $ n < 8$, under suitable assumptions on the mean curvature and the scalar curvature of $ Σ$. On an asymptotically flat manifold $M^n$ with nonnegative scalar curvature, with outer minimizing boundary $Σ$, we prove a Penrose-like inequality in dimensions $ n < 8$, under suitable assumptions on the mean curvature and the scalar curvature of $ Σ$. △ Less

Submitted 17 January, 2017; originally announced January 2017.

Asymptotically flat extensions of CMC Bartnik data

Authors: Armando J. Cabrera Pacheco, Carla Cederbaum, Stephen McCormick, Pengzi Miao

Abstract: Let $g$ be a metric on the $2$-sphere $\mathbb{S}^2$ with positive Gaussian curvature and $H$ be a positive constant. Under suitable conditions on $(g, H)$, we construct smooth, asymptotically flat $3$-manifolds $M$ with non-negative scalar curvature, with outer-minimizing boundary isometric to $(\mathbb{S}^2, g)$ and having mean curvature $H$, such that near infinity $M$ is isometric to a spatial… ▽ More Let $g$ be a metric on the $2$-sphere $\mathbb{S}^2$ with positive Gaussian curvature and $H$ be a positive constant. Under suitable conditions on $(g, H)$, we construct smooth, asymptotically flat $3$-manifolds $M$ with non-negative scalar curvature, with outer-minimizing boundary isometric to $(\mathbb{S}^2, g)$ and having mean curvature $H$, such that near infinity $M$ is isometric to a spatial Schwarzschild manifold whose mass $m$ can be made arbitrarily close to a constant multiple of the Hawking mass of $(\mathbb{S}^2,g,H)$. Moreover, this constant multiplicative factor depends only on $(g, H)$ and tends to $1$ as $H$ tends to $0$. The result provides a new upper bound of the Bartnik mass associated to such boundary data. △ Less

Submitted 15 April, 2017; v1 submitted 15 December, 2016; originally announced December 2016.

Comments: 14 pages. v3: updated to agree with published version

MSC Class: 53C20 (Primary); 83C99 (Secondary)

Journal ref: Class. Quantum Grav. 34 (10), 105001, 2017

On compact $3$-manifolds with nonnegative scalar curvature with a CMC boundary component

Authors: Pengzi Miao, Naqing Xie

Abstract: We apply the Riemannian Penrose inequality and the Riemannian positive mass theorem to derive inequalities on the boundary of a class of compact Riemannian $3$-manifolds with nonnegative scalar curvature. The boundary of such a manifold has a CMC component, i.e. a $2$-sphere with positive constant mean curvature; and the rest of the boundary, if nonempty, consists of closed minimal surfaces. A key… ▽ More We apply the Riemannian Penrose inequality and the Riemannian positive mass theorem to derive inequalities on the boundary of a class of compact Riemannian $3$-manifolds with nonnegative scalar curvature. The boundary of such a manifold has a CMC component, i.e. a $2$-sphere with positive constant mean curvature; and the rest of the boundary, if nonempty, consists of closed minimal surfaces. A key step in our proof is the construction of a collar extension that is inspired by the method of Mantoulidis-Schoen \cite{M-S}. △ Less

Submitted 28 December, 2017; v1 submitted 24 October, 2016; originally announced October 2016.

Comments: graphics updated; paper accepted by Trans. Amer. Math. Soc

Total mean curvature, scalar curvature, and a variational analog of Brown-York mass

Authors: Christos Mantoulidis, Pengzi Miao

Abstract: We study the supremum of the total mean curvature on the boundary of compact, mean-convex 3-manifolds with nonnegative scalar curvature, and a prescribed boundary metric. We establish an additivity property for this supremum and exhibit rigidity for maximizers assuming the supremum is attained. When the boundary consists of 2-spheres, we demonstrate that the finiteness of the supremum follows from… ▽ More We study the supremum of the total mean curvature on the boundary of compact, mean-convex 3-manifolds with nonnegative scalar curvature, and a prescribed boundary metric. We establish an additivity property for this supremum and exhibit rigidity for maximizers assuming the supremum is attained. When the boundary consists of 2-spheres, we demonstrate that the finiteness of the supremum follows from the previous work of Shi-Tam and Wang-Yau on the quasi-local mass problem in general relativity. In turn, we define a variational analog of Brown-York quasi-local mass without assuming that the boundary 2-sphere has positive Gauss curvature. △ Less

Submitted 16 October, 2016; v1 submitted 4 April, 2016; originally announced April 2016.

Comments: Final version; incorporates changes made for journal

Some functionals on compact manifolds with boundary

Authors: Pengzi Miao, Luen-Fai Tam

Abstract: We analyze critical points of two functionals of Riemannian metrics on compact manifolds with boundary. These functionals are motivated by formulae of the mass functionals of asymptotically flat and asymptotically hyperbolic manifolds. We analyze critical points of two functionals of Riemannian metrics on compact manifolds with boundary. These functionals are motivated by formulae of the mass functionals of asymptotically flat and asymptotically hyperbolic manifolds. △ Less

Submitted 21 February, 2016; originally announced February 2016.

MSC Class: Primary 53C20; Secondary 83C99

A functional inequality on the boundary of static manifolds

Authors: Kwok-Kun Kwong, Pengzi Miao

Abstract: On the boundary of a compact Riemannian manifold $(Ω, g)$ whose metric $g$ is static, we establish a functional inequality involving the static potential of $(Ω, g)$, the second fundamental form and the mean curvature of the boundary $\partial Ω$ respectively. On the boundary of a compact Riemannian manifold $(Ω, g)$ whose metric $g$ is static, we establish a functional inequality involving the static potential of $(Ω, g)$, the second fundamental form and the mean curvature of the boundary $\partial Ω$ respectively. △ Less

Submitted 30 January, 2016; originally announced February 2016.

Comments: 11 pages; to appear in Asian J. Math

Quasi-local mass integrals and the total mass

Authors: Pengzi Miao, Luen-Fai Tam, Naqing Xie

Abstract: On asymptotically flat and asymptotically hyperbolic manifolds, by evaluating the total mass via the Ricci tensor, we show that the limits of certain Brown-York type and Hawking type quasi-local mass integrals equal the total mass of the manifold in all dimensions. On asymptotically flat and asymptotically hyperbolic manifolds, by evaluating the total mass via the Ricci tensor, we show that the limits of certain Brown-York type and Hawking type quasi-local mass integrals equal the total mass of the manifold in all dimensions. △ Less

Submitted 13 January, 2016; v1 submitted 26 October, 2015; originally announced October 2015.

Comments: References updated, introduction revised

Higher dimensional black hole initial data with prescribed boundary metric

Authors: Armando J. Cabrera Pacheco, Pengzi Miao

Abstract: We obtain higher dimensional analogues of the results of Mantoulidis and Schoen in [8]. More precisely, we show that (i) any metric $g$ with positive scalar curvature on the $3$-sphere $S^3$ can be realized as the induced metric on the outermost apparent horizon of a $4$-dimensional asymptotically flat manifold with non-negative scalar curvature, whose ADM mass can be arranged to be arbitrarily cl… ▽ More We obtain higher dimensional analogues of the results of Mantoulidis and Schoen in [8]. More precisely, we show that (i) any metric $g$ with positive scalar curvature on the $3$-sphere $S^3$ can be realized as the induced metric on the outermost apparent horizon of a $4$-dimensional asymptotically flat manifold with non-negative scalar curvature, whose ADM mass can be arranged to be arbitrarily close to the optimal value specified by the Riemannian Penrose inequality; (ii) any metric $g$ with positive scalar curvature on the $n$-sphere $S^n$, with $ n \ge 4 $, such that $(S^n, g)$ isometrically embeds into $\mathbb{R}^{n+1}$ as a star-shaped hypersurface, can be realized as the induced metric on the outermost apparent horizon of an $(n+1)$-dimensional asymptotically flat manifold with non-negative scalar curvature, whose ADM mass can be made to be arbitrarily close to the optimal value. △ Less

Submitted 24 February, 2016; v1 submitted 7 May, 2015; originally announced May 2015.

Comments: Theorem 1.1 significantly strengthened, the assumption on positive Ricci curvature relaxed to positive scalar curvature

Variational and rigidity properties of static potentials

Authors: Gregory J. Galloway, Pengzi Miao

Abstract: In this paper we study some global properties of static potentials on asymptotically flat $3$-manifolds $(M,g)$ in the nonvacuum setting. Heuristically, a static potential $f$ represents the (signed) length along $M$ of an irrotational timelike Killing vector field, which can degenerate on surfaces corresponding to the zero set of $f$. Assuming a suitable version of the null energy condition, we p… ▽ More In this paper we study some global properties of static potentials on asymptotically flat $3$-manifolds $(M,g)$ in the nonvacuum setting. Heuristically, a static potential $f$ represents the (signed) length along $M$ of an irrotational timelike Killing vector field, which can degenerate on surfaces corresponding to the zero set of $f$. Assuming a suitable version of the null energy condition, we prove that a noncompact component of the zero set must be area minimizing. From this we obtain some rigidity results for static potentials that have noncompact zero set components, or equivalently, that are unbounded. Roughly speaking, these results show, at the pure initial data level, that `boost-type' Killing vector fields can exist only under special circumstances. △ Less

Submitted 11 December, 2015; v1 submitted 2 December, 2014; originally announced December 2014.

Comments: Reference added, to appear in Comm. Anal. Geom

Nordhaus-Gaddum-type problems for lines in hypergraphs

Authors: Xiaomin Chen, Peihan Miao

Abstract: We study the number of lines in hypergraphs in a more symmetric setting, where both the hypergraph and its complement are considered. In the general case and in some special cases, the lower bounds on the number of lines are much higher than their counterparts in single hypergraph setting or admit more elegant proofs. We show that the minimum value of product of the number of lines in both hypergr… ▽ More We study the number of lines in hypergraphs in a more symmetric setting, where both the hypergraph and its complement are considered. In the general case and in some special cases, the lower bounds on the number of lines are much higher than their counterparts in single hypergraph setting or admit more elegant proofs. We show that the minimum value of product of the number of lines in both hypergraphs on $n$ points is easily determined as $\binom{n}{2}$; and the minimum value of their sum is between $Ω(n)$ and $O(n \log n)$. We also study some restricted classes of hypergraphs; and determine the tight bounds on the minimum sum when the hypergraph is derived from an Euclidean space, a real projective plane, or a tree. △ Less

Submitted 3 November, 2014; originally announced November 2014.

Comments: 14 pages

Evaluation of the ADM mass and center of mass via the Ricci tensor

Authors: Pengzi Miao, Luen-Fai Tam

Abstract: We prove directly without using a density theorem that (i) the ADM mass defined in the usual way on an asymptotically flat manifold is equal to the mass defined intrinsically using Ricci tensor; (ii) the Hamiltonian formulation of center of mass and the center of mass defined intrinsically using Ricci tensor are the same. We prove directly without using a density theorem that (i) the ADM mass defined in the usual way on an asymptotically flat manifold is equal to the mass defined intrinsically using Ricci tensor; (ii) the Hamiltonian formulation of center of mass and the center of mass defined intrinsically using Ricci tensor are the same. △ Less

Submitted 24 January, 2015; v1 submitted 17 August, 2014; originally announced August 2014.

Comments: update references

MSC Class: Primary 83C99; Secondary 53C20

Boundary Effect of Ricci Curvature

Authors: Pengzi Miao, Xiaodong Wang

Abstract: On a compact Riemannian manifold with boundary, we study how Ricci curvature of the interior affects the geometry of the boundary. First we establish integral inequalities for functions defined solely on the boundary and apply them to obtain geometric inequalities involving the total mean curvature. Then we discuss related rigidity questions and prove Ricci curvature rigidity results for manifolds… ▽ More On a compact Riemannian manifold with boundary, we study how Ricci curvature of the interior affects the geometry of the boundary. First we establish integral inequalities for functions defined solely on the boundary and apply them to obtain geometric inequalities involving the total mean curvature. Then we discuss related rigidity questions and prove Ricci curvature rigidity results for manifolds with boundary. △ Less

Submitted 12 August, 2014; originally announced August 2014.

Static potentials on asymptotically flat manifolds

Authors: Pengzi Miao, Luen-fai Tam

Abstract: We consider the question whether a static potential on an asymptotically flat 3-manifold can have nonempty zero set which extends to the infinity. We prove that this does not occur if the metric is asymptotically Schwarzschild with nonzero mass. If the asymptotic assumption is relaxed to the usual assumption under which the total mass is defined, we prove that the static potential is unique up to… ▽ More We consider the question whether a static potential on an asymptotically flat 3-manifold can have nonempty zero set which extends to the infinity. We prove that this does not occur if the metric is asymptotically Schwarzschild with nonzero mass. If the asymptotic assumption is relaxed to the usual assumption under which the total mass is defined, we prove that the static potential is unique up to scaling unless the manifold is flat. We also provide some discussion concerning the rigidity of complete asymptotically flat 3-manifolds without boundary that admit a static potential. △ Less

Submitted 21 June, 2014; v1 submitted 17 March, 2014; originally announced March 2014.

Comments: introduction revised; an outline of a space-time approach added

MSC Class: Primary 83C99; Secondary 53C20

Graph metric with no proper inclusion between lines

Authors: Xiaomin Chen, Guangda Huzhang, Peihan Miao, Kuan Yang

Abstract: In trying to generalize the classic Sylvester-Gallai theorem and De Bruijn-Erdős theorem in plane geometry, lines and closure lines were previously defined for metric spaces and hypergraphs. Both definitions do not obey the geometric intuition in the sense that two lines (closure lines) may intersect at more than one point, and one line (closure line) might be the proper subset of another. In this… ▽ More In trying to generalize the classic Sylvester-Gallai theorem and De Bruijn-Erdős theorem in plane geometry, lines and closure lines were previously defined for metric spaces and hypergraphs. Both definitions do not obey the geometric intuition in the sense that two lines (closure lines) may intersect at more than one point, and one line (closure line) might be the proper subset of another. In this work, we study the systems where one or both of the configurations are forbidden. We note that when any two lines intersect in at most one point, the two classic theorems extend in any metric space. We study the metric spaces induced by simple graphs where no line is a proper subset of another, and show that the least number of lines for such a graph with $n$ vertices is between the order of $n^{4/3}$ and $n^{4/3} \ln^{2/3} n$. △ Less

Submitted 23 February, 2014; originally announced February 2014.

Comments: 28 pages, 1 figure

Monotone quantities involving a weighted $σ_k$ integral along inverse curvature flows

Authors: Kwok-Kun Kwong, Pengzi Miao

Abstract: We give a family of monotone quantities along smooth solutions to the inverse curvature flows in Euclidean spaces. We also derive a related geometric inequality for closed hypersurfaces with positive k-th mean curvature. We give a family of monotone quantities along smooth solutions to the inverse curvature flows in Euclidean spaces. We also derive a related geometric inequality for closed hypersurfaces with positive k-th mean curvature. △ Less

Submitted 4 February, 2014; originally announced February 2014.

Comments: 11 pages

MSC Class: 53C44; 53A07

Number of lines in hypergraphs

Authors: Pierre Aboulker, Adrian Bondy, Xiaomin Chen, Ehsan Chiniforooshan, Vašek Chvátal, Peihan Miao

Abstract: Chen and Chvátal introduced the notion of lines in hypergraphs; they proved that every 3-uniform hypergraph with $n$ vertices either has a line that consists of all $n$ vertices or else has at least $\log_2 n$ distinct lines. We improve this lower bound by a factor of $2-o(1)$. Chen and Chvátal introduced the notion of lines in hypergraphs; they proved that every 3-uniform hypergraph with $n$ vertices either has a line that consists of all $n$ vertices or else has at least $\log_2 n$ distinct lines. We improve this lower bound by a factor of $2-o(1)$. △ Less

Submitted 25 August, 2013; originally announced August 2013.

MSC Class: 05D99; 51G99

Journal ref: Discrete Applied Mathematics 171 (2014) 137-140

Extensions and fill-ins with nonnegative scalar curvature

Authors: Jeffrey Jauregui, Pengzi Miao, Luen-Fai Tam

Abstract: Motivated by the quasi-local mass problem in general relativity, we apply the asymptotically flat extensions, constructed by Shi and Tam in the proof of the positivity of the Brown--York mass, to study a fill-in problem of realizing geometric data on a 2-sphere as the boundary of a compact 3-manifold of nonnegative scalar curvature. We characterize the relationship between two borderline cases: on… ▽ More Motivated by the quasi-local mass problem in general relativity, we apply the asymptotically flat extensions, constructed by Shi and Tam in the proof of the positivity of the Brown--York mass, to study a fill-in problem of realizing geometric data on a 2-sphere as the boundary of a compact 3-manifold of nonnegative scalar curvature. We characterize the relationship between two borderline cases: one in which the Shi--Tam extension has zero total mass, and another in which fill-ins of nonnegative scalar curvature fail to exist. Additionally, we prove a type of positive mass theorem in the latter case. △ Less

Submitted 2 April, 2013; originally announced April 2013.

Comments: 14 pages

MSC Class: 53C20; 83C99

Journal ref: Class. Quantum Grav. 30 (2013) 195007

On second variation of Wang-Yau quasi-local energy

Authors: Pengzi Miao, Luen-Fai Tam

Abstract: We study a functional on the boundary of a compact Riemannian 3-manifold of nonnegative scalar curvature. The functional arises as the second variation of the Wang-Yau quasi-local energy in general relativity. We prove that the functional is positive definite on large coordinate spheres, and more general on nearly round surfaces including large constant mean curvature spheres in asymptotically fla… ▽ More We study a functional on the boundary of a compact Riemannian 3-manifold of nonnegative scalar curvature. The functional arises as the second variation of the Wang-Yau quasi-local energy in general relativity. We prove that the functional is positive definite on large coordinate spheres, and more general on nearly round surfaces including large constant mean curvature spheres in asymptotically flat 3-manifolds with positive mass; it is also positive definite on small geodesics spheres, whose centers do not have vanishing curvature, in Riemannian 3-manifolds of nonnegative scalar curvature. We also give examples of functions H, which can be made arbitrarily close to the constant 2, on the standard sphere such that the boundary data consisting of the standard spherical metric and H has positive Brown-York mass while the associated functional is negative somewhere. △ Less

Submitted 20 January, 2013; originally announced January 2013.

Comments: 36 pages

MSC Class: Primary 53C20; Secondary 83C99

A New Monotone Quantity along the Inverse Mean Curvature Flow in $\mathbb R^n$

Authors: Kwok-Kun Kwong, Pengzi Miao

Abstract: We find a new monotone increasing quantity along smooth solutions to the inverse mean curvature flow in $\mathbb R^n$. As an application, we derive a sharp geometric inequality for mean convex, star-shaped hypersurfaces which relates the volume enclosed by a hypersurface to a weighted total mean curvature of the hypersurface. We find a new monotone increasing quantity along smooth solutions to the inverse mean curvature flow in $\mathbb R^n$. As an application, we derive a sharp geometric inequality for mean convex, star-shaped hypersurfaces which relates the volume enclosed by a hypersurface to a weighted total mean curvature of the hypersurface. △ Less

Submitted 9 December, 2012; originally announced December 2012.

Comments: 8 pages

Journal ref: Pacific J. Math. 267 (2014) 417-422

Deformation of Scalar Curvature and Volume

Authors: Justin Corvino, Michael Eichmair, Pengzi Miao

Abstract: The stationary points of the total scalar curvature functional on the space of unit volume metrics on a given closed manifold are known to be precisely the Einstein metrics. One may consider the modified problem of finding stationary points for the volume functional on the space of metrics whose scalar curvature is equal to a given constant. In this paper, we localize a condition satisfied by such… ▽ More The stationary points of the total scalar curvature functional on the space of unit volume metrics on a given closed manifold are known to be precisely the Einstein metrics. One may consider the modified problem of finding stationary points for the volume functional on the space of metrics whose scalar curvature is equal to a given constant. In this paper, we localize a condition satisfied by such stationary points to smooth bounded domains. The condition involves a generalization of the static equations, and we interpret solutions (and their boundary values) of this equation variationally. On domains carrying a metric that does not satisfy the condition, we establish a local deformation theorem that allows one to achieve simultaneously small prescribed changes of the scalar curvature and of the volume by a compactly supported variation of the metric. We apply this result to obtain a localized gluing theorem for constant scalar curvature metrics in which the total volume is preserved. Finally, we note that starting from a counterexample of Min-Oo's conjecture such as that of Brendle-Marques-Neves, counterexamples of arbitrarily large volume and different topological types can be constructed. △ Less

Submitted 17 February, 2013; v1 submitted 26 November, 2012; originally announced November 2012.

Comments: All comments welcome! Published version: Math. Ann. (to appear)

MSC Class: 53C21

Remarks on a scalar curvature rigidity theorem of Brendle and Marques

Authors: Graham Cox, Pengzi Miao, Luen-fai Tam

Abstract: In this paper, we provide some remarks on the scalar curvature rigidity theorem of Brendle and Marques in \cite{BrendleMarques}. The main result is that Brendle and Marques' theorem holds on a geodesic ball larger than that specified in [2]. In this paper, we provide some remarks on the scalar curvature rigidity theorem of Brendle and Marques in \cite{BrendleMarques}. The main result is that Brendle and Marques' theorem holds on a geodesic ball larger than that specified in [2]. △ Less

Submitted 12 December, 2011; v1 submitted 19 September, 2011; originally announced September 2011.

Comments: the main result strengthened

MSC Class: 53C20 (Primary) 53C24 (Secondary)

Scalar curvature rigidity with a volume constraint

Authors: Pengzi Miao, Luen-fai Tam

Abstract: Motivated by Brendle-Marques-Neves' counterexample to the Min-Oo's conjecture, we prove a volume constrained scalar curvature rigidity theorem which applies to the hemisphere. Motivated by Brendle-Marques-Neves' counterexample to the Min-Oo's conjecture, we prove a volume constrained scalar curvature rigidity theorem which applies to the hemisphere. △ Less

Submitted 16 November, 2011; v1 submitted 13 September, 2011; originally announced September 2011.

Comments: Theorem 1.7 and Theorem 5.1 strengthened

MSC Class: 53C20 (Primary) 53C24 (Secondary)

Critical points of Wang-Yau quasi-local energy

Authors: Pengzi Miao, Luen-Fai Tam, Naqing Xie

Abstract: In this paper, we prove the following theorem regarding the Wang-Yau quasi-local energy of a spacelike two-surface in a spacetime: Let $Σ$ be a boundary component of some compact, time-symmetric, spacelike hypersurface $Ω$ in a time-oriented spacetime $N$ satisfying the dominant energy condition. Suppose the induced metric on $Σ$ has positive Gaussian curvature and all boundary components of $Ω$ h… ▽ More In this paper, we prove the following theorem regarding the Wang-Yau quasi-local energy of a spacelike two-surface in a spacetime: Let $Σ$ be a boundary component of some compact, time-symmetric, spacelike hypersurface $Ω$ in a time-oriented spacetime $N$ satisfying the dominant energy condition. Suppose the induced metric on $Σ$ has positive Gaussian curvature and all boundary components of $Ω$ have positive mean curvature. Suppose $H \le H_0$ where $H$ is the mean curvature of $Σ$ in $Ω$ and $H_0$ is the mean curvature of $Σ$ when isometrically embedded in $R^3$. If $Ω$ is not isometric to a domain in $R^3$, then 1. the Brown-York mass of $Σ$ in $Ω$ is a strict local minimum of the Wang-Yau quasi-local energy of $Σ$, 2. on a small perturbation $\tildeΣ$ of $Σ$ in $N$, there exists a critical point of the Wang-Yau quasi-local energy of $\tildeΣ$. △ Less

Submitted 9 February, 2011; v1 submitted 26 March, 2010; originally announced March 2010.

Comments: substantially revised, main theorem replaced, Section 3 added

MSC Class: 53C20; 83C99

Journal ref: Annales Henri Poincare 12:987-1017,2011

Extension of a theorem of Shi and Tam

Authors: Michael Eichmair, Pengzi Miao, Xiaodong Wang

Abstract: In this note, we prove the following generalization of a theorem of Shi and Tam \cite{ShiTam02}: Let $(Ω, g)$ be an $n$-dimensional ($n \geq 3$) compact Riemannian manifold, spin when $n>7$, with non-negative scalar curvature and mean convex boundary. If every boundary component $Σ_i$ has positive scalar curvature and embeds isometrically as a mean convex star-shaped hypersurface… ▽ More In this note, we prove the following generalization of a theorem of Shi and Tam \cite{ShiTam02}: Let $(Ω, g)$ be an $n$-dimensional ($n \geq 3$) compact Riemannian manifold, spin when $n>7$, with non-negative scalar curvature and mean convex boundary. If every boundary component $Σ_i$ has positive scalar curvature and embeds isometrically as a mean convex star-shaped hypersurface ${\hat Σ}_i \subset \R^n$, then \int_{Σ_i} H d σ\le \int_{{\hat Σ}_i} \hat{H} d {\hat σ} where $H$ is the mean curvature of $Σ_i$ in $(Ω, g)$, $\hat{H}$ is the Euclidean mean curvature of ${\hat Σ}_i$ in $\R^n$, and where $d σ$ and $d {\hat σ}$ denote the respective volume forms. Moreover, equality in (\ref{eqn: main theorem}) holds for some boundary component $Σ_i$ if, and only if, $(Ω, g)$ is isometric to a domain in $\R^n$. In the proof, we make use of a foliation of the exterior of the $\hat Σ_i$'s in $\R^n$ by the $\frac{H}{R}$-flow studied by Gerhardt \cite{Gerhardt90} and Urbas \cite{Urbas90}. We also carefully establish the rigidity statement in low dimensions without the spin assumption that was used in \cite{ShiTam02} △ Less

Submitted 23 December, 2010; v1 submitted 2 November, 2009; originally announced November 2009.

Comments: Shortened title and revised. To appear in Calculus of Variations and PDE's

Some estimates of Wang-Yau quasilocal energy

Authors: Pengzi Miao, Luen-Fai Tam, Naqing Xie

Abstract: Given a spacelike 2-surface $Σ$ in a spacetime $N$ and a constant future timelike unit vector $T_0 $ in $\R^{3,1}$, we derive upper and lower estimates of Wang-Yau quasilocal energy $E(Σ, X, T_0)$ for a given isometric embedding $X$ of $Σ$ into a flat 3-slice in $\R^{3,1}$. The quantity $ E(Σ, X, T_0) $ itself depends on the choice of $X$, however the infimum of $ E(Σ, X, T_0)$ over $ T_0 $ does… ▽ More Given a spacelike 2-surface $Σ$ in a spacetime $N$ and a constant future timelike unit vector $T_0 $ in $\R^{3,1}$, we derive upper and lower estimates of Wang-Yau quasilocal energy $E(Σ, X, T_0)$ for a given isometric embedding $X$ of $Σ$ into a flat 3-slice in $\R^{3,1}$. The quantity $ E(Σ, X, T_0) $ itself depends on the choice of $X$, however the infimum of $ E(Σ, X, T_0)$ over $ T_0 $ does not. In particular, when $Σ$ lies in a time symmetric 3-slice in $N$ and has nonnegative Brown-York quasilocal mass $\mby(Σ)$, our estimates show that $\inf\limits_{T_0}E(Σ, X, T_0)$ equals $ \mby (Σ)$. We also study the spatial limit of $ \inf\limits_{T_0}E(S_r,X_r,T_0)$, where $S_r$ is a large coordinate sphere in a fixed end of an asymptotically flat initial data set $(M, g, p)$ and $X_r$ is an isometric embeddings of $S_r$ into $\mathbb{R}^3 \subset \mathbb{R}^{3,1}$. We show that if $(M, g, p)$ has future timelike ADM energy-momentum, then $\lim\limits_{r\to\infty}\inf\limits_{T_0}E(S_r,X_r,T_0)$ equals the ADM mass of $(M, g, p)$. △ Less

Submitted 4 September, 2009; originally announced September 2009.

Comments: 17 pages

MSC Class: 53C20 (Primary); 83C99 (Secondary)

On geometric problems related to Brown-York and Liu-Yau quasilocal mass

Authors: Pengzi Miao, Yuguang Shi, Luen-Fai Tam

Abstract: We discuss some geometric problems related to the definitions of quasilocal mass proposed by Brown-York \cite{BYmass1} \cite{BYmass2} and Liu-Yau \cite{LY1} \cite{LY2}. Our discussion consists of three parts. In the first part, we propose a new variational problem on compact manifolds with boundary, which is motivated by the study of Brown-York mass. We prove that critical points of this variati… ▽ More We discuss some geometric problems related to the definitions of quasilocal mass proposed by Brown-York \cite{BYmass1} \cite{BYmass2} and Liu-Yau \cite{LY1} \cite{LY2}. Our discussion consists of three parts. In the first part, we propose a new variational problem on compact manifolds with boundary, which is motivated by the study of Brown-York mass. We prove that critical points of this variation problem are exactly static metrics. In the second part, we derive a derivative formula for the Brown-York mass of a smooth family of closed 2 dimensional surfaces evolving in an ambient three dimensional manifold. As an interesting by-product, we are able to write the ADM mass \cite{ADM61} of an asymptotically flat 3-manifold as the sum of the Brown-York mass of a coordinate sphere $S_r$ and an integral of the scalar curvature plus a geometrically constructed function $Φ(x)$ in the asymptotic region outside $S_r $. In the third part, we prove that for any closed, spacelike, 2-surface $Σ$ in the Minkowski space $\R^{3,1}$ for which the Liu-Yau mass is defined, if $Σ$ bounds a compact spacelike hypersurface in $\R^{3,1}$, then the Liu-Yau mass of $Σ$ is strictly positive unless $Σ$ lies on a hyperplane. We also show that the examples given by Ó Murchadha, Szabados and Tod \cite{MST} are special cases of this result. △ Less

Submitted 30 June, 2009; originally announced June 2009.

Comments: 28 pages

MSC Class: 53C20; 58JXX

On a Localized Riemannian Penrose Inequality

Authors: Pengzi Miao

Abstract: Consider a compact, orientable, three dimensional Riemannian manifold with boundary with nonnegative scalar curvature. Suppose its boundary is the disjoint union of two pieces: the horizon boundary and the outer boundary, where the horizon boundary consists of the unique closed minimal surfaces in the manifold and the outer boundary is metrically a round sphere. We obtain an inequality relating… ▽ More Consider a compact, orientable, three dimensional Riemannian manifold with boundary with nonnegative scalar curvature. Suppose its boundary is the disjoint union of two pieces: the horizon boundary and the outer boundary, where the horizon boundary consists of the unique closed minimal surfaces in the manifold and the outer boundary is metrically a round sphere. We obtain an inequality relating the area of the horizon boundary to the area and the total mean curvature of the outer boundary. Such a manifold may be thought as a region, surrounding the outermost apparent horizons of black holes, in a time-symmetric slice of a space-time in the context of general relativity. The inequality we establish has close ties with the Riemannian Penrose Inequality, proved by Huisken and Ilmanen, and by Bray. △ Less

Submitted 18 January, 2009; originally announced January 2009.

Comments: 16 pages

MSC Class: 53C20;83C57

Journal ref: Commun. Math. Phys: Volume 292, Issue 1 (2009), Page 271

Einstein and conformally flat critical metrics of the volume functional

Authors: Pengzi Miao, Luen-Fai Tam

Abstract: Let $R$ be a constant. Let $\mathcal{M}^R_γ$ be the space of smooth metrics $g$ on a given compact manifold $Ω^n$ ($n\ge 3$) with smooth boundary $Σ$ such that $g$ has constant scalar curvature $R$ and $g|_Σ$ is a fixed metric $γ$ on $Σ$. Let $V(g)$ be the volume of $g\in\mathcal{M}^R_γ$. In this work, we classify all Einstein or conformally flat metrics which are critical points of $V(\cdot)$ i… ▽ More Let $R$ be a constant. Let $\mathcal{M}^R_γ$ be the space of smooth metrics $g$ on a given compact manifold $Ω^n$ ($n\ge 3$) with smooth boundary $Σ$ such that $g$ has constant scalar curvature $R$ and $g|_Σ$ is a fixed metric $γ$ on $Σ$. Let $V(g)$ be the volume of $g\in\mathcal{M}^R_γ$. In this work, we classify all Einstein or conformally flat metrics which are critical points of $V(\cdot)$ in $\mathcal{M}^R_γ$. △ Less

Submitted 5 January, 2009; originally announced January 2009.

Comments: 38 pages

MSC Class: 53C20; 58JXX

On the volume functional of compact manifolds with boundary with constant scalar curvature

Authors: Pengzi Miao, Luen-Fai Tam

Abstract: We study the volume functional on the space of constant scalar curvature metrics with a prescribed boundary metric. We derive a sufficient and necessary condition for a metric to be a critical point, and show that the only domains in space forms, on which the standard metrics are critical points, are geodesic balls. In the zero scalar curvature case, assuming the boundary can be isometrically em… ▽ More We study the volume functional on the space of constant scalar curvature metrics with a prescribed boundary metric. We derive a sufficient and necessary condition for a metric to be a critical point, and show that the only domains in space forms, on which the standard metrics are critical points, are geodesic balls. In the zero scalar curvature case, assuming the boundary can be isometrically embedded in the Euclidean space as a compact strictly convex hypersurface, we show that the volume of a critical point is always no less than the Euclidean volume bounded by the isometric embedding of the boundary, and the two volumes are equal if and only if the critical point is isometric to a standard Euclidean ball. We also derive a second variation formula and apply it to show that, on Euclidean balls and ''small'' hyperbolic and spherical balls in dimensions 3 to 5, the standard space form metrics are indeed saddle points for the volume functional. △ Less

Submitted 17 July, 2008; originally announced July 2008.

MSC Class: 53C20; 58JXX

Journal ref: Calculus of Variations and Partial Differential Equations: Volume 36, Issue 2 (2009), Page 141

On The Capacity of Surfaces in Manifolds with Nonnegative Scalar Curvature

Authors: Hubert Bray, Pengzi Miao

Abstract: Given a surface in an asymptotically flat 3-manifold with nonnegative scalar curvature, we derive an upper bound for the capacity of the surface in terms of the area of the surface and the Willmore functional of the surface. The capacity of a surface is defined to be the energy of the harmonic function which equals 0 on the surface and goes to 1 at infinity. Even in the special case of Euclidean… ▽ More Given a surface in an asymptotically flat 3-manifold with nonnegative scalar curvature, we derive an upper bound for the capacity of the surface in terms of the area of the surface and the Willmore functional of the surface. The capacity of a surface is defined to be the energy of the harmonic function which equals 0 on the surface and goes to 1 at infinity. Even in the special case of Euclidean space, this is a new estimate. More generally, equality holds precisely for a spherically symmetric sphere in a spatial Schwarzschild 3-manifold. As applications, we obtain inequalities relating the capacity of the surface to the Hawking mass of the surface and the total mass of the asymptotically flat manifold. △ Less

Submitted 23 July, 2007; originally announced July 2007.

Comments: 18 pages

MSC Class: 83C99; 53C20

Journal ref: Invent. math. 172, 459-475 (2008)