higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
The Ran space of a space, , is the space of all nonempty finite subsets of , equipped with geometric structure that knows about several coincident points merging to a single point.
The Ran space is defined, in topological and algebro-geometric contexts, for instance in (Lurie 14, lectures 7-9). It is naturally a stratified space (Ayala-Francis-Tanaka 14, section 3.7)
For cardinality
where has objects that are finite sets of cardinality at most . When is infinite the subscript is left off as above.
It is named after Ziv Ran.
The Ran space of a connected manifold is weakly contractible (BeilDrin04, p. 173).
Let be a derived prestack. Consider the diagram in prestacks
where is the category of non-empty finite sets, with morphisms being surjective maps. The functor sends morphisms to the corresponding diagonal maps. The Ran prestack by definition is the (homotopy) colimit of this diagram:
Apparently the concept of the Ran space was first introduced in
Review includes
Textbook accounts include
See also
Ran spaces of the circle are discussed in
Raoul Bott, On the third symmetric potency of , Fund. Math. 39 (1952), 264–268 (1953)
Christopher Tuffley, Finite subsets of , Algebraic & Geometric Topology, Volume 2 (2002) 1119-1145 (arXiv:math/0209077)
Rational functions as functions on the Ran space in the sense of functions on the complement of finitely many points as these range over all points, is discussed in
Acyclicity of (some version of) the Ran space of a connected, quasi-projective scheme over an algebraically closed field is shown in lecture 10 of
Any flat quasicoherent sheaf on the Ran space of a smooth algebraic variety over canonically acquires a D-module structure as shown in
Discussion in the context of conformal field theory includes
Expressing the rational cohomology of ordered configuration spaces of points via factorization homology and Ran spaces:
Last revised on July 27, 2020 at 15:25:18. See the history of this page for a list of all contributions to it.