Skip to main content
Notice removed Draw attention by Saal Hardali
Bounty Ended with Dylan Wilson's answer chosen by Saal Hardali
Notice added Draw attention by Saal Hardali
Bounty Started worth 100 reputation by Saal Hardali
added 76 characters in body
Source Link
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99

Consider a fiber sequence of spaces

$$F \overset{i}{\to} E \to B$$

The cofiber $C(i)$ of the inclusion of the fiber comes with a canonical map $C(i) \to B$. Its possible to show (using some point set topology) that the fiber of that map is homotopy equivalent to $\Omega B \ast F$ hence we obtain a new fiber sequence

$$\Omega B \ast F \to C(i) \to B$$

To demonstrate the power of this statement consider the case of the path space fibration where $B= X , E = PX \cong \ast , F = \Omega X$. The new fiber sequence we obtain would be

$$\Sigma (\Omega X \wedge \Omega X) \cong \Omega X \ast \Omega X \to \Sigma \Omega X \to X$$

This implies immediately that whenever $X$ is $n$-connective for $n\ge 1$ then the canonical map $\Sigma \Omega X \to X$ is ($2n-1$)-connective (which is sort of the Eckman Hilton dual of Freudenthal suspension theorem).

Question: Is there an Eckman-Hilton dual to this statement?

To be precise, let $X \to Y \overset{\pi}{\to} Z$ be a cofiber sequence and let $F := fib(\pi)$ be the fiber $\pi$. Again there's a canonical (upto homotopy) map $f: X \to F$ and we may take its cofiber to obtain a new cofiber sequence

$$X \to F \to C(f)$$

Is there a "closed formula" for $C(f)$ (and for the maps involved) in terms of $X,Y$ and $Z$ (and the maps) similar to the one from above?

Consider a fiber sequence of spaces

$$F \overset{i}{\to} E \to B$$

The cofiber $C(i)$ of the inclusion of the fiber comes with a canonical map $C(i) \to B$. Its possible to show (using some point set topology) that the fiber of that map is homotopy equivalent to $\Omega B \ast F$ hence we obtain a new fiber sequence

$$\Omega B \ast F \to C(i) \to B$$

To demonstrate the power of this statement consider the case of the path space fibration where $B= X , E = PX \cong \ast , F = \Omega X$. The new fiber sequence we obtain would be

$$\Sigma (\Omega X \wedge \Omega X) \cong \Omega X \ast \Omega X \to \Sigma \Omega X \to X$$

This implies immediately that whenever $X$ is $n$-connective for $n\ge 1$ then the canonical map $\Sigma \Omega X \to X$ is ($2n-1$)-connective.

Question: Is there an Eckman-Hilton dual to this statement?

To be precise, let $X \to Y \overset{\pi}{\to} Z$ be a cofiber sequence and let $F := fib(\pi)$ be the fiber $\pi$. Again there's a canonical (upto homotopy) map $f: X \to F$ and we may take its cofiber to obtain a new cofiber sequence

$$X \to F \to C(f)$$

Is there a "closed formula" for $C(f)$ (and for the maps involved) in terms of $X,Y$ and $Z$ (and the maps) similar to the one from above?

Consider a fiber sequence of spaces

$$F \overset{i}{\to} E \to B$$

The cofiber $C(i)$ of the inclusion of the fiber comes with a canonical map $C(i) \to B$. Its possible to show (using some point set topology) that the fiber of that map is homotopy equivalent to $\Omega B \ast F$ hence we obtain a new fiber sequence

$$\Omega B \ast F \to C(i) \to B$$

To demonstrate the power of this statement consider the case of the path space fibration where $B= X , E = PX \cong \ast , F = \Omega X$. The new fiber sequence we obtain would be

$$\Sigma (\Omega X \wedge \Omega X) \cong \Omega X \ast \Omega X \to \Sigma \Omega X \to X$$

This implies immediately that whenever $X$ is $n$-connective for $n\ge 1$ then the canonical map $\Sigma \Omega X \to X$ is ($2n-1$)-connective (which is sort of the Eckman Hilton dual of Freudenthal suspension theorem).

Question: Is there an Eckman-Hilton dual to this statement?

To be precise, let $X \to Y \overset{\pi}{\to} Z$ be a cofiber sequence and let $F := fib(\pi)$ be the fiber $\pi$. Again there's a canonical (upto homotopy) map $f: X \to F$ and we may take its cofiber to obtain a new cofiber sequence

$$X \to F \to C(f)$$

Is there a "closed formula" for $C(f)$ (and for the maps involved) in terms of $X,Y$ and $Z$ (and the maps) similar to the one from above?

Source Link
Saal Hardali
  • 7.8k
  • 3
  • 43
  • 99

The (fiber of the) cofiber of the fiber of a map of spaces

Consider a fiber sequence of spaces

$$F \overset{i}{\to} E \to B$$

The cofiber $C(i)$ of the inclusion of the fiber comes with a canonical map $C(i) \to B$. Its possible to show (using some point set topology) that the fiber of that map is homotopy equivalent to $\Omega B \ast F$ hence we obtain a new fiber sequence

$$\Omega B \ast F \to C(i) \to B$$

To demonstrate the power of this statement consider the case of the path space fibration where $B= X , E = PX \cong \ast , F = \Omega X$. The new fiber sequence we obtain would be

$$\Sigma (\Omega X \wedge \Omega X) \cong \Omega X \ast \Omega X \to \Sigma \Omega X \to X$$

This implies immediately that whenever $X$ is $n$-connective for $n\ge 1$ then the canonical map $\Sigma \Omega X \to X$ is ($2n-1$)-connective.

Question: Is there an Eckman-Hilton dual to this statement?

To be precise, let $X \to Y \overset{\pi}{\to} Z$ be a cofiber sequence and let $F := fib(\pi)$ be the fiber $\pi$. Again there's a canonical (upto homotopy) map $f: X \to F$ and we may take its cofiber to obtain a new cofiber sequence

$$X \to F \to C(f)$$

Is there a "closed formula" for $C(f)$ (and for the maps involved) in terms of $X,Y$ and $Z$ (and the maps) similar to the one from above?