1: \begin{abstract}

2: Let $X/\mathbb{F}_{q}$ be a smooth geometrically connected variety.

3: Inspired by work of Corlette-Simpson over $\mathbb{C}$, we formulate

4: a conjecture that absolutely irreducible rank 2 local systems with

5: infinite monodromy on $X$ ``come from families of abelian varieties''.

6: When $X$ is a projective variety, we prove that a $p$-adic variant

7: of this conjecture reduces to the case of projective curves. If one

8: assumes a strong form of Deligne's ($p$-adic) \emph{companions conjecture

9: }from Weil II, this implies that the $l$-adic version of our conjecture

10: for projective varieties also reduces to the case of projective curves.

11: Along the way we prove Lefschetz theorems for homomorphisms of abelian

12: schemes and Barsotti-Tate groups. We also answer affirmitavely a question

13: of Grothendieck on extending abelian schemes via their $p$-divisible

14: groups.

15: \end{abstract}

16: