Log24

Wednesday, May 25, 2016

Kummer and Dirac

Filed under: Uncategorized — Tags: , , — m759 @ 11:00 AM

From "Projective Geometry and PT-Symmetric Dirac Hamiltonian,"
Y. Jack Ng  and H. van Dam, 
Physics Letters B , Volume 673, Issue 3,
23 March 2009, Pages 237–239

(http://arxiv.org/abs/0901.2579v2, last revised Feb. 20, 2009)

" Studies of spin-½ theories in the framework of projective geometry
have been undertaken before. See, e.g., Ref. [4]. 1 "

1 These papers are rather mathematical and technical.
The authors of the first two papers discuss the Dirac equation
in terms of the Plucker-Klein correspondence between lines of
a three-dimensional projective space and points of a quadric
in a five-dimensional projective space. The last paper shows
that the Dirac equation bears a certain relation to Kummer’s
surface, viz., the structure of the Dirac ring of matrices is 
related to that of Kummer’s 166 configuration . . . ."

[4]

O. Veblen
Proc. Natl. Acad. Sci. USA , 19 (1933), p. 503
Full Text via CrossRef

E.M. Bruins
Proc. Nederl. Akad. Wetensch. , 52 (1949), p. 1135

F.C. Taylor Jr., Master thesis, University of North Carolina
at Chapel Hill (1968), unpublished


A remark of my own on the structure of Kummer’s 166 configuration . . . .

See that structure in this  journal, for instance —

See as well yesterday morning's post.

Tuesday, May 24, 2016

Rosenhain and Göpel Revisited

Filed under: Uncategorized — Tags: , , — m759 @ 8:23 AM

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 many-faceted 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 4-space over
the two-element 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)

IMAGE- Desargues's theorem in light of Galois geometry

Göpel tetrads as 15 of the 35 projective lines in PG(3,2)

Anticommuting Dirac matrices as spreads of projective lines

Related terminology describing the Göpel tetrads above

Ron Shaw on symplectic geometry and a linear complex in PG(3,2)

Tuesday, September 9, 2014

Smoke and Mirrors

Filed under: Uncategorized — Tags: , , — m759 @ 11:00 AM

This post is continued from a March 12, 2013, post titled
"Smoke and Mirrors" on art in Tromsø, Norway, and from
a June 22, 2014, post on the nineteenth-century 
mathematicians Rosenhain and Göpel.

The latter day was the day of death for 
mathematician Loren D. Olson, Harvard '64.

For some background on that June 22 post, see the tag 
Rosenhain and Göpel in this journal.

Some background on Olson, who taught at the
University of Tromsø, from the American Mathematical
Society yesterday:

Olson died not long after attending the 50th reunion of the
Harvard Class of 1964.

For another connection between that class (also my own) 
and Tromsø, see posts tagged "Elegantly Packaged."
This phrase was taken from today's (print) 
New York Times  review of a new play titled "Smoke."
The phrase refers here  to the following "package" for 
some mathematical objects that were named after 
Rosenhain and Göpel — a 4×4 array —

For the way these objects were packaged within the array
in 1905 by British mathematician R. W. H. T. Hudson, see
a page at finitegometry.org/sc. For the connection to the art 
in Tromsø mentioned above, see the diamond theorem.

Sunday, August 24, 2014

Symplectic Structure…

Filed under: Uncategorized — Tags: , — m759 @ 12:00 PM

In the Miracle Octad Generator (MOG):

The above details from a one-page note of April 26, 1986, refer to the
Miracle Octad Generator of R. T. Curtis, as it was published in 1976:

http://www.log24.com/log/pix10A/100514-Curtis1976MOG.jpg

From R. T. Curtis (1976). A new combinatorial approach to M24,
Mathematical Proceedings of the Cambridge Philosophical Society ,
79, pp 25-42. doi:10.1017/S0305004100052075.

The 1986 note assumed that the reader would be able to supply, from the
MOG itself, the missing top row of each heavy brick.

Note that the interchange of the two squares in the top row of each
heavy brick induces the diamond-theorem correlation.

Note also that the 20 pictured 3-subsets of a 6-set in the 1986 note
occur as paired complements  in two pictures, each showing 10 of the
3-subsets.

