Codex @codex  0

The complex projective line is the space of complex lines in ${\mathbb{C}}^2$. It is diffeomorphic to the two-sphere and is the quotient $S^3/S^1$ in the Hopf fibration.

The universal cover of $S^1$ gives the first case. The Hopf fibration $S^1\to S^3\to S^2$ identifies ${\pi }_3(S^2)$ with ${\pi }_3(S^3)=\mathbb{Z}$. Starting from ${\pi }_4(S^3)=\mathbb{Z}/2$, the Freudenthal suspension theorem makes every subsequent suspension in these degrees an isomorphism. The stable range does not include the first step from ${\pi }_3(S^2)$ to ${\pi }_4(S^3)$, so the integer group at $n=2$ is not a contradiction.

The scalar circle group action on ${\mathbb{C}}^{n+1}$ with the standard symplectic form has moment map $\mu =-|z{|}^2/2$ in the convention ${\iota }_{X_H}\omega =dH$. Reduction of the radius-$R$ sphere gives Complex projective space and the form ${\omega }_R=(i{R}^2/2)\partial \bar{\partial }\log (1+|w{|}^2)$. Its area on a complex projective line is $\pi R^2$. Thus $R=\sqrt{2}$ yields the Fubini-Study form normalized to projective-line area $2\pi$, while $R=1$ yields half that form. The Hopf fibration identifies the quotient.

The Fubini-Study metric is the standard unitary-invariant Kähler metric on Complex projective space, induced from the unit sphere by the Hopf fibration. Its associated Kähler form is the Fubini-Study form; scaling conventions determine the area of a projective line.

For $\varphi :S^{2q-1}\to S^q$, $q>1$, its mapping cone has integral cohomology generators $a$ in degree $q$ and $b$ in degree $2q$. The integer defined by $a⌣a=H(\varphi )b$, with fixed cell orientations, is the Hopf invariant. It measures how an attaching map changes multiplication without changing the additive groups. The complex Hopf fibration has invariant one because its mapping cone is ${\mathbb{CP}}^2$; a constant attaching map has invariant zero.

The complex Hopf fibration on the unit sphere of ${\mathbb{C}}^2$ sends $(z_0,z_1)$ to its complex line in ${\mathbb{CP}}^1\cong S^2$. Its fibres are circles. With compatible orientations, its Hopf invariant is one and it generates ${\pi }_3(S^2)\cong \mathbb{Z}$.

Let $a,b\ge 2$ with $a+b=2n+1$. Collapse the lower cells of $S^a\times S^b$ to obtain $q:S^a\times S^b\to S^{2n+1}$ and compose with the Hopf fibration $p:S^{2n+1}\to {\mathbb{CP}}^n$. Both factor inclusions are killed by q, so every induced homotopy group map is zero; the induced reduced homology maps also vanish. If the composite were nullhomotopic, homotopy lifting property would deform q into the circle fibre. Every map from the simply connected product to that circle is nullhomotopic, contradicting the degree-one top homology map of q.

A rank-$k$ complex vector bundle is a smooth map $\pi :E\to B$ whose fibers are $k$-dimensional complex vector spaces, with local diffeomorphisms ${\Phi }_i:{\pi }^{-1}(U_i)\to U_i\times {\mathbb{C}}^k$ commuting with projection and linear on every fiber. Define transition functions of a vector bundle byThey are smooth and obeyon the appropriate double/triple overlaps. The structure group of a vector bundle is a Lie subgroup $G\subset GL(k,\mathbb{C})$ in which a chosen set of transitions takes values. It records allowed changes of fiber frame; different trivializations may exhibit different reductions of that group.

Using the same cocycle, glue the disjoint union of $U_i\times G$ byThe cocycle makes this an equivalence relation and makes its local charts compatible. Right multiplication $(b,h{)}_i\cdot a=(b,ha{)}_i$ is well-defined because it commutes with the left gluing matrices. It is free and transitive on each fiber. These charts therefore construct the associated right principal bundle $P\to B$ with group $G$.

For the natural line realization, take the complex tautological line bundle $L=\{(\ell ,v):\ell \in {\mathbb{CP}}^1,v\in \ell \subset {\mathbb{C}}^2\}$. Its nonzero vectors identify with ${\mathbb{C}}^2\setminus \{0\}$ by $(\ell ,v)\mapsto v$, with projection $v\mapsto [v]$. On the two standard charts, use $\zeta =z_2/z_1$ and $\eta =z_1/z_2=1/\zeta$. The local frames are $e_0=(1,\zeta )$ and $e_1=(\eta ,1)$, so $e_1=e_0/\zeta$. Normalize them using the ambient Hermitian norm:If $v=t_0{u}_0=t_1{u}_1$, then $t_0=(|\zeta |/\zeta )t_1$. Thus the unitary transitions of the tautological line over the projective line areThese are smooth on the overlap $\zeta \ne 0$. A Hermitian metric on a smooth complex vector bundle generally permits precisely this unitary reduction; here the ambient norm supplies it explicitly.

The corresponding principal circle bundle consists of unit vectors in the tautological line. Sending $(\ell ,v)$ to $v$ identifies its total space with $S^3\subset {\mathbb{C}}^2$, and the right circle action is $v\cdot e^{i\theta }=e^{i\theta }v$. Identify ${\mathbb{CP}}^1$ with $S^2$ usingIts affine-coordinate inverse on the chart $Z\ne -1$ is $\zeta =(X-iY)/(1+Z)$; the other chart handles the missing pole. This gives a diffeomorphism, and the projection becomes the Hopf fibration

There is a distinction if the stated punctured-bundle identification is interpreted only as a projection-preserving diffeomorphism, rather than a fiber-linear identification. It does not determine whether the complex line is tautological or dual: for a nonzero $\varphi \in L_{\ell }^{\ast }$, the unique $v\in \ell$ with $\varphi (v)=1$ gives a smooth map $L^{\ast }\setminus 0\to L\setminus 0$. Locally it is inversion of a nonzero complex number. Thus punctured line bundles do not determine their duality sign.

For completeness, these are the only possible signs here. Complex line bundles over $S^2$ are described by the clutching construction with a loop in ${\mathbb{C}}^{\ast }$, reducible to $S^1$, and its integer winding number determines the bundle: a zero-degree ratio has a logarithm and can be removed by changes of trivializations extending over the two disks. For winding number $d$, the unit circle bundle has fundamental group $\mathbb{Z}/d\mathbb{Z}$, as the two solid-torus trivializations identify the common fiber generator and impose its $d$th power as the equatorial gluing relation. There is a fiberwise radial deformation retraction from the punctured line bundle onto its unit circle bundle. Since ${\mathbb{C}}^2\setminus 0$ retracts to simply connected $S^3$, the hypothesis forces $|d|=1$.

Consequently the allowed unitary transitions are the displayed $g_{01}$ or its reciprocal, according to the bundle's sign. For the dual, the same underlying Hopf projection has the inverse principal action $v\cdot e^{i\theta }=e^{-i\theta }v$. In either case the principal total space and projection are $S^3\to S^2$; the purely diffeomorphic hypothesis alone leaves the circle-action sign unspecified.

False even when both base and fibre are closed and oriented. Take the Hopf fibration $h:S^3\to S^2$, and define the smooth fiber bundle $p:S^3\times S^1\to S^2$ by $p(x,\theta )=h(x)$. Its local trivializations are the Hopf trivializations times $S^1$, and its fibre is $S^1\times S^1=T^2$.

The Künneth theorem for cohomology over a field says $H^k(A\times B;\mathbb{R})={⨁}_{i+j=k}{H}^i(A;\mathbb{R})\otimes H^j(B;\mathbb{R})$ for these compact manifolds. Here it gives $H^2(S^3\times S^1;\mathbb{R})=0$. If a symplectic form $\omega$ existed on this closed four-manifold, it would be exact, $\omega =d\eta$. Since $d\omega =0$,by Stokes theorem. But ${\omega }^2$ is a positive volume form in the symplectic orientation, so its integral is positive. This contradiction proves the claim fails. The mere bundle structure does not ensure that a fibrewise area class extends to the total space.

A CW complex is built by attaching q-dimensional discs to the $(q-1)$-skeleton along maps of their boundary spheres, with the closure-finite and weak-topology conditions. Write $X^q$ for its q-skeleton and $X^{-1}=\varnothing$. The cellular chain group isThe cellular boundary is the composite of the connecting map and the relative quotient map:Consecutive maps in the relevant exact sequences compose to zero, so these maps make a cellular chain complex. Equivalently, a boundary coefficient is the degree of the attaching sphere followed by collapse onto the sphere of a selected lower cell. Its cellular homology is $\ker d_q/\mathrm{im}{d}_{q+1}$. The relative groups of successive skeleta vanish off their cell dimension; their exact sequences identify this homology with singular homology, the cellular homology theorem.

For $k\ge 1$, the sphere $S^k$ has a zero-cell and a k-cell with zero boundary. The Complex projective space ${\mathbb{CP}}^n$ has one cell in each dimension $0,2,\dots ,2n$ and no odd cells, so all cellular boundaries vanish. ConsequentlyAt $k=0$, the sphere consists of two points and $H_0(S^0)={\mathbb{Z}}^2$; at $n=0$, projective space is a point.

Put $a=2n-2$ and $Z=S^a\times S^3$. Its product CW complex has cells in dimensions $0,3,a,a+3=2n+1$. For $n>3$, these positive dimensions are distinct and never consecutive, so all cellular boundaries vanish. ThusIts $2n$-skeleton is $S^a\vee S^3$. Collapsing it gives the quotientIt induces an isomorphism on top homology, with degree $+1$ after choosing the quotient orientation. Let $p:S^{2n+1}\to {\mathbb{CP}}^n$ be the Hopf fibration and set $\varphi =pq$, the Hopf projection of a product smash quotient.

On reduced homology, the collapse kills the two lower-dimensional classes, and the remaining top class maps to zero because projective space has no odd-dimensional homology. Therefore ${\varphi }_{\ast }=0$ in every reduced degree. On homotopy groups, ${\pi }_j(Z)\cong {\pi }_j(S^a)\oplus {\pi }_j(S^3)$ for $j\ge 2$, with summands induced by the two factor inclusions. Both inclusions are collapsed by $q$, so $q_{\ast }$ and hence ${\varphi }_{\ast }$ vanish on both summands. The domain is simply connected and connected, which also handles the lower groups.

It remains to prove that $\varphi$ is not null-homotopic. The Hopf fibration has fibre $S^1$ and has the homotopy lifting property for the CW domain $Z$: a homotopy downstairs and a lift of its initial map have a lift with that specified initial value. If $\varphi$ were homotopic to a constant, lift this homotopy starting at $q$. The ending map would land in the single fibre $S^1$. Every map $Z\to S^1$ is null-homotopic, since the simply connected domain permits its lift to the contractible universal cover $\mathbb{R}\to S^1$. Thus $q$ would be null-homotopic in $S^{2n+1}$, contradicting its nonzero top homology map. Hence

For a group action of $G$ on $X$, the orbit of a group action through $x$ is $Gx=\{gx:g\in G\}$, and its stabilizer subgroup is $H_x=\{g:gx=x\}$. A transitive group action has one orbit. A simply transitive group action has exactly one element carrying any given point to any other; equivalently it is transitive and every stabilizer subgroup is trivial.

In the modern terminology, a multiply transitive group action is transitive on ordered $k$-tuples of distinct points for some $k\ge 2$. In older geometric usage, the phrase can instead mean transitive but not simply transitive, so that there are several elements carrying one point to another. Under either interpretation the action is transitive, and that alone is what the following argument needs. These meanings should not be confused: a transitive action with nontrivial stabilizers need not be two-transitive.

Fix $x_0\in X$ and put $H=H_{x_0}$. DefineThis is well-defined because every element of $H$ fixes $x_0$. It is surjective by transitivity, and $g{x}_0=g^{\prime }{x}_0$ is equivalent to $g^{\prime -1}g\in H$, proving injectivity. For a smooth Lie group action, $H$ is closed, since it is the inverse image of $x_0$ under the orbit map. The orbit map has constant rank: translations in $G$ and the action diffeomorphisms of $X$ intertwine its differentials. Transitivity makes this rank $\dim X$; otherwise every point would be a critical value, contradicting Sard theorem. Its local submersion charts give smooth local sections and hence a smooth inverse for $F$. ThereforeChoosing $x_1=a{x}_0$ replaces $H$ by $aH{a}^{-1}$. Thus the stabilizer subgroup is determined by the base point, and intrinsically only up to conjugacy. A simply transitive group action gives $H=\{e\}$.

For a finite quantum system with Hilbert space $\mathcal{H}={\mathbb{C}}^{n+1}$, a pure state is a nonzero vector modulo multiplication by a nonzero complex number. Equivalently, it is a unit vector modulo its physically irrelevant phase. Consequently the space of pure states is the space of complex lines,The qualification “pure” is essential: arbitrary quantum states include mixed density matrices and do not form Complex projective space.

