Log24

Tuesday, November 25, 2014

Euclidean-Galois Interplay

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

For previous remarks on this topic, as it relates to
symmetry axes of the cube, see previous posts tagged Interplay.

The above posts discuss, among other things, the Galois
projective plane of order 3, with 13 points and 13 lines.

Oxley's 2004 drawing of the 13-point projective plane

These Galois points and lines may be modeled in Euclidean geometry
by the 13 symmetry axes and the 13 rotation planes
of the Euclidean cube. They may also be modeled in Galois geometry
by subsets of the 3x3x3 Galois cube (vector 3-space over GF(3)).

http://www.log24.com/log/pix11A/110427-Cube27.jpg

   The 3×3×3 Galois Cube 

Exercise: Is there any such analogy between the 31 points of the
order-5 Galois projective plane and the 31 symmetry axes of the
Euclidean dodecahedron and icosahedron? Also, how may the
31 projective points  be naturally pictured as lines  within the 
5x5x5 Galois cube (vector 3-space over GF(5))?

Update of Nov. 30, 2014 —

For background to the above exercise, see
pp. 16-17 of A Geometrical Picture Book ,
by Burkard Polster (Springer, 1998), esp.
the citation to a 1983 article by Lemay.

Monday, June 27, 2016

Interplay

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

From a search in this journal for Euclid + Galois + Interplay

http://www.log24.com/log/pix11A/110427-Cube27.jpg

   The 3×3×3 Galois Cube
 

A tune suggested by the first image above —

Thursday, December 13, 2012

Interplay

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

Review: 

Cubic models of finite geometries
display an interplay between
Euclidean and Galois  geometry.

Related literary remarks:  Congregated Light.

Tuesday, December 14, 2010

Play and Interplay

Filed under: General,Geometry — m759 @ 4:23 am

Julie Taymor in an interview published Dec. 12 —

“I’ve got two Broadway shows, a feature film, and Mozart,’’ she said. “It’s a very interesting place to be and to be able to move back and forth, but at a certain point you have to be able to step outside and see,’’ and here she dropped her voice to a tranquil whisper, “it’s just theater. It’s all theater. It’s all theater. The whole thing is theater.’’

Non-theater —

"The interplay between Euclidean and Galois  geometry" and
related remarks on interplay — Keats's Laws of Aesthetics.

Part theater, part non-theater —

Cubist crucifixion.

Thursday, April 16, 2015

National Library Week

Filed under: General,Geometry — Tags: , — m759 @ 7:00 pm

"Celebrate National Library Week 2015 (April 12-18, 2015)
with the theme "Unlimited possibilities @ your library®."

See also Library of Hell.

A page from Princeton University Press on March 18, 2012:

IMAGE- 'Circles Disturbed: The Interplay of Mathematics and Narrative,' p. xvi

… "mathematics and narrative…." (top of page xvii).

I prefer the interplay of Euclidean  and Galois  mathematics.

Wednesday, November 26, 2014

A Tetrahedral Fano-Plane Model

Filed under: General,Geometry — Tags: , — m759 @ 5:30 pm

Update of Nov. 30, 2014 —

It turns out that the following construction appears on
pages 16-17 of A Geometrical Picture Book , by 
Burkard Polster (Springer, 1998).

"Experienced mathematicians know that often the hardest
part of researching a problem is understanding precisely
what that problem says. They often follow Polya's wise
advice: 'If you can't solve a problem, then there is an
easier problem you can't solve: find it.'"

—John H. Conway, foreword to the 2004 Princeton
Science Library edition of How to Solve It , by G. Polya

For a similar but more difficult problem involving the
31-point projective plane, see yesterday's post
"Euclidean-Galois Interplay."

The above new [see update above] Fano-plane model was
suggested by some 1998 remarks of the late Stephen Eberhart.
See this morning's followup to "Euclidean-Galois Interplay" 
quoting Eberhart on the topic of how some of the smallest finite
projective planes relate to the symmetries of the five Platonic solids.

Update of Nov. 27, 2014: The seventh "line" of the tetrahedral
Fano model was redefined for greater symmetry.

Class Act

Filed under: General,Geometry — Tags: , — m759 @ 7:18 am

Update of Nov. 30, 2014 —

For further information on the geometry in
the remarks by Eberhart below, see
pp. 16-17 of A Geometrical Picture Book ,
by Burkard Polster (Springer, 1998). Polster
cites a different article by Lemay.

A search for background to the exercise in the previous post
yields a passage from the late Stephen Eberhart:

The first three primes p = 2, 3, and 5 therefore yield finite projective planes with 7, 13, and 31 points and lines, respectively. But these are just the numbers of symmetry axes of the five regular solids, as described in Plato's Timaeus : The tetrahedron has 4 pairs of face planes and corner points + 3 pairs of opposite edges, totalling 7 axes; the cube has 3 pairs of faces + 6 pairs of edges + 4 pairs of corners, totalling 13 axes (the octahedron simply interchanges the roles of faces and corners); and the pentagon dodecahedron has 6 pairs of faces + 15 pairs of edges + 10 pairs of corners, totalling 31 axes (the icosahedron again interchanging roles of faces and corners). This is such a suggestive result, one would expect to find it dealt with in most texts on related subjects; instead, while "well known to those who well know such things" (as Richard Guy likes to quip), it is scarcely to be found in the formal literature [9]. The reason for the common numbers, it turns out, is that the groups of symmetry motions of the regular solids are subgroups of the groups of collineations of the respective finite planes, a face axis being different from an edge axis of a regular solid but all points of a projective plane being alike, so the latter has more symmetries than the former.

[9] I am aware only of a series of in-house publications by Fernand Lemay of the Laboratoire de Didactique, Faculté des Sciences de I 'Éducation, Univ. Laval, Québec, in particular those collectively titled Genèse de la géométrie  I-X.

— Stephen Eberhart, Dept. of Mathematics,
California State University, Northridge, 
"Pythagorean and Platonic Bridges between
Geometry and Algebra," in BRIDGES: Mathematical
Connections in Art, Music, and Science 
, 1998,
archive.bridgesmathart.org/1998/bridges1998-121.pdf

Eberhart died of bone cancer in 2003. A memorial by his
high school class includes an Aug. 7, 2003, transcribed
letter from Eberhart to a classmate that ends…


… I earned MA’s in math (UW, Seattle) and history (UM, Missoula) where a math/history PhD program had been announced but canceled.  So 1984 to 2002 I taught math (esp. non-Euclidean geometry) at C.S.U. Northridge.  It’s been a rich life.  I’m grateful. 
 
Steve
 

See also another informative BRIDGES paper by Eberhart
on mathematics and the seven traditional liberal arts.

Monday, April 1, 2013

Desargues via Rosenhain

Filed under: General,Geometry — Tags: , , — m759 @ 6:00 pm

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
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 6-volume
Principles of Geometry .

Point-line incidence in this larger configuration is,
as noted in the post of April 1 that follows
this introduction, 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.

IMAGE- The proof of the converse of Desargues' theorem involves a third triangle.

 

 

 

A connection discovered today (April 1, 2013)—

(Click to enlarge the image below.)

Update of April 18, 2013

Note that  Baker's Desargues-theorem 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 Desargues-theorem 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:

IMAGE- Desargues' theorem with three triangles, and Galois-geometry version

(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:
IMAGE- Veblen and Young 1910 Desargues illustration, with 2013 Galois-geometry version

See also the original Veblen-Young figure in context.

(End of update of April 13, 2013)

Rota's remarks, while perhaps not completely accurate, provide some context
for the above Desargues-Rosenhain 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 finite-geometry version of Baker's Vol. I
frontispiece, see Sunday evening's finite-geometry 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 3-Space.

In summary… the following classical-geometry 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)

 

 

 

 

 

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).

Monday, May 21, 2012

Wittgenstein’s Kindergarten

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

A web search for the author Cameron McEwen  mentioned
in today's noon post was unsuccessful, but it did yield an
essay, quite possibly by a different  Cameron McEwen, on

The Digital Wittgenstein:

"The fundamental difference between analog
and digital systems may be understood as
underlying philosophical discourse since the Greeks."

The University of Bergen identifies the Wittgenstein 
McEwen as associated with InteLex  of Charlottesville.

The title of this post may serve to point out an analogy*
between the InteLex McEwen's analog-digital contrast
and the Euclidean-Galois contrast discussed previously
in this journal.

The latter contrast is exemplified in Pilate Goes to Kindergarten.

* An analogy, as it were, between  analogies.

Thursday, May 3, 2012

Everybody Comes to Rick’s

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

(Continued)

Bogart and Lorre in 'Casablanca' with chessboard and cocktail

The key is the cocktail that begins the proceedings.”

– Brian Harley, Mate in Two Moves

See also yesterday's Endgame , as well as Play and Interplay
from April 28…  and, as a key, the following passage from
an earlier April 28 post

Euclidean geometry has long been applied
to physics; Galois geometry has not.
The cited webpage describes the interplay
of both  sorts of geometry— Euclidean
and Galois, continuous and discrete—
within physical space— if not within
the space of physics .

Saturday, April 28, 2012

Sprechen Sie Deutsch?

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

A Log24 post, "Bridal Birthday," one year ago today linked to
"The Discrete and the Continuous," a brief essay by David Deutsch.

From that essay—

"The idea of quantization—
the discreteness of physical quantities
turned out to be immensely fruitful."

Deutsch's "idea of quantization" also appears in
the April 12 Log24 post Mythopoetic

"Is Space Digital?" 

— Cover storyScientific American 
     magazine, February 2012

"The idea that space may be digital
  is a fringe idea of a fringe idea
  of a speculative subfield of a subfield."

— Physicist Sabine Hossenfelder 
     at her weblog on Feb. 5, 2012

"A quantization of space/time
 is a holy grail for many theorists…."

— Peter Woit in a comment 
      at his weblog on April 12, 2012

It seems some clarification is in order.

Hossenfelder's "The idea that space may be digital"
and Woit's "a quantization of space/time" may not
refer to the same thing.

Scientific American  on the concept of digital space—

"Space may not be smooth and continuous.
Instead it may be digital, composed of tiny bits."

Wikipedia on the concept of quantization—

Causal setsloop quantum gravitystring theory,
and 
black hole thermodynamics all predict
quantized spacetime….

For a purely mathematical  approach to the
continuous-vs.-discrete issue, see
Finite Geometry and Physical Space.

The physics there is somewhat tongue-in-cheek,
but the geometry is serious.The issue there is not
continuous-vs.-discrete physics , but rather
Euclidean-vs.-Galois geometry .

Both sorts of geometry are of course valid.
Euclidean geometry has long been applied to 
physics; Galois geometry has not. The cited
webpage describes the interplay of both  sorts
of geometry— Euclidean and Galois, continuous
and discrete— within physical space— if not
within the space of physics.

Monday, June 21, 2010

Cube Spaces

Cubic models of finite geometries
display an interplay between
Euclidean and Galois geometry.

 

Example 1— The 2×2×2 Cube—

also known as the eightfold  cube

2x2x2 cube

Group actions on the eightfold cube, 1984—

http://www.log24.com/log/pix10A/100621-diandwh-detail.GIF

Version by Laszlo Lovasz et al., 2003—

http://www.log24.com/log/pix10A/100621-LovaszCubeSpace.gif

Lovasz et al. go on to describe the same group actions
as in the 1984 note, without attribution.

Example 2— The 3×3×3 Cube

A note from 1985 describing group actions on a 3×3 plane array—

http://www.log24.com/log/pix10A/100621-VisualizingDetail.gif

Undated software by Ed Pegg Jr. displays
group actions on a 3×3×3 cube that extend the
3×3 group actions from 1985 described above—

Ed Pegg Jr.'s program at Wolfram demonstrating concepts of a 1985 note by Cullinane

Pegg gives no reference to the 1985 work on group actions.

Example 3— The 4×4×4 Cube

A note from 27 years ago today—

http://www.log24.com/log/pix10A/100621-Cube830621.gif

As far as I know, this version of the
group-actions theorem has not yet been ripped off.

Saturday, February 27, 2010

Cubist Geometries

Filed under: General,Geometry — Tags: , , — m759 @ 2:01 pm

"The cube has…13 axes of symmetry:
  6 C2 (axes joining midpoints of opposite edges),
4 C3 (space diagonals), and
3C4 (axes joining opposite face centroids)."
–Wolfram MathWorld article on the cube

These 13 symmetry axes can be used to illustrate the interplay between Euclidean and Galois geometry in a cubic model of the 13-point Galois plane.

The geometer's 3×3×3 cube–
27 separate subcubes unconnected
by any Rubik-like mechanism–

The 3x3x3 geometer's cube, with coordinates

The 13 symmetry axes of the (Euclidean) cube–
exactly one axis for each pair of opposite
  subcubes in the (Galois) 3×3×3 cube–

The 13 symmetry axes of the cube

A closely related structure–
the finite projective plane
with 13 points and 13 lines–

Oxley's 2004 drawing of the 13-point projective plane

A later version of the 13-point plane
by Ed Pegg Jr.–

Ed Pegg Jr.'s 2007 drawing of the 13-point projective plane

A group action on the 3×3×3 cube
as illustrated by a Wolfram program
by Ed Pegg Jr. (undated, but closely
related to a March 26, 1985 note
by Steven H. Cullinane)–

Ed Pegg Jr.'s program at Wolfram demonstrating concepts of a 1985 note by Cullinane

The above images tell a story of sorts.
The moral of the story–

Galois projective geometries can be viewed
in the context of the larger affine geometries
from which they are derived.

The standard definition of points in a Galois projective plane is that they are lines through the (arbitrarily chosen) origin in a corresponding affine 3-space converted to a vector 3-space.

If we choose the origin as the center cube in coordinatizing the 3×3×3 cube (See Weyl's relativity problem ), then the cube's 13 axes of symmetry can, if the other 26 cubes have properly (Weyl's "objectively") chosen coordinates, illustrate nicely the 13 projective points derived from the 27 affine points in the cube model.

The 13 lines of the resulting Galois projective plane may be derived from Euclidean planes  through the cube's center point that are perpendicular to the cube's 13 Euclidean symmetry axes.

The above standard definition of points in a Galois projective plane may of course also be used in a simpler structure– the eightfold cube.

(The eightfold cube also allows a less standard way to picture projective points that is related to the symmetries of "diamond" patterns formed by group actions on graphic designs.)

See also Ed Pegg Jr. on finite geometry on May 30, 2006
at the Mathematical Association of America.

Powered by WordPress