Integral motivic sheaves and geometric representation theory (Q2111222)

Sheaves on manifolds are ubiquitous in geometric representation theory, i.e., highest weight representations of a complex reductive Lie algebra can be realized in terms of perverse sheaves on a flag manifold and representations of a reductive algebraic group correspond to equivariant perverse sheaves on an affine Grassmannian. More refined formalisms of sheaves carry an additional notion of weights and a Tate twist functor that provide an additional grading on the category, e.g., mixed Hodge modules have a notion of weights through Hodge structures and mixed \(\ell\)-adic sheaves have a notion of eigenvalues of the Frobenius. But some drawbacks include characteristic zero coefficients and are hence not applicable in modular representation theory. Secondly, there are unwanted extensions between Tate objects which bear no representation-theoretic significance and thus yield technical problems. Third, the choice of a fixed cohomology theory leaves open the question to which extent the resulting categories are independent of the coefficients or base field. The goal of the authors is to introduce a formalism of mixed sheaves that overcomes these problems. That is, their formalism works with (almost) arbitrary coefficients, carries a six functor formalism and has no extension of Tate objects. Moreover, under appropriate assumptions, it is independent of the base and specializes to the existing approaches to categories of mixed sheaves in the literature. In summary, the authors construct a formalism of reduced motives with integral coefficients. These are motivic sheaves from which the higher motivic cohomology of the base scheme has been removed. They show that reduced stratified Tate motives satisfy favorable properties including weight and \(t\)-structures. The authos also prove that reduced motives on cellular (ind-)schemes unify various approaches to mixed sheaves in representation theory.