Related papers: On the real-analyticity of rigid spherical hypersu…

We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…

Generalizing a theorem of Huang, Cheng and Wan classified the complete hypersurfaces of $\mathbb R^4$ with non-zero constant mean curvature and constant scalar curvature. In our work, we obtain results of this nature in higher dimensions.…

Reeb spaces of smooth functions are fundamental and strong tools in understanding manifolds via smooth functions with mild critical points. They are defined as the natural spaces of all connected components of level sets. They are also…

In this letter, we establish a general fact about the convergence of images of families of closed analytic surfaces in the special linear group $\operatorname{SL}_2(\mathbb{C})$ under the quotient by its maximal compact subgroup…

Let $S$ be a convex hypersurface (the boundary of a closed convex set $V$ with nonempty interior) in $\mathbb{R}^n$. We prove that $S$ contains no lines if and only if for every open set $U\supset S$ there exists a real-analytic convex…

In this paper, we prove three related results; (1) Extension of our result in [10] to all generic hypersurfaces. More precisely, the normal sheaf of a generic rational map $c_0$ to a generic hypersurface $X_0$ of $\mathbf P^n, n\geq 4$ has…

We study the product structure on the Chow ring (with rational coefficients) of a cubic hypersurface in projective space and prove that the image of the product map is as small as possible.

The non-trivial complete totally geodesic submanifolds of the complex hyperbolic plane $\mathbb H_{\mathbb C}^2$ are the complex geodesics and the real planes. We present two new proofs for this fact. One is a short proof based on an…

In this paper, we prove metric analogues, in any dimension and in any co-dimension, of the famous Theorem of Mumford on smoothness of normal surfaces and the beautiful Theorem of Ramanujam that gives a topological characterization of…

In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…

We investigate the problem of finding smooth hypersurfaces of constant mean curvature in hyperbolic space, which can be represented as radial graphs over a subdomain of the upper hemisphere. Our approach is variational and our main results…

In [B.Gruenbaum, G.C. Shephard, Spherical tilings with transitivity properties, in: The geometric vein, Springer, New York, 1981, pp. 65-98], they proved "for every spherical normal tiling by congruent tiles, if it is isohedral, then the…

Let U be the closed unit disc in C and let p be a point on the unit circle. Let f be a continuous function on U which extends holomorphically from each circle contained in U and centered at the origin, and from each circle contained in U…

We consider closed biharmonic hypersurfaces in the Euclidean sphere and prove a rigidity result under a suitable condition on the scalar curvature. Moreover, we establish an integral formula involving the position vector for biharmonic…

We introduce new biholomorphic invariants for real-analytic hypersurfaces in 2-dimensional complex space and show how they can be used to show that a hypersurface possesses few automorphisms. We give conditions, in terms of the new…

We prove a topological rigidity theorem for closed hypersurfaces of the Euclidean sphere and of an elliptic space form. It asserts that, under a lower bound hypothesis on the absolute value of the principal curvatures, the hypersurface is…

We obtain a complete classification of proper biharmonic hypersurfaces with at most three distinct principal curvatures in sphere spaces with arbitrary dimension. Precisely, together with known results of Balmu\c{s}-Montaldo-Oniciuc, we…

Let k be a finite field with characteristic exceeding 3. We prove that the space of rational curves of fixed degree on any smooth cubic hypersurface over k with dimension at least 11 is irreducible and of the expected dimension.

We establish an injective correspondence $M\longrightarrow\mathcal E(M)$ between real-analytic nonminimal hypersurfaces $M\subset\mathbb{C}^{2}$, spherical at a generic point, and a class of second order complex ODEs with a meromorphic…

A graph G is a (Euclidean) unit disk graph if it is the intersection graph of unit disks in the Euclidean plane $\mathbb{R}^2$. Recognizing them is known to be $\exists\mathbb{R}$-complete, i.e., as hard as solving a system of polynomial…