Collection Franco-Asian Summer School on Arithmetic Geometry in Luminy / Ecole d'été franco-asiatique sur la géométrie arithmétique à Luminy

Organizer(s) Abbes, Ahmed ; Mézard, Ariane ; Saito, Takeshi ; Zheng, Weizhe
Date(s) 30/05/2022 - 03/06/2022
linked URL https://conferences.cirm-math.fr/2534.html

All the collection videos (5)

01:04:45

published on June 27, 2022

Automatic de Rhamness of p-adic local systems and Galois action on the pro-algebraic fundamental group

By Alexander Petrov

01:08:25

published on June 27, 2022

Graded logarithmic geometry and valuative spaces

By Quentin Guignard

01:04:42

published on June 27, 2022

On local epsilon factors of the vanishing cycles of isolated singularities

By Daichi Takeuchi

01:08:22

published on June 27, 2022

Sen operators and Lie algebras arising from Galois representations over p-adic varieties

By Tongmu He

01:03:02

published on June 27, 2022

Sen theory for locally analytic representations

By Lue Pan

Mathematics
and Interactions

Not Only Scalar Curvature Seminar

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

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

Lean for the curious mathematician / Lean pour mathématiciens

Collection Franco-Asian Summer School on Arithmetic Geometry in Luminy / Ecole d'été franco-asiatique sur la géométrie arithmétique à Luminy

Automatic de Rhamness of p-adic local systems and Galois action on the pro-algebraic fundamental group

Graded logarithmic geometry and valuative spaces

On local epsilon factors of the vanishing cycles of isolated singularities

Sen operators and Lie algebras arising from Galois representations over p-adic varieties

Sen theory for locally analytic representations

The Bloch-Esnault-Kerz fiber square

On Secondary Invariants and Arithmetic Rigidity

Finiteness Questions for Étale Coverings with Bounded Wild Ramification at the Boundary

Donaldson-Thomas Invariants: Classical, Motivic, Quadratic and Real

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