Minimizing Constant Mean Curvature Hypersurfaces in Hyperbolic Space

We study the constant mean curvature (CMC) hypersurfaces in whose asymptotic boundaries are closed codimension-1 submanifolds in . We consider CMC hypersurfaces as generalizations of minimal hypersurfaces. We naturally generalize some notions of minimal hypersurfaces like being area-minimizing, convex hull property, exchange roundoff trick to CMC hypersurface context. We also give a generic uniqueness result for CMC hypersurfaces in hyperbolic space.     

Clifford systems,Cartan hypersurfaces and Riemannian submersions

Cartan hypersurfaces are minimal isoparametric hypersurfaces with 3 distinct constant principal curvatures in unit spheres. In this article, we firstly build a relationship between the focal submanifolds of Cartan hypersurfaces and the Hopf fiberations and give a new proof of the classification result on Cartan hypersurfaces. Nextly, we show that there exists a Riemannian submersion with totally geodesic fibers from each Cartan hypersurface M^3m to the projective planes \({{\mathbb{F}}P^2}\) (\({{\mathbb{F}}={\mathbb{R}},{\mathbb{C}},{\mathbb{H}},{\mathbb{O}}}\) for m = 1, 2, 4, 8, respectively) endowed with the canonical metrics. As an application, we give several interesting examples of Riemannian submersions satisfying a basic equality due to Chen (Proc Jpn Acad Ser A Math Sci 81:162–167, 2005).     

Biharmonic Hypersurfaces in a Conformally Flat Space

Biharmonic hypersurfaces in a generic conformally flat space are studied in this paper. The equation of such hypersurfaces is derived and used to determine the conformally flat metric ${f^{-2}\delta_{ij}}$ on the Euclidean space ${\mathbb{R}^{m+1}}$ so that a minimal hypersurface ${M^{m}\longrightarrow (\mathbb{R}^{m+1}, \delta_{ij})}$ in a Euclidean space becomes a biharmonic hypersurface ${M^m\longrightarrow (\mathbb{R}^{m+1}, f^{-2}\delta_{ij})}$ in the conformally flat space. Our examples include all biharmonic hypersurfaces found in Ou (Pac J Math 248(1):217–232, 2010) and Ou and Tang (Mich Math J 61:531–542, 2012) as special cases.     

The second main theorem of hypersurfaces in the projective space

We deal with a holomorphic map from the complex plane ${\mathbb{C}}$ to the n-dimensional complex projective space ${\mathbb{P}^{n}(\mathbb{C})}$ and prove the Nevanlinna Second Main Theorem for some families of non-linear hypersurfaces in ${\mathbb{P}^{n}(\mathbb{C})}$ . This Second Main Theorem implies the defect relation. If the degree of the hypersurfaces are sufficiently large, the defect of the map is smaller than one. This means that holomorphic maps which omit the irreducible hypersurface of large degree is algebraically degenerate. To prove the Second Main Theorem, we use a meromorphic partial projective connection which is totally geodesic with respect to these hypersurfaces. A meromorphic partial projective connection is a family of locally defined meromorphic connections such which work as an entirely defined meromorphic connection under the Wronskian operator. By resolving the singularity and pulling back a meromorphic partial projective connection, we also prove the Second Main Theorem for singular hypersurfaces in ${\mathbb{P}^{n}(\mathbb{C})}$ , and prove the Second Main Theorem for smooth hypersurfaces in ${\mathbb{P}^{2}(\mathbb{C})}$ which are not normal crossing.     

Index and topology of minimal hypersurfaces in $$\mathbb {R}^n$$

In this paper, we consider immersed two-sided minimal hypersurfaces in \(\mathbb {R}^n\) with finite total curvature. We prove that the sum of the Morse index and the nullity of the Jacobi operator is bounded from below by a linear function of the number of ends and the first Betti number of the hypersurface. When \(n=4\), we are able to drop the nullity term by a careful study for the rigidity case. Our result is the first effective Morse index bound by purely topological invariants, and is a generalization of Li and Wang (Math Res Lett 9(1):95–104, 2002). Using our index estimates and ideas from the recent work of Chodosh–Ketover–Maximo (Minimal surfaces with bounded index, 2015. arXiv:1509.06724), we prove compactness and finiteness results of minimal hypersurfaces in \(\mathbb {R}^4\) with finite index.     

Geometric properties of the tetrablock

In this short note, we show that the tetrablock is a ${\mathbb{C}}$ -convex domain. In the proof of this fact, a new class of ( ${\mathbb{C}}$ -convex) domains is studied. The domains are natural candidates to study on them the behavior of holomorphically invariant functions.     

Hypersurfaces with {H_{r+1}} = 0 in {\mathbb{H}^n \times \mathbb{R}}

We prove the existence of rotational hypersurfaces in \({\mathbb{H}^n \times \mathbb{R}}\) with \({H_{r+1} = 0}\) (r-minimal hupersurfaces) and we classify them. Then we prove some uniqueness theorems for r-minimal hypersurfaces with a given (finite or asymptotic) boundary. In particular, we obtain a Schoen-type theorem for two ended complete hypersurfaces.     

On maps between nonminimal hypersurfaces

We construct an analytic jet parametrization for nontrivial CR maps between real-analytic 1-nonminimal hypersurfaces in ${\mathbb{C}^2}$ . In particular, this gives a real-analytic structure on the set of all such maps, and shows that the automorphism groups of a 1-nonminimal hypersurface in ${\mathbb{C}^2}$ is a Lie group. Our results also hold for some classes of 1-nonminimal hypersurfaces in higher dimensions.     

The Second Variational Formula for Laguerre Minimal Hypersurfaces in {\mathbb {R}^n}

Li and Wang (Manuscr Math 122(1):73–95, 2007) presented Laguerre geometry for hypersurfaces in ${\mathbb{R}^{n}}$ and calculated the first variational formula of the Laguerre functional by using Laguerre invariants. In this paper we present the second variational formula for Laguerre minimal hypersurfaces. As an application of this variational formula we give the standard examples of Laguerre minimal hypersurfaces in ${\mathbb{R}^{n}}$ and show that they are stable Laguerre minimal hypersurfaces. Using this second variational formula we can prove that a surface with vanishing mean curvature in ${\mathbb{R}^{3}_{0}}$ is Laguerre equivalent to a stable Laguerre minimal surface in ${\mathbb{R}^{3}}$ under the Laguerre embedding. This example of stable Laguerre minimal surface in ${\mathbb{R}^{3}}$ is different from the one Palmer gave in (Rend Mat Appl 19(2):281–293, 1999).     

A Minkowski-style theorem for focal functions of compact convex reflectors

This paper continues the study of a class of compact convex hypersurfaces in which are boundaries of compact convex bodies obtained by taking the intersection of (solid) confocal paraboloids of revolution. Such hypersurfaces are called reflectors. In reflectors arise naturally in geometrical optics and are used in design of light reflectors and reflector antennas. They are also important in rendering problems in computer graphics.

The notion of a focal function for reflectors plays a central role similar to that of the Minkowski support function for convex bodies. In this paper the basic question of when a given function is a focal function of a convex reflector is answered by establishing necessary and sufficient conditions. In addition, some smoothness properties of reflectors and of the associated directrix hypersurfaces are also etablished.

     

Stationary holomorphic discs and finite jet determination problems

We construct a family of small analytic discs attached to Levi non-degenerate hypersurfaces in $\mathbb{C }^{n+1}$ , which is globally biholomorphically invariant. We then apply this technique to study unique determination problems along Levi non-degenerate hypersurfaces that are merely of class $\mathcal{C }^4$ . This method gives 2-jet determination results for germs of biholomorphisms, CR diffeomorphisms, as well as in the almost complex setting.     

Addendum to “Complete rotation hypersurfaces with <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis></Subscript> constant in space forms”*

Here we study complete rotation hypersurfaces with constant k-th mean curvature H_k in even and 2 < k < n. We prove the existence of a constant such that there are no such hypersurfaces for . We have only one compact hypersurface of this kind with . For each there is a corresponding family of complete immersed rotation hypersurfaces, each family containing two isoparametric hypersurfaces. For H_k ≥ 0, there is also such a family, now containing only one isoparametric hypersurface. Finally, we prove the existence of compact hypersurfaces with arbitrarily large H_k , neither isometric to a sphere nor to a product of spheres. *Bull. Braz. Math. Soc. 30 (2), 1999, 139–161. **Partially supported by FUNCAP, Brazil. ***Partially supported by CNPq, Brazil and DGAPA-UNAM, México.     

Quantitative Stratification and the Regularity of Mean Curvature Flow

