Paper 4, Section II, F
Part IB, 2021
Define an abstract smooth surface and explain what it means for the surface to be orientable. Given two smooth surfaces and and a map , explain what it means for to be smooth
For the cylinder
let be the orientation reversing diffeomorphism . Let be the quotient of by the equivalence relation and let be the canonical projection map. Show that can be made into an abstract smooth surface so that is smooth. Is orientable? Justify your answer.