Évènements

Orateur : Ting-Han Huang (LAGA, Université Paris XIII) Titre : On the pull-back method for p-adic regulator formulae Résumé : Constructing a p-adic L-function and proving the associated regulator formula have been a powerful tool for the Bloch–Kato conjecture. In the past few decades, proofs of the regulator formulae for various p-adic L-functions mostly belong […]

Orateur : Théo Untrau (ENS Rennes) Titre : Distances de Wasserstein et nombres de Skewes généralisés aux courses de nombres premiers. Résumé : D'après le théorème des nombres premiers en progression arithmétique, la fonction de comptage des nombres premiers congrus à 1 modulo 4 et celle des nombres premiers congrus à 3 modulo 4 ont […]

Orateur : Giuseppe Ancona (Université de Strasbourg) Titre : Corps de définition et périodes ramifiées Résumé : Dans un travail en commun avec Dragos Fratila et Alberto Vezzani, nous construisons des courbes hyperelliptiques de genre grand, définies sur des corps quadratiques qui sont isomorphes à leur conjuguées galoisiens mais qui ne descendent pas sur Q. […]

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 […]

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 […]