Lifting level \(D\)-structures of abelian varieties (Q689770)

It is a classical fact that the canonical map \(Sp_{2g}(\mathbb{Z}) \to Sp_{2g}(\mathbb{Z}/n\mathbb{Z})\) is surjective. The paper extends this result to symplectic groups of mixed characteristics. To be more precise, let \(D\) denote the diagonal matrix \(D = \text{diag}(d_ 1,\dots,d_ g)\) with positive integers \(d_ i\) and \(d_ i/d_{i+1}\) for \(i = 1,\dots,g-1\). Let \(\psi_ D\) denote the symplectic group of integral matrices with respect to the form \(\left({0\atop -D} {D\atop 0}\right)\) and similarly \(Sp(D)\) the group of symplectic transformations of the finite \(\mathbb{Z}\)- moduli \((\bigoplus^ g_{i=1}\mathbb{Z}/d_ i\mathbb{Z})^ 2\). Then it is shown that the canonical map \(\psi_ D \to Sp(D)\) is surjective. The proof is a generalization of the proof [\textit{M. Newmann} and \textit{J. R. Smart} [Acta Arith. 9, 83-89 (1964; Zbl 0135.065)] of the classical special case \(D = n\textstyle{\mathbf{1}}_ g\). As a consequence one obtains that every level \(D\)-structure on a polarized abelian variety \(X = \mathbb{C}^ g/\Lambda\) can be lifted to the lattice \(\Lambda\).