Isomorphisms of groups related to flocks (Q438744)

Payne constructed from the Ganley flock quadrangles the new Roman quadrangles, which appeared not to arise from flocks, but still via a Kantor family construction (in some group \(\mathcal G\) of the same order as the general 5-dimensional Heisenberg group \({\mathcal H}_2(q)\)). The fundamental question (first asked by Payne) arose as to whether \(\mathcal H_2(a) \cong G\). The author shows: Theorem 1.1. Let \(\mathcal S\) be an EGQ of order \((q^2,q)\), \(q\) any prime power, with elation group \({\mathcal H}_2(q)\). Then \(\mathcal S\) is flock quadrangle. Theorem 1.3. Let \({\mathcal S}={\mathcal S}({\mathcal F})\) be a flock GQ of order \((q^2,q)\) for which the dual \({\mathcal S}^D\) is a TGQ, \(q\) odd. Let \(\mathcal G\) be a group as in the diagram above. Then \(G\cong {\mathcal H}_2(q)\) if and only if \({\mathcal F}\) is a Kantor-Knuth flock if and only if \({\mathcal S}\cong (({\mathcal S}^D)^*)^D\).