J'y présenterai la démarche intellectuelle qui a mené Alexandre Grothendieck, à partir d'une 'emmerdante' rédaction qu'il devait faire pour Bourbaki sur l'algèbre homologique, à découvrir et mettre au point la notion de topos et j'essaierai d'expliquer en quel sens cette notion a une portée considérable grâce en particulier aux nuances qu'elle introduit entre le vrai et le faux.
Dans la première partie de cet exposé je décrirai le modèle linéaire de Schrödinger permettant de modéliser les électrons quantiques au sein des atomes et molécules. Puis je présenterai ses approximations non linéaires, en particulier les modèles de Thomas-Fermi et Hartree-Fock, avant de discuter de leur validité dans certains régimes.Dans la seconde partie je parlerai d'un nouveau résultat concernant la construction de solutions non linéaires des équations Hartree-Fock par des techniques de type min-max.
14.00-14.45 Roman Mikhailov (St.Petersburg): Around nilpotent completion.15.00-15.45 Gilbert Levitt (Caen): On elementary equivalence of hyperbolic groups.15.45-16.15 coffee break16.15-17.00 Ivan Mitrofanov (ENS): Algorithmic problems for self-similar groups.
Artin a résolu le 17ème problème de Hilbert : un polynôme réel positif en n variables est somme de carrés de fractions rationnelles. Pfister a amélioré ce résultat en démontrant qu'il est somme de 2^n carrés. Décider si la borne 2^n de Pfister est optimale est un problème ouvert si n>2. Nous expliquerons que cette borne peut être améliorée en petit degré et, en deux variables, pour un ensemble dense de polynômes positifs.
The classical theory of abstract projective geometries establishes an equivalence between axiomatically defined incidence systems of points and lines and projective planes defined over a field. Zilber's Restricted Trichotomy conjecture in dimension one is a generalization of this statement in a sense, with lines replaced by algebraic curves
I discuss a back-and-forth technique for proving that in certain expansions of the complex field every L_{infty, omega}-definable subset of C: is either countable or co-countable. Some successes of the method will also be discussed.
Je propose(1) de montrer que le groupe des difféomorphismes du disque est contractile (c'est un théorème de Smale, avec une jolie preuve)(2) d'expliquer le tout début de la théorie géométrique des groupes, et, si on a le temps, de raconter des tentatives actuelles pour mélangerles deux sujets.
Cet exposé est basé sur un travail commun avec Charles de Clercq et Maksim Zhykhovich. Une variété de drapeaux généralisée d'un groupe algébrique G est dite critique si c'est une variété test pour la classe d'équivalence motivique du groupe G. Dans cet exposé, nous montrerons que tout groupe algébrique classique possède une variété critique. Ce résultat généralise le cas des groupes orthogonaux des formes quadratiques, dû à des travaux antérieurs de Vishik et de Clercq.
Cet exposé est basé sur un travail commun avec Charles de Clercq et Maksim Zhykhovich. Une variété de drapeaux généralisée d'un groupe algébrique G est dite critique si c'est une variété test pour la classe d'équivalence motivique du groupe G. Dans cet exposé, nous montrerons que tout groupe algébrique classique possède une variété critique. Ce résultat généralise le cas des groupes orthogonaux des formes quadratiques, dû à des travaux antérieurs de Vishik et de Clercq.
In this talk I will discuss the use of Rost nilpotence and give an overview of known results in this direction, in particular of recent ones in dimension three.
Cet exposé est basé sur un travail de A.G. Myasnikov et M. Sohrabi. Les anneaux considérés ne sont pas supposés commutatifs, associatifs ou unitaires.Je donnerai des caractérisations algébriques de l'équivalence élémentaire pour les anneaux R avec (R,+) de type fini (i.e. finiment engendré). Les résultats sont analogues à ceux que j'avais précédemment obtenus pour les groupes nilpotents de type fini.
