What is the degree of a smooth hypersurface?

From MaRDI portal
Publication:5028384

DOI10.5427/JSING.2021.23LzbMATH Open1489.14080arXiv2010.14553OpenAlexW4206618060MaRDI QIDQ5028384FDOQ5028384


Authors: Michele Stecconi, Antonio Lerario Edit this on Wikidata


Publication date: 9 February 2022

Published in: Journal of Singularitiesl (Search for Journal in Brave)

Abstract: Let D be a disk in mathbbRn and finCr+2(D,mathbbRk). We deal with the problem of the algebraic approximation of the set jrf1(W) consisting of the set of points in the disk D where the r-th jet extension of f meets a given semialgebraic set WsubsetJr(D,mathbbRk). Examples of sets arising in this way are the zero set of f, or the set of its critical points. Under some transversality conditions, we prove that f can be approximated with a polynomial map p:DomathbbRk such that the corresponding singularity is diffeomorphic to the original one, and such that the degree of this polynomial map can be controlled by the Cr+2 data of f. More precisely, �egin{equation} ext{deg}(p)le Oleft(frac{|f|_{C^{r+2}(D, mathbb{R}^k)}}{mathrm{dist}_{C^{r+1}}(f, Delta_W)} ight), end{equation} where DeltaW is the set of maps whose r-th jet extension is not transverse to W. The estimate on the degree of p implies an estimate on the Betti numbers of the singularity, however, using more refined tools, we prove independently a similar estimate, but involving only the Cr+1 data of f. These results specialize to the case of zero sets of finC2(D,mathbbR), and give a way to approximate a smooth hypersurface defined by the equation f=0 with an algebraic one, with controlled degree (from which the title of the paper). In particular, we show that a compact hypersurface ZsubsetDsubsetmathbbRn with positive reach ho(Z)>0 is isotopic to the zero set in D of a polynomial p of degree �egin{equation} ext{deg}(p)leq c(D)cdot 2 left(1+frac{1}{ ho(Z)}+frac{5n}{ ho(Z)^2} ight),end{equation} where c(D)>0 is a constant depending on the size of the disk D (and in particular on the diameter of Z).


Full work available at URL: https://arxiv.org/abs/2010.14553




Recommendations





Cited In (4)





This page was built for publication: What is the degree of a smooth hypersurface?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5028384)