The category of factorization modules over the semi-infinite IC sheaf has been proposed by Gaitsgory as a local model for sheaves on the semi-infinite flag space, and in particular is supposed to receive a localization functor from Kac-Moody representations at critical level. I will explain a spectral decomposition for the spherical part of this category.