On explique, dans la généralité étudiée par Raghavendra, la réduction de UNIQUE VERTEX COVER a un problème de satisfaction de contraintes, en utilisant les tests de dictature décrits par Eric.
Soit X une variété algébrique définie sur un corps de nombres k.La théorie classique de la descente de Colliot-Thélène et Sansuc (raffinée parSkorobogatov) consiste en gros à décrire les propriétés arithmétiques de X viacelles des X-torseurs sous les groupes de type multiplicatif. Les résultatsprincipaux de cette théorie nécessitent l'hypothèse que X est propre, ou tout aumoins que les seules fonctions inversibles sur X sont constantes. On expliqueracomment on peut s'affranchir de cette hypothèse à condition de travailler avecl'hypercohomologie de certains complexes au lieu de considérer seulement desmodules galoisiens.
Résumé (des 3 séances du minicours) : 1. EDP Hamiltoniennes i) un premier exemple : l'équation des ondes ii) définition générale iii) la conservation d'énergie iv) exemples supplémentaires - l'équation de Schroedinger nonlinéaire (NLS) - l'équation de Korteweg deVries (KdV) - les systèmes de Boussinesq - les ondes à la surface de l'eau v) lois de conservations, et crochets de Poisson 2. Recurrence versus dispersion i) cas compact - solutions périodiques, quasi-périodiques et presque périodiques ii) cas non-compact iii) structures cohérentes - solitons 3. Theorie de transformationsi) le Lagrangien, et […]
Pansu explique le théorème KKL, son interprétation isopérimétrique, et sa preuve. Graham en donne une application à une preuve moderne d'un résultat célèbre de Harris et Kesten.
On donne un aperçu du manuscrit récent qui produit une borne inférieure effective à la distorsion des plongements des boules du groupe de Heisenberg discret dans L^1.
