Collection Complex Hyperbolic Geometry and Related Topics / Autour de la géométrie hyperbolique complexe

Organizer(s) Bucher, Michelle ; Deraux, Martin ; Paupert, Julien ; Rouillier, Fabrice ; Will, Pierre
Date(s) 04/07/2022 - 08/07/2022
linked URL https://conferences.cirm-math.fr/2622.html

All the collection videos (5)

01:04:36

published on July 27, 2022

Slimness in the 3-sphere

By Antonin Guilloux

01:04:21

published on July 27, 2022

Complex Hyperbolic Lattices

By John R. Parker

01:00:17

published on July 27, 2022

Complex hyperbolic structures on moduli spaces of curves and Fibonacci TQFT

By Julien Marché

01:00:51

published on July 27, 2022

A monstrous(?) complex hyperbolic orbifold

By Tathagata Basak

53:12

published on July 27, 2022

Virtual torsion in the homology of 3-manifolds.

By Michelle Chu

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 Complex Hyperbolic Geometry and Related Topics / Autour de la géométrie hyperbolique complexe

Slimness in the 3-sphere

Complex Hyperbolic Lattices

Complex hyperbolic structures on moduli spaces of curves and Fibonacci TQFT

A monstrous(?) complex hyperbolic orbifold

Virtual torsion in the homology of 3-manifolds.

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

A stable version of Gromov’s angle-shrinking problem and its index theoretic applications (Part II)

A stable version of Gromov’s angle-shrinking problem and its index theoretic applications (Part I)

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