higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
Background
Basic concepts
equivalences in/of $(\infty,1)$-categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
The original motivation behind condensed infinity-groupoids is to create well-behaved categories of mathematical structures such as condensed HZ-module spectra in which one could do derived analytic geometry using category-theoretic methods without resorting to not-so-well behaved categories of topological spaces.
However, David Corfield offers another motivation for condensed infinity-groupoids in the blog post Pyknoticity vs Cohesiveness on the nCafé, as a way to extend cohesion to the $p$-adic case (see at condensed cohesion):
Mathematics rather than physics is the subject of chapter 5 of my book, where I’m presenting cohesive HoTT as a means to gain some kind of conceptual traction over the vast terrain that is modern geometry. However I’m aware that there are some apparent limitations, problems with ‘$p$-adic’ forms of cohesion, cohesion in algebraic geometry, and so on. In the briefest note (p. 158) I mention the closely related pyknotic and condensed approaches of, respectively, (Barwick and Haine) and (Clausen and Scholze).
A condensed infinity-groupoid or condensed anima is a hypercomplete (infinity,1)-sheaf of infinity-groupoids on the pro-étale (infinity,1)-site of the point, small relative to a universe $\mathcal{U}$.
Equivalently, it is an (infinity,1)-functor
from the opposite (infinity,1)-category of profinite spaces to the (infinity,1)-category Infinity-Grpd of infinity-groupoids which are small relative to a universe $\mathcal{U}$, such that the natural maps
and
are homotopy equivalences for any profinite space $S$ and $S^{'}$, and the natural map
is a homotopy equivalence for any hypercover of profinite spaces $S_\bullet \to S$.
When restricted to the site of extremally disconnected compact Hausdorff spaces, hyperdescent is automatic, so the simplest equivalent definition of a condensed infinity-groupoid is simply a finite-product-preserving (infinity,1)-functor $T:ExtrDisc^\op \longrightarrow \infty Grpd_\mathcal{U}$, see (Barwick-Haine, corollary 2.4.4).
The (infinity,1)-category $\mathrm{Cond}\infty\mathrm{Grpd}$ of condensed infinity-groupoids is a locally small locally cartesian closed (infinity,1)-pretopos.
Peter Scholze speculates in this comment on the nCafé that $\mathrm{Cond}\infty\mathrm{Grpd}$ seem to form a predicative elementary (infinity,1)-topos. If true, then $\mathrm{Cond}\infty\mathrm{Grpd}$ is an example of an elementary (infinity,1)-topos which is not a Grothendieck (infinity,1)-topos.
In the model of infinity-groupoids as simplicial sets/Kan complexes, condensed infinity-groupoids are sometimes referred to as condensed anima.
David Corfield, Modal homotopy type theory, Oxford University Press 2020 (ISBN: 9780198853404)
Clark Barwick, Peter Haine, Pyknotic objects, I. Basic notions, (arXiv:1904.09966
Last revised on July 29, 2022 at 21:02:27. See the history of this page for a list of all contributions to it.