-
On regular algebraic hypersurfaces with non-zero constant mean curvature in Euclidean spaces
Authors:
Alexandre Paiva Barreto,
Francisco Fontenele,
Luiz Hartmann
Abstract:
We prove that there are no regular algebraic hypersurfaces with non-zero constant mean curvature in the Euclidean space $\mathbb R^{n+1}$, $n\geq 2$, defined by polynomials of odd degree. Also we prove that the hyperspheres and the round cylinders are the only regular algebraic hypersurfaces with non-zero constant mean curvature in $\mathbb R^{n+1}$, $n\geq 2$, defined by polynomials of degree les…
▽ More
We prove that there are no regular algebraic hypersurfaces with non-zero constant mean curvature in the Euclidean space $\mathbb R^{n+1}$, $n\geq 2$, defined by polynomials of odd degree. Also we prove that the hyperspheres and the round cylinders are the only regular algebraic hypersurfaces with non-zero constant mean curvature in $\mathbb R^{n+1}$, $n\geq 2$, defined by polynomials of degree less than or equal to three. These results give partial answers to a question raised by Barbosa and do Carmo.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
A conformal characterization of manifolds of constant sectional curvature
Authors:
Xiaoyang Chen,
Francisco Fontenele,
Frederico Xavier
Abstract:
A special case of the main result states that a complete $1$-connected Riemannian manifold $(M^n,g)$ is isometric to one of the models $\mathbb R^n$, $S^n(c)$, $\mathbb H^n(-c)$ of constant curvature if and only if every $p\in M^n$ is a non-degenerate maximum of a germ of smooth functions whose Riemannian gradient is a conformal vector field.
A special case of the main result states that a complete $1$-connected Riemannian manifold $(M^n,g)$ is isometric to one of the models $\mathbb R^n$, $S^n(c)$, $\mathbb H^n(-c)$ of constant curvature if and only if every $p\in M^n$ is a non-degenerate maximum of a germ of smooth functions whose Riemannian gradient is a conformal vector field.
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
Rotational Surfaces with second fundamental form of constant length
Authors:
Alexandre P. Barreto,
Francisco Fontenele,
Luiz Hartmann
Abstract:
We obtain an infinite family of complete non embedded rotational surfaces in $\mathbb R^3$ whose second fundamental forms have length equal to one at any point. Also we prove that a complete rotational surface with second fundamental form of constant length is either a round sphere, a circular cylinder or, up to a homothety and a rigid motion, a member of that family. In particular, the round sphe…
▽ More
We obtain an infinite family of complete non embedded rotational surfaces in $\mathbb R^3$ whose second fundamental forms have length equal to one at any point. Also we prove that a complete rotational surface with second fundamental form of constant length is either a round sphere, a circular cylinder or, up to a homothety and a rigid motion, a member of that family. In particular, the round sphere and the circular cylinder are the only complete embedded rotational surfaces in $\mathbb R^3$ with second fundamental form of constant length.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
A characterization of round spheres in space forms
Authors:
Francisco Fontenele,
Roberto Alonso Núñez
Abstract:
Let $\mathbb Q^{n+1}_c$ be the complete simply-connected $(n+1)$-dimensional space form of curvature $c$. In this paper we obtain a new characterization of geodesic spheres in $\mathbb Q^{n+1}_c$ in terms of the higher order mean curvatures. In particular, we prove that the geodesic sphere is the only complete bounded immersed hypersurface in $\mathbb Q^{n+1}_c,\;c\leq 0,$ with constant mean curva…
▽ More
Let $\mathbb Q^{n+1}_c$ be the complete simply-connected $(n+1)$-dimensional space form of curvature $c$. In this paper we obtain a new characterization of geodesic spheres in $\mathbb Q^{n+1}_c$ in terms of the higher order mean curvatures. In particular, we prove that the geodesic sphere is the only complete bounded immersed hypersurface in $\mathbb Q^{n+1}_c,\;c\leq 0,$ with constant mean curvature and constant scalar curvature. The proof relies on the well known Omori-Yau maximum principle, a formula of Walter for the Laplacian of the $r$-th mean curvature of a hypersurface in a space form, and a classical inequality of Gårding for hyperbolic polynomials.
△ Less
Submitted 14 June, 2017;
originally announced June 2017.
-
On the complexity of isometric immersions of hyperbolic spaces in any codimension
Authors:
Francisco Fontenele,
Frederico Xavier
Abstract:
Although the Nash theorem solves the isometric embedding problem, matters are inherently more involved if one is further seeking an embedding that is well-behaved from the standpoint of submanifold geometry. More generally, consider a Lipschitz map $F:M^m\to\mathbb R^n$, where $M^m$ is a Hadamard manifold whose curvature lies between negative constants. The main result of this paper is that $F$ mu…
▽ More
Although the Nash theorem solves the isometric embedding problem, matters are inherently more involved if one is further seeking an embedding that is well-behaved from the standpoint of submanifold geometry. More generally, consider a Lipschitz map $F:M^m\to\mathbb R^n$, where $M^m$ is a Hadamard manifold whose curvature lies between negative constants. The main result of this paper is that $F$ must perform a substantial compression: For every $r>0$ and integer $k\geq 2$ there exist $k$ geodesic balls of radius $r$ in $M^m$ that are arbitrarily far from each other, but whose images under $F$ are bunched together arbitrarily close in the Hausdorff sense of $\mathbb R^n$. In particular, every isometric embedding $\mathbb H^m\to\mathbb R^n$ of hyperbolic space must have a complex asymptotic behavior, regardless of how high the codimension is. Hence, there is no truly simple way to realize $\mathbb H^m$ isometrically inside any Euclidean space.
△ Less
Submitted 30 October, 2014;
originally announced October 2014.
-
The index of isolated umbilics on surfaces of non-positive curvature
Authors:
F. Fontenele,
F. Xavier
Abstract:
It is shown that if a $C^2$ surface $M\subset\mathbb R^3$ has negative curvature on the complement of a point $q\in M$, then the $\mathbb Z/2$-valued Poincaré-Hopf index at $q$ of either distribution of principal directions on $M-\{q\}$ is non-positive. Conversely, any non-positive half-integer arises in this fashion. The proof of the index estimate is based on geometric-topological arguments, an…
▽ More
It is shown that if a $C^2$ surface $M\subset\mathbb R^3$ has negative curvature on the complement of a point $q\in M$, then the $\mathbb Z/2$-valued Poincaré-Hopf index at $q$ of either distribution of principal directions on $M-\{q\}$ is non-positive. Conversely, any non-positive half-integer arises in this fashion. The proof of the index estimate is based on geometric-topological arguments, an index theorem for symmetric tensors on Riemannian surfaces, and some aspects of the classical Poincaré-Bendixson theory.
△ Less
Submitted 9 April, 2014;
originally announced April 2014.
-
Some remarks on the Pigola-Rigoli-Setti version of the Omori-Yau maximum principle
Authors:
Francisco Fontenele,
Alexandre Paiva Barreto
Abstract:
We prove that the hypotheses in the version of the Omori-Yau maximum principle that was given by Pigola-Rigoli-Setti are logically equivalent to the assumption that the manifold carries a $C^2$ proper function whose gradient and Hessian (Laplacian) are bounded. In particular, this result extends the scope of the original Omori-Yau principle, formulated in terms of lower bounds for curvature.
We prove that the hypotheses in the version of the Omori-Yau maximum principle that was given by Pigola-Rigoli-Setti are logically equivalent to the assumption that the manifold carries a $C^2$ proper function whose gradient and Hessian (Laplacian) are bounded. In particular, this result extends the scope of the original Omori-Yau principle, formulated in terms of lower bounds for curvature.
△ Less
Submitted 3 January, 2013;
originally announced January 2013.
-
Good shadows, dynamics, and convex hulls
Authors:
Francisco Fontenele,
Frederico Xavier
Abstract:
The Ekeland variational principle implies what can be regarded as a strong version, in the $C^1$ category, of the Yau minimum principle: under the appropriate hypotheses {\it every} minimizing sequence admits a {\it good shadow}, a second minimizing sequence that has good properties and is asymptotic to the original one. Using arguments from dynamical systems, we give another proof of this resul…
▽ More
The Ekeland variational principle implies what can be regarded as a strong version, in the $C^1$ category, of the Yau minimum principle: under the appropriate hypotheses {\it every} minimizing sequence admits a {\it good shadow}, a second minimizing sequence that has good properties and is asymptotic to the original one. Using arguments from dynamical systems, we give another proof of this result and also establish, with the aid of Gromov's theorem on monotonicity of volume ratios, a special case of a conjecture claiming the existence of good shadows in the original $C^2$ setting of the Yau minimum principle. The interest in having an abundance of good shadows stems from the fact that this is a desirable property if one wants to refine the applications of the asymptotic minimum principle, as it allows for information to be localized at infinity. These ideas are applied in this paper to the study of the convex hulls of complete submanifolds of Euclidean $n$-space that have controlled Grassmanian-valued Gauss maps.
△ Less
Submitted 27 August, 2009;
originally announced August 2009.
-
A Riemannian Bieberbach estimate
Authors:
Francisco Fontenele,
Frederico Xavier
Abstract:
The Bieberbach estimate, a pivotal result in the classical theory of univalent functions, states that any injective holomorphic function $f$ on the open unit disc $D$ satisfies $|f"(0)|\leq 4 |f'(0)|$. We generalize the Bieberbach estimate by proving a version of the inequality that applies to all injective smooth conformal immersions $f : D\to \Bbb R^n, n\geq 2$. The new estimate involves two c…
▽ More
The Bieberbach estimate, a pivotal result in the classical theory of univalent functions, states that any injective holomorphic function $f$ on the open unit disc $D$ satisfies $|f"(0)|\leq 4 |f'(0)|$. We generalize the Bieberbach estimate by proving a version of the inequality that applies to all injective smooth conformal immersions $f : D\to \Bbb R^n, n\geq 2$. The new estimate involves two correction terms. The first one is geometric, coming from the second fundamental form of the image surface $f(D)$. The second term is of a dynamical nature, and involves certain Riemannian quantities associated to conformal attractors. Our results are partly motivated by a conjecture in the theory of embedded minimal surfaces.
△ Less
Submitted 15 May, 2009;
originally announced May 2009.
-
Heinz type estimates for graphs in Euclidean space
Authors:
Francisco Fontenele
Abstract:
Let $M^n\subset\mathbb R^{n+1}$ be the graph of a $C^2$-real valued function defined in a closed ball of $\mathbb R^n$. In this work, we obtain upper bounds for $\inf_M|H|$ and $\inf_M|R|$, where $H$ and $R$ are, respectively, the mean curvature and the scalar curvature of $M^n$, generalizing estimates given by Heinz in the case $n=2$ [Math. Annalen 129, 451-454, 1955]. Under the assumption that…
▽ More
Let $M^n\subset\mathbb R^{n+1}$ be the graph of a $C^2$-real valued function defined in a closed ball of $\mathbb R^n$. In this work, we obtain upper bounds for $\inf_M|H|$ and $\inf_M|R|$, where $H$ and $R$ are, respectively, the mean curvature and the scalar curvature of $M^n$, generalizing estimates given by Heinz in the case $n=2$ [Math. Annalen 129, 451-454, 1955]. Under the assumption that $M^n$ has negative Ricci curvature, we also obtain an upper bound for $\inf_M|A|$, where $|A|$ is the length of the second fundamental form. As a consequence of this latter estimate one obtains that $\inf |A|=0$ for all entire graphs with negative Ricci curvature in Euclidean space. This gives a partial answer to a question raised by Smith-Xavier [Invent. Math. 90, 443-450, 1987].
△ Less
Submitted 27 August, 2009; v1 submitted 6 April, 2009;
originally announced April 2009.