Cohomology of classifying spaces of loop groups and finite Chevalley groups associated with spin groups (Q897436)

Let \(q\) be a power of an odd prime \(p\) and let \(\mathbb{F}_q\) be the finite field with \(q\) elements. One of the beautiful results of \textit{D. Quillen} [Ann. Math. (2) 96, 552--586 (1972; Zbl 0249.18022)] is the computation of the mod \(l\) cohomology group of the finite general linear group \(GL_n (\mathbb{F}_q )\), where \(l\) is a prime number different from \(p\). Based on the salient results of \textit{E. M. Friedlander} [Etale homotopy of simplicial schemes. Princeton, New Jersey: Princeton University Press and University of Tokyo Press (1982; Zbl 0538.55001)], the author proves that the mod \(2\) cohomology of the finite Chevalley group \(\text{Spin}_n (\mathbb{F}_q)\) is isomorphic to that of the free loop space of the classifying space of the spin group \(\text{Spin}(n)\) for \(n \geq 3\) as graded \(\mathbb{Z}_2\)-modules. The result gives an affirmative answer to a conjecture by \textit{M. Tezuka} [``On the cohomology of finite Chevalley groups and free loop spaces of classifying spaces'', in: \textit{H. Sasaki} (ed.), RIMS Kokyuroku 1057, iv (1998; Zbl 0931.20001)] about a ring isomorphism \(H^* (\mathcal L BG; \mathbb{Z}/l) \cong H^* (BG (\mathbb{F}_q ); \mathbb{Z}/l)\) as a special case for \(l=2\) and \(G = \text{Spin}(n)\), \(n \geq 3\).