You are currently browsing the tag archive for the ‘rigid motions’ tag.
In a previous blog post, I discussed the recent result of Guth and Katz obtaining a near-optimal bound on the Erdos distance problem. One of the tools used in the proof (building upon the earlier work of Elekes and Sharir) was the observation that the incidence geometry of the Euclidean group of rigid motions of the plane was almost identical to that of lines in the Euclidean space :
Proof: A rigid motion is either a translation or a rotation, with the latter forming a Zariski-dense subset of . Identify a rotation in by an angle with around a point with the element in . (Note that such rotations also form a Zariski-dense subset of .) Elementary trigonometry then reveals that if maps to , then lies on the perpendicular bisector of , and depends in a linear fashion on (for fixed ). The claim follows.
As seen from the proof, this proposition is an easy (though ad hoc) application of elementary trigonometry, but it was still puzzling to me why such a simple parameterisation of the incidence structure of was possible. Certainly it was clear from general algebraic geometry considerations that some bounded-degree algebraic description was available, but why would the be expressible as lines and not as, say, quadratic or cubic curves?
In this post I would like to record some observations arising from discussions with Jordan Ellenberg, Jozsef Solymosi, and Josh Zahl which give a more conceptual (but less elementary) derivation of the above proposition that avoids the use of ad hoc coordinate transformations such as . The starting point is to view the Euclidean plane as the scaling limit of the sphere (a fact which is familiar to all of us through the geometry of the Earth), which makes the Euclidean group a scaling limit of the rotation group . The latter can then be lifted to a double cover, namely the spin group . This group has a natural interpretation as the unit quaternions, which is isometric to the unit sphere . The analogue of the lines in this setting become great circles on this sphere; applying a projective transformation, one can map to (or more precisely to the projective space ), at whichi point the great circles become lines. This gives a proof of Proposition 1.
Details of the correspondence are provided below the fold. One by-product of this analysis, incidentally, is the observation that the Guth-Katz bound for the Erdos distance problem in the plane , immediately extends with almost no modification to the sphere as well (i.e. any points in determine distances), as well as to the hyperbolic plane .