No label defined (Q4025968)

[For the entire collection see Zbl 0745.00060.] Soit \(K\) un corps de caractéristique zéro, muni d'une valeur absolue \(| |\). L'étude de la distance d'un point \(x\in K^ n\) à une sous-variété algébrique \(V\) définie sur \(K\) de \(K^ n\) est un des points clefs de l'approche effective du théorème des zéros de Hilbert, tel qu'établi par W. D. Brownawell. Si \(f_ 1,\dots,f_ k\) sont des générateurs de l'idéal de définition de \(V\), S. Ji, J. Kollár et B. Shiffman ont montré \[ \text{dist}(x,V)^ m\leq C(m, \mathbf{f}),\;\max_ i| f_ i(x)|\;(1+\| x\|)^{D^ \mu}\tag{*} \] où \(m\leq D^ \mu\), \(\mu=\min(k,n)\), \(\| \|\) désigne la norme euclidienne et dist la distance euclidienne dans \(K^ n\). L'A. montre dans ce texte comment contrôler plus précisément l'exposant \(m\). Par exemple, si \(x\) parcoure une sous-variété linéaire \(L\) de \(K^ n\) de codimension égale à \(\dim V\), telle que \(L\cap V\) soit fini alors \(m\) peut-être pris inférieur ou égal à la multiplicité de \(V\) dans la direction \(L\). Combinant ceci avec la version forte du théorème des zéros il retrouve une versione projective de l'inégalité de Łojasiewicz (*) mentionnée ci-dessus.