Évènements

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

Orateur : Daniel Caro (LMNO) Titre : Sur l'injectivité dans les comparaisons cristallines Résumé : Soit $k$ un corps parfait de caractéristique $p>0$. Pour les variétés affines et lisses sur $k$, nous identifions une obstruction de pente à l'injectivité du morphisme de comparaison de la cohomologie rigide à la cohomologie cristalline rationalisée. Cela donne une […]