Locally symmetric spaces for
parametrize polarized complex abelian varieties with real structure (antiholomorphic involution). We
introduce a mod
analog. We define an “antiholomorphic” involution (or “real
structure”) on an ordinary abelian variety (defined over a finite field
)
to be an involution of the associated Deligne module
that exchanges
(the Frobenius)
with
(the Verschiebung). The definition extends to include principal polarizations and level
structures. We show there are finitely many isomorphism classes of such objects in
each dimension, and give a formula for this number that resembles the Kottwitz
“counting formula” (for the number of principally polarized abelian varieties over
), but
the symplectic group in the Kottwitz formula has been replaced by the general linear
group.
Keywords
ordinary abelian variety, locally symmetric space, Kottwitz
formula