Let ${\mathcal{M}}$ be a Brakke flow of n-dimensional surfaces in ${\mathbb{R}^N}$ . The singular set ${\mathcal{S} \subset \mathcal{M}}$ has a stratification ${\mathcal{S}^0 \subset \mathcal{S}^1 \subset \cdots \mathcal{S}}$ , where ${X \in \mathcal{S}^j}$ if no tangent flow at X has more than j symmetries. Here, we define quantitative singular strata ${\mathcal{S}^j_{\eta, r}}$ satisfying ${\cup_{\eta>0} \cap_{0<r} \mathcal{S}^j_{\eta, r} = \mathcal{S}^j}$ . Sharpening the known parabolic Hausdorff dimension bound ${{\rm dim} \mathcal{S}^j \leq j}$ , we prove the effective Minkowski estimates that the volume of r-tubular neighborhoods of ${\mathcal{S}^j_{\eta, r}}$ satisfies ${{\rm Vol} (T_r(\mathcal{S}^j_{\eta, r}) \cap B_1) \leq Cr^{N + 2 - j-\varepsilon}}$ . Our primary application of this is to higher regularity of Brakke flows starting at k-convex smooth compact embedded hypersurfaces. To this end, we prove that for the flow of k-convex hypersurfaces, any backwards selfsimilar limit flow with at least k symmetries is in fact a static multiplicity one plane. Then, denoting by ${\mathcal{B}_r \subset \mathcal{M}}$ the set of points with regularity scale less than r, we prove that ${{\rm Vol}(T_r(\mathcal{B}_r)) \leq C r^{n+4-k-\varepsilon}}$ . This gives L ^p -estimates for the second fundamental form for any p < n + 1 ? k. In fact, the estimates are much stronger and give L ^p -estimates for the reciprocal of the regularity scale. These estimates are sharp. The key technique that we develop and apply is a parabolic version of the quantitative stratification method introduced in Cheeger and Naber (Invent. Math., (2)191 2013), 321–339) and Cheeger and Naber (Comm. Pure. Appl. Math, arXiv:1107.3097v1, 2013).     

Restriction for flat surfaces of revolution in

We investigate restriction theorems for hypersurfaces of revolution in with affine curvature introduced as a mitigating factor. Abi-Khuzam and Shayya recently showed that a Stein-Tomas restriction theorem can be obtained for a class of convex hypersurfaces that includes the surfaces We enlarge their class of hypersurfaces and give a much simplified proof of their result.

     

Diophantine equations with products of consecutive members of binary recurrences

We prove a finiteness result for the number of solutions of a Diophantine equation of the form \(u_n u_{n+1}\cdots u_{n+k}\pm 1 =\pm u_m^2\), where \(\{ u_n\}_{n\ge 1}\) is a binary recurrent sequence whose characteristic equation has roots which are real quadratic units.     

Blaschke’s problem for hypersurfaces

We solve Blaschke’s problem for hypersurfaces of dimension . Namely, we determine all pairs of Euclidean hypersurfaces that induce conformal metrics on M ⁿ and envelop a common sphere congruence in .     

A Bernstein property of solutions to a class of prescribed affine mean curvature equations

Let \(x: M \rightarrow A^{n+1}\) be a locally strongly convex hypersurface, given as the graph of a locally strongly convex function x _n+1 = z(x ₁, ..., x _n ). In this paper we prove a Bernstein property for hypersurfaces which are complete with respect to the metric \(G^{\sharp} = \sum \left( \frac{\partial^{2}z}{\partial x_{i} \partial x_{j}} \right) dx_{i} dx_{j}\) and which satisfy a certain Monge–Ampère type equation. This generalises in some sense the earlier result of Li and Jia for affine maximal hypersurfaces of dimension n = 2 and n = 3 (Li, A.-M., Jia, F.: A Bernstein property of affine maximal hypersurfaces. Ann. Glob. Anal. Geom. 23, 359–372 (2003)), related results (Li, A.-M., Jia, F.: Locally strongly convex hypersurfaces with constant affine mean curvature. Diff. Geom. Appl. 22(2), 199–214 (2005)) and results for n = 2 of Trudinger and Wang (Trudinger, N.S., Wang, X.-J.: Bernstein-Jörgens theorem for a fourth order partial differential equation. J. Partial Diff. Equ. 15(2), 78–88 (2002)).     

The Perron method and the non-linear Plateau problem

We describe a novel technique for solving the Plateau problem for constant curvature hypersurfaces based on recent work of Harvey and Lawson. This is illustrated by an existence theorem for hypersurfaces of constant Gaussian curvature in ${\mathbb{R}^{n+1}}$ .     

Hopf hypersurfaces of small Hopf principal curvature in $${\mathbb{C}{\rm H}^2}$$

Using the methods of moving frames and exterior differential systems, we show that there exist Hopf hypersurfaces in complex hyperbolic space with any specified value of the Hopf principal curvature α less than or equal to the corresponding value for the horosphere. We give a construction for all such hypersurfaces in terms of Weierstrass-type data, and also obtain a classification of pseudo-Einstein hypersurfaces in .