Log24

Friday, December 23, 2022

Was ist Raum?” — Bauhaus Founder Walter Gropius

Filed under: General — Tags: — m759 @ 10:43 am

"Was ist Raum, wie können wir ihn
 erfassen und gestalten?"

Walter Gropius,

The Theory and
Organization of the
Bauhaus
  (1923)

A relevant illustration:

At math.stackexchange.com on March 1-12, 2013:

Is there a geometric realization of the Quaternion group?” —

The above illustration, though neatly drawn, appeared under the
cloak of anonymity.  No source was given for the illustrated group actions.
Possibly they stem from my Log24 posts or notes such as the Jan. 4, 2012,
note on quaternion actions at finitegeometry.org/sc (hence ultimately
from my note “GL(2,3) actions on a cube” of April 5, 1985).

These references will not appeal to those who enjoy modernism as a religion.
(For such a view, see Rosalind Krauss on grids and another writer's remarks
on the religion's 100th anniversary this year.)

Some related nihilist philosophy from Cormac McCarthy —

"Forms turning in a nameless void."

Saturday, March 26, 2022

Box Geometry: Space, Group, Art  (Work in Progress)

Filed under: General — Tags: — m759 @ 2:06 am

Many structures of finite geometry can be modeled by
rectangular or cubical arrays ("boxes") —
of subsquares or subcubes (also "boxes").

Here is a draft for a table of related material, arranged
as internet URL labels.

Finite Geometry Notes — Summary Chart
 

Name Tag .Space .Group .Art
Box4

2×2 square representing the four-point finite affine geometry AG(2,2).

(Box4.space)

S4 = AGL(2,2)

(Box4.group)

 

(Box4.art)

Box6 3×2 (3-row, 2-column) rectangular array
representing the elements of an arbitrary 6-set.
S6  
Box8 2x2x2 cube or  4×2 (4-row, 2-column) array. S8 or Aor  AGL(3,2) of order 1344, or  GL(3,2) of order 168  
Box9 The 3×3 square. AGL(2,3) or  GL(2,3)  
Box12 The 12 edges of a cube, or  a 4×3  array for picturing the actions of the Mathieu group M12. Symmetries of the cube or  elements of the group M12  
Box13 The 13 symmetry axes of the cube. Symmetries of the cube.  
Box15 The 15 points of PG(3,2), the projective geometry
of 3 dimensions over the 2-element Galois field.
Collineations of PG(3,2)  
Box16 The 16 points of AG(4,2), the affine geometry
of 4 dimensions over the 2-element Galois field.

AGL(4,2), the affine group of 
322,560 permutations of the parts
of a 4×4 array (a Galois tesseract)

 
Box20 The configuration representing Desargues's theorem.    
Box21 The 21 points and 21 lines of PG(2,4).    
Box24 The 24 points of the Steiner system S(5, 8, 24).    
Box25 A 5×5 array representing PG(2,5).    
Box27 The 3-dimensional Galois affine space over the
3-element Galois field GF(3).
   
Box28 The 28 bitangents of a plane quartic curve.    
Box32 Pair of 4×4 arrays representing orthogonal 
Latin squares.
Used to represent
elements of AGL(4,2)
 
Box35 A 5-row-by-7-column array representing the 35
lines in the finite projective space PG(3,2)
PGL(3,2), order 20,160  
Box36 Eurler's 36-officer problem.    
Box45 The 45 Pascal points of the Pascal configuration.    
Box48 The 48 elements of the group  AGL(2,3). AGL(2,3).  
Box56

The 56 three-sets within an 8-set or
56 triangles in a model of Klein's quartic surface or
the 56 spreads in PG(3,2).

   
Box60 The Klein configuration.    
Box64 Solomon's cube.    

— Steven H. Cullinane, March 26-27, 2022

Friday, December 10, 2021

Dance of the Lo Shu

Filed under: General — Tags: , , — m759 @ 4:46 am

The ancient Chinese matrix known as the Lo Shu
is one of 432 matrices equivalent under the action of . . .

The Lo Shu Group:

For related material, see (for instance) AGL(2,3) in . . .

"Let be be finale of seem.
The only emperor is the emperor of ice-cream."

— Wallace Stevens

Thursday, December 9, 2021

Lo Shu Space . . .

Filed under: General — Tags: — m759 @ 12:43 am

. . . is now at loshu.space. (Update on 10 Dec. — See also loshu.group.)

See as well GL(2,3) in this journal.

The Lo Shu as a Finite Space

Saturday, July 31, 2021

The Hashtag, or: “Immanentizing the Eschaton”

Filed under: General — Tags: — m759 @ 5:41 pm

The "eschaton" phrase above is from the works of Robert Anton Wilson.

That Robert A. Wilson should not be confused with
the Robert A. Wilson who is a GL(2,3) enthusiast.

Nor should immanentizing  be confused with coordinatizing  . . . 

"Coordinatizing the Deathly Hallows" —

Related geometric remarks — Hashtag as Well

Saturday, July 10, 2021

Plan 9 from Ancient China

Filed under: General — Tags: , — m759 @ 3:33 pm

The Lo Shu as a Finite Space

Robert A. Wilson on symmetries of the ninefold square —

"All of these ideas have shown promise at some time or other, and some are still under active investigation. But my conclusion after all this work is that the part of algebra that shows the most promise for genuinely useful applications to fundamental physics is the representation theory, real, complex, integral and modular, of the group GL(2, 3). There is, of course, no guarantee that a viable theory can be built on this foundation. But it appears to be the only part of algebra that both has a reasonable chance of success and has not already been exhaustively explored in the physics literature. It is therefore worth serious consideration."

— "Potential applications of modular representation theory to quantum mechanics," arXiv, May 28, 2021, revised June 7, 2021.

See as well GL(2,3) in this  journal .

Related material: Christmas Eve 2012.

Monday, July 5, 2021

For Stonehearst Asylum

Filed under: General — Tags: , — m759 @ 2:43 pm

Robert A. Wilson on symmetries of the ninefold square

"All of these ideas have shown promise at some time or other, and some are still under active investigation. But my conclusion after all this work is that the part of algebra that shows the most promise for genuinely useful applications to fundamental physics is the representation theory, real, complex, integral and modular, of the group GL(2, 3). There is, of course, no guarantee that a viable theory can be built on this foundation. But it appears to be the only part of algebra that both has a reasonable chance of success and has not already been exhaustively explored in the physics literature. It is therefore worth serious consideration."

— "Potential applications of modular representation theory to quantum mechanics," arXiv, May 28, 2021, revised June 7, 2021.

See as well GL(2,3) in this  journal .

Some may consider more relevant the remarks of a different  Robert A. Wilson —

Sunday, January 6, 2019

For Broom Bridge*

Filed under: General,Geometry — Tags: — m759 @ 11:00 am

GL(2,3) is not unrelated to GL(3,2).

See Quaternion Automorphisms 
and Spinning in Infinity.

* See Wikipedia.

Wednesday, April 12, 2017

Contracting the Spielraum

The contraction of the title is from group actions on
the ninefold square  (with the center subsquare fixed)
to group actions on the eightfold cube.

From a post of June 4, 2014

At math.stackexchange.com on March 1-12, 2013:

Is there a geometric realization of the Quaternion group?” —

The above illustration, though neatly drawn, appeared under the
cloak of anonymity.  No source was given for the illustrated group actions.
Possibly they stem from my Log24 posts or notes such as the Jan. 4, 2012,
note on quaternion actions at finitegeometry.org/sc (hence ultimately
from my note “GL(2,3) actions on a cube” of April 5, 1985).

Monday, October 13, 2014

Raiders of the Lost Theorem

Filed under: General,Geometry — Tags: — m759 @ 12:05 pm

(Continued from Nov. 16, 2013.)

The 48 actions of GL(2,3) on a 3×3 array include the 8-element
quaternion group as a subgroup. This was illustrated in a Log24 post,
Hamilton’s Whirligig, of Jan. 5, 2006, and in a webpage whose
earliest version in the Internet Archive is from June 14, 2006.

One of these quaternion actions is pictured, without any reference
to quaternions, in a 2013 book by a Netherlands author whose
background in pure mathematics is apparently minimal:

In context (click to enlarge):

Update of later the same day —

Lee Sallows, Sept. 2011 foreword to Geometric Magic Squares —

“I first hit on the idea of a geometric magic square* in October 2001,**
and I sensed at once that I had penetrated some previously hidden portal
and was now standing on the threshold of a great adventure. It was going
to be like exploring Aladdin’s Cave. That there were treasures in the cave,
I was convinced, but how they were to be found was far from clear. The
concept of a geometric magic square is so simple that a child will grasp it
in a single glance. Ask a mathematician to create an actual specimen and
you may have a long wait before getting a response; such are the formidable
difficulties confronting the would-be constructor.”

* Defined by Sallows later in the book:

“Geometric  or, less formally, geomagic  is the term I use for
a magic square in which higher dimensional geometrical shapes
(or tiles  or pieces ) may appear in the cells instead of numbers.”

** See some geometric  matrices by Cullinane in a March 2001 webpage.

Earlier actual specimens — see Diamond Theory  excerpts published in
February 1977 and a brief description of the original 1976 monograph:

“51 pp. on the symmetries & algebra of
matrices with geometric-figure entries.”

— Steven H. Cullinane, 1977 ad in
Notices of the American Mathematical Society

The recreational topic of “magic” squares is of little relevance
to my own interests— group actions on such matrices and the
matrices’ role as models of finite geometries.

Wednesday, June 4, 2014

Monkey Business

Filed under: General,Geometry — Tags: , , — m759 @ 8:48 pm

The title refers to a Scientific American weblog item
discussed here on May 31, 2014:

Some closely related material appeared here on
Dec. 30, 2011:

IMAGE- Quaternion group acting on an eightfold cube

A version of the above quaternion actions appeared
at math.stackexchange.com on March 12, 2013:

"Is there a geometric realization of Quaternion group?" —

The above illustration, though neatly drawn, appeared under the
cloak of anonymity.  No source was given for the illustrated group actions.
Possibly they stem from my Log24 posts or notes such as the Jan. 4, 2012,
note on quaternion actions at finitegeometry.org/sc (hence ultimately
from my note "GL(2,3) actions on a cube" of April 5, 1985).

Saturday, November 16, 2013

Raiders of the Lost Theorem

Filed under: General,Geometry — Tags: , — m759 @ 11:30 am

IMAGE- The 'atomic square' in Lee Sallows's article 'The Lost Theorem'

Yes. See

The 48 actions of GL(2,3) on a 3×3 coordinate-array A,
when matrices of that group right-multiply the elements of A,
with A =

(1,1) (1,0) (1,2)
(0,1) (0,0) (0,2)
(2,1) (2,0) (2,2)

Actions of GL(2,p) on a pxp coordinate-array have the
same sorts of symmetries, where p is any odd prime.

Note that A, regarded in the Sallows manner as a magic square,
has the constant sum (0,0) in rows, columns, both diagonals, and  
all four broken diagonals (with arithmetic modulo 3).

For a more sophisticated approach to the structure of the
ninefold square, see Coxeter + Aleph.

Wednesday, August 19, 2009

Wednesday August 19, 2009

Filed under: General,Geometry — Tags: , , — m759 @ 10:30 am

Group Actions, 1984-2009

From a 1984 book review:

"After three decades of intensive research by hundreds of group theorists, the century old problem of the classification of the finite simple groups has been solved and the whole field has been drastically changed. A few years ago the one focus of attention was the program for the classification; now there are many active areas including the study of the connections between groups and geometries, sporadic groups and, especially, the representation theory. A spate of books on finite groups, of different breadths and on a variety of topics, has appeared, and it is a good time for this to happen. Moreover, the classification means that the view of the subject is quite different; even the most elementary treatment of groups should be modified, as we now know that all finite groups are made up of groups which, for the most part, are imitations of Lie groups using finite fields instead of the reals and complexes. The typical example of a finite group is GL(n, q), the general linear group of n dimensions over the field with q elements. The student who is introduced to the subject with other examples is being completely misled."

— Jonathan L. Alperin,
   review of books on group theory,
   Bulletin (New Series) of the American
   Mathematical Society
10 (1984) 121, doi:
   10.1090/S0273-0979-1984-15210-8
 

A more specific example:


Actions of GL(2,3) on a 3x3 coordinate-array

The same example
at Wolfram.com:

Ed Pegg Jr.'s program at Wolfram.com to display a large number of actions of small linear groups over finite fields

Caption from Wolfram.com:
 
"The two-dimensional space Z3×Z3 contains nine points: (0,0), (0,1), (0,2), (1,0), (1,1), (1,2), (2,0), (2,1), and (2,2). The 48 invertible 2×2 matrices over Z3 form the general linear group known as GL(2, 3). They act on Z3×Z3 by matrix multiplication modulo 3, permuting the nine points. More generally, GL(n, p) is the set of invertible n×n matrices over the field Zp, where p is prime. With (0, 0) shifted to the center, the matrix actions on the nine points make symmetrical patterns."

Citation data from Wolfram.com:

"GL(2,p) and GL(3,3) Acting on Points"
 from The Wolfram Demonstrations Project,
 http://demonstrations.wolfram.com/GL2PAndGL33ActingOnPoints/,
 Contributed by: Ed Pegg Jr"

As well as displaying Cullinane's 48 pictures of group actions from 1985, the Pegg program displays many, many more actions of small finite general linear groups over finite fields. It illustrates Cullinane's 1985 statement:

"Actions of GL(2,p) on a p×p coordinate-array have the same sorts of symmetries, where p is any odd prime."

Pegg's program also illustrates actions on a cubical array– a 3×3×3 array acted on by GL(3,3). For some other actions on cubical arrays, see Cullinane's Finite Geometry of the Square and Cube.
 

Saturday, March 8, 2008

Saturday March 8, 2008

Filed under: General,Geometry — m759 @ 1:00 pm
Tilting at
Whirligigs

From a New York Times list

of literary “signature passages” —

Don Quixote -- 'wasteland and crossroad places'

An answer:

“The whirligig of time”
— Shakespeare, Twelfth Night

and

Log24, Twelfth Night, 2006:

Hamilton’s Whirligigs

Hamilton's Whirligigs: The 8-element quaternion group as a subgroup of the 48-element group GL(2,3)

Click image to enlarge.

Related material:

Rotation in the complex plane.

The plane was discovered
in the late 1700’s by Wessel:

Caspar Wessel

by J.J. O’Connor
 and E.F. Robertson:

“Wessel’s paper [in Danish] was not noticed by the mathematical community until 1895… A French translation… was published in 1897 but an English translation of this most remarkable work was not published until 1999 (exactly 200 years after it was first published)….

We have called Wessel’s work remarkable, and indeed although the credit has gone to Argand, many historians of mathematics feel that Wessel’s contribution was [1]:-

… superior to and more modern in spirit to Argand’s.

In the [1] article the approaches by Argand and Wessel are compared and contrasted. Of course Wessel was a surveyor and his paper was motivated by his surveying and cartography work:-

Wessel’s development proceeded rather directly from geometric problems, through geometric-intuitive reasoning, to an algebraic formula. Argand began with algebraic quantities and sought a geometric representation for them. … Wessel’s initial formulation was remarkably clear, direct, concise and modern. It is regrettable that it was not appreciated for nearly a century and hence did not have the influence it merited.

However more is claimed for Wessel’s single mathematical paper than the first geometric interpretation of complex numbers. In [3] Crowe credits Wessel with being the first person to add vectors. Again this shows the depth of Wessel’s thinking but again, as the paper was unnoticed it had no influence on mathematical development despite appearing in the Memoirs of the Royal Danish Academy which by any standard was a major source of publications….

1. … Biography in Dictionary of Scientific Biography (New York 1970-1990).

3. M.J. Crowe, A History of Vector Analysis (Notre Dame, 1967).”

Saturday, August 6, 2005

Saturday August 6, 2005

Filed under: General,Geometry — Tags: , — m759 @ 9:00 am
For André Weil on
the seventh anniversary
of his death:

 A Miniature
Rosetta Stone

The image “http://www.log24.com/log/pix05B/grid3x3med.bmp” cannot be displayed, because it contains errors.

In a 1940 letter to his sister Simone,  André Weil discussed a sort of “Rosetta stone,” or trilingual text of three analogous parts: classical analysis on the complex field, algebraic geometry over finite fields, and the theory of number fields.  

John Baez discussed (Sept. 6, 2003) the analogies of Weil, and he himself furnished another such Rosetta stone on a much smaller scale:

“… a 24-element group called the ‘binary tetrahedral group,’ a 24-element group called ‘SL(2,Z/3),’ and the vertices of a regular polytope in 4 dimensions called the ’24-cell.’ The most important fact is that these are all the same thing!”

For further details, see Wikipedia on the 24-cell, on special linear groups, and on Hurwitz quaternions,

The group SL(2,Z/3), also known as “SL(2,3),” is of course derived from the general linear group GL(2,3).  For the relationship of this group to the quaternions, see the Log24 entry for August 4 (the birthdate of the discoverer of quaternions, Sir William Rowan Hamilton).

The 3×3 square shown above may, as my August 4 entry indicates, be used to picture the quaternions and, more generally, the 48-element group GL(2,3).  It may therefore be regarded as the structure underlying the miniature Rosetta stone described by Baez.

“The typical example of a finite group is GL(n,q), the general linear group of n dimensions over the field with q elements. The student who is introduced to the subject with other examples is being completely misled.”

 — J. L. Alperin, book review,
    Bulletin (New Series) of the American
    Mathematical Society 10 (1984), 121

Thursday, August 4, 2005

Thursday August 4, 2005

Filed under: General,Geometry — Tags: , — m759 @ 1:00 pm
Visible Mathematics, continued

 

Today's mathematical birthdays:
Saunders Mac Lane, John Venn,
and Sir William Rowan Hamilton.

It is well known that the quaternion group is a subgroup of GL(2,3), the general linear group on the 2-space over GF(3), the 3-element Galois field.

The figures below illustrate this fact.

The image “http://www.log24.com/theory/images/Quaternions2.jpg” cannot be displayed, because it contains errors.

 

Related material: Visualizing GL(2,p)

"The typical example of a finite group is GL(n,q), the general linear group of n dimensions over the field with q elements. The student who is introduced to the subject with other examples is being completely misled."

 

 — J. L. Alperin, book review,
    Bulletin (New Series) of the American
    Mathematical Society 10 (1984), 121

 

Tuesday, February 19, 2013

Configurations

Filed under: General,Geometry — Tags: , , — m759 @ 12:24 pm

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. 103-104.

The Pisanski-Servatius 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 re-describing 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 Pisanski-Servatius 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).

Saturday, April 14, 2012

Scottish Algebra

Filed under: General,Geometry — Tags: — m759 @ 11:59 pm

Two papers suggested by Google searches tonight—

[PDF] PAPERS HELD OVER FROM THEME ISSUE ON ALGEBRA AND …

ajse.kfupm.edu.sa/articles/271A_08p.pdf

File Format: PDF/Adobe Acrobat – View as HTML

by RT Curtis2001Related articles

This paper is based on a talk given at the Scottish Algebra Day 1998 in Edinburgh. ……

Curtis discusses the exceptional outer automorphism of S6
as arising from group actions of PGL(2,5).

See also Cameron and Galois on PGL(2,5)—

[PDF] ON GROUPS OF DEGREE n AND n-1, AND HIGHLY-SYMMETRIC

citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.104…

File Format: PDF/Adobe Acrobat – Quick View

by PJ CAMERON1975Cited by 14Related articles

PETER J. CAMERON. It is known that, if G is a triply transitive permutation group
on a finite set X with a regular S3 the symmetric group on 3 letters, and PGL (2, 5)
the 2-dimensional projective general linear Received 24 October, 1973

Illustration from Cameron (1973)—

http://www.log24.com/log/pix12/120414-CameronFig1.jpg

Wednesday, October 12, 2011