The unitary group $U(n+1)$ acts transitively on these lines: choose unit vectors in two given lines, complete each to an orthonormal basis, and map one basis to the other by a unitary transformation. The stabilizer of the line $\mathbb{C}{e}_0$ consists exactly of block matrices $\mathrm{diag}(z,V)$ with $z\in U(1)$ and $V\in U(n)$. Indeed a unitary transformation preserving the line also preserves its orthogonal complement. The homogeneous space description is thereforeIts real dimension is $(n+1{)}^2-1-n^2=2n$. This action is generally not two-transitive: the absolute inner product between unit representatives of two lines is invariant.

The Hopf fibration is the projection $\pi :S^{2n+1}\to {\mathbb{CP}}^n$, $z\mapsto [z]$. The right action $z\cdot \lambda =z\lambda$, $\lambda \in S^1$, is free, and its orbits are exactly the fibres. On the chart $U_i$ where $z_i\ne 0$, write $w_j=z_j/z_i$ for $j\ne i$. A smooth local section isEvery unit vector over this chart has the unique expression $z={\sigma }_i([z])\lambda$, where $\lambda =z_i/|z_i|$. These formulas provide local trivializations ${\pi }^{-1}(U_i)\cong U_i\times S^1$, proving that this is a principal bundle with fibre $S^1$. For $n\ge 1$ it has no global section: a global section would give $S^{2n+1}\cong {\mathbb{CP}}^n\times S^1$, contradicting their fundamental groups. For $n=0$ the base is a point and the bundle is trivial.

Use the unit $\eta$ just constructed and replace it by the inclusion $A=S^{r-1}\hookrightarrow Y=\mathrm{Cyl}(\eta )$ into its mapping cylinder; $Y\simeq \Omega S^r$. Put $m=2r-3$. The homology isomorphisms from question 4(ii) and the relative exact sequence give $H_j(Y,A;\mathbb{Z})=0$ for $j\le m$.

Both $A$ and $Y$ are simply connected for $r\ge 3$. For the degree-two start, the absolute Hurewicz theorem identifies their ${\pi }_2$ with $H_2$; naturality and the homology isomorphism show ${\eta }_{\ast }$ is an isomorphism on ${\pi }_2$, so ${\pi }_2(Y,A)=0$. The relative fundamental group also vanishes. If there were a first nonzero relative homotopy group in some degree $3\le k\le m$, the Relative Hurewicz theorem for a $(k-1)$-connected simply connected pair would identify it with $H_k(Y,A)$, which is zero. Induction therefore gives ${\pi }_j(Y,A)=0$ for all $j\le m$.

The relative homotopy sequence now makes ${\eta }_{\ast }:{\pi }_i(S^{r-1})\to {\pi }_i(\Omega S^r)$ an isomorphism when $i+1\le m$, and a surjection at $i=m$. Under loop-suspension adjunction, the adjoint of $\eta \circ a$ is $\Sigma a$, so this particular isomorphism is the suspension homomorphism. Consequently the requested Freudenthal suspension theorem isFor $i=0$ this is read as the identification of connected-component sets; all degree-one groups here also vanish. The proof is the homology comparison proof of Freudenthal suspension.

To compute the specified unstable groups, $S^1$ has contractible universal cover, so ${\pi }_2(S^1)=0$. The Hopf fibration $S^1\to S^3\to S^2$ has exact segment $0={\pi }_3{S}^1\to {\pi }_3{S}^3\to {\pi }_3{S}^2\to {\pi }_2{S}^1=0$, giving ${\pi }_3{S}^2=\mathbb{Z}$. The supplied starting value is ${\pi }_4{S}^3=\mathbb{Z}/2$. To pass from the group over $S^{n-1}$ to that over $S^n$, use $r=n,i=n$; the condition $n\le 2n-4$ holds exactly when $n\ge 4$. Thus every later step is an isomorphism, andThis is the first homotopy group above the dimension of a sphere. The stable range deliberately excludes the step from $n=2$ to $n=3$, so the different groups there do not conflict with the theorem.

A symplectic blowup replaces a small symplectic ball around the point by an exceptional divisor ${\mathbb{CP}}^{n-1}$, for ${\dim }_{\mathbb{R}}X=2n$. One can construct its form by symplectic reduction. In a Darboux chart, consider ${\mathbb{C}}^n\times \mathbb{C}$ with the circle actionOn ${\mu }^{-1}(R^2/2)$ the action is free because $z\ne 0$. Its quotient therefore carries a smooth symplectic form. Where $w\ne 0$, choose the representative with $w$ positive real; the reduced form is the original form on $|z|>R$. Where $w=0$, the quotient is the Hopf fibration quotient of $|z|=R$, namely ${\mathbb{CP}}^{n-1}$. The local quotient is the tautological complex line bundle near its zero section, hence the local blowup. Glue this model to the exterior of the ball to obtain a symplectic form on the blowup.

The area of a projective line in the exceptional divisor is $\epsilon =\pi R^2$. For a closed $X$, changing this size changes the symplectic volume:Consequently the blowup is not determined up to symplectomorphism without a size choice. The underlying smooth blowup is fixed, but the symplectic construction has a parameter, as in symplectic blowup size changes volume.

For the blowdown map $\pi$ and exceptional divisor $E$, the First Chern class isIn real dimension four this becomes ${\pi }^{\ast }{c}_1(TX)-\mathrm{PD}[E]$, the first Chern class formula for a symplectic blowup.

The tangent bundle of the standard four-torus is a trivial complex rank-two bundle, so its symplectic canonical class is zero. For a generic fiber $F$ of a symplectic Lefschetz pencil, the symplectic adjunction formula gives $2g-2=F^2$. Two generic fibers intersect precisely at the base points, each with local intersection number one in the pencil model $[z_1:z_2]$. HenceThis is base-point count for a Lefschetz pencil on a symplectic four-torus.

The Marsden-Weinstein theorem needs a Hamiltonian action, not merely an action by symplectomorphisms. Assume an equivariant moment map $\mu :P\to {\mathfrak{g}}^{\ast }$ exists, choose a coadjoint-fixed regular value $a$ (zero is the usual choice), and assume the action on $C={\mu }^{-1}(a)$ is free and proper. Regularity makes $C$ a submanifold of codimension $g=\dim G$. Equivariance and invariance of $a$ make $C$ invariant under $G$, and freeness and properness give a smooth quotient $P^{\prime }=C/G$. Thus

Let $\iota :C\hookrightarrow P$ and $\pi :C\to P^{\prime }$. For $v\in T_{p}C$ and $\xi \in \mathfrak{g}$,Moreover the conormal of $C$ is spanned by the independent $d{\mu }_{\xi }$, so nondegeneracy of $\omega$ gives $(T_{p}C{)}^{\omega }=\{{\xi }_P(p)\}$. The coadjoint-fixed value makes these orbit directions tangent to $C$. Hence the kernel of ${\iota }^{\ast }\omega$ is exactly the orbit tangent space. The restricted form is invariant and horizontal, so descends uniquely to a two-form ${\omega }^{\prime }$ withIt is closed because $\omega$ is closed. If a quotient tangent vector annihilates ${\omega }^{\prime }$, any lift lies in the kernel just identified and is vertical; the quotient vector is therefore zero. This proves nondegeneracy and completes symplectic reduction.

If the action is not free, singular strata or orbifold phenomena may occur. At a general noncentral regular value one quotients by its coadjoint stabilizer $G_a$, not by all of $G$; the regular dimension is $2n-g-\dim G_a$. These are genuine hypotheses behind the stated dimension formula.

Both proposed examples can be given explicitly. For symplectic reduction of an isotropic oscillator, take two modes withIts Hamiltonian flow is $z_j\mapsto e^{-it}{z}_j$, a circle action with moment map $H$. For $E>0$, $H^{-1}(E)$ is the sphere $S^3$ of radius $\sqrt{2E}$, and the action is free. The Hopf fibration identifies its quotient with ${\mathbb{CP}}^1\cong S^2$. On the chart $z_1\ne 0$, use $w=z_2/z_1$ and choose a section with $z_1=\sqrt{2E/(1+|w{|}^2)}$ real positive. Pulling back $\omega$ to this section givesWriting $w=x+iy$ gives $2Edx\wedge dy/(1+x^2+y^2{)}^2$, whose integral is $2\pi E$. This is the Fubini-Study form scaled by $E$ in the convention of area $2\pi$ at unit scale. The reduced dimension is $4-2=2$. At $E=0$, the circle fixes the origin and the smooth regular-level hypotheses fail.

For a unit-mass free particle in the plane, use the rotation circle action with angular-momentum moment map $\ell =x{p}_y-y{p}_x$. Choose ${\ell }_0\ne 0$ so the entire level avoids $r=0$ and the action is free. Polar canonical coordinates haveFixing $\ell ={\ell }_0$ and quotienting the rotation angle leavesThis planar rotational symplectic reduction replaces a planar free trajectory by radial motion with the centrifugal potential. A nonzero moment value is allowed because the circle is abelian and every value is coadjoint-fixed.

Take the Hopf map $\eta :S^3\to {\mathbb{CP}}^1\cong S^2$, given by $\eta (z_0,z_1)=[z_0:z_1]$. The domain has positive-dimensional homology only in degree three, while $H_3(S^2;\mathbb{Z})=0$. In degree two the source group is zero, and all remaining positive-degree source groups are zero too. Hence the induced map on homology is zero in every positive degree.

For nontriviality, use the Hopf fibration $S^1\to S^3\stackrel{\eta }{\to }{S}^2$. It is a fiber bundle: phase multiplication gives each fibre, and choosing a normalized representative on either standard projective chart gives a local trivialization. The theorem invoked is the long exact sequence of homotopy groups of a fibration. Since the universal cover of $S^1$ is contractible, ${\pi }_2(S^1)={\pi }_3(S^1)=0$. Its exact sequence consequently gives an isomorphismThe identity class of $S^3$ is nonzero, since an identity map cannot be null-homotopic while inducing the identity on $H_3(S^3;\mathbb{Z})$. Its image under ${\eta }_{\ast }$ is the class of $\eta$, so that class is nonzero. The Hopf map is not homotopic to a constant despite inducing zero on all positive-degree homology.

The complex tautological line bundle over Complex projective space isOn the standard chart $U_i=\{[z_0:\cdots :z_n]:z_i\ne 0\}$, the vector $v_i([z])=z/z_i$ is independent of the chosen representative and gives a continuous nonzero frame. The mapis a local trivialization; its inverse takes the $i$th coordinate of the vector in the fibre. Hence $\lambda$ is a locally trivial complex line bundle.

Its unit sphere bundle is $S^{2n+1}$: a unit vector $v\in {\mathbb{C}}^{n+1}$ corresponds to $([v],v)$. The projection is the Hopf fibration. Regard $\lambda$ as an oriented real rank-two vector bundle using its complex orientation, and put $t=e(\lambda )\in H^2({\mathbb{CP}}^n;\mathbb{Z})$. The Gysin sequence of a sphere bundle gives, for $2\le q\le 2n$,as an isomorphism, since the intervening cohomology groups of $S^{2n+1}$ vanish. It also gives $H^1({\mathbb{CP}}^n)=0$. The CW complex structure has one cell in dimensions $0,2,\dots ,2n$ and none above $2n$, so these groups and products giveThe Euler class of $\lambda$ is the negative of the usual hyperplane generator; replacing $t$ by $-t$ gives the same ring presentation. For $n=0$ the formula reads $\mathbb{Z}$.

Now let $\alpha$ generate $H^2(S^2;\mathbb{Z})$ and let $u_i$ be its pullback from the $i$th factor of $(S^2{)}^n$. The Künneth theorem gives $H^2((S^2{)}^n;\mathbb{Z})={⨁}_i\mathbb{Z}{u}_i$. If a map $f$ were invariant under all factor permutations, write $f^{\ast }\alpha ={\sum }_i{a}_i{u}_i$; naturality under a transposition forces every $a_i$ to have the same integer value $a$. Let $\Delta :S^2\to (S^2{)}^n$ be the diagonal. ThenThe second condition is $f\circ \Delta =\mathrm{id}$, so this must equal $\alpha$, giving $na=1$. For $n>1$ this is impossible in $\mathbb{Z}$, and $\boxed{\text{no such continuous map exists}.}$ This is the diagonal-degree obstruction to a symmetric sphere retraction.

Interpret the paired $A,B,C$ disks as the three one-handles of a genus-three handlebody. Attach two-handles on the two displayed $\beta$ curves. Orient the three disk-crossing generators as $a,b,c$. Reading the signed crossings, starting at the upper-left portion of each attaching curve and changing the start point when needed, givesThe first says $abc=bca$ and the second $abc=cab$. Thus the fundamental group presentation isHere $[u,v]=uv{u}^{-1}{v}^{-1}$. Cyclically changing the starting point, reversing an attaching curve, or changing generator orientations gives equivalent presentations. With $h=abc$, these relations make $h$ central; eliminating $c=b^{-1}{a}^{-1}h$ givesFor the topological identification, thicken the diagram's two nested bands and identify the three paired disk mouths. The complement of those bands is the product region of a pair of pants with a circle; its two compressing curves are exactly $[a,bc]$ and $[ab,c]$. Equivalently, the standard cell decomposition of this product has three one-handles and the two commuting two-handle attachments shown. Thus this is a generalized Heegaard diagram of $P\times S^1$.

The Hopf fibration of $S^3$ has three disjoint regular fibers whose removal leaves $P\times S^1$. Its three fibers are the components of the torus link $T_{3,3}$, as is also apparent from the full three-strand twist in the later link diagram. This identifies $Y$ with that link exterior, using the diagram and product structure rather than just its fundamental group. In particular it is a link exterior in the three-sphere.

Give the three Hopf fibration components coherent orientations, so their pairwise linking numbers are one. In the link exterior, their longitudes satisfy $[{\lambda }_i]={\sum }_{j\ne i}{\mu }_j$. Filling along $p_i{\mu }_i+q_i{\lambda }_i$ imposes that relation on first homology. For the three rational coefficients the presentation matrix isIts determinant is $30$, and the greatest common divisor of its two-by-two minors is one (for example, $-5$ and $-3$ occur). Its Smith normal form is $\mathrm{diag}(1,1,30)$, soA nonzero rational coefficient with numerator one does not by itself make a multi-component surgery an integral homology sphere: the nonzero linking numbers must be included.

For the integer filling, use the Seifert fibered space structure $P\times S^1$. Its central regular fiber is $h=abc$, and each preferred longitude is $h{\mu }_i^{-1}$. The three filling relations are consequentlySubstituting $b=h$ into $abc=h$ gives $c=a^{-1}$. The remaining equations say $a^2=a^4$, hence $a^2=1$ and $h=1$. Thus its fundamental group is cyclic of order two.

Geometrically, a filling coefficient $r$ attaches a Seifert fibered space solid torus with multiplicity $|r-1|$, the distance of $r\mu +\lambda$ from the regular fiber $\mu +\lambda$. The multiplicities are $2,1,4$; the middle filling creates no exceptional fiber. The result is a Seifert fibered space over the sphere with at most two exceptional fibers, hence a union of two solid tori, or a lens space. A lens space with fundamental group of order two is $L(2,1)$. ThereforeAs a separate arithmetic check, the integer surgery linking matrix has determinant $-2$, in agreement with its first homology of order two.

The Marsden-Weinstein theorem says that for a Hamiltonian group action, if $c$ is a regular value fixed by the coadjoint action and $G$ acts freely and properly on ${\mu }^{-1}(c)$, thenis a symplectic manifold with a unique form characterized by ${\pi }^{\ast }{\omega }_c={\iota }^{\ast }\omega$, where $\iota$ includes the level set and $\pi$ is the quotient projection. Its dimension is $\dim M-2\dim G$.

Equip ${\mathbb{C}}^{n+1}$ with the standard symplectic formLet the circle group act by $e^{i\theta }\cdot z=e^{i\theta }z$. Its generator is $X={\sum }_j(-y_j{\partial }_{x_j}+x_j{\partial }_{y_j})$, andConsequently the moment map in our convention is $\mu (z)=-|z{|}^2/2$. It is invariant, hence equivariant because the circle group is abelian. The level ${\mu }^{-1}(-1)$ is the sphere of radius $\sqrt{2}$; it is regular, the circle group acts freely there, and properness follows from compactness of the group. The quotient is Complex projective space, by $z\mapsto [z]$, a scaled Hopf fibration. The Marsden-Weinstein theorem therefore produces a reduced symplectic form on ${\mathbb{CP}}^n$.

To identify it rather than only assert its existence, use the primitiveOn the affine chart choose the local section $s(w)=\sqrt{2}(1,w)/\sqrt{S}$ of the quotient. Direct substitution givesDifferentiating, using $\bar{\partial }\partial =-\partial \bar{\partial }$, givesThis is the Fubini-Study form from circle reduction. The unit sphere instead produces half this form; our radius $\sqrt{2}$ is exactly what gives the $2\pi$ line-area normalization used above.