Generation of D^b(C^*(BG)) by C^*(BT)

Establish that the bounded derived category D^b(C^*(BG)) is generated by the cochains module C^*(BT), where T is a maximal torus subgroup of the compact Lie group G.

Background

This conjecture (adapted from Benson and Greenlees’ Conjecture 1.7 for finite groups) proposes that the bounded derived category of cochains on BG is generated by the cochains on a maximal torus BT.

The paper proves that this conjecture is equivalent to the conjecture about generation by objects of the form Hom_{C_G}(k, X). It also shows the conjecture holds under the hypothesis that D^b(C^(BG)) is generated by formal modules.