相关论文: Tangent cones and regularity of real hypersurfaces

Let $X\subset \mathbb R^n$ be a connected locally closed definable set in an o-minimal structure. We prove that the following three statements are equivalent: (i) $X$ is a $C^1$ manifold, (ii) the tangent cone and the paratangent cone of…

We establish uniqueness and regularity results for tangent cones (at a point or at infinity) with isolated singularities arising from a given immersed stable minimal hypersurface with suitably small (non-immersed) singular set. In…

First we construct minimal hypersurfaces $M\subset\mathbf{R}^{n+1}$ in a neighborhood of the origin, with an isolated singularity but cylindrical tangent cone $C\times \mathbf{R}$, for any strictly minimizing strictly stable cone $C$ in…

In this paper, we present several definitive characterizations of the $C^1$ smoothness of definable sets in terms of their tangent cones and some other metric properties. In particular, we recover some of the beautiful characterizations…

Given a closed complex hypersurface $Z\subset \mathbb{C}^{N+1}$ $(N\in\mathbb{N})$ and a compact subset $K\subset Z$, we prove the existence of a pseudoconvex Runge domain $D$ in $Z$ such that $K\subset D$ and there is a complete proper…

We prove here that in the complement of the closure of the hyperbolic surface diffeomorphisms, the ones exhibiting a homoclinic tangency are C^1 dense. This represents a step towards the global understanding of dynamics of surface…

We determine all triples $(e,d,n)$ for which a general degree $d$ hypersurface $X\subset \mathbb{P}^n$ contains a degree $e$ rational curve $C$ with balanced restricted tangent bundle $T_X|_C$. In addition, we show how to compute explicit…

We prove a necessary and sufficient condition for a $ C^1 $-hypersurface to have all parallel sets nowhere $ C^1 $-regular. As a corollary, we deduce that for a generic $ C^1 $-regular convex body all interior parallel bodies have nowhere $…

We consider immersions admitting uniform graph representations over the affine tangent space over a ball of fixed radius r>0. We show that for sufficiently small C^0-norm of the graph functions, each graph function is smooth with small…

Given a smooth curve $\gamma$ in some $m$-dimensional surface $M$ in $\mathbb{R}^{m+1}$, we study existence and uniqueness of a flat surface $H$ having the same field of normal vectors as $M$ along $\gamma$, which we call a flat…

We consider a CMC hypersurface with an isolated singular point at which the tangent cone is regular, and such that, in a neighbourhood of said point, the hypersurface is the boundary of a Caccioppoli set that minimises the standard…

Let $X\subset\mathbb{C}^m$ be an unbounded pure $k$-dimensional algebraic set. We define the tangent cones $C_{4, \infty}(X)$ and $C_{5,\infty}(X)$ of $X$ at infinity. We establish some of their properties and relations. We prove that $X$…

We prove curvature estimates for general curvature functions. As an application we show the existence of closed, strictly convex hypersurfaces with prescribed curvature $F$, where the defining cone of $F$ is $\C_+$. $F$ is only assumed to…

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…

Let $(M,g)$ be a smooth connected Riemannian manifold. We show an improvement of flatness theorem for hypersurfaces of $M$ of bounded nonlocal mean curvature in the viscosity sense. It implies local $ C^{1,\alpha}$ regularity of these…

We show that the normal points of a cubic hypersurface in projective space have canonical singularities unless the hypersurface is an iterated cone over an elliptic curve. As an application, we give a simple linear algebraic description of…

We show that every formal embedding sending a real-analytic strongly pseudoconvex hypersurface in $M\subset \C^N$ into another such hypersurface in $M'\subset \C^{N+1}$ is convergent. More generally, if $M$ and $M'$ are merely…

We prove that a stable minimal hypersurface of an open ball having a singular set of locally finite codimension 2 Hausdorff measure which is weakly close to a multiplicity 2 hyperplane is a 2-valued C^{1, alpha} graph in the interior.…

A convex subset X of a linear topological space is called compactly convex if there is a continuous compact-valued map $\Phi:X\to exp(X)$ such that $[x,y]\subset\Phi(x)\cup \Phi(y)$ for all $x,y\in X$. We prove that each convex subset of…

We prove that finite area isolated singularities of surfaces with constant positive curvature in R^3 are removable singularities, branch points or immersed conical singularities. We describe the space of immersed conical singularities of…