Log24

The statement as written cannot be correct: \(\mathrm{GL}(3,2)\) has order \(168\) and is isomorphic to \(\mathrm{PSL}(2,7)\), while \(A_8\) has order \(20160\). The classical isomorphism that Conwell’s heptads establish is \[ \mathrm{GL}(4,2)\simeq\mathrm{SL}(4,2)\simeq A_8. \] (The two linear groups coincide because the multiplicative group of \(\mathbb{F}_2\) is trivial.) The same construction simultaneously realises \(\mathrm{O}^+(6,2)\simeq S_8\). The Klein correspondence identifies the \(35\) lines of \(\mathrm{PG}(3,2)\) with the points of a hyperbolic quadric \(Q^+(5,2)\) in \(\mathrm{PG}(5,2)\). The complementary set consists of the \(28\) points of \(\mathrm{PG}(5,2)\) that lie off the quadric. A *Conwell heptad* (also called a maximal exterior set) with respect to a fixed copy of \(Q^+(5,2)\) is a set of seven of these exterior points such that the line joining any two of them is skew to the quadric. There are exactly eight such heptads. They satisfy two elementary incidence relations: – any two heptads meet in a unique point, – every exterior point lies in exactly two heptads. Consequently the \(28\) exterior points may be labelled by the \(2\)-subsets of an \(8\)-element set \(\{1,\dots,8\}\). The collineation group of \(\mathrm{PG}(3,2)\) is \(\mathrm{PGL}(4,2)=\mathrm{GL}(4,2)\). Via the Klein correspondence this group becomes the group of linear transformations of the underlying \(6\)-dimensional \(\mathbb{F}_2\)-space that preserve the quadratic form defining \(Q^+(5,2)\). That orthogonal group therefore permutes the eight Conwell heptads. Conwell exhibited six explicit generators of \(\mathrm{GL}(4,2)\) and computed the permutations they induce on the heptads; each generator is a product of two disjoint transpositions (hence even). These six even permutations generate the whole of \(A_8\). Since \[ |\mathrm{GL}(4,2)|=20160=|A_8|, \] the resulting homomorphism \(\mathrm{GL}(4,2)\to A_8\) is an isomorphism. (The same eight objects, viewed as a set of linear complexes in \(\mathrm{PG}(3,2)\), were later reconstructed directly by Edge; both authors used the action on the octad of heptads to identify the groups geometrically.) The labelling of exterior points by pairs also makes the isomorphism visible combinatorially: the lines skew to the quadric become the triples of pairs that form a triangle on eight letters, recovering the well-known model of the \(15_4\)-configuration of \(\mathrm{PG}(3,2)\) inside the complete graph \(K_8\). The statement as written cannot be correct: \(\mathrm{GL}(3,2)\) has order \(168\) and is isomorphic to \(\mathrm{PSL}(2,7)\), while \(A_8\) has order \(20160\). The classical isomorphism that Conwell’s heptads establish is \[ \mathrm{GL}(4,2)\simeq\mathrm{SL}(4,2)\simeq A_8. \] (The two linear groups coincide because the multiplicative group of \(\mathbb{F}_2\) is trivial.) The same construction simultaneously realises \(\mathrm{O}^+(6,2)\simeq S_8\). The Klein correspondence identifies the \(35\) lines of \(\mathrm{PG}(3,2)\) with the points of a hyperbolic quadric \(Q^+(5,2)\) in \(\mathrm{PG}(5,2)\). The complementary set consists of the \(28\) points of \(\mathrm{PG}(5,2)\) that lie off the quadric. A *Conwell heptad* (also called a maximal exterior set) with respect to a fixed copy of \(Q^+(5,2)\) is a set of seven of these exterior points such that the line joining any two of them is skew to the quadric. There are exactly eight such heptads. They satisfy two elementary incidence relations: – any two heptads meet in a unique point, – every exterior point lies in exactly two heptads. Consequently the \(28\) exterior points may be labelled by the \(2\)-subsets of an \(8\)-element set \(\{1,\dots,8\}\). The collineation group of \(\mathrm{PG}(3,2)\) is \(\mathrm{PGL}(4,2)=\mathrm{GL}(4,2)\). Via the Klein correspondence this group becomes the group of linear transformations of the underlying \(6\)-dimensional \(\mathbb{F}_2\)-space that preserve the quadratic form defining \(Q^+(5,2)\). That orthogonal group therefore permutes the eight Conwell heptads. Conwell exhibited six explicit generators of \(\mathrm{GL}(4,2)\) and computed the permutations they induce on the heptads; each generator is a product of two disjoint transpositions (hence even). These six even permutations generate the whole of \(A_8\). Since \[ |\mathrm{GL}(4,2)|=20160=|A_8|, \] the resulting homomorphism \(\mathrm{GL}(4,2)\to A_8\) is an isomorphism. (The same eight objects, viewed as a set of linear complexes in \(\mathrm{PG}(3,2)\), were later reconstructed directly by Edge; both authors used the action on the octad of heptads to identify the groups geometrically.) The labelling of exterior points by pairs also makes the isomorphism visible combinatorially: the lines skew to the quadric become the triples of pairs that form a triangle on eight letters, recovering the well-known model of the \(15_4\)-configuration of \(\mathrm{PG}(3,2)\) inside the complete graph \(K_8\).

