La trace en géométrie projective et torique.

• Main Author: Weimann, Martin
• Language: FRE
• Published: Université Sciences et Technologies - Bordeaux I 2006
• Subjects: [MATH] Mathematics; Concavité; Dualité; Incidence; Transformée d'Abel; Trace; Courants<br />résiduels; Résidus de Grothendieck; Formes abéliennes; Abel-inverse; Géométrie torique; Résidus toriques; Résultants; Fibrés en droites; Groupes de Chow
• Online Access: http://tel.archives-ouvertes.fr/tel-00136109; http://tel.archives-ouvertes.fr/docs/00/13/61/09/PDF/theseweimann.pdf; http://tel.archives-ouvertes.fr/docs/00/13/61/09/ANNEX/SoutenanceBeamer.pdf

On étudie la notion de trace et les problèmes d'Abel-inverse à<br />l'aide du calcul résiduel dans les cadres projectifs et toriques.<br />Dans la première partie, on obtient une caractérisation algébrique des formes traces sur une hypersurface analytique à l'aide du calcul résiduel élémentaire d'une variable. En conséquence, une version plus forte du théorème d'Abel-inverse de Henkin et Passare est prouvée. On montre que ce théorème est conséquence de la rigidité d'un système différentiel particulier lié à une équation de type ”onde de choc” et on établit le lien avec le théorème de Wood sur l'algébricité d'une famille de germes d'hypersurfaces analytiques. Enfin, on obtient une nouvelle méthode pour calculer la dimension de l'espace des formes abéliennes de degré maximal sur une hypersurface projective.<br />Dans la seconde partie, on caractérise de manière combinatoire les familles de fibrés en droites permettant de définir une notion intrinsèque de concavité dans une variété torique complète lisse et on étudie les ensembles analytiques dégénérés correspondants. On étend ainsi la notion de trace au cas torique. Courants résidus, résidus toriques et résultants donnent une borne optimale sur le degrés des traces en les différents paramètres. Si la variété torique est projective, on obtient finalement une version torique des théorèmes de Wood et d'Abel-inverse, permettant une description plus précise du support du polynôme construit dans le cas hypersurface.