Orateur : Zhenghui Li (Sorbonne Université) Titre : On p-torsions of geometric Brauer groups Résumé : Let X be a smooth projective irreducible variety over a finitely generated field k of characteristic p>0. We show that the finiteness of the exponent of the p-primary part of the geometric Brauer group is equivalent to the Tate […]
Voyage aux pays de EDP, Probabilités et Statistique avec des processus ponctuels
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 […]
On p-torsions of geometric Brauer groups
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 […]
Journées scientifiques communes : exposés et échanges
Une dualité et deux bases pour l'algèbre de Hecke soudée
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 […]