2010/05/16 by Mohammad Ghomi, Ralph Howard, Ghomi, Mohammad +1 · 1 citation
Mathematics · #14P05 #32C07 #52A20 #53A07 #Algebraic Geometry (math.AG) #Complex Variables (math.CV) #Differential Geometry (math.DG) #FOS: Mathematics #Metric Geometry (math.MG) #Optimization and Control (math.OC) #math.AG #math.CV #math.DG #math.MG #math.OC #msc:14P05 #msc:32C07 #msc:52A20 #msc:53A07
paper · pdf · doi:10.48550/arxiv.1005.2761
Minor revisions; to appear in J. Reine Angew. Math. (Crelle's Journal)
arxiv created 2013/09/14 · arxiv updated 2013/09/17
We characterize embedded \C1 hypersurfaces of \Rn as the only locally closed sets with continuously varying flat tangent cones whose measure-theoretic-multiplicity is at most m<3/2. It follows then that any (topological) hypersurface which has flat tangent cones and is supported everywhere by balls of uniform radius is \C1. In the real analytic case the same conclusion holds under the weakened hypothesis that each tangent cone be a hypersurface. In particular, any convex real analytic hypersurface X⊂\Rn is \C1. Furthermore, if X is real algebraic, strictly convex, and unbounded then its projective closure is a \C1 hypersurface as well, which shows that X is the graph of a function defined over an entire hyperplane.