The exceptional isomorphism between PGL(3,2) and PSL(2,7): geometric origin? It is well-known there is an isomorphism between $GL(3,2)=PGL(3,2)$, the automorphism group of the Fano plane (i.e. the projective plane over the finite field with two elements), and $PSL(2,7)$, which is the automorphism group of the oriented projective line over the field with seven elements. (More details are on Wikipedia).
What I'd like to know is if there is a finite geometric reason that these two groups are isomorphic. For instance, some combinatorial mapping of these geometries that induces an isomorphism between their automorphism groups. I was talking to Richard Green today about exceptional stuff in low dimensions and he claimed that there wasn't really a nice way to see it, unlike, for instance, the construction of the exceptional (outer) automorphism of $S_6$ using synthemes and duads.
 A: V. Dotsenko's construction, on math.stackexchange:
https://math.stackexchange.com/questions/1401/why-psl-3-mathbb-f-2-cong-psl-2-mathbb-f-7/1450#1450
may fit your requirement "combinatorial mapping of these geometries that induces an isomorphism".
A: There is an explanation of sorts in Section 1.4 of Elkies's "The Klein quartic in number theory". There is a three-dimensional lattice $L$ over the cyclotomic field $k=\mathbf Q(\zeta_7)$, and $G$ can be defined as its group of isometries. The resulting three-dimensional representation of $G$ has the unusual property of remaining irreducible when reduced modulo every prime of $\mathcal O_k$. Its reduction modulo a prime over $2$ turns out to be $\mathrm{GL}(3,\mathbf F_2)$ acting on $\mathbf F_2^3$, and its reduction modulo a prime over $7$ is $\mathrm{PSL}(2,\mathbf F_7)$ acting on $\mathbf F_7^3$ as the symmetric square of the two-dimensional representation of $\mathrm{SL}(2,\mathbf F_7)$. (Note that since $-1$ acts trivially on the symmetric square, the symmetric square really is a projective representation.)
