Benson's generation conjecture for cochains on compact Lie groups

Let GG be a compact Lie group with a normal maximal torus TT, let CGC_*G be the chain DG algebra of GG, and let CBGC^*BG be its cochain algebra. Write Db(CBG)\mathcal{D}^b(C^*BG) for the bounded derived category and D(CBG)\mathcal{D}(C^*BG) for the derived category.

Benson's generation conjecture. The category Db(CBG)\mathcal{D}^b(C^*BG) is generated as a thick subcategory of D(CBG)\mathcal{D}(C^*BG) by the objects HomCG(k,X)\operatorname{Hom}_{C_*G}(k,X) for XX in Db(CG)\mathcal{D}^b(C_*G).

This is one of two generation conjectures transported from finite groups to compact Lie groups. The supplied text does not state whether it has been proved or disproved.

Sources & referencesView supporting material

Primary source

Thomas Peirce, “The Nucleus of a Compact Lie Group, and Support of Singularity Categories”, arXiv:2405.00457 (2024).

Additional references

2 papers in this index state this conjecture (2023–2024). The statement above is taken from the most recent of them; the others are arXiv:2305.08580.

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.