Scholze's diamond — The Schema Path
Node
Scholze's diamond (Theory) in The Schema Path. Era: 2014–. Formula: ◇ : Perf → v-sheaves, Spd. Origin axiom of path: Schema. Modern reach: P-adic numbers · P-adic number theory · Étale cohomology · Weil conjectures · Perfectoid spaces · Scholze diamond · Lean formalization.