Blueprint for the Liquid Tensor Experiment

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

June 8, 2022

Remark 0.0.1

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

Remark 0.0.2

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