Smoothing of real algebraic hypersurfaces by rigid isotopies

Nabutovsky, Alexander

Annales de l'Institut Fourier, Tome 41 (1991) no. 1, pp. 11-25

Define for a smooth compact hypersurface $M^n$ of ${\mathbf{R}}^{n+1}$ its crumpleness $\kappa \left(M^n\right)$ as the ratio ${diam}_{{\mathbf{R}}^{n+1}}(M^n)/r(M^n)$, where $r\left(M^n\right)$ is the distance from $M^n$ to its central set. (In other words, $r\left(M^n\right)$ is the maximal radius of an open non-selfintersecting tube around $M^n$ in ${\mathbf{R}}^{n+1}.)$

We prove that any $n$-dimensional non-singular compact algebraic hypersurface of degree $d$ is rigidly isotopic to an algebraic hypersurface of degree $d$ and of crumpleness $\le exp\left(c\right(n\left)d^{\alpha \left(n\right)d^{n+1}}\right)$. Here $c\left(n\right)$, $\alpha \left(n\right)$ depend only on $n$, and rigid isotopy means an isotopy passing only through hypersurfaces of degree $\le d$. As an application, we show that for some constants $c,\beta$ any two isotopic smooth non-singular algebraic compact curves of degree $\le d$ in ${\mathbf{R}}^2$ can be connected by an isotopy passing only through algebraic curves of degree $\le exp\left(c{d}^{\beta d^2}\right)$. As another application, we show how to derive an upper bound in terms of $d$ only (for a fixed $n$) for the minimal number of simplices in a $C^{\infty }$- triangulation of a compact non-singular $n$-dimensional algebraic hypersurface of degree $d$.

Soit $M_n\subset {\mathbf{R}}^{n+1}$ une hypersurface compacte lisse. Nous définissons $\kappa \left(M^n\right)$ comme le rapport ${diam}_{{\mathbf{R}}^{n+1}}(M^n)/r(M^n)$ où $r\left(M^n\right)$ est la distance de $M^n$ à l’ensemble central de $M^n$ (en d’autres termes, $r\left(M^n\right)$ est le rayon maximal d’un voisinage tubulaire ouvert de $M^n$ sans self-intersection). Nous prouvons que chaque hypersurface algébrique réelle non-singulière de degré $d$ peut être liée par une isotopie rigide avec une hypersurface algébrique ${\Sigma }_0^n$ de degré $d$ telle que $\kappa \left({\Sigma }_0^n\right)\le exp\left(c\right(n\left)d^{\alpha \left(n\right)d^{n+1}}\right)$. Ici $c\left(n\right)$, $\alpha \left(n\right)$ ne dépendent que de $n$, et isotopie rigide est une isotopie qui passe seulement à travers des hypersurfaces algébriques de degré $\le d$.

Comme application de ce résultat, nous démontrons qu’il existe des constantes $c,\beta$ telles que chaque paire de courbes planaires algébriques réelles non-singulières de degré $d$ peut être liée par une isotopie qui passe à travers des courbes algébriques de degré $\le exp\left(c{d}^{\beta d^2}\right)$. On en déduit par ailleurs, pour $n$ fixé, une borne supérieure en fonction de $d$, du nombre minimal de simplexes dans une triangulation $C^{\infty }$ d’une hypersurface algébrique de dimension $n$, non singulière de degré $d$.

[AMR] R. Abraham, J.E. Marsden, T. Ratiu, Manifolds, Tensor Analysis, and Applications, Springer, 1988. | Zbl

[ABB] F. Acquistapace, R. Benedetti, F. Broglia, Effectiveness-non effectiveness in semi-algebraic and PL geometry, Inv. Math., 102 (1) (1990), 141-156. | Zbl | MR

[BZ] Yu. Burago, V. Zalgaller, Geometric Inequalities, Springer, 1988. | Zbl

[GPS] J. Goodman, R. Pollack, B. Strumfels, The intrinsic spread of a configuration in Rd, J. Amer. Math. Soc., 3 (1990), 639-651. | Zbl

[GV] D. Grigorjev, N. Vorobjov, Solving systems of polynomial inequalities in subexponential time, J. of Symbolic Computations, 5 (1988), 37-64. | Zbl | MR

[GZK] I.M. Gelfand, A.V. Zelevinsky, M.M. Kapranov, On discriminants of multivariate polynomials, Funct. Analysis and Appl., 24 (1) (1990), 1-4 (in Russian). | Zbl

[L] D. Lazard, Résolutions des systèmes d'équations algébriques, Theor. Comput. Sci., 15 (1981), 77-110. | Zbl | MR

[LF1] V. Lagunov, A. Fet, Extremal problems for hypersurfaces of a given topological type, I, Siberian Math. J., 4(1) (1963), 145-176 (in Russian).

[LF2] V. Lagunov, A. Fet, Extremal problems for hypersurfaces of a given topological type, II, Siberian Math. J., 6(5) (1965), 1026-1036 (in Russian). | Zbl

[M] D. Milman, The central function of the boundary of a domain and its differentiable properties, J. of Geometry, 14 (1980), 182-202. | Zbl | MR

[MW] D. Milman, Z. Waksman, On topological properties of the central set of a bounded domain in Rn, J. of Geometry, 15 (1981), 1-7. | Zbl | MR

[Mo] E.E. Moise, Geometric Topology in Dimensions 2 and 3, Springer, 1977. | Zbl | MR

[N1] A. Nabutovsky, Nonrecursive functions in real algebraic geometry, Bull. Amer. Math. Soc., 20 (1), 61-65. | Zbl | MR

[N2] A. Nabutovsky, Isotopies and nonrecursive functions in real algebraic geometry, in Real Analytic and Algebraic Geometry, edited by M. Galbiati and A. Tognoli, Springer, Lect. Notes in Math., n° 1420, pp. 194-205. | Zbl | MR

[N3] A. Nabutovsky, Number of solutions with a norm bounded by a given constant of a semilinear elliptic PDE with a generic right hand side, to appear in Trans. Amer. Math. Soc. | Zbl

[R] V. Rokhlin, Complex topological characteristics of real algebraic curves, Russian Math. Surveys, 33 (5) (1978), 85-98. | Zbl | MR

[T] J. Thorpe, Elementary Topics in Differential Geometry, Springer, 1979. | Zbl | MR

[VEL] A.G. Vainstein, V.A. Efremovitch, E.A. Loginov, On the skeleton of a Riemann manifold with an edge, Russian Math. Surveys, 33(3) (1978), 181-182. | Zbl

[Vi] O. Viro, Progress in the topology of real algebraic varieties over the last six years, Russian Math. Surveys, 41 (3) (1986), 55-82. | Zbl

[V] N. Vorobjov, Estimates of real roots of a system of algebraic equations, J. of Soviet Math., 34 (1986), 1754-1762. | Zbl

[VW] B.L. Van Der Waerden, Modern Algebra, v. II, Frederik Ungar Publishing Co, 1950.

[Wh] H. Whitney, Geometric Integration Theory, Princeton University Press, Princeton, 1957. | Zbl | MR