Collection Geometry and analysis on non-compact manifolds / Géométrie et analyse sur les variétés non compactes

Organizer(s) Ammann, Bernd ; Carron, Gilles ; Groe, Nadine ; Nistor, Victor
Date(s) 28/03/2022 - 01/04/2022
linked URL https://conferences.cirm-math.fr/2548.html

All the collection videos (5)

57:37

published on April 12, 2022

Segal axioms and resolution of Liouville conformal field theory

By Colin Guillarmou

49:02

published on April 12, 2022

On the mass of asymptotically hyperbolic manifolds and initial data set

By Anna Sakovich

48:38

published on April 12, 2022

Regularity in Besov spaces of parabolic PDEs

By Cornelia Schneider

58:38

published on April 12, 2022

Local index theory for Lorentzian manifolds

By Christian Bär

52:16

published on April 12, 2022

Proper actions of Lie groups and numeric invariants of Dirac operators

By Paolo Piazza

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 Geometry and analysis on non-compact manifolds / Géométrie et analyse sur les variétés non compactes

Segal axioms and resolution of Liouville conformal field theory

On the mass of asymptotically hyperbolic manifolds and initial data set

Regularity in Besov spaces of parabolic PDEs

Local index theory for Lorentzian manifolds

Proper actions of Lie groups and numeric invariants of Dirac operators

On Secondary Invariants and Arithmetic Rigidity

Positive mass theorem for asymptotically flat manifolds with isolated conical singularities

Positive mass theorem and positive scalar curvature in the presence of a singularity

Interplay between Stochastic Partial Differential Equations and Quantum Field Theory on Curved Backgrounds

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