13
$\begingroup$

I've got ten (projective) planes in projective 3-space:

\begin{align} &x=0\\ &z=0\\ &t=0\\ &x+y=0\\ &x-y=0\\ &z+t=0\\ &x-y-z=0\\ &x+y+z=0\\ &x-y+t=0\\ &x+y-t=0 \end{align} If I did not make a mistake somewhere, their intersections produce $25$ lines and $15$ points, each line containing $3$ points, each plane containing $6$ lines and $7$ points. Ten of the points belong to $4$ lines and $4$ planes each and five of them belong to $7$ lines and $6$ planes each. $15$ lines belong to $2$ of the planes and $10$ of them belong to $3$ of the planes.

The above indicates that this configuration is highly symmetric, is it known? How to compute its automorphism group? Where to look? My goal is to find another more symmetric realization.

$\endgroup$
16
$\begingroup$

This configuration has automorphisms by the symmetric group $S_5$, and can be identified with the planes $a_i = a_j$ ($0 \leq i < j \leq 4$) in the projective 3-space $a_0+a_1+a_2+a_3+a_4 = 0$, by setting $$ (x,z,t,y) = (a_0 - a_1, 2(a_2 - a_3), 2(a_4 - a_2), a_0 + a_1 - 2a_2). $$ the ten planes then have $(i,j)$ in the order $$ (0,1),\,(2,3),\,(2,4),\,(0,2),\,(1,2),\,(3,4),\,(1,3),\,(0,3),\,(1,4),\,(0,4). $$ The 25 lines include the ten lines $a_i=a_j=a_k$ where three of the planes $a_i=a_j$ meet; these ten lines together with the ten planes $a_i = a_j$ encode Desargues configurations: intersecting with a generic plane $\Pi$ in the 3-space yields the ten points and ten lines of a Desargues configuration, and any Desargues configuration can be obtained this way for some choice of $\Pi$.

$\endgroup$
10
$\begingroup$

With the aid of the answer I now managed to find a better realization. At the expense of some of the symmetries it can be nicely drawn in 3d space - it is just the barycentric subdivision of a tetrahedron:

enter image description here

The planes are faces (4 of them) and the planes through an edge and the midpoint of its opposite edge (+6); the lines are edges (6), the lines joining a vertex with the barycenter of its opposite face (+4) or with the midpoint of one of its non-incident edges (+12), as well as lines through midpoints of opposite edges (+3); and the points are vertices, edge midpoints, face barycenters, and the barycenter of the tetrahedron (4+6+4+1).

$\endgroup$

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.