Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-4/23i/b/solution
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 4 23I b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
The cubic equation is . On , put , , giving . The projection is , so its function-field extension is generated by a square root of . This is not a square in , since its zeros at have odd order. In characteristic different from two the extension is separable of degree two.
The only apparent basepoint is . In the chart , put , . The equation is , so is a local parameter and . The ratio is regular and the projection extends there as , with value . Thus the displayed rational projection does define a morphism after this unique extension; it is not literally evaluable by the raw pair at that point.
At a finite point with , the derivative with respect to is , so is a parameter and . At , the roots are simple (also in characteristic three), and is a parameter with of order two. At infinity the target parameter likewise has order two. ThereforeThe affine gradient and the nonzero at infinity also verify nonsingularity for every characteristic other than two. The ramification description is on geometric points; it descends to these stated rational points over .
New to topics? Read the docs here!