1: \begin{abstract}
2:
3:
4: Extending the results of \cite[Asian J. Math.]{xue-yang-yu:ECNF},
5: %the current authors
6: in \cite[Doc. Math. \textbf{21},
7: 2016]{xue-yang-yu:sp_as} we calculated explicitly the number of
8: isomorphism classes of superspecial abelian surfaces over an
9: arbitrary finite field of \textit{odd} degree over the prime field
10: $\Fp$. A key step
11: was to reduce the
12: calculation to the prime field case, and we calculated the number of
13: isomorphism classes in each isogeny class through a concrete lattice
14: description. In the present paper we treat the \textit{even}
15: degree case by a different method. We first translate the problem by
16: Galois cohomology into a
17: seemingly unrelated problem of computing
18: conjugacy classes of elements of finite order in arithmetic
19: subgroups, which is of independent interest. We then explain how to
20: calculate the number of these classes for the arithmetic
21: subgroups concerned,
22: and complete the computation in the case of rank two.
23: This complements our earlier results and completes the explicit
24: calculation of superspecial abelian surfaces over finite fields.
25: % in its own right.
26:
27: % This complements our earlier
28: % results
29: % and completes the explicit calculation of superspecial abelian
30: % surfaces. % (except a few cases of small primes).
31: % In this paper
32: % reduces the calculation to a seemingly unrelated problem on
33: % conjugacy classes of finite order in arithmetic subgroups, which may
34: % be of interest in its own right.
35:
36: % Computation of conjugacy classes of elements of finite orders in a
37: % group $G$ is a basic and interesting problem in group theory.
38: % In this paper we compute the number of such conjugacy classes for
39: % general linear groups of degree 2 over a maximal order in a quaternion
40: % algebra.
41: \end{abstract}
42: