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.