The Class of Non-Desarguesian Projective Planes is Borel Complete

DOI10.1090/PROC/14137arXiv1707.00294WikidataQ130146234 ScholiaQ130146234MaRDI QIDQ6288549FDOQ6288549

Authors: Gianluca Paolini 

Publication date: 2 July 2017

Abstract: For every infinite graph $Gamma$ we construct a non-Desarguesian projective plane $P_{Gamma}^{\ast }$ of the same size as $Gamma$ such that $Aut(Gamma)congAut(P_{Gamma}^{\ast })$ and $Gamm{a}_{1}congGamm{a}_2$ iff $P_{Gamm{a}_1}^{\ast }cong{P}_{Gamm{a}_2}^{\ast }$. Furthermore, restricted to structures with domain $omega$, the map $Gammamapsto{P}_{Gamma}^{\ast }$ 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.

Mathematics Subject Classification ID

Combinatorial aspects of matroids and geometric lattices (05B35) Groups as automorphisms of other structures (22F50) Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

This page was built for publication: The Class of Non-Desarguesian Projective Planes is Borel Complete

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6288549)