1: \begin{abstract}

2: We provide a uniform construction of ``mixed versions'' or ``graded lifts'' in the sense of Beilinson--Ginzburg--Soergel which works for arbitrary Artin stacks. In particular, we obtain a general construction of graded lifts of many categories arising in geometric representation theory and categorified knot invariants. Our new theory associates to each Artin stack of finite type $\mathcal{Y}$ over $\Fqbar$ a symmetric monoidal $\DG$-category $\Shv_{\gr, c}(\mathcal{Y})$ of constructible graded sheaves on $\mathcal{Y}$ along with the six-functor formalism, a perverse $t$-structure, and a weight (or co-$t$-)structure in the sense of Bondarko and Pauksztello, compatible with the six-functor formalism, perverse $t$-structures, and Frobenius weights on the category of (mixed) $\ell$-adic sheaves.

3: 

4: Classically, mixed versions were only constructed in very special cases due to the non-semisimplicity of Frobenius. Our construction sidesteps this issue by semi-simplifying the Frobenius action itself. However, the category $\Shv_{\gr, c}(\mathcal{Y})$ agrees with those previously constructed when they are available. For example, for any reductive group $G$ with a fixed pair $T\subset B$ of a maximal torus and a Borel subgroup, we have an equivalence of monoidal $\DG$ weight categories $\Shv_{\gr, c}(B\backslash G/B) \simeq \Ch^b(\SBim_W)$, where $\Ch^b(\SBim_W)$ is the monoidal $\DG$-category of bounded chain complexes of Soergel bimodules and $W$ is the Weyl group of $G$.

5: \end{abstract}

6: