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

About 12 years old · traced to

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 q−1q-1, or if ℓ=2\ell=2 and 44 divides q−1q-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.

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.