Artykuły w formacie PDF dostępne są dla subskrybentów, którzy zapłacili za dostęp online, po podpisaniu licencji Licencja użytkownika instytucjonalnego. Czasopisma do 2009 są ogólnodostępne (bezpłatnie).

Large 2-adic Galois image and non-existence of certain abelian surfaces over ${\mathbb Q}$

Tom 183 / 2018

Armand Brumer, Kenneth Kramer Acta Arithmetica 183 (2018), 357-383 MSC: Primary 11G10, 14K15; Secondary 17B45, 20G25. DOI: 10.4064/aa170514-20-2 Opublikowany online: 8 June 2018


This paper has two themes, linked by an arithmetic application.

Let $\pi\colon {\rm Sp}_{2g}({\mathbb Z}_p) \to {\rm Sp}_{2g}({\mathbb F}_p)$ be the reduction map and let $G$ be a closed subgroup of ${\rm Sp}_{2g}({\mathbb Z}_p)$ with ${\\overline{\ G \hskip-.2pt}\hskip.2pt} = \pi(G)$ irreducible and generated by transvections. To fill a gap in the literature, we show that if $p=2$ and $G$ contains a transvection, then $G$ is as large as possible in ${\rm Sp}_{2g}({\mathbb Z}_2)$ with the given reduction ${\\overline{\ G \hskip-.2pt}\hskip.2pt}$, i.e. $G = \pi^{-1}({\\overline{\ G \hskip-.2pt}\hskip.2pt})$. For example, let $A$ be the Jacobian of a hyperelliptic curve $C\colon y^2 + Q(x)y = P(x)$, where $f = Q^2 + 4P$ is irreducible in ${\mathbb Z}[x]$ of degree $m=2g+1$ or $2g+2$, with Galois group ${\mathcal S}_m \subset {\rm Sp}_{2g}({\mathbb F}_2)$. If the discriminant of $f$ is exactly divisible by an odd prime, then $G = \operatorname{Gal}({\mathbb Q}(A[2^\infty])/{\mathbb Q})$ is $\tilde{\pi}^{-1}({\mathcal S}_m)$, where $\tilde{\pi} \colon {\rm GSp}_{2g}({\mathbb Z}_2) \to {\rm Sp}_{2g}({\mathbb F}_2)$.

Let ${\mathcal E}$ be an absolutely irreducible commutative group scheme of rank $p^4$ over ${\mathbb Z}_p$. We provide a complete description of the Honda systems of $p$-divisible groups ${\mathcal G}$ such that ${\mathcal G}[p^{n+1}]/{\mathcal G}[p^n] \simeq {\mathcal E}$ for all $n$. Then we find a bound for the abelian conductor of the second layer ${\mathbb Q}_p({\mathcal G}[p^2])/{\mathbb Q}_p({\mathcal G}[p])$, stronger in our case than can be deduced from Fontaine’s bound.

If $m = 5$, $Q(x) = 1$ and the Igusa discriminant $I_{10} = N$ is a prime, then the Jacobian $A = J(C)$ is an example of a favorable abelian surface. Non-existence results for certain favorable abelian surfaces follow, even for large $N$. Also, we determine the parameters for the Honda system associated to $A[4]$ over ${\mathbb Z}_2$ in terms of the coefficients of $f$ by exploiting the $x-T$ map usually used for 2-descent.


  • Armand BrumerDepartment of Mathematics
    Fordham University
    Bronx, NY 10458, U.S.A.
  • Kenneth KramerDepartment of Mathematics
    Queens College (CUNY)
    Flushing, NY 11367, U.S.A.
    Department of Mathematics
    The Graduate Center of CUNY
    New York, NY 10016, U.S.A.

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek