A bound for the image conductor of a principally polarized abelian variety with open Galois image
By Jacob Mayle
Abstract
Let $A$ be a principally polarized abelian variety of dimension $g$ over a number field $K$. Assume that the image of the adelic Galois representation of $A$ is an open subgroup of $\operatorname {GSp}_{2g}(\hat{\mathbb{Z}})$. Then there exists a positive integer $m$ so that the Galois image of $A$ is the full preimage of its reduction modulo $m$. The least $m$ with this property, denoted $m_A$, is called the image conductor of $A$. Jones [Pacific J. Math. 308 (2020), pp. 307–331] recently established an upper bound for $m_A$, in terms of standard invariants of $A$, in the case that $A$ is an elliptic curve without complex multiplication. In this paper, we generalize the aforementioned result to provide an analogous bound in arbitrary dimension.
1. Introduction
Let $A$ be a principally polarized abelian variety of dimension $g$ over a number field $K$. Let $T(A) \coloneq \varprojlim A[m]$ denote the adelic Tate module of $A$. The adelic Galois representation of $A$ is a continuous homomorphism of profinite groups
that encodes the action of $G_K \coloneq \operatorname {Gal}(\overline{K}/K)$ on $T(A)$.
The image of $\rho _A$ is called the Galois image of $A$ and, in many cases, is known to be an open subgroup of $\operatorname {GSp}_{2g}(\hat{\mathbb{Z}})$. For instance, Serre established that this is so for elliptic curves without complex multiplication in his celebrated 1972 open image theorem Reference 11. Serre later generalized his result to certain higher dimensions.
Due to an example of Mumford Reference 8, §4, it is known that the above result does not generalize to arbitrary dimension without further hypotheses. In 2011 Reference 2, Hall gave a sufficient condition for a principally polarized abelian variety of arbitrary dimension to have open Galois image. Kowalski proved, as a consequence, that almost all Jacobians of hyperelliptic curves (in a suitable sense) have open Galois image Reference 2, Appendix.
Assume that $A$ has open Galois image. For each positive integer $m$, we let
be the natural projection map. The collection $\{\ker \bar{\pi }_m\}_{m=1}^\infty$ is a neighborhood basis for the identity of $\operatorname {GSp}_{2g}(\hat{\mathbb{Z}})$. Since $\rho _A(G_K) \subseteq \operatorname {GSp}_{2g}(\hat{\mathbb{Z}})$ is an open subgroup, there exists an $m$ so that $\ker \bar{\pi }_m \subseteq \rho _A(G_K)$. The least $m$ with this property is the image conductor of $A$, and is denoted by $m_A$. An important observation is that the Galois image of $A$ is the full preimage of the finite group $\bar{\pi }_{m_A}(\rho _A(G_K))$, as we shall discuss in §2.3.
In a recent paper Reference 3, Jones established an upper bound for $m_A$, in terms of standard invariants of $A$, in the case that $A$ is an elliptic curve without complex multiplication. Further, he remarked that his techniques should be able to be extended to prove an analogous result for principally polarized abelian varieties of arbitrary dimension. In this paper, we do precisely that, proving Theorem 1.2.
2. Notation and preliminaries
2.1. Symplectic groups
Let $R$ be a commutative ring with unity and let $M$ be a free $R$-module of rank $2g$. A map $\langle \cdot ,\cdot \rangle : M \oplus M \to R$ is called a symplectic form on $M$ if it is bilinear, non-degenerate, and alternating. Given a symplectic form $\langle \cdot ,\cdot \rangle$ on $M$, the general symplectic group and symplectic group of $(M,\langle \cdot ,\cdot \rangle )$ are
where $I_g \in \operatorname {Mat}_{2g\times 2g}(R)$ denotes the $g \times g$ identity matrix. Let $\mu : \operatorname {GL}(M) \overset{\sim }{\to } \operatorname {GL}_{2g}(R)$ be the isomorphism induced by our choice of basis. The images of $\operatorname {GSp}(M,\langle \cdot ,\cdot \rangle )$ and $\operatorname {Sp}(M,\langle \cdot ,\cdot \rangle )$ under $\mu$ are, respectively,
The map $\operatorname {mult}: \operatorname {GSp}_{2g}(R) \twoheadrightarrow R^\times$ defined by $\gamma \mapsto m(\gamma )$ is a surjective homomorphism Reference 9, p. 50 and we see that
The orders of $\operatorname {Sp}_{2g}(R)$ and $\operatorname {GSp}_{2g}(R)$ are, in the important case of $R = \mathbb{F}_\ell$, given Reference 9, Theorem 3.1.2 by
Throughout this paper, $p$ and $\ell$ denote prime numbers; $m$ and $n$ denote positive integers.
Let $\hat{\mathbb{Z}}$ denote the ring of profinite integers and $\mathbb{Z}_\ell$ denote the ring of $\ell$-adic integers. The Chinese remainder theorem gives an isomorphism $\hat{\mathbb{Z}} \xrightarrow {\sim } \prod _\ell \mathbb{Z}_\ell$. The ring of $n$-adic integers $\mathbb{Z}_n$ and the ring of $(n)$-adic integers $\mathbb{Z}_{(n)}$ are, respectively, the quotients of $\hat{\mathbb{Z}}$ that correspond with $\mathbb{Z}_n \cong \prod _{\ell \mid n} \mathbb{Z}_\ell$ and $\mathbb{Z}_{(n)} \cong \prod _{\ell \nmid n} \mathbb{Z}_\ell$.
We see that $\hat{\mathbb{Z}} \cong \mathbb{Z}_n \times \mathbb{Z}_{(n)}$, and hence
Let $\operatorname {rad}(m) \coloneq \prod _{\ell \mid m} \ell$ denote the radical of $m$. With Equation 2.2 in mind, we define the following projection maps
Because Theorem 1.2 is known Reference 3 for $g = 1$, in order to simplify our exposition, $g$ will always denote an integer that is at least two, unless otherwise stated. We shall often use the abbreviation $\ell _g$, which denotes
$$\begin{equation} \ell _g \coloneq \begin{cases} 3 & g = 2 \\ 2 & g \geq 3 \end{cases}. \cssId{lg}{\tag{2.3}} \end{equation}$$
2.3. Conductor
Let $G \subseteq \operatorname {GSp}_{2g}(\hat{\mathbb{Z}})$ be any open subgroup. Then $\left\{ \ker \bar{\pi }_m \right\}_{m=1}^\infty$ is a neighborhood basis for the identity of $\operatorname {GSp}_{2g}(\hat{\mathbb{Z}})$. Hence, there exists an $m$ for which $\ker \bar{\pi }_m \subseteq G$. The conductor of $G$ is
$$\begin{equation} m_G \coloneq \min \left\{ m \in \mathbb{N} : \ker \bar{\pi }_m \subseteq G \right\}\!. \cssId{tors-cond-gp}{\tag{2.4}} \end{equation}$$
It is sometimes helpful to understand the conductor in the ways described in Lemmas 2.1 and 2.2.
For Lemma 2.2, we give some terminology (see, Reference 7, I §1.1). We say that $m$splits$G$ if
Let $A$ be a principally polarized abelian variety of dimension $g$ over a number field $K$. Let $T(A) \coloneq \varprojlim A[m]$ be the adelic Tate module of $A$. Recall that $T(A)$ is a free $\hat{\mathbb{Z}}$-module of rank $2g$. The Weil pairing and a choice of principal polarization on $A$ yield a symplectic form $\langle \cdot ,\cdot \rangle : T(A) \oplus T(A) \to \hat{\mathbb{Z}}^\times$. The continuous action of $G_K$ on $T(A)$ is compatible with this symplectic form and hence induces a representation $G_K \to \operatorname {GSp}(T(A), \langle \cdot ,\cdot \rangle )$. With a choice of basis, we obtain the continuous homomorphism of profinite groups
known as the adelic Galois representation of $A$. The Galois image of $A$ is the subgroup $G \coloneq \rho _A(G_K)$ of $\operatorname {GSp}_{2g}(\hat{\mathbb{Z}})$. If $G$ is open in $\operatorname {GSp}_{2g}(\hat{\mathbb{Z}})$, the image conductor of $A$ is defined to be the conductor of $G$ as in Equation 2.4.
Let $G_1$,$G_2$, and $Q$ be groups. Let $\psi _1: G_1 \twoheadrightarrow Q$ and $\psi _2: G_2 \twoheadrightarrow Q$ be surjective homomorphisms. The fiber product of $G_1$ and $G_2$ over $(\psi _1,\psi _2)$ is the group
Observe that $G_1 \times _{(\psi _1,\psi _2)} G_2 \subseteq G_1 \times G_2$ is a subgroup that surjects onto both $G_1$ and $G_2$ via the relevant projection maps. Writing $\psi = (\psi _1,\psi _2)$, we say that a fiber product $G_1 \times _{\psi } G_2$ is trivial if $G_1 \times _{\psi } G_2 = G_1 \times G_2$.
Let $L_1/K$ and $L_2/K$ be Galois extensions, both contained in $\overline{K}$. The entanglement field of $L_1$ and $L_2$ is the intersection $L_1 \cap L_2$. The compositum of $L_1$ and $L_2$, denoted $L_1 L_2$, is the smallest (by inclusion) subfield of $\overline{K}$ containing both $L_1$ and $L_2$. The Galois group of $L_1L_2/K$ may be described using the fiber product.
3. Symplectic groups
In §2.1, we introduced the symplectic groups $\operatorname {GSp}_{2g}(R)$ and $\operatorname {Sp}_{2g}(R)$. In this section, we derive some useful properties of these groups when $R = \mathbb{F}_\ell$ and $R = \mathbb{Z}_\ell$.
3.1. Normal subgroups
The objective of this subsection is to understand the normal subgroups of $\operatorname {GSp}_{2g}(\mathbb{F}_\ell )$ for $\ell \geq \ell _g$, where $\ell _g$ is as in Equation 2.3. We begin by considering the projective symplectic groups.
The center of $\operatorname {GSp}_{2g}(\mathbb{F}_\ell )$ is the scalar subgroup $\Lambda _{2g}(\mathbb{F}_\ell )$ of $\operatorname {GL}_{2g}(\mathbb{F}_\ell )$Reference 9, 4.2.5(5). Let $\pi$ be the projection
The projective general symplectic group$\operatorname {PGSp}_{2g}(\mathbb{F}_\ell )$ and projective symplectic group$\operatorname {PSp}_{2g}(\mathbb{F}_\ell )$ are the images of $\operatorname {GSp}_{2g}(\mathbb{F}_\ell )$ and $\operatorname {Sp}_{2g}(\mathbb{F}_\ell )$ under $\pi$, respectively. We give some useful properties of these groups below. Here and later, we let $[\cdot ,\cdot ]$ denote a commutator and write $G'$ to denote the commutator subgroup of a group $G$.
Using the properties of Lemma 3.1, we now determine the normal subgroups of $\operatorname {PGSp}_{2g}(\mathbb{F}_\ell )$. Our target lemma regarding the normal subgroups of $\operatorname {GSp}_{2g}(\mathbb{F}_\ell )$ then follows. We make the abbreviation $\Lambda _{2g} \coloneq \Lambda _{2g}(\mathbb{F}_\ell )$.
3.2. Index bound
Here we use Lemma 3.3 and a standard lemma from group theory to obtain a lower bound on the index of each subgroup of $\operatorname {GSp}_{2g}(\mathbb{F}_\ell )$ that does not contain $\operatorname {Sp}_{2g}(\mathbb{F}_\ell )$. We write $n!$ to denote the factorial of $n$.
3.3. Subgroup lifting
We state a lifting lemma for $\operatorname {Sp}_{2g}(\mathbb{Z}_\ell )$ that extends Reference 12, IV-23 Lemma 3. Then, we give two corollaries and state a lifting lemma $\operatorname {GSp}_{2g}(\mathbb{Z}_\ell )$. As before, we shall assume that $g \geq 2$.
For a subgroup $H \subseteq G_\ell$, we let $\overline{H}$ denote the topological closure of $H$ in $G_\ell$.
We now state a lifting lemma for $\operatorname {GSp}_{2g}(\mathbb{Z}_\ell )$. Let $\alpha _\ell$ denote the quantity
4. Proof of Theorem 1.2, assuming two propositions
We begin by stating two propositions, which we shall prove in §5 and §7. The first proposition is purely group-theoretic, whereas the second depends on the arithmetic of the abelian variety $A$. Due to group-theoretic differences relating to the prime 2 (visible in the statement of Lemma 3.9), we employ a variant of the radical function. This modified radical is denoted $\operatorname {rad}'$ and is defined by
For the case of $g = 1$, a proof of Proposition 4.1 is given in Reference 3, Proposition 1.6. This purely group-theoretic proof immediately generalizes, mutatis mutandis, to prove Proposition 4.1 for arbitrary $g$. For this reason, in this section we shall explain the structure of the proof and refer the reader to Reference 3 for the details.
Let $G \subseteq \operatorname {GSp}_{2g}(\hat{\mathbb{Z}})$ be any open subgroup and write $m_G \eqcolon \prod _{\ell \mid m_G} \ell ^{\beta _\ell }$ for the prime factorization of its conductor. For each $k$, write $N_{\ell ^k} \coloneq \ker (\pi _{\ell ^{k+1},\ell ^k})$. Using a lifting lemma Reference 3, Lemma 3.1, we may describe Reference 3, Corollary 3.5 each $\beta _\ell$ as
where $\alpha _\ell$ is defined in Equation 3.1 and $1_{(\ell )}$ denotes the identity of $\operatorname {GSp}_{2g}(\mathbb{Z}_{(\ell )})$. As a corollary, it follows Reference 3, Lemma 3.8 that if $d$ is a positive integer that satisfies the divisibility condition $\operatorname {rad}'(m_G) \mid d \mid d\ell \mid m_G$, then
Write $r'\coloneq \operatorname {rad}'(m_G)$. Let $\ell$ be a prime dividing $\frac{m_G}{r'}$. Let $\beta _\ell$ and $r_\ell$ be such that $\ell ^{\beta _\ell } \mid \mid m_G$ and $\ell ^{r_\ell } \mid \mid r'$, respectively. Applying Equation 5.1 with $d = \ell ^k r'$ for each integer $k$ such that $0 \leq k < \beta _\ell - r_\ell$, we obtain that
6. Constraints on prime divisors of the image conductor
Let $A$ be as in the statement of Theorem 1.2. We give constraints on the primes that divide the image conductor of $A$. To do so, we employ a variant of the Néron-Ogg-Shafarevich criterion for abelian varieties.
Recall that the constant $\mathcal{B}_A$ is defined in the statement of Theorem 1.2.
Recall the notation of Remark 2.3(2) and that $G$ denotes the Galois image of $A$. Lemma 6.3 is key. It uses our understanding of $\mathcal{B}_A$ from Corollary 6.2 to give a constraint on odd primes $\ell$ that divide $m_A$ for which $G_\ell = \operatorname {GSp}_{2g}(\mathbb{Z}_\ell )$.
Following Lemma 6.3, which considers a odd prime $\ell$, Lemma 6.4 offers a constraint when $\ell = 2$ divides $m_A$.
We apply the constraints of §6 to prove Proposition 4.2. Let $A$ and $g$ be as in the statement of the proposition. Let $\ell$ be an odd prime that divides $m_A$. By Lemmas 2.4, 3.5, 6.3 and Corollary 3.7, we know
depending on whether $\operatorname {Sp}_{2g}(\mathbb{Z}/\ell \mathbb{Z}) \subseteq G(\ell )$ or not, respectively. Set $r' \coloneq \operatorname {rad}'(m_A)$ and let $r'_{(2)}$ and ${\mathcal{B}_A}_{(2)}$ denote the odd-parts of $r'$ and $\mathcal{B}_A$, respectively (the odd part of an integer $n$ is $\frac{n}{2^k}$ where $2^k \mid \mid n$). Then,
In either case, we see that the bound of Proposition 4.2 holds, completing its proof.
Acknowledgments
The author thanks Nathan Jones for his valuable guidance. The author also thanks the anonymous referees for their comments that served to improve the paper.
Renee Bell, Clifford Blakestad, Alina Carmen Cojocaru, Alexander Cowan, Nathan Jones, Vlad Matei, Geoffrey Smith, and Isabel Vogt, Constants in Titchmarsh divisor problems for elliptic curves, Res. Number Theory 6 (2020), no. 1, Paper No. 1, 24, DOI 10.1007/s40993-019-0175-9. MR4041152, Show rawAMSref\bib{MR4041152}{article}{
author={Bell, Renee},
author={Blakestad, Clifford},
author={Cojocaru, Alina Carmen},
author={Cowan, Alexander},
author={Jones, Nathan},
author={Matei, Vlad},
author={Smith, Geoffrey},
author={Vogt, Isabel},
title={Constants in Titchmarsh divisor problems for elliptic curves},
journal={Res. Number Theory},
volume={6},
date={2020},
number={1},
pages={Paper No. 1, 24},
issn={2522-0160},
review={\MR {4041152}},
doi={10.1007/s40993-019-0175-9},
}
Reference [2]
Chris Hall, An open-image theorem for a general class of abelian varieties, Bull. Lond. Math. Soc. 43 (2011), no. 4, 703–711, DOI 10.1112/blms/bdr004. With an appendix by Emmanuel Kowalski. MR2820155, Show rawAMSref\bib{MR2820155}{article}{
author={Hall, Chris},
title={An open-image theorem for a general class of abelian varieties},
note={With an appendix by Emmanuel Kowalski},
journal={Bull. Lond. Math. Soc.},
volume={43},
date={2011},
number={4},
pages={703--711},
issn={0024-6093},
review={\MR {2820155}},
doi={10.1112/blms/bdr004},
}
Reference [3]
Nathan Jones, A bound for the conductor of an open subgroup of $\mathrm{GL}_2$ associated to an elliptic curve, Pacific J. Math. 308 (2020), no. 2, 307–331, DOI 10.2140/pjm.2020.308.307. MR4190460, Show rawAMSref\bib{MR4190460}{article}{
author={Jones, Nathan},
title={A bound for the conductor of an open subgroup of $\mathrm {GL}_2 $ associated to an elliptic curve},
journal={Pacific J. Math.},
volume={308},
date={2020},
number={2},
pages={307--331},
issn={0030-8730},
review={\MR {4190460}},
doi={10.2140/pjm.2020.308.307},
}
Reference [4]
Aaron Landesman, Ashvin A. Swaminathan, James Tao, and Yujie Xu, Lifting subgroups of symplectic groups over $\mathbb{Z}/\ell \mathbb{Z}$, Res. Number Theory 3 (2017), Paper No. 14, 12, DOI 10.1007/s40993-017-0078-6. MR3667841, Show rawAMSref\bib{MR3667841}{article}{
author={Landesman, Aaron},
author={Swaminathan, Ashvin A.},
author={Tao, James},
author={Xu, Yujie},
title={Lifting subgroups of symplectic groups over $\mathbb {Z}/\ell \mathbb {Z}$},
journal={Res. Number Theory},
volume={3},
date={2017},
pages={Paper No. 14, 12},
issn={2522-0160},
review={\MR {3667841}},
doi={10.1007/s40993-017-0078-6},
}
Reference [5]
Aaron Landesman, Ashvin A. Swaminathan, James Tao, and Yujie Xu, Hyperelliptic curves with maximal Galois action on the torsion points of their Jacobians, Indiana Univ. Math. J. 69 (2020), no. 7, 2461–2492, DOI 10.1512/iumj.2020.69.8178. MR4195609, Show rawAMSref\bib{MR4195609}{article}{
author={Landesman, Aaron},
author={Swaminathan, Ashvin A.},
author={Tao, James},
author={Xu, Yujie},
title={Hyperelliptic curves with maximal Galois action on the torsion points of their Jacobians},
journal={Indiana Univ. Math. J.},
volume={69},
date={2020},
number={7},
pages={2461--2492},
issn={0022-2518},
review={\MR {4195609}},
doi={10.1512/iumj.2020.69.8178},
}
Reference [6]
Serge Lang, Algebra, 3rd ed., Graduate Texts in Mathematics, vol. 211, Springer-Verlag, New York, 2002, DOI 10.1007/978-1-4613-0041-0. MR1878556, Show rawAMSref\bib{MR1878556}{book}{
author={Lang, Serge},
title={Algebra},
series={Graduate Texts in Mathematics},
volume={211},
edition={3},
publisher={Springer-Verlag, New York},
date={2002},
pages={xvi+914},
isbn={0-387-95385-X},
review={\MR {1878556}},
doi={10.1007/978-1-4613-0041-0},
}
Reference [7]
Serge Lang and Hale Trotter, Frobenius distributions in $\mathrm{GL}_{2}$-extensions, Lecture Notes in Mathematics, Vol. 504, Springer-Verlag, Berlin-New York, 1976. Distribution of Frobenius automorphisms in $\mathrm{GL}_{2}$-extensions of the rational numbers. MR0568299, Show rawAMSref\bib{MR0568299}{book}{
author={Lang, Serge},
author={Trotter, Hale},
title={Frobenius distributions in $\mathrm {GL}_{2}$-extensions},
series={Lecture Notes in Mathematics, Vol. 504},
note={Distribution of Frobenius automorphisms in $\mathrm {GL}_{2}$-extensions of the rational numbers},
publisher={Springer-Verlag, Berlin-New York},
date={1976},
pages={iii+274},
review={\MR {0568299}},
}
Reference [8]
D. Mumford, A note of Shimura’s paper “Discontinuous groups and abelian varieties”, Math. Ann. 181 (1969), 345–351, DOI 10.1007/BF01350672. MR248146, Show rawAMSref\bib{MR248146}{article}{
author={Mumford, D.},
title={A note of Shimura's paper ``Discontinuous groups and abelian varieties''},
journal={Math. Ann.},
volume={181},
date={1969},
pages={345--351},
issn={0025-5831},
review={\MR {248146}},
doi={10.1007/BF01350672},
}
Reference [9]
O. T. O’Meara, Symplectic groups, Mathematical Surveys, No. 16, American Mathematical Society, Providence, R.I., 1978. MR502254, Show rawAMSref\bib{MR502254}{book}{
author={O'Meara, O. T.},
title={Symplectic groups},
series={Mathematical Surveys, No. 16},
publisher={American Mathematical Society, Providence, R.I.},
date={1978},
pages={xi+122},
isbn={0-8218-1516-4},
review={\MR {502254}},
}
Reference [10]
Derek J. S. Robinson, A course in the theory of groups, 2nd ed., Graduate Texts in Mathematics, vol. 80, Springer-Verlag, New York, 1996, DOI 10.1007/978-1-4419-8594-1. MR1357169, Show rawAMSref\bib{MR1357169}{book}{
author={Robinson, Derek J. S.},
title={A course in the theory of groups},
series={Graduate Texts in Mathematics},
volume={80},
edition={2},
publisher={Springer-Verlag, New York},
date={1996},
pages={xviii+499},
isbn={0-387-94461-3},
review={\MR {1357169}},
doi={10.1007/978-1-4419-8594-1},
}
Reference [11]
Jean-Pierre Serre, Propriétés galoisiennes des points d’ordre fini des courbes elliptiques(French), Invent. Math. 15 (1972), no. 4, 259–331, DOI 10.1007/BF01405086. MR387283, Show rawAMSref\bib{MR387283}{article}{
author={Serre, Jean-Pierre},
title={Propri\'{e}t\'{e}s galoisiennes des points d'ordre fini des courbes elliptiques},
language={French},
journal={Invent. Math.},
volume={15},
date={1972},
number={4},
pages={259--331},
issn={0020-9910},
review={\MR {387283}},
doi={10.1007/BF01405086},
}
Reference [12]
Jean-Pierre Serre, Abelian $l$-adic representations and elliptic curves, 2nd ed., Advanced Book Classics, Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1989. With the collaboration of Willem Kuyk and John Labute. MR1043865, Show rawAMSref\bib{MR1484415}{book}{
author={Serre, Jean-Pierre},
title={Abelian $l$-adic representations and elliptic curves},
series={Advanced Book Classics},
edition={2},
note={With the collaboration of Willem Kuyk and John Labute},
publisher={Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA},
date={1989},
pages={xxiv+184},
isbn={0-201-09384-7},
review={\MR {1043865}},
}
Reference [13]
Thomas Jan Stieltjes, Œuvres complètes. II/Collected papers. II, Springer Collected Works in Mathematics, Springer, Berlin, 2017. Edited by Gerrit van Dijk; Reprinted from the 1993 edition [ MR1272017]. MR3643001, Show rawAMSref\bib{MR3185222}{book}{
author={Stieltjes, Thomas Jan},
title={\OE uvres compl\`etes. II/Collected papers. II},
series={Springer Collected Works in Mathematics},
note={Edited by Gerrit van Dijk; Reprinted from the 1993 edition [ MR1272017]},
publisher={Springer, Berlin},
date={2017},
pages={viii+750},
isbn={978-3-662-55034-2},
review={\MR {3643001}},
}
Reference [14]
Jean-Pierre Serre and John Tate, Good reduction of abelian varieties, Ann. of Math. (2) 88 (1968), 492–517, DOI 10.2307/1970722. MR236190, Show rawAMSref\bib{MR236190}{article}{
author={Serre, Jean-Pierre},
author={Tate, John},
title={Good reduction of abelian varieties},
journal={Ann. of Math. (2)},
volume={88},
date={1968},
pages={492--517},
issn={0003-486X},
review={\MR {236190}},
doi={10.2307/1970722},
}
Show rawAMSref\bib{4432443}{article}{
author={Mayle, Jacob},
title={A bound for the image conductor of a principally polarized abelian variety with open Galois image},
journal={Proc. Amer. Math. Soc. Ser. B},
volume={9},
number={26},
date={2022},
pages={272-285},
issn={2330-1511},
review={4432443},
doi={10.1090/bproc/131},
}
Settings
Change font size
Resize article panel
Enable equation enrichment
(Not available in this browser)
Note. To explore an equation, focus it (e.g., by clicking on it) and use the arrow keys to navigate its structure. Screenreader users should be advised that enabling speech synthesis will lead to duplicate aural rendering.