Sminaire Nicolas Bourbaki

Samedi 25 juin 2011

Cyril HOUDAYER Percolation invariante et thorie mesure des groupes non-moyennables, daprs Gaboriau-Lyons, Ioana, Epstein
Par des techniques de percolation, Gaboriau et Lyons ont rcemment prouv que tout groupe discret, dnombrable, non-moyennable contient mesurablement le groupe libre F2 deux gnrateurs : il existe une action mesurable, essentiellement libre et ergodique de F2 sur ([0, 1] , ) telle que presque toute -orbite du dcalage de Bernoulli se dcompose en F2 -orbites. Une combinaison de ce rsultat et des travaux de Ioana et Epstein montre que tout groupe discret, dnombrable, non-moyennable admet une innit non-dnombrable dactions (essentiellement libres et prservant une mesure de probabilits) deux deux non-orbitalement quivalentes.

Daniel HUYBRECHTS Un thorme de Torelli pour les varits hyperkhlriennes compactes, daprs Verbitsky
Le thorme de Torelli global, rsultat central de la thorie des surfaces K3, montre quune surface K3 S est dtermine par sa structure de Hodge intgrale H 2 (S, Z). Autrement dit, lapplication des priodes est injective. Il est connu quun tel thorme nest pas valable en dimension suprieure. Lexpos est consacr un rsultat de Verbitsky qui montre linjectivit de lapplication des priodes restreinte des composantes connexes de lespace de modules. Cest donc lexistence de plusieures composantes connexes de lespace des modules qui explique pourquoi le thorme de Torelli global nest pas vri en dimension suprieure.

Petru MIRONESCU Le dterminant jacobien, daprs Brezis et Nguyen

Le dterminant jacobien j(u) dune application u : Rn Rn est bien dni si, par exemple, u C 1 . La thorie de llasticit non-linaire (Ball, 1977) et celle des cristaux liquides (Brezis, Coron, Lieb, 1986) font intervenir j(u) pour des u moins rgulires. Cest une identit de Morrey (1966) qui permet daller au-del de C 1 . Je prsenterai une brve histoire de j(u), du thorme de compacit de Reshetnyak (1968) aux rsultats rcents de Brezis et Nguyen (2010) caractrisant les espaces fonctionnels dans lesquels j(u) est bien dni.

Fabrice PLANCHON Existence globale et scattering pour les solutions de masse nie de lquation de Schrdinger cubique en dimension deux, daprs Benjamin Dodson
Lquation de Schrdinger non-linarit cubique admet des solutions locales en temps pour des donnes de masse nie. Il tait conjectur depuis longtemps que sous cette seule hypothse (dans le cas dfocalisant), les solutions taient en fait globales et proches de solutions linaires grand temps (scattering). Nous donnerons les lments principaux de la preuve, qui suit une stratgie initie par Kenig-Merle sur des problmes du mme type : existence de solutions minimales niant la conjecture (Tao-Visan-Zhang), et leur exclusion par lutilisation judicieuse de formules de monotonie lies la dispersion, en particulier dans le cas non radial o la contribution rcente de Dodson donne nalement la preuve complte de la conjecture.