Cohomological comparison conjecture for loop spaces of spin groups

About 12 years old · traced to

Let pp be an odd prime, let qq be a power of pp, and let Fq\mathbb{F}_q be the finite field with qq elements. For n≥3n\geq 3, let Spin(n)\mathrm{Spin}(n) be the spin group, let Aˉn−1=pn−1(An−1)\bar{A}_{n-1}=p_n^{-1}(A_{n-1}) be the specified subgroup of Spin(n)\mathrm{Spin}(n), and let B~Aˉn−1\tilde{B}\bar{A}_{n-1} and the maps

α~n:B~Aˉn−1→LBSpinn,α~n,q:B~Aˉn−1→LϕqBSpinn\tilde{\alpha}_n:\tilde{B}\bar{A}_{n-1}\to\mathcal{L}B\mathrm{Spin}_n, \qquad \tilde{\alpha}_{n,q}:\tilde{B}\bar{A}_{n-1}\to\mathcal{L}_{\phi^q}B\mathrm{Spin}_n

be as defined in the source. The spin-group comparison conjecture. The induced homomorphisms

H∗(LBSpinn)⟶α~n∗H∗(B~Aˉn−1)⟵α~n,q∗H∗(LϕqBSpinn)H^{*}(\mathcal{L}B\mathrm{Spin}_n)\stackrel{\tilde{\alpha}_n^*}{\longrightarrow}H^{*}(\tilde{B}\bar{A}_{n-1})\stackrel{\tilde{\alpha}_{n,q}^*}{\longleftarrow}H^{*}(\mathcal{L}_{\phi^q}B\mathrm{Spin}_n)

are monomorphisms, and the image of α~n,q∗\tilde{\alpha}_{n,q}^* is the same as the image of α~n∗\tilde{\alpha}_n^*. This would give a common cohomological description of the ordinary and Frobenius-twisted loop spaces through the subgroup associated with An−1A_{n-1}; the supplied source gives no resolution of the conjecture.

References

Primary source

Masaki Kameko, “Cohomology of classifying spaces of loop groups and finite Chevalley groups associated with spin groups”, arXiv:1402.4594 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.