This pair of pictures corresponds to the 20 Rosenhain tetrads  among
the 35 lines of PG(3,2), while the picture showing the 2-subsets
corresponds to the 15 Göpel tetrads  among the 35 lines.

See Rosenhain and Göpel tetrads in PG(3,2). Some further background:

Monday, August 11, 2014

Syntactic/Symplectic

Filed under: Uncategorized — Tags: , — m759 @ 4:00 PM

(Continued from August 9, 2014.)

Syntactic:

Symplectic:

"Visual forms— lines, colors, proportions, etc.— are just as capable of
articulation , i.e. of complex combination, as words. But the laws that govern
this sort of articulation are altogether different from the laws of syntax that
govern language. The most radical difference is that visual forms are not
discursive 
. They do not present their constituents successively, but
simultaneously, so the relations determining a visual structure are grasped
in one act of vision."

– Susanne K. LangerPhilosophy in a New Key

For examples, see The Diamond-Theorem Correlation
in Rosenhain and Göpel Tetrads in PG(3,2).

This is a symplectic  correlation,* constructed using the following
visual structure:

IMAGE- A symplectic structure -- i.e. a structure that is symplectic (meaning plaited or woven).

* Defined in (for instance) Paul B. Yale, Geometry and Symmetry ,
Holden-Day, 1968, sections 6.9 and 6.10.

Monday, August 4, 2014

A Wrinkle in Space

Filed under: Uncategorized — Tags: , — m759 @ 10:30 AM

"There is  such a thing as a tesseract." — Madeleine L'Engle

An approach via the Omega Matrix:

http://www.log24.com/log/pix10A/100619-TesseractAnd4x4.gif

See, too, Rosenhain and Göpel as The Shadow Guests .

Friday, August 1, 2014

The Diamond-Theorem Correlation

Filed under: Uncategorized — Tags: , — m759 @ 2:00 AM

Click image for a larger, clearer version.

IMAGE- The symplectic correlation underlying Rosenhain and Göpel tetrads

Sunday, June 22, 2014

Göpel and Rosenhain

Filed under: Uncategorized — Tags: , — m759 @ 10:00 AM

(Continued)

Some bizarre remarks on “purity” in the previous post
suggest a review of some pure  mathematics.

Sunday, June 8, 2014

Vide

Filed under: Uncategorized — Tags: , , — m759 @ 10:00 AM

Some background on the large Desargues configuration

“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.”

— Gian-Carlo 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 (row-based) lines with 10 corresponding
vertically oriented (column-based) 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:

A coordinate-free approach to symplectic structure

Saturday, March 22, 2014

Two Types of Symmetry

Filed under: Uncategorized — Tags: , — m759 @ 12:00 PM

Mathematical

IMAGE- Weber hexads in 'Kummer's Quartic Surface'

IMAGE- Ohashi on the 192 Weber hexads

Literary (also from May 18, 2010)

IMAGE- Heraclitus, 'Immortals mortal, mortals immortal'- 'athanatoi thnetoi, thnetoi athanatoi'

Wednesday, March 5, 2014

Rosenhain and Göpel Again

Filed under: Uncategorized — Tags: , — m759 @ 8:25 PM

IMAGE- Rosenhain, Göpel, and hyperelliptic curves

See also Rosenhain and Göpel in the Wikipedia
article Kummer surface, and in this journal.

Related material: user @hyperelliptic on Twitter.

Sunday, February 16, 2014

Sermon

Filed under: Uncategorized — Tags: — m759 @ 11:00 AM

ROSENCRANTZ:
     … Do you ever think of yourself as
     actually dead, lying in a box with a lid on it?
GUILDENSTERN:
     No.
ROSENCRANTZ:
     Nor do I, really… It's silly to be depressed by it.
     I mean one thinks of it like being alive in a box,
     one keeps forgetting to take into account the fact
     that one is dead… which should make all the
     difference… shouldn't it? I mean, you'd never know
     you were in a box, would you? It would be just like
     being asleep in a box.

— Tom Stoppard

See also last Sunday's sermon (Feb. 9) and
Mystery Box III: Inside, Outside (Feb. 10).

