Optimal isoperimetric inequalities for complete proper minimal submanifolds in hyperbolic space

DOI10.1515/CRELLE-2012-0119MaRDI QIDQ741787zbMATH OpenOpenAlexFDO

Authors Sung-Hong Min, Keomkyo Seo

Publication date 12 September 2014

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1201.2732

zbMATH Keywords

hyperbolic spaceisoperimetric inequalityminimal submanifoldmonotonicity formulaMöbius volumePoincaré ball model

Mathematics Subject Classification ID

Minimal surfaces and optimization (49Q05) Optimization of shapes other than minimal surfaces (49Q10) Differential geometry of immersions (minimal, prescribed curvature, tight, etc.) (53C42)

Abstract: Let $Sigma$ be a $k$-dimensional complete proper minimal submanifold in the Poincar'{e} ball model $B^n$ of hyperbolic geometry. If we consider $Sigma$ as a subset of the unit ball $B^n$ in Euclidean space, we can measure the Euclidean volumes of the given minimal submanifold $Sigma$ and the ideal boundary $partia{l}_{i}nftySigma$, say $vol(Sigma)$ and $vol(partia{l}_{i}nftySigma)$, respectively. Using this concept, we prove an optimal linear isoperimetric inequality. We also prove that if $vol(partia{l}_{i}nftySigma)geqvol(mathbb{S}^{k-1})$, then $Sigma$ satisfies the classical isoperimetric inequality. By proving the monotonicity theorem for such $Sigma$, we further obtain a sharp lower bound for the Euclidean volume $vol(Sigma)$, which is an extension of Fraser and Schoen's recent result cite{FS} to hyperbolic space. Moreover we introduce the M"{o}bius volume of $Sigma$ in $B^n$ to prove an isoperimetric inequality via the M"{o}bius volume for $Sigma$.

Review text

In this paper, the authors obtain some isoperimetric inequalities for \(k\)-dimensional complete proper minimal submanifolds in the Poincaré ball model of the \(n\)-dimensional hyperbolic space. Let \(B^n\subset {\mathbb R}^n\) be the Euclidean unit ball centered at \(0\), and \(\Sigma\subset B^n\) be a complete proper minimal (for the hyperbolic metric) submanifold. Let \(\partial_\infty\Sigma=\overline{\Sigma}\cap\partial B^n\) be the ideal boundary of \(\Sigma\). Then, the authors prove in Theorem~2.3 that \[ \text{Vol}_{\mathbb R}(\Sigma)\leq {1\over k}\,\text{Vol}_{\mathbb R}(\partial_\infty\Sigma), \] where \(\text{Vol}_{\mathbb R}(\Sigma)\) is the \(k\)-dimensional Euclidean volume of \(\Sigma\) and \(\text{Vol}_{\mathbb R}(\partial_\infty\Sigma)\) is the \((k-1)\)-dimensional Euclidean volume of \(\partial_\infty\Sigma\). Equality holds if and only if \(\Sigma\) is a \(k\)-dimensional Euclidean ball \(B^k\). They also prove in Theorem 3.1 that the quotient \[ {\text{Vol}_{\mathbb R}(\Sigma\cap B_r)\over r^k}, \] where \(B_r\) is the Euclidean ball of center \(0\) and radius \(0<r<1\), is non-decreasing. A corollary of this result is that when \(0\in\Sigma\), then \(\text{Vol}_{\mathbb R}(\Sigma)\geq \text{Vol}_{\mathbb R}(B_k)\), with equality precisely when \(\Sigma=B^k\). In the last section, it is shown in Theorem 4.7 that the isoperimetric inequality in \({\mathbb R}^k\) holds for \(\text{Vol}_{M}(\Sigma)\) and \(\text{Vol}_M(\partial_\infty\Sigma)\), where \(\text{Vol}_M\) is the Möbius volume, defined as \(\sup_g (\text{Vol}_{\mathbb R}\circ g)\), where \(g\) belongs to the Möbius transformations of the ball \(B^n\) and the sphere \(\partial B^n\), respectively. Equality holds when \(\Sigma\) is the \(k\)-dimensional ball.

Recommendations

• Relative isoperimetric inequality and linear isoperimetric inequality for minimal submanifolds
• Isoperimetric inequalities of minimal submanifolds
• The isoperimetric inequality for a minimal submanifold in Euclidean space
• Isoperimetric inequalities on minimal submanifolds of space forms
• scientific article; zbMATH DE number 1443164

Cited in

(3)

• Optimal isoperimetric inequalities for surfaces in any codimension in Cartan-Hadamard manifolds
• Isoperimetric type inequalities on submanifolds in rotation-symmetric spaces
• Linear isoperimetric inequalities for free boundary submanifolds in a geodesic ball

This page was built for publication: Optimal isoperimetric inequalities for complete proper minimal submanifolds in hyperbolic space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q741787)