Skip to main content
1 of 2
THC
  • 4.6k
  • 21
  • 33

Combinatorics of projective planes over commutative rings

An axiomatic projective plane is a point-line incidence structure with the following axioms:

  1. any two distinct points are collinear (via a unique line);
  2. any two distinct lines meet in a unique point;
  3. there exists a 4-gon.

Now consider $P = \mathrm{Proj}(k[x,y,z])$, a projective plane over a commutative ring $k[x,y,z]$ with $k$ a field. (This is just an example, I am in fact interested in any algebro-geometric projective plane over a graded commutative ring.)

Can we detect an axiomatic projective plane in $P$ in a natural way ? In other words: does there arise an axiomatic projective plane in some way ?

THC
  • 4.6k
  • 21
  • 33