Collection Dustin Clausen and Peter Scholze : Analytic Stacks

Date(s) 18/10/2023 - 09/02/2024

All the collection videos (24)

01:50:13

published on October 19, 2023

Analytic Stacks (1/29)

By Dustin Clausen

01:42:40

published on October 20, 2023

Analytic Stacks (2/29)

By Peter Scholze

01:38:10

published on October 25, 2023

Analytic Stacks (3/29)

By Peter Scholze

01:52:06

published on December 23, 2023

Analytic Stacks (4/29)

By Peter Scholze

01:45:49

published on November 8, 2023

Analytic Stacks (5/29)

By Peter Scholze

01:48:33

published on November 10, 2023

Analytic Stacks (6/29)

By Peter Scholze

01:36:15

published on November 15, 2023

Analytic Stacks (7/29)

By Dustin Clausen

01:46:23

published on December 23, 2023

Analytic Stacks (8/29)

By Peter Scholze

01:47:15

published on December 23, 2023

Analytic Stacks (9/29)

By Dustin Clausen

01:48:02

published on November 25, 2023

Analytic Stacks (10/29)

By Peter Scholze

01:54:13

published on November 29, 2023

Analytic Stacks (11/29)

By Dustin Clausen

01:46:42

published on December 2, 2023

Analytic Stacks (12/29)

By Peter Scholze

01:51:52

published on December 6, 2023

Analytic Stacks (13/29)

By Dustin Clausen

01:45:14

published on December 9, 2023

Analytic Stacks (14/29)

By Peter Scholze

01:54:27

published on December 13, 2023

Analytic Stacks (15/29)

By Dustin Clausen

01:52:36

published on December 15, 2023

Analytic Stacks (16/29)

By Peter Scholze

01:48:48

published on December 20, 2023

Analytic Stacks (17/29)

By Dustin Clausen

01:59:40

published on January 10, 2024

Analytic Stacks (20/29)

By Dustin Clausen

01:52:10

published on January 12, 2024

Analytic Stacks (21/29)

By Peter Scholze

02:09:32

published on January 17, 2024

Analytic Stacks (22/29)

By Dustin Clausen

01:52:30

published on January 19, 2024

Analytic Stacks (23/29)

By Peter Scholze

01:50:12

published on January 24, 2024

Analytic Stacks (24/29)

By Dustin Clausen

01:56:37

published on January 31, 2024

Analytic Stacks (26/29)

By Dustin Clausen

01:53:36

published on February 2, 2024

Analytic Stacks (27/29)

By Peter Scholze

Mathematics
and Interactions

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

Multidimensional symbolic dynamics and lattice models of quasicrystals / Dynamique symbolique multidimensionnelle et modèles de quasi-cristaux sur réseau

Not Only Scalar Curvature Seminar

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

Collection Dustin Clausen and Peter Scholze : Analytic Stacks

Analytic Stacks (1/29)

Analytic Stacks (2/29)

Analytic Stacks (3/29)

Analytic Stacks (4/29)

Analytic Stacks (5/29)

Analytic Stacks (6/29)

Analytic Stacks (7/29)

Analytic Stacks (8/29)

Analytic Stacks (9/29)

Analytic Stacks (10/29)

Analytic Stacks (11/29)

Analytic Stacks (12/29)

Analytic Stacks (13/29)

Analytic Stacks (14/29)

Analytic Stacks (15/29)

Analytic Stacks (16/29)

Analytic Stacks (17/29)

Analytic Stacks (20/29)

Analytic Stacks (21/29)

Analytic Stacks (22/29)

Analytic Stacks (23/29)

Analytic Stacks (24/29)

Analytic Stacks (26/29)

Analytic Stacks (27/29)

Characteristic Classes of Étale Local Systems

Vanishing Theorems for the Irregular Hodge Filtration

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

Characteristic Cycle and Pushforward

The Non-Abelian p-Curvature Conjecture

Complex analysis in Lean

Finite Type Properties of (Tame) Fundamental Groups

Stone duality and its formalization

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib