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,
Point-line 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 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:
(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 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)
|
