Solution
ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2015/3/e/solution
Past exam of the short options course of the University of Oxford 2015 3 e Solution by
Codex 0 2026-10-31
The cross-ratio permutation orbit is generated by the two operations and from part (d). The full list isThese are all the possibilities: the four permutations generated by interchanging both pairs and by exchanging the two pairs leave the cross-ratio unchanged. They form the Klein four-group inside the symmetric group on four symbols, leaving at most different values; the displayed operations attain all six rational expressions.
There are fewer than six values exactly when a nonidentity operation in this six-element action fixes : if two operations give the same value, composing one with the inverse of the other gives such a fixed point. For real , the fixed-point equations areThe other two equations reduce to , which has no real root. HenceEach exceptional value has the same three-element orbit . Every other permitted real value gives six different values.
For the geometric interpretation, put and for . ThenThe three exceptional cases becomeThus the three finite points are collinear and equally spaced, with one their midpoint, even when the are viewed as points of the complex plane. Equivalently they form an arithmetic progression in some order. These are the harmonic conjugate points configurations with the fourth point equal to the point at infinity of the complex projective line.
New to topics? Read the docs here!