1: \begin{abstract}

2:     Given a principally polarized abelian variety $A$ of dimension $g$ over an

3:     algebraically closed field $k$ of characteristic $p$, the $p$ torsion

4:     $A[p]$ is a finite flat $p$-torsion group scheme of rank $p^{2g}$. There

5:     are exactly $2^g$ possible group schemes that can occur as some such

6:     $A[p]$. In this paper, we study which group schemes can occur as $J[p]$,

7:     where $J$ is the Jacobian of a hyperelliptic curve defined over

8:     $\mathbb{F}_p$. We do this by computing explicit formulae for the action of

9:     Frobenius and its dual on the de Rham cohomology of a hyperelliptic curve

10:     with respect to a given basis. A theorem of Oda's in \cite{oda} allows us

11:     to relate these actions to the $p$-torsion structure of the Jacobian. Using

12:     these formulae and the computer algebra system Magma, we affirmatively

13:     resolve questions of Glass and Pries in \cite{glass-pries} on whether

14:     certain group schemes of rank $p^8$ and $p^{10}$ can occur as $J[p]$ of a

15:     hyperelliptic curve of genus $4$ and $5$ respectively.

16: \end{abstract}

17: