# On duality on finite projective planes

Hey Everyone! In nearly all (if not all) projective geometry texts I have bumped into the following theorem:

"Principle of duality: If in a theorem in $\mathfrak{P}$ one switches the word point for the word line and the corresponding incidence relations once again one obtains a theorem of $\mathfrak{P}$."

So far so good. Then I found this awesome list by G. Eric Moorhouse: http://www.uwyo.edu/moorhouse/pub/planes/

I noted the distinction between a Hall Plane and its dual. So looking a bit into the matter I kept running into the claim "Hall Planes are non-Desarguian and non-self-dual" and the modified version of the principle of duality, which claims the dualized theorem is true on the dual plane (this makes much more sense in my mind).

My question is twofold:

1. How does one prove that Hall Planes are not self dual? I haven't managed to find a proof of this fact!
2. What would be the true duality principle? If duality holds in the dual plane it should not hold in Hall Planes (as they're not self dual), yet all texts I've read claim that duality holds in any projective plane.

P.S. Any good references on the concept of duality in projective geometry from a geometrical point of view would be much appreciated!

-

I'd expect that, in the duality principle that you quoted from "most (if not all) projective geometry texts", the symbol $\mathfrak P$ refers to the theory of projective planes, not to an arbitrary particular projective plane. One reason for this expectations is that theories, not planes, are the sort of entity that can "have" theorems (planes can satisfy statements, including theorems). Another reason is the observation you noted in your question; it's possible for a projective plane to satisfy a statement but not the dual statement. A final reason in favor of my expected interpretation of $\mathfrak P$ is that it makes the principle of duality true.

-
You are completely right Andreas, the symbol refers to the theory not the model. I foolishly interpreted duality as "a projective plane is isomorphic to its dual" which is quite naive in retrospect. Thanks for your help! –  Juan OS Feb 11 '13 at 23:19

See here for a survey: http://en.wikipedia.org/wiki/Duality_(projective_geometry)

A true duality principle might be that a theorem for some projective plane induces the dual theorem for its dual. Mostly one is only concerned with projective geometries over fields, which are always self-dual.

One way to see that the Hall planes are not self-dual is that the defining quasifields are not semifields (they do not satisfy both distributivity laws), as being self-dual would imply the quasifield being a semifield.

-
All answers in this thread, and your in particular, are nice and helpful. Right parenthesis ")" is missing in your link above, in its unseen code--while what we do see looks deceptively complete :-) I would add for you the missing character but I don't know how. –  Włodzimierz Holsztyński Feb 12 '13 at 5:42
Thanks! I fixed the link. –  Koen S Feb 12 '13 at 8:45

Your statement of the principle of duality is wrong, as Andreas has noted. What it says is that, if you have a theorem then the dual theorem, which you get by swapping points and lines, is also a theorem. It is very easy to derive incorrect results by applying the duality principle with too much enthusiasm.

The Hall planes are one of many classes of planes that are not isomorphic to their duals. Examples can be constructed as follows. Let $V$ be a vector space of dimension $d$ over $GF(q)$ and let $S$ be a set of $q^d$ matrices chased so the the difference of any two distinct elements of $S$ is invertible. Now construct an incidence structure with the elements of $V\oplus V$ as its points, and with the sets $$L_{A,b} = \{(x,Ax+b): x\in V\}$$ as lines. Here $A\in S$ and $b\in V$. This structure is an affine plane, a so-called translation plane, and there is a very large literature devoted to them.

One example arises by choosing the matrices in $S$ so that they form the extension field of $GF(q)$, with order $q^d$. (In which case we get the classical Desarguesian plane.) But there are many other examples, and in general they are not self dual.

In fact there is a theorem that a translation plane is self dual if and only if it can be constructed from a set $S$ which is a semifield, that is, which satisfies all axioms for a field except associativity. Most translation planes do not come from semifields.

The most accessible treatment of this is still probably the book "Projective Planes" by Hughes and Piper. Note that my semifields are their division rings. Note also that I wrote "most accessible", not "accessible".

-
Thanks Chris! I will look into your reference, hopefully I won't get confused all over again. Regarding my statement of the principle of duality I don't think it's wrong (though, granted, I didn't add the meaning of $\mathfrak{P}$, rather, as Andreas said, I mistook the model for the theory. Thanks for your help! –  Juan OS Feb 11 '13 at 23:22