Complex geometry seminar

titres et résumés à venir

titres et résumés à venir

titres et résumés à venir

Geometric methods in computational complexity

Les objets de l’exposé sont les groupes algébriques commutatifs
sur un corps arbitraire. Leur structure est bien comprise lorsqu’on
se restreint aux groupes linéaires sur le corps des complexes, mais le
cas général est beaucoup plus compliqué dès la dimension 2. L’exposé
présentera des résultats classiques et récents sur la catégorie abélienne
formée des groupes algébriques commutatifs et de leurs morphismes ;
on développera l’analogie avec la catégorie des faisceaux cohérents
sur une variété algébrique.

Hilbert a démontré qu’un polynôme réel en deux variables qui prend des valeurs positives est somme de quatre carrés de fractions rationnelles. Cassels, Ellison et Pfister ont montré que ce résultat est optimal : il existe de tels polynômes qui ne sont pas sommes de trois carrés de fractions rationnelles. Dans cet exposé, nous expliquerons pourquoi les polynômes qui peuvent s’écrire comme sommes de trois carrés sont denses dans l’ensemble de ceux qui sont positifs.