Minoration de la hauteur normalisée des hypersurfaces (Q4486463)

Ce texte se situe à l'interface entre le problème de Lehmer et le théorème de Zhang-Zagier. F.~Amoroso et S. David y minorent la hauteur normalisée d'une hypersurface algébrique \(V\), définie sur \(\mathbb{Q}\), qui n'est pas translatée d'un sous-groupe algébrique par un point de torsion dans un groupe multiplicatif \(\mathbb{G}_m^n\). La minoration, qui étend le célèbre théorème de E. Dobrowolski, fait logiquement intervenir le degré \(d(V)\) de la variété sur \(\mathbb{Q}\), mais ceci de façon quasi-optimale: \[ \widehat{h}(V)\geq c(n)\cdot \frac {(\log((n+1) \log ((n+1) d(V))))^{2+1/ (n-s)}} {(\log ((n+1) d(V)))^{1+2/ (n-s)}}, \] où \(s\) désigne la dimension du stabilisateur de \(V\) dans \(\mathbb{G}_m^n\). À titre de comparaison, on sait que lorsque \(V\) est définie sur \(\overline{\mathbb{Q}}\) et n'est pas translatée d'un sous-groupe algébrique on a seulement \[ \widehat{h}(V)\geq 2^{-41}\cdot (d(V)\cdot (\log(d(V)+ 1)))^{-2}. \] La démonstration, qui reprend les idées de Dobrowolski, s'appuie sur une étude précise des stabilisateurs des hypersurfaces et de leurs propriétés galoisiennes.