UC Berkeley

We develop the notion of stratifiability in the context of derived categories and the six operations for stacks in the work of Laszlo and Olsson. Then we reprove Behrend's Lefschetz trace formula for stacks, and give the meromorphic continuation of the L-series of stacks defined over a finite field. We give an upper bound for the weights of the cohomology groups of stacks, and as an application, prove the decomposition theorem for perverse sheaves on stacks with affine diagonal, both over finite fields and over the complex numbers. Along the way, we generalize the structure theorem of mixed sheaves and the generic base change theorem for stacks. We also give a short exposition on the lisse-analytic topoi of complex analytic stacks, and give a comparison between the lisse-etale topos of a complex algebraic stack and the lisse-analytic topos of its analytification.