On the Construction of Finite Projective Planes from Homology Semibiplanes

From a projective plane Π with involutory homology τ one constructs an incidence system Π/τ having as points and blocks the (τ) -orbits of length 2 on the points and lines of Π, and with incidence inherited from Π. Such incidence systems satisfy certain properties which, when taken as axioms, define the class of homology semibiplanes. We describe how one determines, in principle, whether a given homology semibiplane Σ is realizable as IΠ/τ for some Π and τ and, moreover, how many non-equivalent pairs (Π, τ) yield Σ. In case Π' is Desarguesian of prime order we show that Π' is characterized by its homology semibiplane; i.e. Π/τ ≃ Π'/σ' implies Π ≃ Π