## Grok on heptads – by Grok 4.6, Sept. 29. 2026

The Klein correspondence identifies the \(35\) lines of \(\mathrm{PG}(3,2)\) with the points of a hyperbolic quadric \(Q^+(5,2)\) in \(\mathrm{PG}(5,2)\). The complementary set consists of the \(28\) points of \(\mathrm{PG}(5,2)\) that lie off the quadric. A *Conwell heptad* (also called a maximal exterior set) with respect to a fixed copy of \(Q^+(5,2)\) is a set of seven of these exterior points such that the line joining any two of them is skew to the quadric. There are exactly eight such heptads. They satisfy two elementary incidence relations:

– any two heptads meet in a unique point,
– every exterior point lies in exactly two heptads.

Consequently the \(28\) exterior points may be labelled by the \(2\)-subsets of an \(8\)-element set \(\{1,\dots,8\}\).

The collineation group of \(\mathrm{PG}(3,2)\) is \(\mathrm{PGL}(4,2)=\mathrm{GL}(4,2)\). Via the Klein correspondence this group becomes the group of linear transformations of the underlying \(6\)-dimensional \(\mathbb{F}_2\)-space that preserve the quadratic form defining \(Q^+(5,2)\). That orthogonal group therefore permutes the eight Conwell heptads. Conwell exhibited six explicit generators of \(\mathrm{GL}(4,2)\) and computed the permutations they induce on the heptads; each generator is a product of two disjoint transpositions (hence even). These six even permutations generate the whole of \(A_8\). Since
\[
|\mathrm{GL}(4,2)|=20160=|A_8|,
\]
the resulting homomorphism \(\mathrm{GL}(4,2)\to A_8\) is an isomorphism.

(The same eight objects, viewed as a set of linear complexes in \(\mathrm{PG}(3,2)\), were later reconstructed directly by Edge; both authors used the action on the octad of heptads to identify the groups geometrically.)

The labelling of exterior points by pairs also makes the isomorphism visible combinatorially: the lines skew to the quadric become the triples of pairs that form a triangle on eight letters, recovering the well-known model of the \(15_4\)-configuration of \(\mathrm{PG}(3,2)\) inside the complete graph \(K_8\).

## Grok on the Klein correspondence – by Grok 4.6, Sept. 29. 2026

The Klein correspondence is a dictionary between the line geometry of a 3-dimensional projective space and the point geometry of a hyperbolic quadric in 5-dimensional projective space. It is the special case \(k=2\), \(n=4\) of the Plücker embedding of a Grassmannian, and it is the geometric reason the groups \(\mathrm{PGL}(4)\) and \(\mathrm{PO}^+(6)\) are essentially the same. Over \(\mathbb{F}_2\) it is also the stage on which Conwell’s heptads live.

A concrete model of \(\mathrm{PG}(3,2)\): 15 points (red) and 35 lines, drawn as a tetrahedron with midpoints, face-centres and the overall centre. Each of the 15 planes is a Fano plane.

## The algebraic origin

Let \(V\) be a 4-dimensional vector space over a field \(K\). A line of \(\mathrm{PG}(3,K)=\mathbb{P}(V)\) is a 2-dimensional subspace \(U\subset V\). The exterior square \(\bigwedge^2 V\) is 6-dimensional, so
\[
\mathbb{P}(\bigwedge^2 V)\simeq\mathrm{PG}(5,K).
\]
Sending \(U=\langle u,v\rangle\) to the decomposable bivector \([u\wedge v]\) is well-defined (changing basis of \(U\) only rescales the wedge product). The image consists exactly of those points of \(\mathrm{PG}(5,K)\) whose Plücker coordinates
\[
p_{ij}=u_iv_j-u_jv_i
\]
satisfy the single quadratic relation
\[
p_{12}p_{34}+p_{13}p_{42}+p_{14}p_{23}=0
\]
(or an equivalent pairing of the six coordinates). That hypersurface is the **Klein quadric** \(Q^+(5,K)\). It is a non-singular hyperbolic quadric: in suitable coordinates its equation is
\[
X_0X_1+X_2X_3+X_4X_5=0.
\]
The associated bilinear form \(B\) has the geometric meaning
\[
B\bigl(p(\ell),p(m)\bigr)=\det(u,v,w,z)
\]
when \(\ell=\langle u,v\rangle\) and \(m=\langle w,z\rangle\). Hence
\[
\text{two lines of \(\mathrm{PG}(3)\) meet}\quad\Longleftrightarrow\quad\text{their Klein points are orthogonal (the joining line lies on \(Q\))}.
\]
That is the fundamental incidence translation.

## The geometric dictionary

The Klein quadric is ruled by two families of maximal totally singular planes (generators), traditionally called **Latin** (or \(\alpha\)) and **Greek** (or \(\beta\)) planes. They reconstruct \(\mathrm{PG}(3)\) as follows.

