Évènements

Orateur : Liu Yuanmin (The University of Tokyo) Titre : p-adic weight spectral sequences of strictly semi-stable schemes over formal power series rings via arithmetic D-modules Résumé : Over the Laurent series field k((t)), Lazda–Pál defined the E†-valued rigid cohomology and Caro constructed the theory of arithmetic D-modules. These p-adic cohomology and its coefficients theory […]

Orateur : Filippo Nuccio (Université Jean Monnet Saint-Étienne) Titre : Expliquer un peu d'arithmétique à un ordinateur Résumé : Dans cet exposé j'essaierai d'illustrer ce que signifie formaliser des mathématiques dans un assistant de preuve (j'utiliserai le logiciel Lean), en commençant par un exemple simple et par un survol de la pratique de formalisation et […]

Fonctions entières et rationnelles dont les multiplicateurs sont dans un anneau d’entiers quadratiques imaginaires

Orateur : Kaixing Cao (Università degli Studi di Milano) Titre : $p$-adic cohomology via the Fargues--Fontaine curve Résumé : The discovery of the Fargues--Fontaine curve has led to major advances in the geometrization of $p$-adic Hodge theory. In this talk, we explain how several $p$-adic cohomology theories can be realized as vector bundles on the […]

Orateur : Bernard Le Stum (Université de Rennes) Titre : M-modules Résumé : On considère l’anneau M des matrices à lignes infinies et colonnes finies (à coefficients dans les entiers relatifs). Celui-ci possède une structure formelle assez similaire à celle d’un anneau d’opérateurs différentiels. On montre que la catégorie des M-modules possède un produit tensoriel interne (c’est une catégorie […]

Séminaire AHNC : Algèbres planaires et dynamique des groupes quantiques compacts