On Hermitian forms over dyadic non-maximal local orders

Class numbers of quadratic and Hermitian forms (11E41) Abelian varieties of dimension (> 1) (11G10) Algebras and orders, and their zeta functions (11S45) Arithmetic ground fields for abelian varieties (14K15)

Abstract: We reduce a study of polarized abelian varieties over finite fields to the classification problem of skew-Hermitian modules over (possibly non-maximal) local orders. The main result of this paper gives a complete classification of these skew-Hermitian modules in the case when the ground ring is a dyadic non-maximal local order.

Review text

Let \(A\) be an \(n\)-dimensional abelian variety over \(\mathbb F_p\). Assume that \(A\) is a product of supersingular elliptic curves over the algebraic closure \(\overline{\mathbb F_p}\). Consider a principal polarisation over \(\mathbb F_p\) such that \(\sigma^2=-p\), where \(\sigma\) is denotes the Frobenius endomorphism of \(A\). For \(p>2\), the Tate module \(T_2(A)\) is a free \(\widehat{\mathbb Z}_2\)-module of rank \(2n\) with Weil pairing \(T_2(A)\times T_2(A)\rightarrow\varprojlim\mu_{2^m} (\overline{\mathbb F_p})\). The group ring over the absolute Galois group maps onto \(\widehat{\mathbb Z}_2[\sigma]\), and the Weil pairing gives rise to an involution of \(\widehat{\mathbb Z}_2[\sigma]\). Part of the classification problem of Tate modules amounts to a classification of self-dual skew-Hermitean modules over \(\widehat{\mathbb Z}_2[\sigma]\). The paper contains an exposition of Jacobowitz' classification of such modules and determines their number for given rank \(2n\).

Recommendations

Cited in

(4)

This page was built for publication: On Hermitian forms over dyadic non-maximal local orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1940462)