Log24

(On His Dies Natalis )…

An Exceptional Isomorphism Between Geometric and
Combinatorial Steiner Triple Systems Underlies 
the Octads of the M₂₄ Steiner System S(5, 8, 24).

This is asserted in an excerpt from… 

"The smallest non-rank 3 strongly regular graphs
​which satisfy the 4-vertex condition"
by Mikhail Klin, Mariusz Meszka, Sven Reichard, and Alex Rosa,
BAYREUTHER MATHEMATISCHE SCHRIFTEN 73 (2005), 152-212—

(Click for clearer image)

Note that Theorem 46 of Klin et al.  describes the role
of the Galois tesseract  in the Miracle Octad Generator
of R. T. Curtis (original 1976 version). The tesseract
(a 4×4 array) supplies the geometric  part of the above
exceptional geometric-combinatorial isomorphism.

Today's previous post on coordinate systems
suggests a look at the phrase "Galois coordinates."

A search shows that the phrase, though natural,
has apparently not been used before 2011* for solutions
to what Hermann Weyl called "the relativity problem."

A thorough historical essay on Galois coordinatization
in this sense would require more academic resources
than I have available. It would likely describe a number
of applications of Galois-field coordinates to square
(and perhaps to cubical) arrays that were studied before
1976, the date of my Diamond Theory  monograph.

But such a survey might not  find any such pre-1976
coordinatization of a 4×4 array  by the 16 elements
of the vector 4-space  over the Galois field with two
elements, GF(2).

Such coordinatizations are important because of their
close relationship to the Mathieu group M ₂₄ .

See a preprint by Anne Taormina and Katrin Wendland,
"The overarching finite symmetry group of Kummer
surfaces in the Mathieu group M ₂₄ ," with its remark
denying knowledge of any such coordinatization
prior to a 1989 paper by R. T. Curtis.

Related material: 

Some images related to Galois coordinates, excerpted
from a Google search today (click to enlarge)—

*  A rather abstract  2011 paper that uses the phrase
   "Galois coordinates" may have some implications 
   for the naive form of the relativity problem
   related to square and cubical arrays.

The finite (i.e., Galois) field GF(16),
according to J. J. Seidel in 1974—

The same field according to Steven H. Cullinane in 1986,
in its guise as the affine 4-space over GF(2)—

The same field, again disguised as an affine 4-space,
according to John H. Conway and N.J.A. Sloane in
Sphere Packings, Lattices, and Groups , first published in 1988—

The above figure by Conway and Sloane summarizes, using
a 4×4 array, the additive vector-space structure of the finite
field GF(16).

This structure embodies what in Euclidean space is called
the parallelogram rule for vector addition—

(Thanks to June Lester for the 3D (uvw) part of the above figure.)

For the transition from this colored Euclidean hypercube
(used above to illustrate the parallelogram rule) to the
4×4 Galois space (illustrated by Cullinane in 1979 and
Conway and Sloane in 1988— or later… I do not have
their book’s first edition), see Diamond Theory in 1937,
Vertex Adjacency in a Tesseract and in a 4×4 Array,
Spaces as Hypercubes, and The Galois Tesseract.

For some related narrative, see tesseract  in this journal.

(This post has been added to finitegeometry.org.)

Update of August 9, 2013—

Coordinates for hypercube vertices derived from the
parallelogram rule in four dimensions were better
illustrated by Jürgen Köller in a web page archived in 2002.

Update of August 13, 2013—

The four basis vectors in the 2002 Köller hypercube figure
are also visible at the bottom of the hypercube figure on
page 7 of “Diamond Theory,” excerpts from a 1976 preprint
in Computer Graphics and Art , Vol. 2, No. 1, February 1977.
A predecessor:  Coxeter’s 1950 hypercube figure from
“Self-Dual Configurations and Regular Graphs.”

(Continued)

J. H. Conway in 1971 discussed the role of an elementary abelian group
of order 16 in the Mathieu group M₂₄. His approach at that time was
purely algebraic, not geometric—

For earlier (and later) discussions of the geometry  (not the algebra )
of that order-16 group (i.e., the group of translations of the affine space
of 4 dimensions over the 2-element field), see The Galois Tesseract.

Recent piracy of my work as part of a London art project suggests the following.

           From http://www.trussel.com/rls/rlsgb1.htm

The 2011 Long John Silver Award for academic piracy
goes to ….

Hermann Weyl, for the remark on objectivity and invariance
in his classic work Symmetry  that skillfully pirated
the much earlier work of philosopher Ernst Cassirer.

And the 2011 Parrot Award for adept academic idea-lifting
goes to …

Richard Evan Schwartz of Brown University, for his
use, without citation, of Cullinane’s work illustrating
Weyl’s “relativity problem” in a finite-geometry context.

For further details, click on the above names.