Tezuka's cohomology conjecture for loop groups and finite Chevalley groups

Let GG be the group considered in the paper, let BGBG be its classifying space, and let LBG\mathcal{L}BG denote its free loop space. Write G(Fq)G(\mathbb{F}_q) for the corresponding finite Chevalley group over the finite field with qq elements. If \ell is an odd prime dividing q1q-1, or if =2\ell=2 and 44 divides q1q-1, then Tezuka's conjecture. There is a ring isomorphism

H(LBG;Z/)H(BG(Fq);Z/).H^{*}(\mathcal{L}BG;\mathbb{Z}/\ell)\cong H^{*}(BG(\mathbb{F}_q);\mathbb{Z}/\ell).

The conjecture compares the mod-\ell cohomology of the loop-group classifying space with that of the associated finite Chevalley group, despite the two objects being different both as topological spaces and as groups. Its status is not resolved in the supplied source.

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.