The Class of Non-Desarguesian Projective Planes is Borel Complete

Abstract

For every infinite graph $Γ$ we construct a non-Desarguesian projective plane $P^*_Γ$ of the same size as $Γ$ such that $Aut(Γ) \cong Aut(P^*_Γ)$ and $Γ_1 \cong Γ_2$ iff $P^*_{Γ_1} \cong P^*_{Γ_2}$. Furthermore, restricted to structures with domain $ω$, the map $Γ\mapsto P^*_Γ$ is Borel. On one side, this shows that the class of countable non-Desarguesian projective planes is Borel complete, and thus not admitting a Ulm type system of invariants. On the other side, we rediscover the main result of [15] on the realizability of every group as the group of collineations of some projective plane. Finally, we use classical results of projective geometry to prove that the class of countable Pappian projective planes is Borel complete.