| object in \(\mathrm{PG}(3)\) | image on the Klein quadric \(Q^+(5)\) |
|—|—|
| line | point of \(Q\) |
| two intersecting lines | two points of \(Q\) joined by a line of \(Q\) |
| two skew lines | two points of \(Q\) whose joining line is a secant (not on \(Q\)) |
| all lines through a fixed point | a Latin plane on \(Q\) |
| all lines in a fixed plane | a Greek plane on \(Q\) |
| a pencil (all lines through a point in a plane) | a line of \(Q\) |
| a regulus | a conic section of \(Q\) |
| a line spread | an ovoid of \(Q\) |

Two generators of the **same** family always meet in a point; two generators of **opposite** families are either disjoint or meet in a line. A point-plane flag in \(\mathrm{PG}(3)\) therefore appears as a pair of opposite generators intersecting in a line of \(Q\); that line represents the three lines of the flag.

This is also why the Dynkin diagrams \(A_3\) and \(D_3\) are identical: the building of points/lines/planes of \(\mathrm{PG}(3)\) is the same geometry as the building of the two families of generators and the points of \(Q^+(5)\).

## The smallest case: \(\mathrm{PG}(3,2)\) and \(Q^+(5,2)\)

Over \(\mathbb{F}_2\) the numbers become completely explicit.

– \(\mathrm{PG}(3,2)\) has 15 points, 35 lines, 15 planes.
– \(\mathrm{PG}(5,2)\) has 63 points.
– The Klein quadric \(Q^+(5,2)\) has 35 points (one for each line) and two families of 15 planes each.

The 28 points of \(\mathrm{PG}(5,2)\) that lie **off** the quadric, together with the 56 lines that miss the quadric entirely, form a \((28_6,56_3)\)-configuration that is isomorphic to the combinatorial Grassmannian \(G_2(8)\) (the 2-subsets of an 8-set, with triples of pairs that form a triangle as lines). That is where Conwell’s heptads appear.

A **Conwell heptad** is a set of seven exterior points such that the line joining any two of them is skew to \(Q\). There are exactly eight such heptads:

– any two meet in one point,
– every exterior point lies in exactly two heptads.

Labelling the heptads by \(\{1,\dots,8\}\) therefore labels the 28 exterior points by the 2-subsets of an 8-set. The orthogonal group of the Klein quadric permutes the eight heptads. The connected component (or the kernel of the spinor norm, depending on the exact convention) acts as \(A_8\), which is how one sees
\[
\mathrm{SL}(4,2)\simeq A_8,\qquad\mathrm{O}^+(6,2)\simeq S_8
\]
geometrically rather than by counting orders. A correlation of \(\mathrm{PG}(3,2)\) (which swaps points and planes) corresponds to an orthogonal transformation that **swaps** the two families of generators; that is why the full group of collineations and correlations is \(S_8\).

## What the correspondence is good for

Once lines of 3-space are points of a 5-space quadric, many classical constructions become linear-algebraic.

– A **linear line complex** in \(\mathrm{PG}(3)\) is the intersection of \(Q\) with a hyperplane; the special (singular) complexes are those whose hyperplane is tangent to \(Q\).
– A **spread** of \(\mathrm{PG}(3,q)\) (a partition of the point set by \(q^2+1\) lines) maps to an **ovoid** of \(Q^+(5,q)\). Over \(\mathbb{F}_2\) every spread is regular and every ovoid of \(Q^+(5,2)\) is classical.
– A **regulus** becomes a conic on \(Q\); the opposite regulus is the other ruling of the same hyperbolic quadric \(Q^+(3)\) cut out inside \(Q^+(5)\).
– Cameron–Liebler line classes become tight sets on the Klein quadric.

Over \(\mathbb{C}\) the same picture is the compactified space of (complexified) lines, and is the starting point of twistor theory: Minkowski space sits inside the Klein quadric as a real slice, and \(\alpha\)- and \(\beta\)-planes become the two families of totally null planes. The finite geometry over \(\mathbb{F}_2\) is a complete toy model of that incidence structure.

## Group-theoretic shadow

The correspondence intertwines the natural actions:
\[
\mathrm{PGL}(4,K)\;\longrightarrow\;\mathrm{PGO}^+(6,K).
\]
Over finite fields the precise isomorphisms are
\[
\mathrm{PGL}(4,q)\simeq\mathrm{PGO}^+(6,q)
\]
up to the usual issues of determinants, spinor norms and field automorphisms. For \(q=2\) everything collapses to the single isomorphism already used for Conwell’s argument: the collineation group of \(\mathrm{PG}(3,2)\) is \(A_8\), and the full group of collineations and correlations is \(S_8\).

In short: the Klein correspondence is the statement that “the set of lines of a 3-space is itself a 4-dimensional quadric hypersurface”, together with a precise translation of every incidence relation into orthogonality on that quadric. Over \(\mathbb{F}_2\) the 28 points off the quadric organise themselves into eight heptads, and those eight objects are the eight letters of \(A_8\).