skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on March 5, 2026

Title: Boundary behavior of compact manifolds with scalar curvature lower bounds and static quasi-local mass of tori
A classic result of Shi and Tam states that a 2-sphere of positive Gauss and mean curvature bounding a compact 3-manifold with nonnegative scalar curvature must have total mean curvature not greater than that of the isometric embedding into Euclidean 3-space, with equality only for domains in this reference manifold. We generalize this result to 2-tori of Gauss curvature greater than −<#comment/> 1 -1 , which bound a compact 3-manifold having scalar curvature not less than −<#comment/> 6 -6 and at least one other boundary component satisfying a ‘trapping condition’. The conclusion is that the total weighted mean curvature is not greater than that of an isometric embedding into the Kottler manifold, with equality only for domains in this space. Examples are given to show that the assumption of a secondary boundary component cannot be removed. The result gives a positive mass theorem for the static Brown-York mass of tori, in analogy to the Shi-Tam positivity of the standard Brown-York mass, and represents the first such quasi-local mass positivity result for nonspherical surfaces. Furthermore, we prove a Penrose-type inequality in this setting.  more » « less
Award ID(s):
2316965 2405045
PAR ID:
10595814
Author(s) / Creator(s):
; ;
Publisher / Repository:
American Mathematical Society
Date Published:
Journal Name:
Proceedings of the American Mathematical Society
ISSN:
0002-9939
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We show that a compact Riemannian 3 3 -manifold M M with strictly convex simply connected boundary and sectional curvature K ≤<#comment/> a ≤<#comment/> 0 K\leq a\leq 0 is isometric to a convex domain in a complete simply connected space of constant curvature a a , provided that K ≡<#comment/> a K\equiv a on planes tangent to the boundary of M M . This yields a characterization of strictly convex surfaces with minimal total curvature in Cartan-Hadamard 3 3 -manifolds, and extends some rigidity results of Greene-Wu, Gromov, and Schroeder-Strake. Our proof is based on a recent comparison formula for total curvature of Riemannian hypersurfaces, which also yields some dual results for K ≥<#comment/> a ≥<#comment/> 0 K\geq a\geq 0
    more » « less
  2. We study regularity of solutions u u to ∂<#comment/> ¯<#comment/> u = f \overline \partial u=f on a relatively compact C 2 C^2 domain D D in a complex manifold of dimension n n , where f f is a ( 0 , q ) (0,q) form. Assume that there are either ( q + 1 ) (q+1) negative or ( n −<#comment/> q ) (n-q) positive Levi eigenvalues at each point of boundary ∂<#comment/> D \partial D . Under the necessary condition that a locally L 2 L^2 solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain 1 / 2 1/2 derivative when q = 1 q=1 and f f is in the Hölder–Zygmund space Λ<#comment/> r ( D ) \Lambda ^r( D) with r > 1 r>1 . For q > 1 q>1 , the same regularity for the solutions is achieved when ∂<#comment/> D \partial D is either sufficiently smooth or of ( n −<#comment/> q ) (n-q) positive Levi eigenvalues everywhere on ∂<#comment/> D \partial D
    more » « less
  3. We consider minimizing harmonic maps u u from Ω<#comment/> ⊂<#comment/> R n \Omega \subset \mathbb {R}^n into a closed Riemannian manifold N \mathcal {N} and prove: 1. an extension to n ≥<#comment/> 4 n \geq 4 of Almgren and Lieb’s linear law. That is, if the fundamental group of the target manifold N \mathcal {N} is finite, we have\[ H n −<#comment/> 3 ( sing ⁡<#comment/> u ) ≤<#comment/> C ∫<#comment/> ∂<#comment/> Ω<#comment/> | ∇<#comment/> T u | n −<#comment/> 1 d H n −<#comment/> 1 ; \mathcal {H}^{n-3}(\operatorname {sing} u) \le C \int _{\partial \Omega } |\nabla _T u|^{n-1} \,\mathrm {d}\mathcal {H}^{n-1}; \]2. an extension of Hardt and Lin’s stability theorem. Namely, assuming that the target manifold is N = S 2 \mathcal {N}=\mathbb {S}^2 we obtain that the singular set of u u is stable under small W 1 , n −<#comment/> 1 W^{1,n-1} -perturbations of the boundary data. In dimension n = 3 n=3 both results are shown to hold with weaker hypotheses, i.e., only assuming that the trace of our map lies in the fractional space W s , p W^{s,p} with s ∈<#comment/> ( 1 2 , 1 ] s \in (\frac {1}{2},1] and p ∈<#comment/> [ 2 , ∞<#comment/> ) p \in [2,\infty ) satisfying s p ≥<#comment/> 2 sp \geq 2 . We also discuss sharpness. 
    more » « less
  4. We say a null-homologous knot K K in a 3 3 -manifold Y Y has Property G, if the Thurston norm and fiberedness of the complement of K K is preserved under the zero surgery on K K . In this paper, we will show that, if the smooth 4 4 -genus of K ×<#comment/> { 0 } K\times \{0\} (in a certain homology class) in ( Y ×<#comment/> [ 0 , 1 ] ) #<#comment/> N C P 2 ¯<#comment/> (Y\times [0,1])\#N\overline {\mathbb CP^2} , where Y Y is a rational homology sphere, is smaller than the Seifert genus of K K , then K K has Property G. When the smooth 4 4 -genus is 0 0 , Y Y can be taken to be any closed, oriented 3 3 -manifold. 
    more » « less
  5. Let f f be analytic on [ 0 , 1 ] [0,1] with | f ( k ) ( 1 / 2 ) | ⩽<#comment/> A α<#comment/> k k ! |f^{(k)}(1/2)|\leqslant A\alpha ^kk! for some constants A A and α<#comment/> > 2 \alpha >2 and all k ⩾<#comment/> 1 k\geqslant 1 . We show that the median estimate of μ<#comment/> = ∫<#comment/> 0 1 f ( x ) d x \mu =\int _0^1f(x)\,\mathrm {d} x under random linear scrambling with n = 2 m n=2^m points converges at the rate O ( n −<#comment/> c log ⁡<#comment/> ( n ) ) O(n^{-c\log (n)}) for any c > 3 log ⁡<#comment/> ( 2 ) / π<#comment/> 2 ≈<#comment/> 0.21 c> 3\log (2)/\pi ^2\approx 0.21 . We also get a super-polynomial convergence rate for the sample median of 2 k −<#comment/> 1 2k-1 random linearly scrambled estimates, when k / m k/m is bounded away from zero. When f f has a p p ’th derivative that satisfies a λ<#comment/> \lambda -Hölder condition then the median of means has error O ( n −<#comment/> ( p + λ<#comment/> ) + ϵ<#comment/> ) O( n^{-(p+\lambda )+\epsilon }) for any ϵ<#comment/> > 0 \epsilon >0 , if k →<#comment/> ∞<#comment/> k\to \infty as m →<#comment/> ∞<#comment/> m\to \infty . The proof techniques use methods from analytic combinatorics that have not previously been applied to quasi-Monte Carlo methods, most notably an asymptotic expression from Hardy and Ramanujan on the number of partitions of a natural number. 
    more » « less