Ran space

From The Right Wiki
Jump to navigationJump to search

In mathematics, the Ran space (or Ran's space) of a topological space X is a topological space Ran(X) whose underlying set is the set of all nonempty finite subsets of X: for a metric space X the topology is induced by the Hausdorff distance. The notion is named after Ziv Ran.

Definition

In general, the topology of the Ran space is generated by sets

{SRan(U1Um)SU1,,SUm}

for any disjoint open subsets UiX,i=1,...,m. There is an analog of a Ran space for a scheme:[1] the Ran prestack of a quasi-projective scheme X over a field k, denoted by Ran(X), is the category whose objects are triples (R,S,μ) consisting of a finitely generated k-algebra R, a nonempty set S and a map of sets μ:SX(R), and whose morphisms (R,S,μ)(R,S,μ) consist of a k-algebra homomorphism RR and a surjective map SS that commutes with μ and μ. Roughly, an R-point of Ran(X) is a nonempty finite set of R-rational points of X "with labels" given by μ. A theorem of Beilinson and Drinfeld continues to hold: Ran(X) is acyclic if X is connected.

Properties

A theorem of Beilinson and Drinfeld states that the Ran space of a connected manifold is weakly contractible.[2]

Topological chiral homology

If F is a cosheaf on the Ran space Ran(M), then its space of global sections is called the topological chiral homology of M with coefficients in F. If A is, roughly, a family of commutative algebras parametrized by points in M, then there is a factorizable sheaf associated to A. Via this construction, one also obtains the topological chiral homology with coefficients in A. The construction is a generalization of Hochschild homology.[3]

See also

Notes

  1. Lurie 2014
  2. Beilinson, Alexander; Drinfeld, Vladimir (2004). Chiral algebras. American Mathematical Society. p. 173. ISBN 0-8218-3528-9.
  3. Lurie 2017, Theorem 5.5.3.11

References