A post suggested by the word tzimtzum (see Wednesday)
or tsimtsum (see this morning) —
Lifeboat from the Tsimtsum in Life of Pi —
Another sort of tsimtsum, contracting infinite space to a finite space —
A post suggested by the word tzimtzum (see Wednesday)
or tsimtsum (see this morning) —
Lifeboat from the Tsimtsum in Life of Pi —
Another sort of tsimtsum, contracting infinite space to a finite space —
The New York TImes reports this evening that
"Jon Underwood, Founder of Death Cafe Movement,"
died suddenly at 44 on June 27.
This journal on that date linked to a post titled "The Mystic Hexastigm."
A related remark on the complete 6point from Sunday, April 28, 2013 —
(See, in Veblen and Young's 1910 Vol. I, exercise 11,
page 53: "A plane section of a 6point in space can
be considered as 3 triangles perspective in pairs
from 3 collinear points with corresponding sides
meeting in 3 collinear points." This is the large
Desargues configuration. See Classical Geometry
in Light of Galois Geometry.)
This post was suggested, in part, by the philosophical ruminations
of Rosalind Krauss in her 2011 book Under Blue Cup . See
Sunday's post Perspective and Its Transections . (Any resemblance
to Freud's title Civilization and Its Discontents is purely coincidental.)
The title phrase is from Rosalind Krauss (Under Blue Cup , 2011) —
Another way of looking at the title phrase —
"A very important configuration is obtained by
taking the plane section of a complete space fivepoint."
(Veblen and Young, 1910, p. 39) —
For some context, see Desargues + Galois in this journal.
Related material now available online —
A less businessoriented sort of virtual reality —
For example, "A very important configuration is obtained by
taking the plane section of a complete space fivepoint."
(Veblen and Young, 1910, p. 39)—
Pinterest boards uploaded to the new m759.net/piwigo —
Update of May 2 —
Update of May 3 —
Update of May 8 —
Art Space board created at Pinterest
The title is from Don McLean's classic "American Pie."
A Finite Projective Space —
A NonFinite Projective Space —
See also a figure from 2 AM ET April 26 …
" Partner, anchor, decompose. That's not math.
That's the plot to 'Silence of the Lambs.' "
"That in which space itself is contained" — Wallace Stevens
An image by Steven H. Cullinane from April 1, 2013:
The large Desargues configuration of Euclidean 3space can be
mapped canonically to the 4×4 square of Galois geometry —
On an Auckland University of Technology thesis by Kate Cullinane —
The thesis reportedly won an Art Directors Club award on April 5, 2013.
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
See a search for "large Desargues configuration" in this journal.
The 6 Jan. 2015 preprint "Danzer's Configuration Revisited,"
by Boben, Gévay, and Pisanski, places this configuration,
which they call the CayleySalmon configuration , in the
interesting context of Pascal's Hexagrammum Mysticum .
They show how the CayleySalmon configuration is, in a sense,
dual to something they call the SteinerPlücker configuration .
This duality appears implicitly in my note of April 26, 1986,
"Picturing the smallest projective 3space." The sixsets at
the bottom of that note, together with Figures 3 and 4
of Boben et. al. , indicate how this works.
The duality was, as they note, previously described in 1898.
Related material on sixset geometry from the classical literature—
Baker, H. F., "Note II: On the Hexagrammum Mysticum of Pascal,"
in Principles of Geometry , Vol. II, Camb. U. Press, 1930, pp. 219236
Richmond, H. W., "The Figure Formed from Six Points in Space of Four Dimensions,"
Mathematische Annalen (1900), Volume 53, Issue 12, pp 161176
Richmond, H. W., "On the Figure of Six Points in Space of Four Dimensions,"
Quarterly Journal of Pure and Applied Mathematics , Vol. 31 (1900), pp. 125160
Related material on sixset geometry from a more recent source —
Cullinane, Steven H., "Classical Geometry in Light of Galois Geometry," webpage
This post was suggested by Greg Gutfeld’s Sept. 4 remarks on Common Core math.
Problem: What is 9 + 6 ?
Here are two approaches suggested by illustrations of Desargues’s theorem.
Solution 1:
9 + 6 = 10 + 5,
as in Common Core (or, more simply, as in common sense), and
10 + 5 = 5 + 10 = 15 as in Veblen and Young:
Solution 2:
In the figure below,
9 + 6 = no. of V’s + no. of A’s + no. of C’s =
no. of nonempty squares = 16 – 1 = 15.
(Illustration from Feb. 10, 2014.)
The silly educationists’ “partner, anchor, decompose” jargon
discussed by Gutfeld was their attempt to explain “9 + 6 = 10 + 5.”
As he said of the jargon, “That’s not math, that’s the plot from ‘Silence of the Lambs.'”
Or from Richard, Frank, and Marcus in last night’s “Intruders”
(BBC America, 10 PM).
Paradigms of Geometry:
Continuous and Discrete
The discovery of the incommensurability of a square's
side with its diagonal contrasted a wellknown discrete
length (the side) with a new continuous length (the diagonal).
The figures below illustrate a shift in the other direction.
The essential structure of the continuous configuration at
left is embodied in the discrete unit cells of the square at right.
See Desargues via Galois (August 6, 2013).
The title is from this morning’s previous post.
From a theater review in that post—
… “all flying edges and angles, a perpetually moving and hungry soul”
… “a formidably centered presence, the still counterpoint”
A more abstract perspective:
See also Desargues via Galois (August 6, 2013).
“The relevance of a geometric theorem is determined by what the theorem
tells us about space, and not by the eventual difficulty of the proof.”
— GianCarlo Rota discussing the theorem of Desargues
What space tells us about the theorem :
In the simplest case of a projective space (as opposed to a plane ),
there are 15 points and 35 lines: 15 Göpel lines and 20 Rosenhain lines.*
The theorem of Desargues in this simplest case is essentially a symmetry
within the set of 20 Rosenhain lines. The symmetry, a reflection
about the main diagonal in the square model of this space, interchanges
10 horizontally oriented (rowbased) lines with 10 corresponding
vertically oriented (columnbased) lines.
Vide Classical Geometry in Light of Galois Geometry.
* Update of June 9: For a more traditional nomenclature, see (for instance)
R. Shaw, 1995. The “simplest case” link above was added to point out that
the two types of lines named are derived from a natural symplectic polarity
in the space. The square model of the space, apparently first described in
notes written in October and December, 1978, makes this polarity clearly visible:
From a recreationalmathematics weblog yesterday:
“This appears to be the arts section of the post,
so I’ll leave Martin Probert’s page on
The Survival, Origin and Mathematics of String Figures
here. I’ll be back to pick it up at the end. Maybe it’d like
to play with Steven H. Cullinane’s pages on the
Finite Geometry of the Square and Cube.”
I doubt they would play well together.
Perhaps the offensive linking of the purely recreational topic
of string figures to my own work was suggested by the
string figures’ resemblance to figures of projective geometry.
A pairing I prefer: Desargues and Galois —
For further details, see posts on Desargues and Galois.
(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).)
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.
The following image gives a brief description
of the geometry discussed in last spring's
Classical Geometry in Light of Galois Geometry.
Update of Aug. 7, 2013: See also an expanded PDF version.
(Simplicity continued)
"Understanding a metaphor is like understanding a geometrical
truth. Features of various geometrical figures or of various contexts
are pulled into revealing alignment with one another by the
demonstration or the metaphor.
What is 'revealed' is not that the alignment is possible; rather,
that the alignment is possible reveals the presence of already
existing shapes or correspondences that lay unnoticed. To 'see' a
proof or 'get' a metaphor is to experience the significance of the
correspondence for what the thing, concept, or figure is ."
— Jan Zwicky, Wisdom & Metaphor , page 36 (left)
Zwicky illustrates this with Plato's diamond figure
from the Meno on the facing page— her page 36 (right).
A more sophisticated geometrical figure—
Galoisgeometry key to
Desargues' theorem:
D  E  F  
S'  P  Q  R 
S  P'  Q'  R' 
O  P_{1}  Q_{1}  R_{1} 
For an explanation, see
Classical Geometry in Light of Galois Geometry.
Best vs. Bester
The previous post ended with a reference mentioning Rosenhain.
For a recent application of Rosenhain's work, see
Desargues via Rosenhain (April 1, 2013).
From the next day, April 2, 2013:
"The proof of Desargues' theorem of projective geometry
comes as close as a proof can to the Zen ideal.
It can be summarized in two words: 'I see!' "
– GianCarlo Rota in Indiscrete Thoughts (1997)
Also in that book, originally from a review in Advances in Mathematics ,
Vol. 84, Number 1, Nov. 1990, p. 136:
See, too, in the ConwaySloane book, the Galois tesseract …
and, in this journal, Geometry for Jews and The Deceivers , by Bester.
… And the history of geometry —
Desargues, Pascal, Brianchon and Galois
in the light of complete npoints in space.
(Rewritten for clarity at about 10 AM ET April 29, with quote from Dowling added.
Updated with a reference to a Veblen and Young exercise (on p. 53) on April 30.)
Veblen and Young, Projective Geometry, Vol. I ,
Ginn and Company, 1910, page 39:
"The Desargues configuration. A very important configuration
is obtained by taking the plane section of a complete space fivepoint."
Each of figures 14 and 15 above has 15 points and 20 lines.
The Desargues configuration within each figure is denoted by
10 white points and 10 solid lines, with 3 points on each line and
3 lines on each point. Black points and dashed lines indicate the
complete space fivepoint and lines connecting it to the plane section
containing the Desargues configuration.
In a 1915 University of Chicago doctoral thesis, Archibald Henderson
used a complete space six point to construct a configuration of
15 points and 20 lines in the context not of Desargues ' theorem, but
rather of Brianchon 's theorem and of the Pascal hexagram.
Henderson's 1915 configuration is, it turns out, isomorphic to that of
the 15 points and 20 lines in the configuration constructed via a
complete space five point five years earlier by Veblen and Young.
(See, in Veblen and Young's 1910 Vol. I, exercise 11, page 53:
"A plane section of a 6point in space can be considered as
3 triangles perspective in pairs from 3 collinear points with
corresponding sides meeting in 3 collinear points." This is the
large Desargues configuration. See Classical Geometry in Light of
Galois Geometry.)
For this large Desargues configuration see April 19.
For Henderson's complete six –point, see The SixSet (April 23).
That post ends with figures relating the large Desargues configuration
to the Galois geometry PG(3,2) that underlies the Curtis
Miracle Octad Generator and the large Mathieu group M_{24} —
See also Note on the MOG Correspondence from April 25, 2013.
That correspondence was also discussed in a note 28 years ago, on this date in 1985.
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.
Another in a series of figures illustrating
Desargues's theorem in light of Galois geometry:
"Of course, DeLillo being DeLillo,
it’s the deeper implications of the piece —
what it reveals about the nature of
film, perception and time — that detain him."
— Geoff Dyer, review of Point Omega
Related material:
A phrase of critic Robert Hughes,
"slow art," in this journal.
A search for that phrase yields the following
figure from a post on DeLillo of Oct. 12, 2011:
The above 3×3 grid is embedded in a
somewhat more sophisticated example
of conceptual art from April 1, 2013:
Update of April 12, 2013
The above key uses labels from the frontispiece
to Baker's 1922 Principles of Geometry, Vol. I ,
that shows a threetriangle version of Desargues's theorem.
A different figure, from a site at National Tsing Hua University,
shows the three triangles of Baker's figure more clearly:
Roberta Smith in 2011 on the American Folk Art Museum (see previous post):
"It could be argued that we need a museum of folk art
the way we need a museum of modern art,
to shine a very strong, undiluted light on
a very important achievement."
Some other aesthetic remarks:
"We have had a gutful of fast art and fast food.
What we need more of is slow art: art that holds time
as a vase holds water: art that grows out of modes
of perception and whose skill and doggedness
make you think and feel; art that isn't merely sensational,
that doesn't get its message across in 10 seconds,
that isn't falsely iconic, that hooks onto something
deeprunning in our natures. In a word, art that is
the very opposite of mass media. For no spiritually
authentic art can beat mass media at their own game."
— Robert Hughes, speech of June 2, 2004,
quoted here June 15, 2007.
Perhaps, as well as museums of modern art and of folk art,
we need a Museum of Slow Art.
One possible exhibit, from this journal Monday:
The diagram on the left is from 1922. The 20 small squares at right
that each have 4 subsquares darkened were discussed, in a different
context, in 1905. They were reillustrated, in a new context
(Galois geometry), in 1986. The "key" square, and the combined
illustration, is from April 1, 2013. For deeper background, see
Classical Geometry in Light of Galois Geometry.
Those who prefer faster art may consult Ten Years After.
"The proof of Desargues' theorem of projective geometry
comes as close as a proof can to the Zen ideal.
It can be summarized in two words: 'I see!' "
— GianCarlo Rota in Indiscrete Thoughts (1997)
Also in that book, originally from a review in Advances in Mathematics,
Vol. 84, Number 1, Nov. 1990, p. 136:
Related material:
Pascal and the Galois nocciolo ,
Conway and the Galois tesseract,
Gardner and Galois.
See also Rota and Psychoshop.
The geometry posts of Sunday and Monday have been
placed in finitegeometry.org as
Classical Geometry in Light of Galois Geometry.
Some background:
See Baker, Principles of Geometry , Vol. II, Note I
(pp. 212218)—
On Certain Elementary Configurations, and
on the Complete Figure for Pappus's Theorem
and Vol. II, Note II (pp. 219236)—
On the Hexagrammum Mysticum of Pascal.
Monday's elucidation of Baker's Desarguestheorem figure
treats the figure as a 15_{4}20_{3 }configuration (15 points,
4 lines on each, and 20 lines, 3 points on each).
Such a treatment is by no means new. See Baker's notes
referred to above, and
"The Complete Pascal Figure Graphically Presented,"
a webpage by J. Chris Fisher and Norma Fuller.
What is new in the Monday Desargues post is the graphic
presentation of Baker's frontispiece figure using Galois geometry :
specifically, the diamond theorem square model of PG(3,2).
See also Cremona's kernel, or nocciolo :
Baker on Cremona's approach to Pascal—
"forming, in Cremona's phrase, the nocciolo of the whole."
A related nocciolo :
Click on the nocciolo for some
geometric background.
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)

"In any geometry satisfying Pappus's Theorem,
the four pairs of opposite points of 8_{3}
are joined by four concurrent lines."
— H. S. M. Coxeter (see below)
Continued from Tuesday, Sept. 6—
The Diamond Star
The above is a version of a figure from Configurations and Squares.
Yesterday's post related the the Pappus configuration to this figure.
Coxeter, in "SelfDual Configurations and Regular Graphs," also relates Pappus to the figure.
Some excerpts from Coxeter—
The relabeling uses the 8 superscripts
from the first picture above (plus 0).
The order of the superscripts is from
an 8cycle in the Galois field GF(9).
The relabeled configuration is used in a discussion of Pappus—
(Update of Sept. 10, 2011—
Coxeter here has a note referring to page 335 of
G. A. Miller, H. F. Blichfeldt, and L. E. Dickson,
Theory and Applications of Finite Groups , New York, 1916.)
Coxeter later uses the the 3×3 array (with center omitted) again to illustrate the Desargues configuration—
The Desargues configuration is discussed by GianCarlo Rota on pp. 145146 of Indiscrete Thoughts—
"The value of Desargues' theorem and the reason why the statement of this theorem has survived through the centuries, while other equally striking geometrical theorems have been forgotten, is in the realization that Desargues' theorem opened a horizon of possibilities that relate geometry and algebra in unexpected ways."
Powered by WordPress