Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 113 1 iii Solution Created 2026-10-03 Updated 2026-10-06
An isomorphism of schemes over induces a bijection on rational points. A real point of this projective plane curve would be represented by a nonzero real triple with . Each summand is nonnegative, so every coordinate would vanish. Thus , whereas . The two real schemes are not isomorphic. The obstruction is the real conic without real rational points; nonsingularity alone does not make a real conic a projective line over its ground field.