Saturday, February 15, 2014

Rosenhain and Göpel

Filed under: Uncategorized — Tags: , — m759 @ 11:00 PM

(Continued)

See The Oslo Version in this journal and the New Year’s Day 2014 post.
The pictures of the 56 spreads in that post (shown below) are based on
the 20 Rosenhain and 15 Göpel tetrads that make up the 35 lines of
PG(3,2), the finite projective 3-space over the 2-element Galois field.

IMAGE- The 56 spreads in PG(3,2)

Click for a larger image.

Monday, February 10, 2014

Mystery Box III: Inside, Outside

Filed under: Uncategorized — Tags: , , , , — m759 @ 2:28 PM

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

Saturday, September 21, 2013

Geometric Incarnation

The  Kummer 166  configuration  is the configuration of sixteen
6-sets within a 4×4 square array of points in which each 6-set
is determined by one of the 16 points of the array and
consists of the 3 other points in that point's row and the
3 other points in that point's column.

See Configurations and Squares.

The Wikipedia article Kummer surface  uses a rather poetic
phrase* to describe the relationship of the 166 to a number
of other mathematical concepts — "geometric incarnation."

Geometric Incarnation in the Galois Tesseract

Related material from finitegeometry.org —

IMAGE- 4x4 Geometry: Rosenhain and Göpel Tetrads and the Kummer Configuration

* Apparently from David Lehavi on March 18, 2007, at Citizendium .

Mathematics and Narrative (continued)

Filed under: Uncategorized — Tags: , — m759 @ 1:00 AM

Mathematics:

A review of posts from earlier this month —

Wednesday, September 4, 2013

Moonshine

Filed under: Uncategorized — m759 @ 4:00 PM

Unexpected connections between areas of mathematics
previously thought to be unrelated are sometimes referred
to as "moonshine."  An example—  the apparent connections
between parts of complex analysis and groups related to the
large Mathieu group M24. Some recent work on such apparent
connections, by Anne Taormina and Katrin Wendland, among
others (for instance, Miranda C.N. Cheng and John F.R. Duncan),
involves structures related to Kummer surfaces .
In a classic book, Kummer's Quartic Surface  (1905),
R.W.H.T. Hudson pictured a set of 140 structures, the 80
Rosenhain tetrads and the 60 Göpel tetrads, as 4-element
subsets of a 16-element 4×4 array.  It turns out that these
140 structures are the planes of the finite affine geometry
AG(4,2) of four dimensions over the two-element Galois field.
(See Diamond Theory in 1937.)

Thursday, September 5, 2013

Moonshine II

Filed under: Uncategorized — Tags:  — m759 @ 10:31 AM

(Continued from yesterday)

The foreword by Wolf Barth in the 1990 Cambridge U. Press
reissue of Hudson's 1905 classic Kummer's Quartic Surface
covers some of the material in yesterday's post Moonshine.

The distinction that Barth described in 1990 was also described, and illustrated,
in my 1986 note "Picturing the smallest projective 3-space."  The affine 4-space
over the the finite Galois field GF(2) that Barth describes was earlier described—
within a 4×4 array like that pictured by Hudson in 1905— in a 1979 American
Mathematical Society abstract, "Symmetry invariance in a diamond ring."

"The distinction between Rosenhain and Goepel tetrads
is nothing but the distinction between isotropic and
non-isotropic planes in this affine space over the finite field."

The 1990 paragraph of Barth quoted above may be viewed as a summary
of these facts, and also of my March 17, 2013, note "Rosenhain and Göpel
Tetrads in PG(3,2)
."

Narrative:

Aooo.

Happy birthday to Stephen King.

Thursday, September 5, 2013

Moonshine II

Filed under: Uncategorized — Tags: , , , , — m759 @ 10:31 AM

(Continued from yesterday)

The foreword by Wolf Barth in the 1990 Cambridge U. Press
reissue of Hudson's 1905 classic Kummer's Quartic Surface
covers some of the material in yesterday's post Moonshine.

