Bourbaki

Exercise 9, § 6

Tag 0420, permanent. Cite it as [Bourbaki, Tag 0420].

Algebraic Topology, IV, p. 480

The complex projective line P1(C)\mathbf{P}^1(\mathbf{C}) is identified with the set of lines of C2\mathbf{C}^2. Let E be the subspace of C2×P1(C)\mathbf{C}^2\times \mathbf{P}^1(\mathbf{C}) consisting of pairs ((u,v),x)((u, v), x) such that v∈xv\in x and ∣u∣2+∣v∣2=1|u|^2+|v|^2= 1. We equip E with the action of the group S1\mathbf{S}_1 given by ((u,v),x)⋅z=((zu,zv),x)((u, v), x)\cdot z= ((zu, zv), x).

a) Exercise prove that the second projection pr2:E→P1(C)_2: E\rightarrow \mathbf{P}^1(\mathbf{C}) endows E with a structure of principal fibre space with base P1(C)\mathbf{P}^1(\mathbf{C}) and group S1\mathbf{S}_1.

b) Let φ\varphi be a homeomorphism of S2\mathbf{S}_2 onto P1(C)\mathbf{P}^1(\mathbf{C}); exercise prove that the group π1(S1,e)\pi_1(\mathbf{S}_1, e) is generated by the class c(φ∗E)c(\varphi^*E).

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.