English

Tangent cones and $C^1$ regularity of definable sets

Geometric Topology 2017-03-17 v1 Differential Geometry

Abstract

Let XRnX\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) XX is a C1C^1 manifold, (ii) the tangent cone and the paratangent cone of XX coincide at every point in XX, (iii) for every xXx \in X, the tangent cone of XX at the point xx is a kk-dimensional linear subspace of Rn\mathbb R^n (kk does not depend on xx) varies continuously in xx, and the density θ(X,x)<3/2\theta(X, x) < 3/2.

Keywords

Cite

@article{arxiv.1703.05421,
  title  = {Tangent cones and $C^1$ regularity of definable sets},
  author = {Krzysztof Kurdyka and Olivier Le Gal and Nhan Nguyen},
  journal= {arXiv preprint arXiv:1703.05421},
  year   = {2017}
}

Comments

11 pages