Four vertex stabilizer amalgams for locally \(s\)-arc transitive graphs of pushing up type (Q6170747)

Let \(\Delta\) be a graph together with a subgroup \(G\leq\Aut(\Delta)\) (so \(\Delta\) is a \(G\)-\textit{graph}). Here, \(\Delta\) is assumed to be connected, undirected and without loops or multiple edges. For a vertex \(z\) of \(\Delta\), the kernel of action of \(G_{z}\) on the set of neighbors \(\Delta(z)\) is denoted by \(G_{z}^{[1]}\). Let \(\mathrm{ASL}_{2}(3)\) denote the semi-direct product of \(\mathrm{SL}_{2}(3)\) with its natural \(2\)-dimensional module. Further, assume that the valency at each vertex of \(\Delta\) is at least \(3\) (so \(\Delta\) is \textit{thick}) and the stabilizer \(G_{z}\) of every vertex \(z\) is a finite group (so \(\Delta\) is \textit{locally finite}) and \(G_{z}\) acts transitively on the set of \(s\)-arcs originating at \(z\) (so \(\Delta\) is \textit{locally \(s\)-arc transitive}). The main result shows that if \begin{itemize} \item[1.] \(s\geq4\), \item[2.] there exists a prime \(p\) such that \(C_{G_{z}}(O_{p}(G_{z}^{[1]}))\leq O_{p}(G_{z}^{[1]})\) for all vertex \(z\) of \(\Delta\), and \(O_{p}(G_{x}^{[1]})\leq O_{p}(G_{y}^{[1]})\) (so \(\Delta\) is of pushing up type with respect to the \(1\)-arc \((x,y)\) and the prime \(p\)), \item[3.] \(O^{3}(L_{x})\cong\mathrm{ASL}_{2}(3)'\) and \item[4.] \(Q_{x}\) is a non-trivial elementary abelian \(3\)-group, \end{itemize} then the vertex stabilizer amalgam \((G_{x},G_{y};G_{x,y})\) has to be one of the four shapes \(\mathcal{D}_{1}\), \(\mathcal{D}_{2}\), \(\mathcal{E}_{1}\), \(\mathcal{E}_{2}\), and is uniquely determined, up to isomorphism, by the \(1\)-arc \((x,y)\) and \(G_{x}\) and \(G_{y}\). They all have \(s=5\). The four vertex stabilizer amalgams are explicitly described in the article.