As far as I understand, the category of pure polarizable Hodge modules is semi-simple, whereas the cohomology of the corresponding schemes is graded polarizable. Is it true that one doesn't have any similar results for etale cohomology since it is not known whether the corresponding bilinear forms are positive definite? Or maybe for varieties in characteristic 0 one still can prove that these form are always positive definite using the comparison of etale cohomology with singular one?
Is anything known here in the case of 'mixed' realizations (as defined by Jannsen and Huber)?