The universal embedding for the \(U_ 4(3)\) involution geometry (Q2365294)

The article contains the proof that the universal embedding of the \(U_4 (3) \) involution geometry is a known 70-dimensional module. By embedding the author simply means an incidence preserving mapping of an abstract geometry into the projective space of some vector space so that the ``points'' and ``lines'' of the geometry are mapped injectively to 1-space and 2-space. In context of this paper, where all geometries have three points per line, it is possible to define the universal embedding as the embedding which can be mapped surjectively onto every other embedding for that geometry. Let \(\Gamma\) be the involution geometry for \(U_4(3)\) and \(V_\Gamma\) its universal embedding. Let us give the basic outline of the proof. First, a modul \(U_4(3)\) is exhibited and devoted as \(V_{70}\). It is proved that the embedding \(V_{70}\) must be a quotient of the universal embedding \(V_\Gamma\), which implies that the dimension of the universal embedding is at least 70. Next, through a series of geometrical consideration is shown that the dimension of \(V_\Gamma\) is less than 88. Since the nontrivial minimal \(\mathbb{F}_2\) a module for \(U_4(3)\) is known to be 20-dimensional, \(\dim V_\Gamma\leq 88\) implies that the universal embedding must be an extension of \(V_{70}\) over trivial submodules. The rest of the paper is devoted to showing that no such trivial submodules actually arise.