$p$-adic Langlands correspondence, Shimura varieties and perfectoids / Correspondance de Langlands $p$-adique, variétés de Shimura et perfectoïdes

Collection $p$-adic Langlands correspondence, Shimura varieties and perfectoids / Correspondance de Langlands $p$-adique, variétés de Shimura et perfectoïdes

Organizer(s) Boyer, Pascal ; Colmez, Pierre ; Hida, Haruzo ; Pilloni, Vincent ; Rapoport, Michael
Date(s) 02/07/2018 - 06/07/2018
linked URL https://conferences.cirm-math.fr/1649.html

All the collection videos (5)

01:10:43

published on July 10, 2018

A Jacobian criterion for smoothness of algebraic diamonds

By Laurent Fargues

57:16

published on July 5, 2018

Local acyclicity in $p$-adic geometry

By Peter Scholze

57:24

published on July 5, 2018

Integral $p$-adic étale cohomology of Drinfeld spaces

By Gabriel Dospinescu

01:01:16

published on July 5, 2018

Automorphy lifting via level lowering congruences

By Chandrashekhar Khare

01:00:19

published on July 5, 2018

On comparison theorems for rigid analytic spaces

By Wiesława Nizioł

Mathematics
and Interactions

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Not Only Scalar Curvature Seminar

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Lean for the curious mathematician / Lean pour mathématiciens

Collection $p$-adic Langlands correspondence, Shimura varieties and perfectoids / Correspondance de Langlands $p$-adique, variétés de Shimura et perfectoïdes

A Jacobian criterion for smoothness of algebraic diamonds

Local acyclicity in $p$-adic geometry

Integral $p$-adic étale cohomology of Drinfeld spaces

Automorphy lifting via level lowering congruences

On comparison theorems for rigid analytic spaces

Vanishing Theorems for the Irregular Hodge Filtration

Motives and (super-)representation theory: principles and case studies

The Non-Abelian p-Curvature Conjecture

Characteristic Cycle and Pushforward

Complex analysis in Lean

Stone duality and its formalization

Finite Type Properties of (Tame) Fundamental Groups

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib