1: \begin{abstract}

2: We prove that

3: there exists a supersingular nonsingular curve of genus $4$ 

4: in arbitrary characteristic $p$.

5: For $p>3$ we shall prove that

6: the desingularization of a certain fiber product over $\bbP^1$ of two supersingular elliptic curves is supersingular.

7: % In this paper, we explicitly determine the automorphism group of

8: % every superspecial nonhyperelliptic curve of genus $4$ over $\F_{11}$.

9: % Our algorithm determining automorphism groups works for any nonhyperelliptic curve of genus $4$ over finite fields.

10: % With this computation, we show the compatibility between the enumeration

11: % of superspecial curves of genus $4$ over $\F_{11}$

12: % obtained in \cite{KH17}

13: % and an enumeration by Galois cohomology theory.

14: \end{abstract}

15: