Paper 4, Section II, F

Geometry | Part IB, 2021

Define an abstract smooth surface and explain what it means for the surface to be orientable. Given two smooth surfaces S1S_{1} and S2S_{2} and a map f:S1S2f: S_{1} \rightarrow S_{2}, explain what it means for ff to be smooth

For the cylinder

C={(x,y,z)R3:x2+y2=1},C=\left\{(x, y, z) \in \mathbb{R}^{3}: x^{2}+y^{2}=1\right\},

let a:CCa: C \rightarrow C be the orientation reversing diffeomorphism a(x,y,z)=(x,y,z)a(x, y, z)=(-x,-y,-z). Let SS be the quotient of CC by the equivalence relation pa(p)p \sim a(p) and let π:CS\pi: C \rightarrow S be the canonical projection map. Show that SS can be made into an abstract smooth surface so that π\pi is smooth. Is SS orientable? Justify your answer.

Typos? Please submit corrections to this page on GitHub.