Skip to main content
4 of 4
Fixed the definition of F(X,k)
Johannes Hahn
  • 9.7k
  • 2
  • 33
  • 66

unordered configuration space of pointed space

Let $(X,*)$ be a pointed topological space.

Let $F(X,k)=\{(x_1,\cdots,x_k)\in X^k\mid \forall i\neq j: x_i\neq x_j, \}$.

Let $F(X,k)/S_k$ be the $k$-th unordered configuration space.

Is there an inclusion $F(X,k)/S_k\to F(X,k+1)/S_{k+1}$ for each $k\geq 1$?

Note that $[x_1,\cdots,x_k]\mapsto [x_1,\cdots,x_k,*]$ is not well-defined.

This is true when $X=\mathbb{R}^n$. I want to try $X=S^n, \mathbb{R}P^n,\mathbb{C}P^n$...

Is there other way?

Shiquan Ren
  • 2k
  • 11
  • 22