1: \begin{definition}

2: As in Theorem \ref{mixed}, $\bO(\w\redpia)$ is the sheaf of algebras on $X$ corresponding to the vector space $O(\w\redpia)$ equipped with its left $\redpia$-action. From now on, we will simply denote this sheaf by $\bO$. This is a pure Weil sheaf of weight $0$. The Frobenius actions on the  cohomology groups $\H^i(X,\bO)$ combine with the right $\redpia$-actions to make  them mixed Weil representations.

3: \end{definition}

4: