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 Y over F_q a symmetric monoidal DG-category Shv_{gr,c}(Y) of constructible graded sheaves on 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. This category sits in between the category Shv_{m,c}(Y_n) of constructible mixed ℓ-adic sheaves in the sense of Beilinson–Bernstein–Deligne--Gabber for any F_{q^n} -form Y_n of Y and the category Shv_c(Y) of constructible ℓ-adic sheaves on Y, compatible with the six-functor formalism, perverse t-structures, and Frobenius weights. Classically, mixed versions were only constructed in very special cases. However, the category Shv_{gr,c}(Y) agrees with those previously constructed when they are available. For example, for any reductive group G with a fixed pair T ⊂ B of a maximal torus and a Borel subgroup, we have an equivalence of monoidal DG weight categories Shv_{gr,c}(B\G/B) ≃ 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.

We construct the Frobenius structure on a rigid connection Be_{\hat G} on G_m for a split reductive group \hat G introduced by Frenkel-Gross. These data form a \hat G-valued overconvergent F-isocrystal Be^†_{\hat G} on G_{m,F_p}, which is the p-adic companion of the Kloosterman \hat G-local system Kl_{\hat G} constructed by Heinloth-Ngô-Yun. By studying the structure of the underlying differential equation, we calculate the monodromy group of Be^†_{\hat G} when \hat G is almost simple (which recovers the calculation of monodromy group of Kl_{\hat G} due to Katz and Heinloth–Ngô–Yun), and prove a conjecture of Heinloth-Ngô-Yun on the functoriality between different Kloosterman \hat G-local systems. We show that the Frobenius Newton polygons of Kl_{\hat G} are generically ordinary for every \hat G and are everywhere ordinary on |G_{m,F_p}| when \hat G is classical or G_2.

We study a partially linearized version of the relative trace formula for the arithmetic Gan--Gross--Prasad conjecture for the unitary group U(V). The linear factor in this relative trace formula provides an SL_2-symmetry which allows us to prove by induction the arithmetic fundamental lemma over Q_p when p is odd and p ≥ dim V.

For each integer we describe the space of stability conditions on the derived category of the n-dimensional Ginzburg algebra associated to the A2 quiver. The form of our results points to a close relationship between these spaces and the Frobenius-Saito structure on the unfolding space of the A2 singularity.

In this paper, we prove that if a compact Kähler manifold X has a smooth Hermitian metric ω such that (T_X,ω) is uniformly RC-positive, then X is projective and rationally connected. Conversely, we show that, if a projective manifold X is rationally connected, then there exists a uniformly RC-positive complex Finsler metric on T_X .