Generalized quadrangles weakly embedded in finite projective space (Q1299096)

A weak embedding of a point-line geometry \({\mathcal S}\) with point set \(P\) in a projective space \(\text{PG}(d,K)\) is a monomorphism \(\theta\) of \(\mathcal S\) into the geometry of points and lines of \(\text{PG}(d,K)\) such that (WE1) the set \(P^\theta\) generates \(\text{PG}(d,K)\), (WE2) for any \(x\in P\), the subspace generated by the set \(X=\{y^\theta\;|\;y\in P\) is collinear with \(x\}\) meets \(P^\theta\) precisely in \(X\). A full embedding in \(\text{PG}(d,K)\) is a weak embedding with the additional property that for every line \(L\), all points of \(\text{PG}(d,K)\) on the line \(L^\theta\) have an inverse image under \(\theta\). Let \(x_1x_2\dots x_5\) be a circle in \(W(2)\), \(K\) be any field and identify \(x_i\) with the point \((\dots,0,1,0,\dots)\) of \(\text{PG}(4,K)\), where 1 is in the \(i\)th position. Identify the unique point \(y_{i+3}\) of \(W(2)\) on the line \(x_ix_{i+1}\) different from both \(x_i\) and \(x_{i+1}\) with the point \((\dots,0,1,1,0,\dots)\) of \(\text{PG}(4,K)\), where 1's are in the \(i\)th and \((i+1)\)th positions. Finally identify the unique point \(z_i\) on the line \(x_iy_i\) different from both \(x_i\) and \(y_i\) with the point whose coordinates are all 0 except in the \(i\)th position, where the coordinate is \(-1\), and in the positions \(i-2\) and \(i+2\), where it takes the value 1 (all subscripts are taken modulo 5). We call this the universal weak embedding of \(W(2)\) in \(\text{PG}(4,K)\). Theorem 1. Let \(\mathcal S\) be a finite thick generalized quadrangle of order \((s,t)\) weakly embedded in the projective space \(\text{PG}(d,q)\). Then either \(s\) is a prime power, \(\text{GF}(s)\) is a subfield of \(\text{GF}(q)\) and \(\mathcal S\) is fully embedded in some subspace \(\text{PG}(d,s)\) of \(\text{PG}(d,q)\), or \(\mathcal S\) is isomorphic to \(W(2)\) and the weak embedding is the universal one in a projective 4-space \(\text{PG}(d,K)\) over an odd characteristic finite field.