Cohomological comparison conjecture for loop spaces of spin groups

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 n3n\geq 3, let Spin(n)\mathrm{Spin}(n) be the spin group, let Aˉn1=pn1(An1)\bar{A}_{n-1}=p_n^{-1}(A_{n-1}) be the specified subgroup of Spin(n)\mathrm{Spin}(n), and let B~Aˉn1\tilde{B}\bar{A}_{n-1} and the maps

α~n:B~Aˉn1LBSpinn,α~n,q:B~Aˉn1Lϕ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)α~nH(B~Aˉn1)α~n,qH(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 An1A_{n-1}; the supplied source gives no resolution of the conjecture.

Sources & referencesView supporting material

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.