English

Artin perverse sheaves

Algebraic Geometry 2023-10-31 v3

Abstract

We show that the perverse t-structure induces a t-structure on the category DA(S,Z)\mathcal{D}^A(S,\mathbb{Z}_\ell) of Artin \ell-adic complexes when SS is an excellent scheme of dimension less than 22 and provide a counter-example in dimension 33. The heart PervA(S,Z)\mathrm{Perv}^A(S,\mathbb{Z}_\ell) of this t-structure can be described explicitly in terms of representations in the case of 11-dimensional schemes. When SS is of finite type over a finite field, we also construct a perverse homotopy t-structure over DA(S,Q)\mathcal{D}^A(S,\mathbb{Q}_\ell) and show that it is the best possible approximation of the perverse t-structure. We describe the simple objects of its heart PervA(S,Q)#\mathrm{Perv}^A(S,\mathbb{Q}_\ell)^\# and show that the weightless truncation functor ω0\omega^0 is t-exact. We also show that the weightless intersection complex ECS=ω0ICSEC_S=\omega^0 IC_S is a simple Artin homotopy perverse sheaf. If SS is a surface, it is also a perverse sheaf but it need not be simple in the category of perverse sheaves.

Keywords

Cite

@article{arxiv.2205.07796,
  title  = {Artin perverse sheaves},
  author = {Raphaël Ruimy},
  journal= {arXiv preprint arXiv:2205.07796},
  year   = {2023}
}

Comments

67 pages, no figures, comments welcome

R2 v1 2026-06-24T11:18:50.046Z