High White Noon

Filed under: General,Geometry — m759 @ 12:00 pm

Grid from a post linked to in yesterday's 24 Hour DeLillo

The 3x3 square

A Study in Art Education

For an example of this grid as slow art , consider the following—

"One can show that the binary tetrahedral group
is isomorphic to the special linear group SL(2,3)—
the group of all 2×2 matrices over the finite field F3
with unit determinant." —Wikipedia

As John Baez has noted, these two groups have the same structure as the geometric 24-cell.

For the connection of the grid to the groups and the 24-cell, see Visualizing GL(2,p).

Related material—

The 3×3 grid has been called a symbol of Apollo (Greek god of reason and of the sun).

"This is where we sat through his hushed hour,
a torchlit sky, the closeness of hills barely visible
at high white noon." — Don DeLillo, Point Omega

Tuesday, May 10, 2011

Groups Acting

Filed under: General,Geometry — Tags: , , — m759 @ 10:10 am

The LA Times  on last weekend's film "Thor"—

"… the film… attempts to bridge director Kenneth Branagh's high-minded Shakespearean intentions with Marvel Entertainment's bottom-line-oriented need to crank out entertainment product."

Those averse to Nordic religion may contemplate a different approach to entertainment (such as Taymor's recent approach to Spider-Man).

A high-minded— if not Shakespearean— non-Nordic approach to groups acting—

"What was wrong? I had taken almost four semesters of algebra in college. I had read every page of Herstein, tried every exercise. Somehow, a message had been lost on me. Groups act . The elements of a group do not have to just sit there, abstract and implacable; they can do  things, they can 'produce changes.' In particular, groups arise naturally as the symmetries of a set with structure. And if a group is given abstractly, such as the fundamental group of a simplical complex or a presentation in terms of generators and relators, then it might be a good idea to find something for the group to act on, such as the universal covering space or a graph."

— Thomas W. Tucker, review of Lyndon's Groups and Geometry  in The American Mathematical Monthly , Vol. 94, No. 4 (April 1987), pp. 392-394

"Groups act "… For some examples, see

Related entertainment—

High-minded— Many Dimensions

Not so high-minded— The Cosmic Cube

http://www.log24.com/log/pix11A/110509-SpideySuperStories39Sm.jpg

One way of blending high and low—

The high-minded Charles Williams tells a story
in his novel Many Dimensions about a cosmically
significant cube inscribed with the Tetragrammaton—
the name, in Hebrew, of God.

The following figure can be interpreted as
the Hebrew letter Aleph inscribed in a 3×3 square—

http://www.log24.com/log/pix11A/110510-GaloisAleph.GIF

The above illustration is from undated software by Ed Pegg Jr.

For mathematical background, see a 1985 note, "Visualizing GL(2,p)."

For entertainment purposes, that note can be generalized from square to cube
(as Pegg does with his "GL(3,3)" software button).

For the Nordic-averse, some background on the Hebrew connection—

Thursday, January 26, 2006

Thursday January 26, 2006

Filed under: General,Geometry — m759 @ 9:00 am
In honor of Paul Newman’s age today, 81:

On Beauty

Elaine Scarry, On Beauty (pdf), page 21:

“Something beautiful fills the mind yet invites the search for something beyond itself, something larger or something of the same scale with which it needs to be brought into relation. Beauty, according to its critics, causes us to gape and suspend all thought. This complaint is manifestly true: Odysseus does stand marveling before the palm; Odysseus is similarly incapacitated in front of Nausicaa; and Odysseus will soon, in Book 7, stand ‘gazing,’ in much the same way, at the season-immune orchards of King Alcinous, the pears, apples, and figs that bud on one branch while ripening on another, so that never during the cycling year do they cease to be in flower and in fruit. But simultaneously what is beautiful prompts the mind to move chronologically back in the search for precedents and parallels, to move forward into new acts of creation, to move conceptually over, to bring things into relation, and does all this with a kind of urgency as though one’s life depended on it.”

The image “http://www.log24.com/theory/images/grid3x3.gif” cannot be displayed, because it contains errors.

The above symbol of Apollo suggests, in accordance with Scarry’s remarks, larger structures.   Two obvious structures are the affine 4-space over GF(3), with 81 points, and the affine plane over GF(32), also with 81 points.  Less obvious are some related projective structures.  Joseph Malkevitch has discussed the standard method of constructing GF(32) and the affine plane over that field, with 81 points, then constructing the related Desarguesian projective plane of order 9, with 92 + 9 + 1 = 91 points and 91 lines.  There are other, non-Desarguesian, projective planes of order 9.  See Visualizing GL(2,p), which discusses a spreadset construction of the non-Desarguesian translation plane of order 9.  This plane may be viewed as illustrating deeper properties of the 3×3 array shown above. To view the plane in a wider context, see The Non-Desarguesian Translation Plane of Order 9 and a paper on Affine and Projective Planes (pdf). (Click to enlarge the excerpt beow).

The image “http://www.log24.com/theory/images/060126-planes2.jpg” cannot be displayed, because it contains errors.

See also Miniquaternion Geometry: The Four Projective Planes of Order 9 (pdf), by Katie Gorder (Dec. 5, 2003), and a book she cites:

Miniquaternion geometry: An introduction to the study of projective planes, by T. G. Room and P. B. Kirkpatrick. Cambridge Tracts in Mathematics and Mathematical Physics, No. 60. Cambridge University Press, London, 1971. viii+176 pp.

For “miniquaternions” of a different sort, see my entry on Visible Mathematics for Hamilton’s birthday last year:

The image “http://www.log24.com/theory/images/Quaternions2.jpg” cannot be displayed, because it contains errors.

 

Thursday, August 25, 2005

Thursday August 25, 2005

Filed under: General,Geometry — m759 @ 3:09 pm
Analogical
Train of Thought

Part I: The 24-Cell

From S. H. Cullinane,
 Visualizing GL(2,p),
 March 26, 1985–

Visualizing the
binary tetrahedral group
(the 24-cell):

The image “http://www.log24.com/theory/images/VisuBinaryTetGrp.jpg” cannot be displayed, because it contains errors.

Another representation of
the 24-cell
:

The image “http://www.log24.com/theory/images/24-cell.jpg” cannot be displayed, because it contains errors.

 From John Baez,
This Week’s Finds in
Mathematical Physics (Week 198)
,”
September 6, 2003: 

Noam Elkies writes to John Baez:

Hello again,

You write:

[…]

“I’d like to wrap up with a few small comments about last Week.  There I said a bit about a 24-element group called the ‘binary tetrahedral group’, a 24-element group called SL(2,Z/3), and the vertices of a regular polytope in 4 dimensions called the ’24-cell’.  The most important fact is that these are all the same thing! And I’ve learned a bit more about this thing from here:”

[…]

Here’s yet another way to see this: the 24-cell is the subgroup of the unit quaternions (a.k.a. SU(2)) consisting of the elements of norm 1 in the Hurwitz quaternions – the ring of quaternions obtained from the Z-span of {1,i,j,k} by plugging up the holes at (1+i+j+k)/2 and its <1,i,j,k> translates. Call this ring A. Then this group maps injectively to A/3A, because for any g,g’ in the group |g-g’| is at most 2 so g-g’ is not in 3A unless g=g’. But for any odd prime p the (Z/pZ)-algebra A/pA is isomorphic with the algebra of 2*2 matrices with entries in Z/pZ, with the quaternion norm identified with the determinant. So our 24-element group injects into SL2(Z/3Z) – which is barely large enough to accommodate it. So the injection must be an isomorphism.

Continuing a bit longer in this vein: this 24-element group then injects into SL2(Z/pZ) for any odd prime p, but this injection is not an isomorphism once p>3. For instance, when p=5 the image has index 5 – which, however, does give us a map from SL2(Z/5Z) to the symmetric group of order 5, using the action of SL2(Z/5Z) by conjugation on the 5 conjugates of the 24-element group. This turns out to be one way to see the isomorphism of PSL2(Z/5Z) with the alternating group A5.

Likewise the octahedral and icosahedral groups S4 and A5 can be found in PSL2(Z/7Z) and PSL2(Z/11Z), which gives the permutation representations of those two groups on 7 and 11 letters respectively; and A5 is also an index-6 subgroup of PSL2(F9), which yields the identification of that group with A6.

NDE


The enrapturing discoveries of our field systematically conceal, like footprints erased in the sand, the analogical train of thought that is the authentic life of mathematics – Gian-Carlo Rota

Like footprints erased in the sand….

Part II: Discrete Space

The James Joyce School
 of Theoretical Physics
:


Log24, May 27, 2004

  “Hello! Kinch here. Put me on to Edenville. Aleph, alpha: nought, nought, one.” 

  “A very short space of time through very short times of space….
   Am I walking into eternity along Sandymount strand?”

   — James Joyce, Ulysses, Proteus chapter

A very short space of time through very short times of space….

   “It is demonstrated that space-time should possess a discrete structure on Planck scales.”

   — Peter Szekeres, abstract of Discrete Space-Time

   “A theory…. predicts that space and time are indeed made of discrete pieces.”

   — Lee Smolin in Atoms of Space and Time (pdf), Scientific American, Jan. 2004

   “… a fundamental discreteness of spacetime seems to be a prediction of the theory….”

   — Thomas Thiemann, abstract of Introduction to Modern Canonical Quantum General Relativity

   “Theories of discrete space-time structure are being studied from a variety of perspectives.”

   — Quantum Gravity and the Foundations of Quantum Mechanics at Imperial College, London

Disclaimer:

The above speculations by physicists
are offered as curiosities.
I have no idea whether
 any of them are correct.

Related material:

Stephen Wolfram offers a brief
History of Discrete Space.

For a discussion of space as discrete
by a non-physicist, see John Bigelow‘s
Space and Timaeus.

Part III: Quaternions
in a Discrete Space

Apart from any considerations of
physics, there are of course many
purely mathematical discrete spaces.
See Visible Mathematics, continued
 (Aug. 4, 2005):

The image “http://www.log24.com/theory/images/Quaternions2.jpg” cannot be displayed, because it contains errors.

Wednesday, September 15, 2004

Wednesday September 15, 2004

Filed under: General,Geometry — m759 @ 11:30 am

Translation Plane
for Rosh Hashanah

Figure A

From the website of

Priv.-Doz. Dr. H. Klein,
Arbeitsgruppe Geometrie,
Mathematisches Seminar der
Christian-Albrechts-Universität zu Kiel —

The Translation Plane of Order Nine

There are exactly four projective planes of order nine, and one of these planes is a non-Desarguesian translation plane.

Theorem. Up to isomorphism, there exists exactly one non-Desarguesian translation plane of order 9.

This translation plane is defined by a spreadset in a 2-dimensional vector space over the field GF(3), consisting of the following matrices.


 

As it turns out, the coordinatizing quasifield is a nearfield. Moreover the non-Desarguesian translation plane of order 9 has Lenz-Barlotti type IVa.3.

Two versions of the defining spreadset for this plane are shown in Figure A.  In the left part of Fig. A, the matrices of Dr. Klein are altered by the use of “2” instead of “-1” (since these are the same, modulo 3).  In the right part of Fig. A, the corresponding figures from my 1985 note Visualizing GL(2, p) are shown.

Tuesday, June 29, 2004

Tuesday June 29, 2004

Filed under: General,Geometry — Tags: , , — m759 @ 2:22 pm
And So To Bed

Advanced Study (6/26/04), continued…

Part I: Ulysses

When?

Going to dark bed there was a square round Sinbad the Sailor roc's auk's egg in the night of the bed of all the auks of the rocs of Darkinbad the Brightdayler.

Where?

The image “http://www.log24.com/log/pix04A/bullet.gif” cannot be displayed, because it contains errors.

Ulysses, conclusion of Ch. 17

 

Part II: Badcoc

A Visual Meditation for

the Feast of St. Peter

The image “http://www.log24.com/log/pix04A/040629-Badcoc.gif” cannot be displayed, because it contains errors.

For further details on this structure, see

Magic Squares, Finite Planes,
and Points of Inflection
on Elliptic Curves
,
by Ezra Brown, and

Visualizing GL(2, p)
by Steven H. Cullinane.

For a more literary approach
to this structure, see

Balanchine's Birthday (Jan. 9, 2003),
Art Theory for Yom Kippur (Oct. 5, 2003),
A Form (May 22, 2004),
Ineluctable (May 27, 2004),
A Form, continued (June 5, 2004),
Parallelisms (June 6, 2004),
Deep Game (June 26, 2004), and
Gameplayers of Zen (June 27, 2004).

The image “http://www.log24.com/log/pix04A/040629-Players.jpg” cannot be displayed, because it contains errors.

To appreciate fully this last entry
on Gameplayers,
one must understand
the concept of "suicide"
in the game of Go

and be reminded
by the fatuous phrase of the
Institute of Contemporary Art
quoted in Gameplayers
"
encompassed by 'nothing' " —
of John 1:5.

The image “http://www.log24.com/log/pix04A/040629-Commentary.jpg” cannot be displayed, because it contains errors.

Powered by WordPress