The distinction that Barth described in 1990 was also described, and illustrated,
in my 1986 note "Picturing the smallest projective 3-space."  The affine 4-space
over the the finite Galois field GF(2) that Barth describes was earlier described—
within a 4×4 array like that pictured by Hudson in 1905— in a 1979 American
Mathematical Society abstract, "Symmetry invariance in a diamond ring."

"The distinction between Rosenhain and Goepel tetrads
is nothing but the distinction between isotropic and
non-isotropic planes in this affine space over the finite field."

The 1990 paragraph of Barth quoted above may be viewed as a summary
of these facts, and also of my March 17, 2013, note "Rosenhain and Göpel
Tetrads in PG(3,2)
."

Wednesday, September 4, 2013

Moonshine

Filed under: Uncategorized — Tags: , — m759 @ 4:00 PM

Unexpected connections between areas of mathematics
previously thought to be unrelated are sometimes referred
to as "moonshine."  An example—  the apparent connections
between parts of complex analysis and groups related to the 
large Mathieu group M24. Some recent work on such apparent
connections, by Anne Taormina and Katrin Wendland, among
others (for instance, Miranda C.N. Cheng and John F.R. Duncan),
involves structures related to Kummer surfaces .
In a classic book, Kummer's Quartic Surface  (1905),
R.W.H.T. Hudson pictured a set of 140 structures, the 80
Rosenhain tetrads and the 60 Göpel tetrads, as 4-element
subsets of a 16-element 4×4 array.  It turns out that these
140 structures are the planes of the finite affine geometry
AG(4,2) of four dimensions over the two-element Galois field.
(See Diamond Theory in 1937.) 

A Google search documents the moonshine
relating Rosenhain's and Göpel's 19th-century work
in complex analysis to M24  via the book of Hudson and
the geometry of the 4×4 square.

Saturday, August 17, 2013

Up-to-Date Geometry

Filed under: Uncategorized — Tags: — m759 @ 7:24 PM

The following excerpt from a January 20, 2013, preprint shows that
a Galois-geometry version of the large Desargues 154203 configuration,
although based on the nineteenth-century work of Galois* and of Fano,** 
may at times have twenty-first-century applications.

IMAGE- James Atkinson, Jan. 2013 preprint on Yang-Baxter maps mentioning finite geometry

Some context —

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 154203 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. 428-435.

** G. Fano, definition of PG(3,2) in "Sui Postulati Fondamentali…,"
    Giornale di Matematiche, Vol. 30, 1892, pp. 106-132.

Sunday, May 19, 2013

Sermon

Filed under: Uncategorized — Tags: — m759 @ 11:00 AM

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!' "

– Gian-Carlo 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:
IMAGE- Rota's review of 'Sphere Packings, Lattices and Groups'-- in a word, 'best'

See, too, in the Conway-Sloane book, the Galois tesseract  
and, in this journal, Geometry for Jews and The Deceivers , by Bester.

Priority Claim

Filed under: Uncategorized — Tags: , , , — m759 @ 9:00 AM

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 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
(for instance) Peter J. Cameron in a 1976
Cambridge University Press book —
Parallelisms of Complete Designs .
See the proof of Theorem 3A.13 on pages 59 and 60.

The vector space structure as it occurs in a 4×4 array
of the sort that appears in the Curtis Miracle Octad
Generator may first have been pointed out by me,
Steven H. Cullinane,
 in an AMS abstract submitted in
October 1978, some nine years before the Curtis article.

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

Thursday, April 25, 2013

Rosenhain and Göpel Revisited

Filed under: Uncategorized — Tags: , — m759 @ 5:24 PM

Some historical background for today's note on the geometry
underlying the Curtis Miracle Octad Generator (MOG):

IMAGE- Bateman in 1906 on Rosenhain and Göpel tetrads

The above incidence diagram recalls those in today's previous post
on the MOG, which is used to construct the large Mathieu group M24.

For some related material that is more up-to-date, search the Web
for Mathieu + Kummer .

Friday, April 19, 2013

The Large Desargues Configuration

Filed under: Uncategorized — Tags: — m759 @ 9:25 AM

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

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

Saturday, April 13, 2013

Princeton’s Christopher Robin

