A geometric presentation of the 26-dimensional module for \(F_ 4(q)\) (Q750621): Difference between revisions

\textit{M. Ronan} and \textit{S. Smith} [J. Algebra 96, 319-346 (1985; Zbl 0604.20043)] developed the homology methods for the study of modular representations of finite Chevalley groups. In the present paper the authors consider the group \(G=F_ 4(q)\) and its 26 dimensional module V which corresponds to the highest short root. Let \(\Delta\) be the building of G; the simplicial complex whose simplices are the proper parabolic subgroups and its ordering is given by the reverse of set-theoretical inclusion. The term \({\mathcal F}_{\sigma}\) of the fixed-point sheaf \({\mathcal F}_ V\) at a simplex \(\sigma\) in \(\Delta\) is defined to be the subspace of V fixed by the unipotent radical of the parabolic subgroup corresponding to \(\sigma\). The connecting homomorphisms are the inclusion maps. The sheaf \({\mathcal F}_ V\) is endowed with a G-action reflecting the action of G on \(\Delta\). The authors determine a generating set for the 0-homology \(H_ 0(\Delta,{\mathcal F}_ V)\) and show that \(H_ 0(\Delta,{\mathcal F}_ V)\) is isomorphic to the module V. This result gives a geometric presentation of V. As a corollary, an independent calculation of the 1-homology of G acting on V is obtained, which was first done by \textit{E. Cline}, \textit{B. Parshall}, and \textit{L. Scott} [Publ. Math., Inst. Hautes Etud. Sci. 45, 169-191 (1975; Zbl 0412.20044)].