We deal with the problem of the algebraic approximation of type-W singularities of smooth functions on a closed n-disk, namely the set of points in the disk where the jet extension of the function meets a given semialgebraic subset W of the jet space; examples of sets arising in this way are the zero set of a function, or the set of its critical points.We prove that the type-W singularity defined by a smooth function, satisfying a transversality condition, is isotopic to the one defined by a polynomial whose degree is explicitly bounded in terms of the distance of the original function from the set of functions which do not satisfy the transversality condition. Ultimately, the bound depends on the second derivatives of the jet of the function. The estimate on the degree of the approximating polynomial implies an estimate on the Betti numbers of the original singularity. Using more refined and recently developed tools, we prove a second bound, directly for Betti numbers, that is of lower order than that implied by the previous one, in that it depends only on the first derivatives of the jet.These results specialize to the case of a smooth compact hypersurface, resulting in a control of the minimal degree of its algebraic realization (from which the title of the paper) and of its Betti numbers. As a corollary we prove an upper bound on the number of isotopy classes of compact hypersurfaces satisfying a certain quantitative transversality condition. Moreover, we show that in this case the second estimate on the Betti numbers is asymptotically sharp. Finally, we relate the two estimates - the one for the degree of a polynomial realization and the one for the Betti numbers - with the geometric data of the hypersurface, independent from its defining equation, showing that the bounds can be given in terms of the reach and the diameter.

What is the degree of a smooth hypersurface? / Lerario, Antonio; Stecconi, Michele. - In: JOURNAL OF SINGULARITIES. - ISSN 1949-2006. - 23:(2021), pp. 205-235. [10.5427/jsing.2021.23l]

What is the degree of a smooth hypersurface?

Lerario, Antonio;Stecconi, Michele
2021-01-01

Abstract

We deal with the problem of the algebraic approximation of type-W singularities of smooth functions on a closed n-disk, namely the set of points in the disk where the jet extension of the function meets a given semialgebraic subset W of the jet space; examples of sets arising in this way are the zero set of a function, or the set of its critical points.We prove that the type-W singularity defined by a smooth function, satisfying a transversality condition, is isotopic to the one defined by a polynomial whose degree is explicitly bounded in terms of the distance of the original function from the set of functions which do not satisfy the transversality condition. Ultimately, the bound depends on the second derivatives of the jet of the function. The estimate on the degree of the approximating polynomial implies an estimate on the Betti numbers of the original singularity. Using more refined and recently developed tools, we prove a second bound, directly for Betti numbers, that is of lower order than that implied by the previous one, in that it depends only on the first derivatives of the jet.These results specialize to the case of a smooth compact hypersurface, resulting in a control of the minimal degree of its algebraic realization (from which the title of the paper) and of its Betti numbers. As a corollary we prove an upper bound on the number of isotopy classes of compact hypersurfaces satisfying a certain quantitative transversality condition. Moreover, we show that in this case the second estimate on the Betti numbers is asymptotically sharp. Finally, we relate the two estimates - the one for the degree of a polynomial realization and the one for the Betti numbers - with the geometric data of the hypersurface, independent from its defining equation, showing that the bounds can be given in terms of the reach and the diameter.
2021
23
205
235
https://arxiv.org/abs/2010.14553
Lerario, Antonio; Stecconi, Michele
File in questo prodotto:
File Dimensione Formato  
lerario-stecconi.pdf

non disponibili

Tipologia: Versione Editoriale (PDF)
Licenza: Non specificato
Dimensione 980.98 kB
Formato Adobe PDF
980.98 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11767/141972
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact