The Schema Path
Overview
The Schema Path traces from Schema to P-adic numbers · P-adic number theory · Étale cohomology · Weil conjectures · Perfectoid spaces · Scholze diamond · Lean formalization. Density: extremely high.
Interpretable in: zfc-path
Nodes
- Schema
- Topos theory
- Étale cohomology
- Weil conjectures (proof)
- Langlands program (Weil letter)
- Beilinson–Drinfeld theorem
- Feigin–Frenkel theorem
- Geometric realization of Whittaker functions
- Frenkel–Gaitsgory–Vilonen theorem
- Local geometric Langlands (spherical)
- Langlands Correspondence for Loop Groups
- Electric-Magnetic Duality and the Geometric Langlands Program
- Geometric Langlands conjecture (proof)
- Motives
- Milnor conjecture (Voevodsky)
- P-adic numbers
- P-adic number theory
- Perfectoid spaces
- Scholze's diamond
- Perfectoid spaces formalization (Lean)