Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

October 30, 2016

Linear Algebraic Groups (Part 4)

Posted by John Baez

This time I explain some axioms for an ‘abstract projective plane’, and the extra axiom required to ensure an abstract projective plane comes from a field. Yet again the old Greek mathematicians seem to have been strangely prescient, because this extra axiom was discovered by Pappus of Alexandria sometime around 340 AD! For him it was a theorem in Euclidean geometry, but later it was realized that a cleaner statement involves only projective geometry… and later still, it was seen to be a useful axiom.

For details, read the notes.

  • Lecture 4 (Oct. 4) - Abstract projective planes. Pappus’s hexagon theorem, and how it characterizes which abstract projective planes are of the form kP 2k\mathrm{P}^2 for a field kk. Klein geometry and transitive group actions: each kind of highly symmetrical geometry corresponds to a group GG, and each type of geometrical figure in this geometry corresponds to a set on which GG acts transitively. Transitive GG-spaces all arise from subgroups of GG. Klein geometry studies invariant relations between transitive GG-spaces.

The subject of abstract projective planes touches on the fascinating axiomatic approach to incidence geometries having various linear algebraic groups as their symmetry groups. But instead of marching down that beckoning byway, I’ll point you to a place where you can read more:

I want to head down the main road: Klein’s Erlangen program!

Posted at October 30, 2016 1:25 AM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2916

1 Comment & 0 Trackbacks

Re: Linear Algebraic Groups (Part 4)

Thanks for these notes: all very fascinating!

I’ve found what I believe are some typos, although it’s always possible that I’ve misunderstood things; if so, please forgive me.

Lecture 2, page 1: in the definition of the sphere X, the dot product v.c should read “v.v”

Lecture 2, page 2: in the definition of the set of points P, I believe that instead of reading “P={p : p is a 1-dim subspaces of k3} n X” this should read “{P={p n X : p is a 1-dim subspaces of k3}”. And same for L. (Using “n” for set intersection; also, “subspaces” should be singular.)

Lecture 3, page 1: the definition of “kPn” should instead say kPn-1 (at least, that’s how it was at the end of Lecture 2, which I believe is correct.)

Posted by: Ryan on November 3, 2016 5:45 PM | Permalink | Reply to this

Post a New Comment