Rational curves and hypersurfaces of projective space

Conduché, Denis

HAL, NNT: 2006STR13243 / Harvested from HAL

Résumé

Une variété algébrique est dite unirationnelle si elle est dominée par un espace projectif ; elle est dite séparablement unirationnelle si on peut prendre le morphisme précédent séparable. Cette dernière propriété n'a d'intérêt qu'en caractéristique positive. En reprenant la démonstration de Paranjape et Srinivas de l'unirationalité des hypersurfaces de degré très petit devant la dimension, nous remarquons qu'elle montre en fait l'unirationalité séparable. Nous nous intéressons aussi à la séparabilité des morphismes fournis par différentes constructions classiques de l'unirationalité des hypersurfaces cubiques.

Dans la troisième partie, nous étudions la connexité rationnelle séparable : une variété projective lisse X sur un corps algébriquement clos est dite séparablement rationnellement connexe s'il existe une courbe rationnelle très libre (c'est-à-dire à fibré normal ample) sur X. Nous testons sur les hypersurfaces de Fermat de dimension N-1 et de degré q+1, où q est une puissance de la caractéristique du corps de base, la conjecture que toutes les hypersurfaces lisses de dimension N-1 et de degré plus petit que N sont séparablement rationnellement connexes. Nous montrons que pour N plus grand que 2q-1, l'hypersurface de Fermat de degré q+1 contient une courbe rationnelle très libre définie sur le sous-corps premier ; elle est donc séparablement rationnellement connexe.

Détail

Publié le : 2006-11-30
Classification:  Cubic and quartic equations,  Higher degree equations,  Fermat's equation,  Varieties over finite and local fields,  Finite ground fields,  Rational and unirational varieties,  Surfaces,  hypersurfaces,  corps de base fini,  surfaces et hypersurfaces,  équations cubiques et quartiques,  équations en degré supérieur: équation de Fermat,  variétés sur des corps finis et des corps locaux,  variétés rationnelles et unirationnelles,  surfaces et hypersurfaces.,  [MATH]Mathematics [math]