On donne une nouvelle démonstration directe du théorème de Hilbert-Samuel arithmétique et on déduit un critère numérique pour l’existence de sections d’un fibré en droite sur une variété arithmétique de norme sup inférieure à un.
Nous donnons une preuve géométrique du théorème d’élimination des quantificateurs pour les fonctions logarithmico-exponentielles prouvé initialement par van den Dries, Macintyre et Marker. Notre démonstration n’utilise pas de Théorie des Modèles. Elle repose sur un théorème de préparation pour les fonctions sous-analytiques.
Je démontre des théorèmes d’annulation de la cohomologie de Dolbeault de fibrés vectoriels amples sur une variété projective lisse, munis d’une forme symplectique ou d’une forme quadratique non-dégénérée à valeurs dans un fibré en droites. L’hypothèse d’existence d’une telle forme permet d’améliorer les résultats similaires précédents. Je fais aussi des remarques sur la cohomologie des fibrés en droites sur les grassmanniennes isotropes.
On introduit, dans ce travail, une hypothèse sur le spiralement d’une feuille d’un feuilletage analytique réel de codimension un (hypersurface pfaffienne). On en tire des résultats très généraux de finitude du type de Khovanskii. Des exemples précis montrent la généralité de ces hypersurfaces pfaffiennes. Une description complété des bouts de telles variétés en dimension trois est donnée.