27 mai 2019 @ 14:00 – 15:00 – Soit G un groupe algébrique semi-simple sur un corps k algébriquement clos de caractéristique positive et soit B un sous-groupe de Borel. La cohomologie des fibrés en droites G-équivariants sur G/B induits par des caractères de B sont des objets importants dans la théorie des représentations de G. Dans cet exposé, je vais commencer par […]
23 mai 2019 @ 10:45 – 11:45 – Spatial modeling in Astronomy can benefit from visualization techniques and spatial manipulation using Geographic Information Systems (G.I.S.) techniques. Preliminary analysis of stellar population characteristics in M83 galaxy using the emitted radiation source in different wavelengths shows a spatial aggregation model of stellar populations and clusters that are hierarchically organized in proximity of galaxy’s spiral arms. […]
21 mai 2019 @ 16:30 – 17:30 – Sébastien Gouëzel Les assistants de preuve sont des outils informatiques qui permettent de formaliser et vérifier tous les détails d’une preuve. Alors qu’ils sont développés et utilisés depuis longtemps par des informaticiens (notamment pour prouver qu’un programme fait bien ce qu’il attend de lui), leur adoption par des mathématiciens est beaucoup plus récente. Je décrirai […]
21 mai 2019 @ 10:45 – 11:45 – La modélisation du piégeage capillaire (un fluide reste confiné dans une région du sous-sol) conduit à une équation de diffusion non-linéaire dégénérée dans laquelle le coefficient de diffusion est discontinu à travers une interface. Le problème peut-être résolu par une méthode de décomposition de domaines globale en temps, basée sur l’algorithme de relaxation d’onde de […]
20 mai 2019 @ 14:00 – 15:00 – J’expliquerai comment un principe de compacité-concentration permet de montrer divers résultats, nouveaux ou déjà connus, concernant la constante d’observabilité de l’équation des ondes, puis en application, des résultats sur les mesures quantiques d’une variété riemannienne compacte. Il s’agit de travaux en collaboration avec Y. Privat et E. Trélat.
16 mai 2019 @ 14:15 – 16:00 – En 1982, Baum et Connes ont conjecturé que l’application d’assemblage est un isomorphisme. Dans cet exposé, nous verrons comment construire cette application dans le cas d’un espace coarse. Plus précisément, on fixe un groupe discret G agissant proprement sur un espace coarse X et on définit une application de la K-homologie équivariante à supports G-compacts […]