"For use of the Kummer surface in Buddhist metaphysics . . ."
is a phrase from a search in this journal for Nanavira.
See as well Buddhism in the previous post.
"For use of the Kummer surface in Buddhist metaphysics . . ."
is a phrase from a search in this journal for Nanavira.
See as well Buddhism in the previous post.
This post was suggested by the names* (if not the very abstruse
concepts ) in the Aug. 20, 2013, preprint "A Panoramic Overview
of Interuniversal Teichmuller Theory," by S. Mochizuki.
* Specifically, Jacobi and Kummer (along with theta functions).
I do not know of any direct connection between these names'
relevance to the writings of Mochizuki and their relevance
(via Hudson, 1905) to my own much more elementary studies of
the geometry of the 4×4 square.
For the title, see Icon Parking in a search for 54th in this journal.
For related iconic remarks, click on either image below.
This post was suggested by the Dec. 30, 2016, date of the
death in Nuremberg of mathematician Wolf Barth. The first
image above is from a mathematicsrelated work by
John von Neumann discussed here on that date.
See also Wolf Barth in this journal for posts that largely
concern not the above Barth, but an artist of the same name.
For posts on the mathematician only, see Barth + Kummer.
This post was suggested by the previous post — Four Dots —
and by the phrase "smallest perfect" in this journal.
Related material (click to enlarge) —
Detail —
From the work of Eddington cited in 1974 by von Franz —
See also Dirac and Geometry and Kummer in this journal.
Updates from the morning of June 27 —
Ron Shaw on Eddington's triads "associated in conjugate pairs" —
For more about hyperbolic and isotropic lines in PG(3,2),
see posts tagged Diamond Theorem Correlation.
For Shaw, in memoriam — See Contrapuntal Interweaving and The Fugue.
The above fourelement sets of black subsquares of a 4×4 square array
are 15 of the 60 Göpel tetrads , and 20 of the 80 Rosenhain tetrads , defined
by R. W. H. T. Hudson in his 1905 classic Kummer's Quartic Surface .
Hudson did not view these 35 tetrads as planes through the origin in a finite
affine 4space (or, equivalently, as lines in the corresponding finite projective
3space).
In order to view them in this way, one can view the tetrads as derived,
via the 15 twoelement subsets of a sixelement set, from the 16 elements
of the binary Galois affine space pictured above at top left.
This space is formed by taking symmetricdifference (Galois binary)
sums of the 15 twoelement subsets, and identifying any resulting four
element (or, summing three disjoint twoelement subsets, sixelement)
subsets with their complements. This process was described in my note
"The 2subsets of a 6set are the points of a PG(3,2)" of May 26, 1986.
The space was later described in the following —
This post is not unrelated to previous posts tagged Dirac and Geometry.
See particularly a post citing …
"Projective Geometry and PTSymmetric Dirac Hamiltonian,"
Y. Jack Ng and H. van Dam,
Physics Letters B , Volume 673, Issue 3,
23 March 2009, Pages 237–239
A recent physics article discussed today by Peter Woit in a 4:12 PM ET
post — "Some Math and Physics Interactions" — is available in the arXiv …
"If the analysis presented here can be made rigorous . . .
the Riemann hypothesis holds true."
As Woit notes, this is a rather large "if."
"And as the characters in the meme twitch into the abyss
that is the sky, this meme will disappear into whatever
internet abyss swallowed MySpace."
—Staff writer Kamila Czachorowski, Harvard Crimson today
From Log24 posts tagged Art Space —
From a recent paper on Kummer varieties,
arXiv:1208.1229v3 [math.AG] 12 Jun 2013,
“The Universal Kummer Threefold,” by
Qingchun Ren, Steven V Sam, Gus Schrader, and
Bernd Sturmfels —
Two such considerations —
*The Hudson of the title is the author of Kummer's Quartic Surface (1905).
The Rosenhain of the title is the author for whom Hudson's 4×4 diagrams
of "Rosenhain tetrads" are named. For the "complexity to simplicity" of
the title, see Roger Fry in the previous post.
(Continued … See the title in this journal, as well as Cube Bricks.)
Cube Bricks 1984 —
Dirac and Geometry in this journal,
Kummer's Quartic Surface in this journal,
Nanavira Thera in this journal, and
The Razor's Edge and Nanavira Thera.
See as well Bill Murray's 1984 film "The Razor's Edge" …
Movie poster from 1984 —
"A thin line separates
love from hate,
success from failure,
life from death."
Three other dualities, from Nanavira Thera in 1959 —
"I find that there are, in every situation,
three independent dualities…."
(Click to enlarge.)
The previous post discussed the parametrization of
the 4×4 array as a vector 4space over the 2element
Galois field GF(2).
The 4×4 array may also be parametrized by the symbol
0 along with the fifteen 2subsets of a 6set, as in Hudson's
1905 classic Kummer's Quartic Surface —
Hudson in 1905:
These two ways of parametrizing the 4×4 array — as a finite space
and as an array of 2element sets — were related to one another
by Cullinane in 1986 in describing, in connection with the Curtis
"Miracle Octad Generator," what turned out to be 15 of Hudson's
1905 "Göpel tetrads":
A recap by Cullinane in 2013:
Click images for further details.
The previous post quoted Tom Wolfe on Chomsky's use of
the word "array."
An example of particular interest is the 4×4 array
(whether of dots or of unit squares) —
.
Some context for the 4×4 array —
The following definition indicates that the 4×4 array, when
suitably coordinatized, underlies the Kummer lattice .
Further background on the Kummer lattice:
Alice Garbagnati and Alessandra Sarti,
"Kummer Surfaces and K3 surfaces
with $(Z/2Z)^4$ symplectic action."
To appear in Rocky Mountain J. Math. —
The above article is written from the viewpoint of traditional
algebraic geometry. For a less traditional view of the underlying
affine 4space from finite geometry, see the website
Finite Geometry of the Square and Cube.
Some further context …
"To our knowledge, the relation of the Golay code
to the Kummer lattice … is a new observation."
— Anne Taormina and Katrin Wendland,
"The overarching finite symmetry group of
Kummer surfaces in the Mathieu group M_{24 }"
As noted earlier, Taormina and Wendland seem not to be aware of
R. W. H. T. Hudson's use of the (uncoordinatized*) 4×4 array in his
1905 book Kummer's Quartic Surface. The array was coordinatized,
i.e. given a "vector space structure," by Cullinane eight years prior to
the cited remarks of Curtis.
* Update of Sept. 14: "Uncoordinatized," but parametrized by 0 and
the 15 twosubsets of a sixset. See the post of Sept. 13.
Further details from Edmund Hess in 1889* related to
last night's remarks on the Klein 60_{15} configuration
and the Kummer 16_{6} configuration —
* Edmund Hess, "Beiträge zur Theorie der räumlichen Configurationen.
Ueber die Klein'sche Configuration Cf. (60₁₅, 30₆) und einige
bemerkenswerthe aus dieser ableitbare räumliche Configurationen."
The following passage by Igor Dolgachev (Good Friday, 2003)
seems somewhat relevant (via its connection to Kummer's 16_{6} )
to previous remarks here on Dirac matrices and geometry —
Note related remarks from E. M. Bruins in 1959 —
A review of some recent posts on Dirac and geometry,
each of which mentions the late physicist Hendrik van Dam:
The first of these posts mentions the work of E. M. Bruins.
Some earlier posts that cite Bruins:
From "Projective Geometry and PTSymmetric Dirac Hamiltonian,"
Y. Jack Ng and H. van Dam,
Physics Letters B , Volume 673, Issue 3,
23 March 2009, Pages 237–239
(http://arxiv.org/abs/0901.2579v2, last revised Feb. 20, 2009)
" Studies of spin½ theories in the framework of projective geometry
have been undertaken before. See, e.g., Ref. [4]. ^{1 }"
" ^{1} These papers are rather mathematical and technical.
The authors of the first two papers discuss the Dirac equation
in terms of the PluckerKlein correspondence between lines of
a threedimensional projective space and points of a quadric
in a fivedimensional projective space. The last paper shows
that the Dirac equation bears a certain relation to Kummer’s
surface, viz., the structure of the Dirac ring of matrices is
related to that of Kummer’s 16_{6} configuration . . . ."
[4]
O. Veblen
Proc. Natl. Acad. Sci. USA , 19 (1933), p. 503
Full Text via CrossRef
E.M. Bruins
Proc. Nederl. Akad. Wetensch. , 52 (1949), p. 1135
F.C. Taylor Jr., Master thesis, University of North Carolina
at Chapel Hill (1968), unpublished
A remark of my own on the structure of Kummer’s 16_{6} configuration . . . .
See as well yesterday morning's post.
The authors Taormina and Wendland in the previous post
discussed some mathematics they apparently did not know was
related to a classic 1905 book by R. W. H. T. Hudson, Kummer's
Quartic Surface .
"This famous book is a prototype for the possibility
of explaining and exploring a manyfaceted topic of
research, without focussing on general definitions,
formal techniques, or even fancy machinery. In this
regard, the book still stands as a highly recommendable,
unparalleled introduction to Kummer surfaces, as a
permanent source of inspiration and, last but not least,
as an everlasting symbol of mathematical culture."
— Werner Kleinert, Mathematical Reviews ,
as quoted at Amazon.com
Some 4×4 diagrams from that book are highly relevant to the
discussion by Taormina and Wendland of the 4×4 squares within
the 1974 Miracle Octad Generator of R. T. Curtis that were later,
in 1987, described by Curtis as pictures of the vector 4space over
the twoelement Galois field GF(2).
Hudson did not think of his 4×4 diagrams as illustrating a vector space,
but he did use them to picture certain subsets of the 16 cells in each
diagram that he called Rosenhain and Göpel tetrads .
Some related work of my own (click images for related posts)—
Rosenhain tetrads as 20 of the 35 projective lines in PG(3,2)
Göpel tetrads as 15 of the 35 projective lines in PG(3,2)
Related terminology describing the Göpel tetrads above
The hexagons above appear also in Gary W. Gibbons,
"The Kummer Configuration and the Geometry of Majorana Spinors,"
1993, in a cube model of the Kummer 16_{6} configuration —
Related material — The Religion of Cubism (May 9, 2003).
From p. 34 of the preprint "Snapshots of Conformal Field Theory,"
by Katrin Wendland, arXiv, 11 April 2014 —
50. Gannon, T.: Much ado about Mathieu (arXiv:1211.5531 [math.RT])
85. Taormina, A., Wendland, K.: The overarching finite symmetry group
of Kummer surfaces in the Mathieu group M24. JHEP 08, 125 (2013)
86. Taormina, A., Wendland, K.: Symmetrysurfing the moduli space
of Kummer K3s (arXiv:1303.2931 [hepth])
87. Taormina, A., Wendland, K.: A twist in the M24 moonshine story
(arXiv:1303.3221 [hepth])
The Wendland paper was published on Jan. 7, 2015, in
Mathematical Aspects of Quantum Field Theories ,
edited by Damien Calaque and Thomas Strobl
(Springer Mathematical Physics Studies), pages 89129.
Some background for my post of Nov. 20,
"Anticommuting Dirac Matrices as Skew Lines" —
His earlier paper that Bruins refers to, "Line Geometry
and Quantum Mechanics," is available in a free PDF.
For a biography of Bruins translated by Google, click here.
For some additional historical background going back to
Eddington, see Gary W. Gibbons, "The Kummer
Configuration and the Geometry of Majorana Spinors,"
pages 3952 in Oziewicz et al., eds., Spinors, Twistors,
Clifford Algebras, and Quantum Deformations:
Proceedings of the Second Max Born Symposium held
near Wrocław, Poland, September 1992 . (Springer, 2012,
originally published by Kluwer in 1993.)
For morerecent remarks on quantum geometry, see a
paper by Saniga cited in today's update to my Nov. 20 post.
Some context for yesterday's post on a symplectic polarity —
This 1986 note may or may not have inspired some remarks
of Wolf Barth in his foreword to the 1990 reissue of Hudson's
1905 Kummer's Quartic Surface .
See also the diamondtheorem correlation.
The title of the previous post, "Slow Art," is a phrase
of the late art critic Robert Hughes.
Example from mathematics:
Click the Barth passage to see it with its surrounding text.
Related material:
A short poem by several authors:
"The role of
the 16 singular points
on the Kummer surface
is now played by
the 64 singular points
on the Kummer threefold."
— From Remark 2.4 on page 9 of
"The Universal Kummer Threefold,"
by Qingchun Ren, Steven V Sam,
Gus Schrader, and Bernd Sturmfels,
http://arxiv.org/abs/1208.1229v3,
August 6, 2012 — June 12, 2013.
See also "Expanded Field" in this journal.
Illustration from "Sunday School," July 20, 2014.
Robin Williams and the Stages of Grief
A weblog post from Jan. 25, 2014 (click image to enlarge)—
Clues for a Mystery (Click links for more details)—
Clue 1: A June 11,* 2014, math death.
Clue 2: The answer is a surname.
Midrash for Will Hunting:
See Nanavira Thera at Wikipedia and space notes from September 2012.
* According to a (perhaps inaccurate) math department.
June 10, according to other sources cited by the department.
“Richard Hughes’s celebrated short novel is
a masterpiece of concentrated narrative.”
— New York Review of Books on
A High Wind in Jamaica
As perhaps were, in their way, parts of the life
of the late Patrice Wymore Flynn, who reportedly
died at 87 on Saturday.
Deep backstory: See Colony of Santiago (Jamaica).
For the “mathematics” part of this post’s title, see
Saturday’s Log24 post on Kummersurface terms
and a post of September 23, 2012.
“Charting the Real FourQubit Pauli Group
via Ovoids of a Hyperbolic Quadric of PG(7,2),”
by Metod Saniga, Péter Lévay and Petr Pracna,
arXiv:1202.2973v2 [mathph] 26 Jun 2012 —
P. 4— “It was found that Q ^{+}(5,2) (the Klein quadric)
has, up to isomorphism, a unique one — also known,
after its discoverer, as a Conwell heptad [18].
The set of 28 points lying off Q ^{+}(5,2) comprises
eight such heptads, any two having exactly one
point in common.”
P. 11— “This split reminds us of a similar split of
63 points of PG(5,2) into 35/28 points lying on/off
a Klein quadric Q ^{+}(5,2).”
[18] G. M. Conwell, Ann. Math. 11 (1910) 60–76
A similar split occurs in yesterday’s Kummer Varieties post.
See the 63 = 28 + 35 vectors of R^{8} discussed there.
For more about Conwell heptads, see The Klein Correspondence,
Penrose SpaceTime, and a Finite Model.
For my own remarks on the date of the above arXiv paper
by Saniga et. al., click on the image below —
Walter Gropius
The Dream of the Expanded Field continues…
From Klein’s 1893 Lectures on Mathematics —
“The varieties introduced by Wirtinger may be called Kummer varieties….”
— E. Spanier, 1956
From this journal on March 10, 2013 —
From a recent paper on Kummer varieties,
arXiv:1208.1229v3 [math.AG] 12 Jun 2013,
“The Universal Kummer Threefold,” by
Qingchun Ren, Steven V Sam, Gus Schrader, and Bernd Sturmfels —
Two such considerations —
Update of 10 PM ET March 7, 2014 —
The following slides by one of the “Kummer Threefold” authors give
some background related to the above 64point vector space and
to the Weyl group of type E_{7}, W (E_{7}):
The Cayley reference is to “Algorithm for the characteristics of the
triple ϑfunctions,” Journal für die Reine und Angewandte
Mathematik 87 (1879): 165169. <http://eudml.org/doc/148412>.
To read this in the context of Cayley’s other work, see pp. 441445
of Volume 10 of his Collected Mathematical Papers .
See also Rosenhain and Göpel in the Wikipedia
article Kummer surface, and in this journal.
Related material: user @hyperelliptic on Twitter.
(Continued from Mystery Box, Feb. 4, and Mystery Box II, Feb. 5.)
The Box
Inside the Box
Outside the Box
For the connection of the inside notation to the outside geometry,
see Desargues via Galois.
(For a related connection to curves and surfaces in the outside
geometry, see Hudson's classic Kummer's Quartic Surface and
Rosenhain and Göpel Tetrads in PG(3,2).)
"Let X equal the month of full bookstores."
— Proof by David Auburn
"Harvard Book Store is thrilled to welcome Stephen King for a special event to celebrate the release of Doctor Sleep , the longanticipated sequel to 1977’s The Shining . Mr. King will read from and discuss the new book, followed by a Q&A with the audience at Memorial Church in Harvard Yard on September 27." 
See as well Corpse + Eliot and some remarks
on the mathematics of Kummer
from this September and from last September.
"… a list of group theoretic invariants
and their geometric incarnation…"
— David Lehavi on the Kummer 16_{6} configuration in 2007
Related material —
"The hint half guessed, the gift half understood, is Incarnation."
— T. S. Eliot in Four Quartets
"This is not theology; this is mathematics."
— Steven H. Cullinane on four quartets
To wit:
The Kummer 16_{6} configuration is the configuration of sixteen
6sets within a 4×4 square array of points in which each 6set
is determined by one of the 16 points of the array and
consists of the 3 other points in that point's row and the
3 other points in that point's column.
See Configurations and Squares.
The Wikipedia article Kummer surface uses a rather poetic
phrase* to describe the relationship of the 16_{6} to a number
of other mathematical concepts — "geometric incarnation."
Related material from finitegeometry.org —
* Apparently from David Lehavi on March 18, 2007, at Citizendium .
Mathematics:
A review of posts from earlier this month —
Wednesday, September 4, 2013

Narrative:
Aooo.
Happy birthday to Stephen King.
The following excerpt from a January 20, 2013, preprint shows that
a Galoisgeometry version of the large Desargues 15_{4}20_{3} configuration,
although based on the nineteenthcentury work of Galois* and of Fano,**
may at times have twentyfirstcentury applications.
Atkinson's paper does not use the square model of PG(3,2), which later
in 2013 provided a natural view of the large Desargues 15_{4}20_{3} configuration.
See my own Classical Geometry in Light of Galois Geometry. Atkinson's
"subset of 20 lines" corresponds to 20 of the 80 Rosenhain tetrads
mentioned in that later article and pictured within 4×4 squares in Hudson's
1905 classic Kummer's Quartic Surface.
* E. Galois, definition of finite fields in "Sur la Théorie des Nombres,"
Bulletin des Sciences Mathématiques de M. Férussac,
Vol. 13, 1830, pp. 428435.
** G. Fano, definition of PG(3,2) in "Sui Postulati Fondamentali…,"
Giornale di Matematiche, Vol. 30, 1892, pp. 106132.
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 Galoisfield 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 pre1976
coordinatization of a 4×4 array by the 16 elements
of the vector 4space over the Galois field with two
elements, GF(2).
Such coordinatizations are important because of their
close relationship to the Mathieu group M _{24 }.
See a preprint by Anne Taormina and Katrin Wendland,
"The overarching finite symmetry group of Kummer
surfaces in the Mathieu group M _{24} ," 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.
From an arXiv preprint submitted July 18, 2011,
and last revised on March 11, 2013 (version 4):
"By our construction, this vector space is the dual
of our hypercube F_{2}^{4} built on I \ O_{9}. The vector space
structure of the latter, to our knowledge, is first
mentioned by Curtis in [Cur89]. Hence altogether
our proposition 2.3.4 gives a novel geometric
meaning in terms of Kummer geometry to the known
vector space structure on I \ O_{9}."
[Cur89] reference:
R. T. Curtis, "Further elementary techniques using
the miracle octad generator," Proc. Edinburgh
Math. Soc. 32 (1989), 345353 (received on
July 20, 1987).
— Anne Taormina and Katrin Wendland,
"The overarching finite symmetry group of Kummer
surfaces in the Mathieu group M _{24 },"
arXiv.org > hepth > arXiv:1107.3834
"First mentioned by Curtis…."
No. I claim that to the best of my knowledge, the
vector space structure was first mentioned by me,
Steven H. Cullinane, in an AMS abstract submitted
in October 1978, some nine years before the
Curtis article.
Update of the above paragraph on July 6, 2013—
No. The vector space structure was described by
The vector space structure as it occurs in a 4×4 array 
See Notes on Finite Geometry for some background.
See in particular The Galois Tesseract.
For the relationship of the 1978 abstract to Kummer
geometry, see Rosenhain and Göpel Tetrads in PG(3,2).
Some historical background for today's note on the geometry
underlying the Curtis Miracle Octad Generator (MOG):
The above incidence diagram recalls those in today's previous post
on the MOG, which is used to construct the large Mathieu group M_{24}.
For some related material that is more uptodate, search the Web
for Mathieu + Kummer .
Desargues' theorem according to a standard textbook:
"If two triangles are perspective from a point
they are perspective from a line."
The converse, from the same book:
"If two triangles are perspective from a line
they are perspective from a point."
Desargues' theorem according to Wikipedia
combines the above statements:
"Two triangles are in perspective axially [i.e., from a line]
if and only if they are in perspective centrally [i.e., from a point]."
A figure often used to illustrate the theorem,
the Desargues configuration , has 10 points and 10 lines,
with 3 points on each line and 3 lines on each point.
A discussion of the "if and only if" version of the theorem
in light of Galois geometry requires a larger configuration—
15 points and 20 lines, with 3 points on each line
and 4 lines on each point.
This large Desargues configuration involves a third triangle,
needed for the proof (though not the statement ) of the
"if and only if" version of the theorem. Labeled simply
"Desargues' Theorem," the large configuration is the
frontispiece to Volume I (Foundations) of Baker's 6volume
Principles of Geometry .
Pointline incidence in this larger configuration is,
as noted in a post of April 1, 2013, described concisely
by 20 Rosenhain tetrads (defined in 1905 by
R. W. H. T. Hudson in Kummer's Quartic Surface ).
The third triangle, within the larger configuration,
is pictured below.
Background: Rosenhain and Göpel Tetrads in PG(3,2)
Introduction: The Large Desargues Configuration Added by Steven H. Cullinane on Friday, April 19, 2013 Desargues' theorem according to a standard textbook:
"If two triangles are perspective from a point The converse, from the same book:
"If two triangles are perspective from a line
Desargues' theorem according to Wikipedia
"Two triangles are in perspective axially [i.e., from a line]
A figure often used to illustrate the theorem,
A discussion of the "if and only if" version of the theorem
This large Desargues configuration involves a third triangle,
Pointline incidence in this larger configuration is,
The third triangle, within the larger configuration,

A connection discovered today (April 1, 2013)—
(Click to enlarge the image below.)
Update of April 18, 2013
Note that Baker's Desarguestheorem figure has three triangles,
ABC, A'B'C', A"B"C", instead of the two triangles that occur in
the statement of the theorem. The third triangle appears in the
course of proving, not just stating, the theorem (or, more precisely,
its converse). See, for instance, a note on a standard textbook for
further details.
(End of April 18, 2013 update.)
Update of April 14, 2013
See Baker's Proof (Edited for the Web) for a detailed explanation
of the above picture of Baker's Desarguestheorem frontispiece.
(End of April 14, 2013 update.)
Update of April 12, 2013
A different figure, from a site at National Tsing Hua University,
shows the three triangles of Baker's figure more clearly:
(End of update of April 12, 2013)
Update of April 13, 2013
Another in a series of figures illustrating
Desargues's theorem in light of Galois geometry:
See also the original VeblenYoung figure in context.
(End of update of April 13, 2013)
Rota's remarks, while perhaps not completely accurate, provide some context
for the above DesarguesRosenhain connection. For some other context,
see the interplay in this journal between classical and finite geometry, i.e.
between Euclid and Galois.
For the recent context of the above finitegeometry version of Baker's Vol. I
frontispiece, see Sunday evening's finitegeometry version of Baker's Vol. IV
frontispiece, featuring the Göpel, rather than the Rosenhain, tetrads.
For a 1986 illustration of Göpel and Rosenhain tetrads (though not under
those names), see Picturing the Smallest Projective 3Space.
In summary… the following classicalgeometry figures
are closely related to the Galois geometry PG(3,2):
Volume I of Baker's Principles has a cover closely related to the Rosenhain tetrads in PG(3,2) 
Volume IV of Baker's Principles has a cover closely related to the Göpel tetrads in PG(3,2) 
Foundations (click to enlarge)

Higher Geometry (click to enlarge)

The 16point affine Galois space:
Further properties of this space:
In Configurations and Squares, see the
discusssion of the Kummer 16_{6} configuration.
Some closely related material:
For the first two pages, click here.
Yesterday's post Permanence dealt with the cube
as a symmetric model of the finite projective plane
PG(2,3), which has 13 points and 13 lines. The points
and lines of the finite geometry occur in the cube as
the 13 axes of symmetry and the 13 planes through
the center perpendicular to those axes. If the three
axes lying in a plane that cuts the cube in a hexagon
are supplemented by the axis perpendicular to that
plane, each plane is associated with four axes and,
dually, each axis is associated with four planes.
My web page on this topic, Cubist Geometries, was
written on February 27, 2010, and first saved to the
Internet Archive on Oct. 4, 2010.
For a more recent treatment of this topic that makes
exactly the same points as the 2010 page, see p. 218
of Configurations from a Graphical Viewpoint , by
Tomaž Pisanski and Brigitte Servatius, published by
Springer on Sept. 23, 2012 (date from both Google
Books and Amazon.com):
For a similar 1998 treatment of the topic, see Burkard Polster's
A Geometrical Picture Book (Springer, 1998), pp. 103104.
The PisanskiServatius book reinforces my argument of Jan. 13, 2013,
that the 13 planes through the cube's center that are perpendicular
to the 13 axes of symmetry of the cube should be called the cube's
symmetry planes , contradicting the usual use of of that term.
That argument concerns the interplay between Euclidean and
Galois geometry. Pisanski and Servatius (and, in 1998, Polster)
emphasize the Euclidean square and cube as guides* to
describing the structure of a Galois space. My Jan. 13 argument
uses Galois structures as a guide to redescribing those of Euclid .
(For a similar strategy at a much more sophisticated level,
see a recent Harvard Math Table.)
Related material: Remarks on configurations in this journal
during the month that saw publication of the PisanskiServatius book.
* Earlier guides: the diamond theorem (1978), similar theorems for
2x2x2 (1984) and 4x4x4 cubes (1983), and Visualizing GL(2,p)
(1985). See also Spaces as Hypercubes (2012).
Last Wednesday's 11 PM post mentioned the
adjacencyisomorphism relating the 4dimensional
hypercube over the 2element Galois field GF(2) to
the 4×4 array made up of 16 square cells, with
opposite edges of the 4×4 array identified.
A web page illustrates this property with diagrams that
enjoy the Karnaugh property— adjacent vertices, or cells,
differ in exactly one coordinate. A brief paper by two German
authors relates the Karnaugh property to the construction
of a magic square like that of Dürer (see last Wednesday).
In a similar way (search the Web for Karnaugh + cube ),
vertex adjacency in the 6dimensional hypercube over GF(2)
is isomorphic to cell adjacency in the 4x4x4 cube, with
opposite faces of the 4x4x4 cube identified.
The above cube may be used to illustrate some properties
of the 64point Galois 6space that are more advanced
than those studied by enthusiasts of "magic" squares
and cubes.
See
Those who prefer narrative to mathematics may
consult posts in this journal containing the word "Cuber."
Denote the ddimensional hypercube by γ_{d} .
"… after coloring the sixtyfour vertices of γ_{6}
alternately red and blue, we can say that
the sixteen pairs of opposite red vertices represent
the sixteen nodes of Kummer's surface, while
the sixteen pairs of opposite blue vertices
represent the sixteen tropes."
— From "Kummer's 16_{6 }," section 12 of Coxeter's 1950
"Selfdual Configurations and Regular Graphs"
Just as the 4×4 square represents the 4dimensional
hypercube γ_{4 }over the twoelement Galois field GF(2),
so the 4x4x4 cube represents the 6dimensional
hypercube γ_{6} over GF(2).
For religious interpretations, see
Nanavira Thera (Indian) and
I Ching geometry (Chinese).
See also two professors in The New York Times
discussing images of the sacred in an oped piece
dated Sept. 26 (Yom Kippur).
"We live together, we act on, and react to, one another; but always and in all circumstances we are by ourselves. The martyrs go hand in hand into the arena; they are crucified alone. Embraced, the lovers desperately try to fuse their insulated ecstasies into a single selftranscendence; in vain. By its very nature every embodied spirit is doomed to suffer and enjoy in solitude. Sensations, feelings, insights, fancies – all these are private and, except through symbols and at second hand, incommunicable. We can pool information about experiences, but never the experiences themselves. From family to nation, every human group is a society of island universes. Most island universes are sufficiently like one another to permit of inferential understanding or even of mutual empathy or "feeling into." Thus, remembering our own bereavements and humiliations, we can condole with others in analogous circumstances, can put ourselves (always, of course, in a slightly Pickwickian sense) in their places. But in certain cases communication between universes is incomplete or even nonexistent. The mind is its own place, and the places inhabited by the insane and the exceptionally gifted are so different from the places where ordinary men and women live, that there is little or no common ground of memory to serve as a basis for understanding or fellow feeling. Words are uttered, but fail to enlighten. The things and events to which the symbols refer belong to mutually exclusive realms of experience."
"Greet guests with a touch of glass."
In Like Flynn
From the Wall Street Journal site Friday evening—
ESSAY September 21, 2012, 9:10 p.m. ET Are We Really Getting Smarter? Americans' IQ scores have risen steadily over the past century. 
No, thank you. I prefer the ninth configuration as is—
Why? See Josefine Lyche's art installation "Grids, you say?"
Her reference there to "High White Noon" is perhaps
related to the use of that phrase in this journal.
The phrase is from a 2010 novel by Don DeLillo.
See "Point Omega," as well as Lyche's "Omega Point,"
in this journal.
The Wall Street Journal author above, James R. Flynn (born in 1934),
"is famous for his discovery of the Flynn effect, the continued
yearafteryear increase of IQ scores in all parts of the world."
—Wikipedia
His son Eugene Victor Flynn is a mathematician, coauthor
of the following chapter on the Kummer surface—
For use of the Kummer surface in Buddhist metaphysics, see last night's
post "Occupy Space (continued)" and the letters of Nanavira Thera from the
late 1950s at nanavira.blogspot.com.
These letters, together with Lyche's use of the phrase "high white noon,"
suggest a further quotation—
You know that it would be untrue
You know that I would be a liar
If I was to say to you
Girl, we couldn't get much higher
See also the Kummer surface at the web page Configurations and Squares.
"The word 'space' has, as you suggest, a large number of different meanings."
— Nanavira Thera in [Early Letters. 136] 10.xii.1958
From that same letter (links added to relevant Wikipedia articles)—
Space (ākāsa) is undoubtedly used in the Suttas
Your second letter seems to suggest that the space 
A simpler metaphysical system along the same lines—
The theory, he had explained, was that the persona
— The Gameplayers of Zan , 
"I am glad you have discovered that the situation is comical:
ever since studying Kummer I have been, with some difficulty,
refraining from making that remark."
— Nanavira Thera, [Early Letters, 131] 17.vii.1958
The showmanship of Nicki Minaj at Sunday's
Grammy Awards suggested the above title,
that of a novel by the author of The Exorcist .
The Ninth Configuration —
The ninth* in a list of configurations—
"There is a (2^{d1})_{d} configuration
known as the Cox configuration."
— MathWorld article on "Configuration"
For further details on the Cox 32_{6} configuration's Levi graph,
a model of the 64 vertices of the sixdimensional hypercube γ_{6 },
see Coxeter, "SelfDual Configurations and Regular Graphs,"
Bull. Amer. Math. Soc. Vol. 56, pages 413455, 1950.
This contains a discussion of Kummer's 16_{6} as it
relates to γ_{6 }, another form of the 4×4×4 Galois cube.
See also Solomon's Cube.
* Or tenth, if the fleeting reference to 11_{3} configurations is counted as the seventh—
and then the ninth would be a 15_{3} and some related material would be Inscapes.
"Total grandeur of a total edifice,
Chosen by an inquisitor of structures
For himself. He stops upon this threshold,
As if the design of all his words takes form
And frame from thinking and is realized."
— Wallace Stevens, "To an Old Philosopher in Rome"
The following edifice may be lacking in grandeur,
and its properties as a configuration were known long
before I stumbled across a description of it… still…
"What we do may be small, but it has
a certain character of permanence…."
— G.H. Hardy, A Mathematician's Apology
The Kummer 16_{6} Configuration
as seen by Kantor in 1969— (pdf, 2.5 MB)
For some background, see Configurations and Squares.
For some quite different geometry of the 4×4 square that is
original with me, see a page with that title. (The geometry's
importance depends in part on its connection with the
Miracle Octad Generator (MOG) of R.T. Curtis. I of course
had nothing to do with the MOG's discovery, but I do claim credit
for discovering some geometric properties of the 4×4 square
that constitutes twothirds of the MOG as originally defined .)
Related material— The Schwartz Notes of June 1.
On this date 106 years ago…
Prefatory note from Hudson's classic Kummer's Quartic Surface ,
Cambridge University Press, 1905—
RONALD WILLIAM HENRY TURNBULL HUDSON would have
been twentynine years old in July of this year; educated at
St Paul's School, London, and at St John's College, Cambridge,
he obtained the highest honours in the public examinations of the
University, in 1898, 1899, 1900; was elected a Fellow of St John's
College in 1900; became a Lecturer in Mathematics at University
College, Liverpool, in 1902; was D.Sc. in the University of London
in 1903; and died, as the result of a fall while climbing in Wales,
in the early autumn of 1904….
A manysided theory such as that of this volume is
generally to be won only by the work of many lives;
one who held so firmly the faith that the time is well spent
could ill be spared.
— H. F. Baker, 27 March 1905
For some more recent remarks related to the theory, see
Defining Configurations and its updates, March 2027, 2011.
The OnLine Encyclopedia of Integer Sequences has an article titled "Number of combinatorial configurations of type (n_3)," by N.J.A. Sloane and D. Glynn.
From that article:
The following corrects the word "unique" in the example.
* This post corrects an earlier post, also numbered 14660 and dated 7 PM March 18, 2011, that was in error.
The correction was made at about 11:50 AM on March 20, 2011.
_____________________________________________________________
Update of March 21
The problem here is of course with the definition. Sloane and Glynn failed to include in their definition a condition that is common in other definitions of configurations, even abstract or purely "combinatorial" configurations. See, for instance, Configurations of Points and Lines , by Branko Grunbaum (American Mathematical Society, 2009), p. 17—
In the most general sense we shall consider combinatorial (or abstract) configurations; we shall use the term setconfigurations as well. In this setting "points" are interpreted as any symbols (usually letters or integers), and "lines" are families of such symbols; "incidence" means that a "point" is an element of a "line". It follows that combinatorial configurations are special kinds of general incidence structures. Occasionally, in order to simplify and clarify the language, for "points" we shall use the term marks, and for "lines" we shall use blocks. The main property of geometric configurations that is preserved in the generalization to setconfigurations (and that characterizes such configurations) is that two marks are incident with at most one block, and two blocks with at most one mark.
Whether or not omitting this "at most one" condition from the definition is aesthetically the best choice, it dramatically changes the number of configurations in the resulting theory, as the above (8_3) examples show.
Update of March 22 (itself updated on March 25)
For further background on configurations, see Dolgachev—
Note that the two examples Dolgachev mentions here, with 16 points and 9 points, are not unrelated to the geometry of 4×4 and 3×3 square arrays. For the Kummer and related 16point configurations, see section 10.3, "The Three Biplanes of Order 4," in Burkard Polster's A Geometrical Picture Book (Springer, 1998). See also the 4×4 array described by Gordon Royle in an undated web page and in 1980 by Assmus and Sardi. For the Hesse configuration, see (for instance) the passage from Coxeter quoted in Quaternions in an Affine Galois Plane.
Update of March 27
See the above link to the (16,6) 4×4 array and the (16,6) exercises using this array in R.D. Carmichael's classic Introduction to the Theory of Groups of Finite Order (1937), pp. 4243. For a connection of this sort of 4×4 geometry to the geometry of the diamond theorem, read "The 2subsets of a 6set are the points of a PG(3,2)" (a note from 1986) in light of R.W.H.T. Hudson's 1905 classic Kummer's Quartic Surface , pages 89, 1617, 4445, 7677, 7879, and 80.
Powered by WordPress