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 […]
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
Titre : Combinatorics and geometry of the amplituhedron · Salle S3-255
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 […]
Aspects p-adiques et mod p en Géométrie Arithmétique
Orateur : Andrew Graham (Oxford) Titre : Explicit reciprocity laws for unitary Friedberg--Jacquet cycles Résumé : Unitary Friedberg--Jacquet (UFJ) periods generalise the toric periods appearing in Waldspurger's formula, and are closely related to central L-values of symplectic-type cuspidal automorphic representations over CM fields. For certain choices of signatures, the unitary groups which appear in these […]