arXiv subjects
Publications and source records attributed to Juncheol Pyo.
We define a mass invariant adapted to the spectral scalar curvature for asymptotically hyperbolic 3-manifolds with toroidal infinity and show its positivity under a lower bound on the spectral scalar curvature. In addition, we show a rigidity theorem and some band width estimates under similar assumptions.
Let $M$ be a compact 3-dimensional Riemannian manifold with nonnegative Ricci curvature and a nonempty boundary $\partial M$. Fraser and Li \cite{Fraser&Li} established a compactness theorem for the space of compact, properly embedded minimal surfaces of fixed topological type in $M$ with a free boundary on $\partial M$, assuming that $\partial M$ is strictly convex with respect to the inward unit normal. In this paper, we show that the strict convexity condition on $\partial M$ cannot be relaxed.
A theorem of Llarull says that if a smooth metric $g$ on the $n$-sphere $\mathbb{S}^n$ is bounded below by the standard round metric and the scalar curvature $R_g$ of $g$ is bounded below by $n (n - 1)$, then the metric $g$ must be the standard round metric. We prove a spectral Llarull theorem by replacing the bound $R_g \geq n (n - 1)$ by a lower bound on the first eigenvalue of an elliptic operator involving the Laplacian and the scalar curvature $R_g$. We utilize two methods: spinor and spacetime harmonic function.
We obtain $L^q$-regularity estimates for weak solutions to $p$-Laplacian type equations of differential forms. In particular, we prove local Calderón-Zygmund type estimates for equations with discontinuous coefficients satisfying the bounded mean oscillation (BMO) condition.
In this paper, we study the rigidity results of complete graphical translating hypersurfaces when the translating direction is not in the graphical direction. We proved that any entire graphical translating surface in the translating direction not parallel to the graphical one is flat if either the translating surface is mean convex or the entropy of the translating surface is smaller than $2$. For higher dimensional case, we show that the same conclusion holds if the graphical translating hypersurface satisfies certain growth condition.
In this paper, we prove a Heintze-Karcher type inequality for capillary hypersurfaces supported on various hypersurfaces in the hyperbolic space. The equality case only occurs on capillary totally umbilical hypersurfaces. Then we apply this result to prove the Alexandrov type theorem for embedded capillary hypersurfaces in the hyperbolic space. In addition, we prove some other rigidity results for capillary hypersurfaces supported on totally geodesic plane in $\mathbb B^{n+1}_+$.
We use the weighted Hsiung-Minkowski integral formulas and Brendle's inequality to show new rigidity results. First, we prove Alexandrov type results for closed embedded hypersurfaces with radially symmetric higher order mean curvature in a large class of Riemannian warped product manifolds, including the Schwarzschild and Reissner-Nordström spaces, where the Alexandrov reflection principle is not available. Second, we prove that, in Euclidean space, the only closed immersed self-expanding solitons to the weighted generalized inverse curvature flow of codimension one are round hyperspheres.
In this paper we investigate constant mean curvature surfaces with nonempty boundary in Euclidean space that meet a right cylinder at a constant angle along the boundary. If the surface lies inside of the cylinder, we obtain some results of symmetry by using the Alexandrov reflection method. When the mean curvature is zero, we give sufficient conditions to obtain that the surface is part of a plane or a catenoid.
In this article we study the shape of a compact surface of constant mean curvature of Euclidean space whose boundary is contained in a round sphere. We consider the case that the boundary is prescribed or that the surface meets the sphere with a constant angle. We study under what geometric conditions the surface must be spherical. Our results apply in many scenarios in physics where in absence of gravity a liquid drop is deposited on a round solid ball and the air-liquid interface is a critical point for area under all variations that preserve the enclosed volume.
We show that a capillary surface in a solid cone, that is, a surface that has constant mean curvature and the boundary of surface meets the boundary of the cone with a constant angle, is radially graphical if the mean curvature is non-positive with respect to the Gauss map pointing toward the domain bounded by the surface and the boundary of the cone. In the particular case that the cone is circular, we prove that the surface is a spherical cap or a planar disc. The proofs are based on an extension of the Alexandrov reflection method by using inversions about spheres.
In this paper we prove general inequalities involving the weighted mean curvature of compact submanifolds immersed in weighted manifolds. As a consequence we obtain a relative linear isoperimetric inequality for such submanifolds. We also prove an extrinsic upper bound to the first non zero eigenvalue of the drift Laplacian on closed submanifolds of weighted manifolds.
Laurent Hauswirth and Harold Rosenberg developed the theory of minimal surfaces with finite total curvature in $\H^2\times\R$. They showed that the total curvature of one such a surface must be a non-negative integer multiple of $-2π$. The first examples appearing in this context are vertical geodesic planes and Scherk minimal graphs over ideal polygonal domains. Other non simply-connected examples have been constructed recently. In the present paper, we show that the only complete minimal surfaces in $\H^2\times\R$ of total curvature $-2π$ are Scherk minimal graphs over ideal quadrilaterals. We also construct properly embedded simply-connected minimal surfaces with total curvature $-4kπ$, for any integer $k\geq 1$, which are not Scherk minimal graphs over ideal polygonal domains.
We investigate a variational problem in the Lorentz-Minkowski space $ł^3$ whose critical points are spacelike surfaces with constant mean curvature and making constant contact angle with a given support surface along its common boundary. We show that if the support surface is a pseudosphere, then the surface is a planar disc or a hyperbolic cap. We also study the problem of spacelike hypersurfaces with free boundary in the higher dimensional Lorentz-Minkowski space $ł^{n+1}$.
We construct three kinds of complete embedded minimal surfaces in $\Bbb H^2\times \Bbb R$. The first is a simply connected, singly periodic, infinite total curvature surface. The second is an annular finite total curvature surface. These two are conjugate surfaces just as the helicoid and the catenoid are in $\mathbb R^3$. The third one is a finite total curvature surface which is conformal to $\mathbb S^2\setminus\{p_1,...,p_k\}, k\geq3.$
For a compact spacelike constant mean curvature surface with nonempty boundary in the three-dimensional Lorentz-Minkowski space, we introduce a rotation index of the lines of curvature at the boundary umbilic point, which was developed by Choe \cite{Choe}. Using the concept of the rotation index at the interior and boundary umbilic points and applying the Poincaré-Hopf index formula, we prove that a compact immersed spacelike disk type capillary surface with less than $4$ vertices in a domain of $\Bbb L^3$ bounded by (spacelike or timelike) totally umbilic surfaces is part of a (spacelike) plane or a hyperbolic plane. Moreover we prove that the only immersed spacelike disk type capillary surface inside de Sitter surface in $\Bbb L^3$ is part of (spacelike) plane or a hyperbolic plane.
We show that an immersed minimal annulus, with two planar boundary curves along which the surface meets these planes with constant contact angle, is part of the catenoid.
We prove that maximal annuli in $\mathbb{L}^{3}$ bounded by circles, straight lines or cone points in a pair of parallel spacelike planes are part of either a Lorentzian catenoid or a Lorentzian Riemann's example. We show that under the same boundary condition, the same conclusion holds even when the maximal annuli have a planar end. Moreover, we extend Shiffman's convexity result to maximal annuli but by using Perron's method we construct a maximal annulus with a planar end where Shiffman type result fails.
Let $M$ be an $n$-dimensional complete simply connected Riemannian manifold with sectional curvature bounded above by a nonpositive constant $-κ^2$. Using the cone total curvature $TC(Γ)$ of a graph $Γ$ which was introduced by Gulliver and Yamada Math. Z. 2006, we prove that the density at any point of a soap film-like surface $Σ$ spanning a graph $Γ\subset M$ is less than or equal to $\frac{1}{2π}\{TC(Γ) - κ^{2}\area(p\mbox{$\times\hspace*{-0.178cm}\times$}Γ)\}$. From this density estimate we obtain the regularity theorems for soap film-like surfaces spanning graphs with small total curvature. In particular, when $n=3$, this density estimate implies that if \begin{eqnarray*} TC(Γ) < 3.649π+ κ^2 \inf_{p\in M} \area({p\mbox{$\times\hspace*{-0.178cm}\times$}Γ}), \end{eqnarray*} then the only possible singularities of a piecewise smooth $(\mathbf{M},0,δ)$-minimizing set $Σ$ is the $Y$-singularity cone. In a manifold with sectional curvature bounded above by $b^2$ and diameter bounded by $π/b$, we obtain similar results for any soap film-like surfaces spanning a graph with the corresponding bound on cone total curvature.