3be66dce2ea01ba3.tex
1: \begin{abstract} We study motivic t-structures on the stable category $\DM^A_{\et,c}(S,\Z)$ of constructible Artin étale motives over an excellent base scheme $S$. 
2: 
3: When the scheme $S$ is regular, we exhibit a subcategory of smooth Artin motives which can be related to local systems and to representations of the étale fundamental group.
4: 
5: When the scheme $S$ allows resolution of singularities, we construct the ordinary motivic t-structure.
6: 
7: When the scheme $S$ is of dimension $2$ or less we construct the perverse motivic t-structure and prove an analog of the Affine Lefschetz Theorem.
8: We show that the perverse motivic t-structure cannot exist on $\DM^A_{\et,c}(\mb{A}^4_k,\Z)$ with $k$ a field.
9: 
10: We construct the perverse homotopy t-structure on $\DM^A_{\et,c}(S,\Q)$ which is the best possible approximation of the perverse motivic t-structure.
11: When $S$ is of finite type over $\mb{F}_p$, the $\ell$-adic realization functor is t-exact when we restrict its target to the category of Artin $\ell$-adic sheaves endowed with its perverse homotopy t-structure.
12: 
13: When $S$ is $1$-dimensional, we describe the category of perverse Artin étale motives $\mathrm{M}^A_{\mathrm{perv}}(S,\Z)$ in terms of representations of étale fundamental groups of regular locally closed subschemes of $S$. We also describe the $\ell$-adic realization in this case.
14: 
15: Finally, the category $\mathrm{M}^A_{\mathrm{perv}}(S,\Q)$ is similar to the category of perverse sheaves: its objects are of finite length and we can describe its simple objects. For instance, the motivic weightless intersection complex $\mb{E}_S$ of Ayoub and Zucker is a simple Artin perverse sheaf.
16: \end{abstract}
17: