nLab
cohomotopy charge map

Contents

Context

Manifolds and cobordisms

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

The Cohomotopy charge map is the function that assigns to a configuration of points their total charge as measured in Cohomotopy-cohomology theory.

This is alternatively known as the “electric field map” (Salvatore 01 following Segal 73, Section 1, see also Knudsen 18, p. 49) or the “scanning map” (Kallel 98).

For DD \in \mathbb{N} the Cohomotopy charge map is the continuous function

(1)Conf( D)ccπ D(( D) cpt)=Maps */(( D) cpt,S D)=Ω DS D Conf\big( \mathbb{R}^D \big) \overset{cc}{\longrightarrow} \mathbf{\pi}^D \Big( \big( \mathbb{R}^D \big)^{cpt} \Big) = Maps^{\ast/\!}\Big( \big(\mathbb{R}^D\big)^{cpt} , S^D\big) = \Omega^{D} S^D

from the configuration space of points in the Euclidean space D\mathbb{R}^D to the DD-Cohomotopy cocycle space vanishing at infinity on the Euclidean space(which is equivalently the space of pointed maps from the one-point compactification S D( D)S^D \simeq \big( \mathbb{R}^D \big) to itself, and hence equivalently the DD-fold iterated based loop space of the D-sphere), which sends a configuration of points in D\mathbb{R}^D, each regarded as carrying unit charge to their total charge as measured in Cohomotopy-cohomology theory (Segal 73, Section 3).

This has evident generalizations to other manifolds than just Euclidean spaces, to spaces of labeled configurations and to equivariant Cohomotopy. The following graphics illustrates the Cohomotopy charge map on G-space tori for G= 2G = \mathbb{Z}_2 with values in 2\mathbb{Z}_2-equivariant Cohomotopy:

graphics grabbed from SS 19

Properties

Characterization of point configurations by their Cohomotopy charge

In some situations the Cohomotopy charge map is a weak homotopy equivalence and hence exhibits, for all purposes of homotopy theory, the Cohomotopy cocycle space of Cohomotopy charges as an equivalent reflection of the configuration space of points.

On Euclidean spaces via plain Cohomotopy

Proposition

(group completion on configuration space of points is iterated based loop space)

The Cohomotopy charge map (1)

Conf( D)ccΩ DS D Conf \big( \mathbb{R}^D \big) \overset{ cc }{\longrightarrow} \Omega^D S^D

from the full unordered and unlabeled configuration space (here) of Euclidean space D\mathbb{R}^D to the DD-fold iterated based loop space of the D-sphere, exhibits the group completion (here) of the configuration space monoid

ΩB Conf( D)Ω DS D \Omega B_{{}_{\sqcup}\!} Conf \big( \mathbb{R}^D \big) \overset{ \simeq }{\longrightarrow} \Omega^D S^D

(Segal 73, Theorem 1)

Proposition

(Cohomotopy charge map is weak homotopy equivalence on sphere-labeled configuration space of points)

For D,kD, k \in \mathbb{N} with k1k \geq 1, the Cohomotopy charge map (1)

Conf( D,S k)ccΩ DS D+k Conf \big( \mathbb{R}^D, S^k \big) \underoverset{\simeq}{cc}{\longrightarrow} \Omega^D S^{D + k}

is a weak homotopy equivalence from the configuration space (here) of unordered points with labels in S kS^k and vanishing at the base point of the label space to the DD-fold iterated loop space of the D+k-sphere.

(Segal 73, Theorem 3)

On closed manifolds via twisted Cohomotopy

The May-Segal theorem generalizes from Euclidean space to closed smooth manifolds if at the same time one passes from plain Cohomotopy to twisted Cohomotopy, twisted, via the J-homomorphism, by the tangent bundle:

Proposition

Let

  1. X nX^n be a smooth closed manifold of dimension nn;

  2. 1k1 \leq k \in \mathbb{N} a positive natural number.

Then the Cohomotopy charge map constitutes a weak homotopy equivalence

Maps /BO(n)(X n,S n def+k trivO(n))a J-twisted Cohomotopy spaceCohomotopy charge mapConf(X n,S k)aconfiguration spaceof points \underset{ \color{blue} { \phantom{a} \atop \text{ J-twisted Cohomotopy space}} }{ Maps_{{}_{/B O(n)}} \Big( X^n \;,\; S^{ \mathbf{n}_{def} + \mathbf{k}_{\mathrm{triv}} } \!\sslash\! O(n) \Big) } \underoverset {\simeq} { \color{blue} \text{Cohomotopy charge map} } {\longleftarrow} \underset{ \mathclap{ \color{blue} { \phantom{a} \atop { \text{configuration space} \atop \text{of points} } } } }{ Conf \big( X^n, S^k \big) }

between

  1. the J-twisted (n+k)-Cohomotopy space of X nX^n, hence the space of sections of the (n+k)(n + k)-spherical fibration over XX which is associated via the tangent bundle by the O(n)-action on S n+k=S( n× k+1)S^{n+k} = S(\mathbb{R}^{n} \times \mathbb{R}^{k+1})

  2. the configuration space of points on X nX^n with labels in S kS^k.

(Bödigheimer 87, Prop. 2, following McDuff 75)

Remark

In the special case that the closed manifold X nX^n in Prop. is parallelizable, hence that its tangent bundle is trivializable, the statement of Prop. reduces to this:

Let

  1. X nX^n be a parallelizable closed manifold of dimension nn;

  2. 1k1 \leq k \in \mathbb{N} a positive natural number.

Then the Cohomotopy charge map constitutes a weak homotopy equivalence

Maps(X n,S n+k)a Cohomotopy spaceCohomotopy charge mapConf(X n,S k)aconfiguration spaceof points \underset{ \color{blue} { \phantom{a} \atop \text{ Cohomotopy space}} }{ Maps \Big( X^n \;,\; S^{ n + k } \Big) } \underoverset {\simeq} { \color{blue} \text{Cohomotopy charge map} } {\longleftarrow} \underset{ \mathclap{ \color{blue} { \phantom{a} \atop { \text{configuration space} \atop \text{of points} } } } }{ Conf \big( X^n, S^k \big) }

between

  1. (n+k)(n+k)-Cohomotopy space of X nX^n, hence the space of maps from XX to the (n+k)-sphere

  2. the configuration space of points on X nX^n with labels in S kS^k.

References

The concept goes back to

with comprehensive review in

See also:

Last revised on October 18, 2019 at 17:53:01. See the history of this page for a list of all contributions to it.