Friday, October 8, 2021
Saturday, March 7, 2020
The “Octad Group” as Symmetries of the 4×4 Square
From "Mathieu Moonshine and Symmetry Surfing" —
(Submitted on 29 Sep 2016, last revised 22 Jan 2018)
by Matthias R. Gaberdiel (1), Christoph A. Keller (2),
and Hynek Paul (1)
(1) Institute for Theoretical Physics, ETH Zurich
(2) Department of Mathematics, ETH Zurich
https://arxiv.org/abs/1609.09302v2 —
"This presentation of the symmetry groups Gi is
particularly well-adapted for the symmetry surfing
philosophy. In particular it is straightforward to
combine them into an overarching symmetry group G
by combining all the generators. The resulting group is
the so-called octad group
G = (Z2)4 ⋊ A8 .
It can be described as a maximal subgroup of M24
obtained by the setwise stabilizer of a particular
'reference octad' in the Golay code, which we take
to be O9 = {3,5,6,9,15,19,23,24} ∈ 𝒢24. The octad
subgroup is of order 322560, and its index in M24
is 759, which is precisely the number of
different reference octads one can choose."
This "octad group" is in fact the symmetry group of the affine 4-space over GF(2),
so described in 1979 in connection not with the Golay code but with the geometry
of the 4×4 square.* Its nature as an affine group acting on the Golay code was
known long before 1979, but its description as an affine group acting on
the 4×4 square may first have been published in connection with the
Cullinane diamond theorem and Abstract 79T-A37, "Symmetry invariance in a
diamond ring," by Steven H. Cullinane in Notices of the American Mathematical
Society , February 1979, pages A-193, 194.
* The Galois tesseract .
Update of March 15, 2020 —
Conway and Sloane on the "octad group" in 1993 —
Comments Off on The “Octad Group” as Symmetries of the 4×4 Square
Monday, September 12, 2016
The Kummer Lattice
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 4-space 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 M24 "
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 two-subsets of a six-set. See the post of Sept. 13.
Comments Off on The Kummer Lattice
Sunday, May 19, 2013
Priority Claim
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 F24 built on I \ O9. 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 \ O9."
[Cur89] reference:
R. T. Curtis, "Further elementary techniques using
the miracle octad generator," Proc. Edinburgh
Math. Soc. 32 (1989), 345-353 (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 > hep-th > 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).
Comments Off on Priority Claim