2195558b364fe92d.tex
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: