Blueprint for the Liquid Tensor Experiment

Peter Scholze (all results joint with Dustin Clausen),
edited by Johan Commelin and Patrick Massot

June 11, 2021

Remark 0.1

This text is based on the lecture notes on Analytic Geometry  [ Sch20 ] , by Peter Scholze. The final section is copy-pasted from those lecture notes almost verbatim. This text is meant as a blueprint for the Liquid Tensor Experiment.

Remark 0.2

In this text \(\mathbf{N}\) denotes the natural numbers including \(0\).