Let $k$ be a finite field, $\ell \neq \mathrm{char} k$ be prime, $X/k$ be a smooth projective geometrically integral variety of dimension $d$, and $\mathcal{A}/X$ be an Abelian scheme. Let $\eta \in H^2(X,\mathbf{Q}_\ell(1))$ be the first Chern class of $\mathcal{O}_X(1)$.

I want to prove that the hard Lefschetz morphism $\eta^{d-1}: H^1(X,V_\ell\mathcal{A}) \to H^{2d-1}(X,V_\ell\mathcal{A}(d-1))$ is an isomorphism, $V_\ell\mathcal{A}$ the rationalised Tate module of $\mathcal{A}/X$. Using the Hochschild-Serre spectral sequence $H^p(G_k,H^q(\bar{X},V_\ell\mathcal{A})) \Rightarrow H^{p+q}(X,V_\ell\mathcal{A})$, I have reduced this to $k$ the algebraic closure of a finite field.

I want to apply [Deligne, Weil II], p. 250, Théorème (6.2.13) http://www.math.harvard.edu/~gaitsgde/grad_2009/Weil-II.pdf. For this I have to check:

- $V_\ell\mathcal{A}$ is potentially pure (see [Deligne, Weil II], p. 248, (6.2.8): This means for $(X/S,V_\ell\mathcal{A}), f: X \to S$, $S$ the spectrum of the Henselisation of $k[T]$ in $(T)$:

a) $\mathrm{Spec} k$ is a geometric generic point of an integral scheme $A_0$ of finite type over $\mathbf{Z}[1/\ell]$. [I think we can take $A_0 = \mathrm{Spec}\mathbf{F}_p$ for $p = \mathrm{char} k$.]

b) $S$ comes from scalar extension of $k$, and Henselisation, from a smooth curve $S_0$ over $A_0$ equipped with a section.

c) $f$ comes from a proper morphism $f_0: X_0 \to S_0$. [This should follow from $X/k$ being projective.]

d) $V_\ell\mathcal{A}$ comes from a pure complex $K_0 \in D^b_c(X_0)$. [This should follow since $V_\ell\mathcal{A} = R^1\pi_*\mathbf{Q}_\ell(1)$ for $\pi: \mathcal{A}^t \to X$ the dual Abelian scheme is pure of weight $-1$ by Weil II.]

- $V_\ell\mathcal{A}$ and $DV_\ell\mathcal{A}[-2d]$ verify the following condition: For every $i$, the dimension of the support of the sheaf $\mathcal{H}^i$ is $\leq d-i$ (set $\mathrm{dim} \emptyset = -\infty$).

Can someone please help me proving these conditions?