I have heard and read unclear mentions of links between projective planes and finite fields.
Is it possible to construct a projective plane (or a Steiner system) starting out with a field? Could you, for example, construct the Fano plane with help of a finite field?
There is a difference between the projective plane as an object of algebraic geometry and as a combinatorial construction (=Steiner system) that has not been adequately explained. The former makes sense over any field - the latter only over a finite field (together with the speculations that no field may be necessary for the required construction to exist).
Given any field $F$ we can construct the set $\mathbb{P}^2(F)$ in the usual way: it is the set of equivalence classes $S/\sim$ of $F^3\setminus\{(0,0,0)\}$, where two non-zero vectors $x=(x_1,x_2,x_3)$ and $y=(y_1,y_2,y_3)$ of $F^3$ are called equivalent, denoted $x\sim y$, if there is a scalar $\lambda\in F^*$ such that $y_i=\lambda x_i$ for all $i=1,2,3.$
The "points" of $\mathbb{P}^2(F)$ are equivalence classes, but to identify them we need to use coordinates. To that end we need a set of representatives - one from each equivalence class. A popular way of achieving that is to select $\lambda$ in such a way that the last non-zero coordinate is equal to $1$. After all, if $x_3\neq0$, we have (with $\lambda=1/x_3$) $$ (x_1,x_2,x_3)\sim (\frac{x_1}{x_3},\frac{x_2}{x_3},1). $$ We can equally well choose to scale the first non-zero coordinate to be equal to one, if so desired.
If $F$ is finite, say $|F|=q$, this means that there are $q^2+q+1$ elements in $\mathbb{P}^2(F)$:
So in a way $\mathbb{P}^2(F)$ is the union of a "usual" (affine) plane, a line and a point. If $F=\{0,1,2\}=\mathbb{Z}/3\mathbb{Z}$, then the $9+3+1=13$ elements are (the classes of) $P_1=(0,0,1)$, $P_2=(0,1,1)$, $P_3=(0,2,1)$, $P_4=(1,0,1)$, $P_5=(1,1,1)$, $P_6=(1,2,1)$, $P_7=(2,0,1)$, $P_8=(2,1,1)$, $P_9=(2,2,1)$, $P_{10}=(0,1,0)$, $P_{11}=(1,1,0)$ $P_{12}=(2,1,0)$ and $P_{13}=(1,0,0)$. The equivalence relation means that we equate, for example, the point $(2,1,2)$ with $2(2,1,2)=(1,2,1)=P_6$ and the point $(1,2,0)$ with the poin $2(1,2,0)=(2,1,0)=P_{12}$. In the field of $q$ elements there are $q-1$ non-zero constants, so in general $q-1$ points of $F^3$ form a single equivalence class. These are the non-zero points of a 1-dimensional subspace of $F^3$, and a useful point of view is to think of points of $\mathbb{P}^2(F)$ as lines through the origin in $F^3$.
To get the combinatorial design called the projective plane we need to also specify certain subsets of $\mathbb{P}^2(F)$, called "lines". These are constructed with the following recipe. Let $U\subset F^3$ be any 2-dimensional subspace. Then the line $L_U$ consists of the equivalence classes of the non-zero points of $U$. As $U$ is a subspace, it is closed under scalar multiplication. Therefore $U$ is a union of equivalence classes. If $|F|=q$, there are $q^2-1$ non-zero vectors in $U$, and these are divided into $(q^2-1)/(q-1)=q+1$ equivalence classes. Thus the line $L_U$ will have $q+1$ "points".
Continuing the example with $F=\mathbb{Z}/3\mathbb{Z}$ we see that, if $U$ is the span of the two (linearly independent) vectors $x=(1,2,1)$ and $y=(0,1,2)$ then the non-zero points in $U$ are $x,2x=(2,1,2)$ (both in $P_6$), $y,2y=(0,2,1)$ (both in $P_3$), $x+y=(1,0,0)$, $2x+2y=(2,0,0)$ (in $P_{13}$), $x+2y=(1,1,2)$ and $2x+y=(2,2,1)$ (in $P_9$). As promised, these fell into four equivalence classes, and thus $$ L_U=\{P_6,P_3,P_{13},P_9\}.$$
You can do the same construction for all the $13$ 2-dimensional subspaces of $F^3$, and end up with $13$ lines, four points on each. Work out a few of those by hand to gain some fluidity.
The characteristic combinatorial properties of this construction are: 1) any pair of lines intersects at exactly one point, 2) given any two points there is a unique line containing them. These then follow from results of linear algebra: 1) any two 2-dimensional subspaces of $F^3$ intersect in a 1-dimensional subspace, 2) any two 1-dimensional subspaces of $F^3$ span a unique 2-dimensional subspace.
Hopefully this clears up some of the fog.
The following link http://kahrstrom.com/mathematics/documents/OnProjectivePlanes.pdf
gives strong evidence that no projective plane of order 10 exists.
I am concerned with this because I have a constructed a method of associating projective Steiner triple systems with suitable block colorings to certain fields, and I'm searching for one that isn't associated to a field.
– Chickenmancer Apr 22 '17 at 19:13Does this help?
Let F be a field. We consider the three dimensional vector space over F. Let subspaces of dimension 1 be points. Let subspaces of dimension 2 be lines. The incidence relation is subset inclusion (i.e. if a point is a subset of a line, then you say the point is on the line.)
These definitions satisfy the axioms of a projective plane. You should be able to recover the Fano plane by applying this procedure with the field with two elements.
The Fano plane with 7 points is constructed starting with the field consisting of 2 elements. See Fano plane.
What you seem to be asking for is an *explanation" of the intuition behind the construction of the projective plane. Here it would be helpful to start with a different construction using "points at infinity". This was in fact historically the first construction of the projective plane (the construction using homogeneous coordinates in $\mathbb{R}^3$ came later).
Briefly, what you want to do is start with the usual plane, and add "points at infinity" to it. There is going to be a separate point at infinity for each "direction" in the plane. To define the notion of "direction" rigorously, the usual approach is to take a pencil (i.e., a set) of parallel lines. Each such pencil defines a "direction". The part about "adding" points at infinity means that there is going to be an extra point on each line (namely, the one corresponding to the "direction" of that line). The details can be found for example in the book on projective geometry by Hartshorne.
