Locally Paley graphs (Q5926312)

Let \(q=p^e=4t+1\) be a prime power. Let \(\Pi=\Pi^{(q)}\) be the Paley graph of order \(q\). For \(q=5\) the Paley graph is the pentagon, and the unique locally pentagon graph is the icosahedron. For \(q=9\) the Paley graph is the \(3\times 3\) grid, and there are precisely two locally \(3\times 3\) grid graphs, namely the Johnson graph \(J(6,3)\) and the complement of the \(4\times 4\) grid. There is always at least one locally \(\Pi^{(q)}\) graph, namely the Taylor graph \(\Gamma(q)\) with the vertex set \(\{\infty^+\}\cup F^+\cup F^-\cup \{\infty^-\}\), where \(F^+\) and \(F^-\) are two copies of \(\Pi^{(q)}\), \(F^\delta=\Gamma(\infty^\delta)\) and \(x^+\sim y^-\) iff \(x\not\sim y\). Let \(Q=\Pi^{(q)}(0)\). Then Aut(\(Q\)) contains the subgroup \(G\), generated by automorphisms \(x\mapsto ax^\sigma\) (from Aut(\(\Pi\))) and \(x\mapsto x^{-1}\), of order \(e(q-1)\). The group Aut(\(Q\)) is called expected, if Aut(\(Q)=G\). Let \(q=4t+1\) be a prime power with \(q>9\). If the automorphism group of the first subconstituent of \(\Pi^{(q)}\) is expected, then there is a unique locally \(\Pi^{(q)}\) graph (Theorem 5.1 and the next item for \(q>41\), Dominique Buset for \(q\leq 41\)).