Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMar 17th 2018
   • (edited Mar 18th 2018)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have corrected and expanded my note (at _[[4-sphere]]_: [here](https://ncatlab.org/nlab/show/4-sphere#FourSphereOverThreeSphereMinimalDgModel)) of the result of [Roig-Saralegi 00, p. 2](https://ncatlab.org/nlab/show/4-sphere#RoigSaralegiAranguren00) on minimal rational dg-models of the following maps over $S^3$ $$ \array{ S^4 \\ \downarrow \\ S^3 } \,,\phantom{AA} \array{ S^4//S^1 \\ \downarrow \\ S^3 } \,,\phantom{AA} \array{ S^0 \\ \downarrow \\ S^3 } $$ induced from the "suspended Hopf action" of $S^1$ on $S^4$. My aim in extracting this is to rename the generators given in [Roig-Saralegi 00, p. 2](https://ncatlab.org/nlab/show/4-sphere#RoigSaralegiAranguren00) such as to make their degrees and their pattern more manifest. I hope I got it right now: $$ \array{ \text{fibration} & \array{\text{vector space underlying} \\ \text{minimal dg-model}} & \array{ \text{differential on} \\ \text{minimal dg-model} } \\ \array{ S^4 \\ \downarrow \\ S^3 } & Sym^\bullet \langle h_3\rangle \otimes \left\langle \underset{deg = 2p}{ \underbrace{ \omega_{2p} }}, \underset{deg = 2p + 4}{ \underbrace{ f_{2p + 4} }} \,\vert\, p \in \mathbb{N} \right\rangle & d \colon \left\{ \begin{aligned} \omega_0 & \mapsto 0 \\ \omega_{2p+2} &\mapsto h_3 \wedge \omega_{2p} \\ f_4 & \mapsto 0 \\ f_{2p+6} & \mapsto h_3 \wedge f_{2p + 4} \end{aligned} \right. \\ \array{ S^0 \\ \downarrow \\ S^3 } & Sym^\bullet \langle h_3\rangle \otimes \left\langle \underset{deg = 2p}{ \underbrace{ \omega_{2p} }}, \underset{ deg = 2p }{ \underbrace{ f_{2p} }} \,\vert\, p \in \mathbb{N} \right\rangle & d \colon \left\{ \begin{aligned} \omega_0 & \mapsto 0 \\ \omega_{2p+2} &\mapsto h_3 \wedge \omega_{2p} \\ f_0 & \mapsto 0 \\ f_{2p+2} &\mapsto h_3 \wedge f_{2p} \end{aligned} \right. \\ \array{ S^4//S^1 \\ \downarrow \\ S^3 } & Sym^\bullet \langle h_3 , f_2 \rangle \otimes \left\langle \underset{deg = 2p}{ \underbrace{ \omega_{2p} }}, \underset{ deg =2p + 4 }{ \underbrace{ f_{2p + 4} }} \,\vert\, p \in \mathbb{N} \right\rangle & d \colon \left\{ \begin{aligned} \omega_0 & \mapsto 0 \\ \omega_{2p+2} &\mapsto h_3 \wedge \omega_{2p} \\ f_2 & \mapsto 0 \\ f_{2p+4} & \mapsto h_3 \wedge f_{2p + 2} \end{aligned} \right. } $$

   I have corrected and expanded my note (at 4-sphere: here) of the result of Roig-Saralegi 00, p. 2 on minimal rational dg-models of the following maps over $S^3$

   $$\array{ S^4 \\ \downarrow \\ S^3 } \,,\phantom{AA} \array{ S^4//S^1 \\ \downarrow \\ S^3 } \,,\phantom{AA} \array{ S^0 \\ \downarrow \\ S^3 }$$

   induced from the “suspended Hopf action” of $S^1$ on $S^4$.

   My aim in extracting this is to rename the generators given in Roig-Saralegi 00, p. 2 such as to make their degrees and their pattern more manifest. I hope I got it right now:

   $$\array{ \text{fibration} & \array{\text{vector space underlying} \\ \text{minimal dg-model}} & \array{ \text{differential on} \\ \text{minimal dg-model} } \\ \array{ S^4 \\ \downarrow \\ S^3 } & Sym^\bullet \langle h_3\rangle \otimes \left\langle \underset{deg = 2p}{ \underbrace{ \omega_{2p} }}, \underset{deg = 2p + 4}{ \underbrace{ f_{2p + 4} }} \,\vert\, p \in \mathbb{N} \right\rangle & d \colon \left\{ \begin{aligned} \omega_0 & \mapsto 0 \\ \omega_{2p+2} &\mapsto h_3 \wedge \omega_{2p} \\ f_4 & \mapsto 0 \\ f_{2p+6} & \mapsto h_3 \wedge f_{2p + 4} \end{aligned} \right. \\ \array{ S^0 \\ \downarrow \\ S^3 } & Sym^\bullet \langle h_3\rangle \otimes \left\langle \underset{deg = 2p}{ \underbrace{ \omega_{2p} }}, \underset{ deg = 2p }{ \underbrace{ f_{2p} }} \,\vert\, p \in \mathbb{N} \right\rangle & d \colon \left\{ \begin{aligned} \omega_0 & \mapsto 0 \\ \omega_{2p+2} &\mapsto h_3 \wedge \omega_{2p} \\ f_0 & \mapsto 0 \\ f_{2p+2} &\mapsto h_3 \wedge f_{2p} \end{aligned} \right. \\ \array{ S^4//S^1 \\ \downarrow \\ S^3 } & Sym^\bullet \langle h_3 , f_2 \rangle \otimes \left\langle \underset{deg = 2p}{ \underbrace{ \omega_{2p} }}, \underset{ deg =2p + 4 }{ \underbrace{ f_{2p + 4} }} \,\vert\, p \in \mathbb{N} \right\rangle & d \colon \left\{ \begin{aligned} \omega_0 & \mapsto 0 \\ \omega_{2p+2} &\mapsto h_3 \wedge \omega_{2p} \\ f_2 & \mapsto 0 \\ f_{2p+4} & \mapsto h_3 \wedge f_{2p + 2} \end{aligned} \right. }$$
2. • CommentRowNumber2.
   • CommentAuthorDavidRoberts
   • CommentTimeMar 17th 2018
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexTypos: >norma >canonically homotopy types over $S^3

   Typos:

   norma

   canonically homotopy types over $S^3

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeMar 18th 2018
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks, fixed now.

   Thanks, fixed now.