The title is that of a talk (see video) given by
George Dyson at a Princeton land preservation trust,
reportedly on March 21, 2013.  The talk's subtitle was
"Oswald Veblen and the Six-hundred-acre Woods."

Meanwhile

Thursday, March 21, 2013

Geometry of Göpel Tetrads (continued)

m759 @ 7:00 PM

An update to Rosenhain and Göpel Tetrads in PG(3,2)
supplies some background from
Notes on Groups and Geometry, 1978-1986,
and from a 2002 AMS Transactions  paper.

IMAGE- Göpel tetrads in an inscape, April 1986

Related material for those who prefer narrative
to mathematics:

Log24 on June 6, 2006:

 

The Omen:


Now we are 
 

6!

Related material for those who prefer mathematics
to narrative:

What the Omen narrative above and the mathematics of Veblen
have in common is the number 6. Veblen, who came to
Princeton in 1905 and later helped establish the Institute,
wrote extensively on projective geometry.  As the British
geometer H. F. Baker pointed out,  6 is a rather important number
in that discipline.  For the connection of 6 to the Göpel tetrads
figure above from March 21, see a note from May 1986.

See also last night's Veblen and Young in Light of Galois.

"There is  such a thing as a tesseract." — Madeleine L'Engle

Wednesday, April 10, 2013

Caution: Slow Art

Filed under: Uncategorized — Tags: , — m759 @ 9:00 PM

"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 3x3 square

The above 3×3 grid is embedded in a 
somewhat more sophisticated example
of conceptual art from April 1, 2013:

IMAGE- A Galois-geometry key to Desargues' theorem

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 three-triangle 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:

IMAGE- Desargues' theorem with three triangles (the large Desargues configuration) and Galois-geometry version

Wednesday, April 3, 2013

Museum Piece

Filed under: Uncategorized — Tags: — m759 @ 3:01 PM

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
deep-running 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 re-illustrated, 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.

Tuesday, April 2, 2013

Hermite

Filed under: Uncategorized — Tags: , — m759 @ 7:14 PM

A sequel to the quotation here March 8 (Pinter Play)
of Joan Aiken's novel The Shadow Guests

Supposing that one's shadow guests are
Rosenhain and Göpel (see March 18)

Hans Freudenthal at Encyclopedia.com on Charles Hermite:

"In 1855 Hermite took advantage of Göpel’s and Rosenhain’s work
when he created his transformation theory (see below)."

"One of his invariant theory subjects was the fifth-degree equation,
to which he later applied elliptic functions.

Armed with the theory of invariants, Hermite returned to
Abelian functions. Meanwhile, the badly needed theta functions
of two arguments
had been found, and Hermite could apply what
he had learned about quadratic forms to understanding the
transformation of the system of the four periods. Later, Hermite’s
1855 results became basic for the transformation theory of Abelian
functions as well as for Camille Jordan’s theory of 'Abelian' groups.
They also led to Herrnite’s own theory of the fifth-degree equation
and of the modular equations of elliptic functions. It was Hermite’s
merit to use ω rather than Jacobi’s q = eπω as an argument and to
prepare the present form of the theory of modular functions.
He again dealt with the number theory applications of his theory,
particularly with class number relations or quadratic forms.
His solution of the fifth-degree equation by elliptic functions
(analogous to that of third-degree equations by trigonometric functions)
was the basic problem of this period."

See also Hermite in The Catholic Encyclopedia.

Monday, April 1, 2013

Desargues via Rosenhain

Filed under: Uncategorized — 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)

 

 

 

 

Thursday, March 21, 2013

Geometry of Göpel Tetrads (continued)

Filed under: Uncategorized — Tags: — m759 @ 7:00 PM

An update to Rosenhain and Göpel Tetrads in PG(3,2) 
supplies some background from
Notes on Groups and Geometry, 1978-1986,
and from a 2002 AMS Transactions  paper.

IMAGE- Göpel tetrads in an inscape, April 1986

Tuesday, March 19, 2013

Mathematics and Narrative (continued)

Filed under: Uncategorized — Tags: — m759 @ 10:18 AM

Angels & Demons meet Hudson Hawk

Dan Brown's four-elements diamond in Angels & Demons :

IMAGE- Illuminati Diamond, pp. 359-360 in 'Angels & Demons,' Simon & Schuster Pocket Books 2005, 448 pages, ISBN 0743412397

The Leonardo Crystal from Hudson Hawk :

Hudson:

Mathematics may be used to relate (very loosely)
Dan Brown's fanciful diamond figure to the fanciful
Leonardo Crystal from Hudson Hawk 

"Giving himself a head rub, Hawk bears down on
the three oddly malleable objects. He TANGLES 
and BENDS and with a loud SNAP, puts them together,
forming the Crystal from the opening scene."

— A screenplay of Hudson Hawk

Happy birthday to Bruce Willis.

Monday, March 18, 2013

Back to the Present: The Sequel

Filed under: Uncategorized — Tags: — m759 @ 12:00 PM

For Rosenhain and Göpel

From Tom Stoppard's play "Rosencrantz and Guildenstern Are Dead"

GUIL: Yes, one must think of the future.
ROS: It's the normal thing.
GUIL: To have one. One is, after all, having it all the time now… and now… and now…
ROS: It could go on for ever. Well, not for ever, I suppose. (Pause.) Do you ever think of yourself as actually dead, lying in a box with a lid on it?
GUIL: No.
ROS: Nor do I, really… It's silly to be depressed by it. I mean one thinks of it like being alive in a box, one keeps forgetting to take into account the fact that one is dead… which should make all the difference… shouldn't it? I mean, you'd never know you were in a box, would you? It would be just like being asleep in a box. Not that I'd like to sleep in a box, mind you, not without any air— you'd wake up dead, for a start, and then where would you be? Apart from inside a box. That's the bit I don't like, frankly. That's why I don't think of it.
(GUIL stirs restlessly, pulling his cloak round him.)
Because you'd be helpless, wouldn't you? Stuffed in a box like that, I mean you'd be in there for ever. Even taking into account the fact that you're dead, it isn't a pleasant thought. Especially if you're dead, really… ask yourself, if I asked you straight off— I'm going to stuff you in this box now, would you rather be alive or dead? Naturally, you'd prefer to be alive. Life in a box is better than no life at all. I expect. You'd have a chance at least. You could lie there thinking well, at least I'm not dead! In a minute someone's going to bang on the lid and tell me to come out. (Banging the floor with his fists.) "Hey you, whatsyername! Come out of there!"
GUIL (jumps up savagely) : You don't have to flog it to death!
(Pause.)
ROS: I wouldn't think about it, if I were you. You'd only get depressed. (Pause.) Eternity is a terrible thought. I mean, where's it going to end? (Pause, then brightly.) Two early Christians chanced to meet in Heaven. "Saul of Tarsus yet!" cried one. "What are you doing here?!"… "Tarsus-Schmarsus," replied the other, "I'm Paul already." (He stands up restlessly and flaps his arms.) They don't care. We count for nothing. We could remain silent till we're green in the face, they wouldn't come.

Related material: Quotes from H. F. Baker in posts from March 2011—

A Many-Sided Theory and Remarks on Reality.

Saturday, March 16, 2013

The Crosswicks Curse

Filed under: Uncategorized — Tags: — m759 @ 4:00 PM

Continues.

From the prologue to the new Joyce Carol Oates
novel Accursed

"This journey I undertake with such anticipation
is not one of geographical space but one of Time—
for it is the year 1905 that is my destination.

1905!—the very year of the Curse."

Today's previous post supplied a fanciful link
between the Crosswicks Curse of Oates and
the Crosswicks tesseract  of Madeleine L'Engle.

The Crosswicks Curse according to L'Engle
in her classic 1962 novel A Wrinkle in Time —

"There is  such a thing as a tesseract."

A tesseract is a 4-dimensional hypercube that
(as pointed out by Coxeter in 1950) may also 
be viewed as a 4×4 array (with opposite edges
identified).

Meanwhile, back in 1905

For more details, see how the Rosenhain and Göpel tetrads occur naturally
in the diamond theorem model of the 35 lines of the 15-point projective
Galois space PG(3,2).

See also Conwell in this journal and George Macfeely Conwell in the
honors list of the Princeton Class of 1905.

Powered by WordPress