Skip to main content
MathOverflow

Return to Question

Fixed the definition of F(X,k)
Source Link
Johannes Hahn
Johannes Hahn
  • 9.7k
  • 2
  • 33
  • 66

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

Let $F(X,k)=\{(x_1,\cdots,x_k)\in X^k\mid x_i\neq x_j, i\neq j\}$$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?

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

Let $F(X,k)=\{(x_1,\cdots,x_k)\in X^k\mid x_i\neq x_j, i\neq 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?

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?

added 70 characters in body
Source Link
Shiquan Ren
Shiquan Ren
  • 2k
  • 11
  • 22

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

Let $F(X,k)=\{(x_1,\cdots,x_k)\in X^k\mid x_i\neq x_j, i\neq 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?

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

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?

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

Let $F(X,k)=\{(x_1,\cdots,x_k)\in X^k\mid x_i\neq x_j, i\neq 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?

added 116 characters in body
Source Link
Shiquan Ren
Shiquan Ren
  • 2k
  • 11
  • 22

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

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?

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

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.

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

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?

Source Link
Shiquan Ren
Shiquan Ren
  • 2k
  • 11
  • 22