Products and polarizations of super-isolated abelian varieties

In this paper we study super-isolated abelian varieties, that is, abelian varieties over finite fields whose isogeny class contains a single isomorphism class. The goal of this paper is to (1) characterize whether a product of super-isolated varieties is super-isolated, and (2) characterize which super-isolated abelian varieties admit principal polarizations, and how many up to polarized isomorphisms.


Introduction
An abelian variety A/F q is super-isolated if its F q -isogeny class contains only the isomorphism class of A. Hence a super-isolated A/F q is determined up to isomorphism by the characteristic polynomial of its Frobenius endomorphism. In [18], the second author introduced super-isolated elliptic curves and surfaces in the context of cryptography, and in [19] this was generalized to higher dimensional simple super-isolated abelian varieties. In this paper we continue on this path. In particular we focus on two questions: 1. When is the product of super-isolated varieties super-isolated? 2. When does a super-isolated variety admit a principal polarization and, if that is the case, how many are there up to polarized isomorphism?
In [18] it is shown that simple super-isolated abelian varieties are rare, in the sense that the for most finite fields F q there are no super-isolated varieties over F q . Trying to generalize this statement to non-simple abelian varieties leads to the first question. Our methods show that super-isolated products are even rarer and can be enumerated as efficiently as super-isolated simple varieties. The second question is related to the problem of determining whether an abelian variety is the Jacobian of a curve. This is in general a difficult question, see [14] for the case of abelian surfaces. In the case of super-isolated abelian varieties all the arithmetic information is encoded in the Weil polynomial determining the isogeny class. Since every Jacobian admits a canonical principal polarization, the second question is a first step towards characterizing super-isolated Jacobians.
In this paper, we first present some general results about products of super-isolated abelian varieties, see Sect. 3.1. Then, in order to give answers to our questions, we focus on a class of abelian varieties that we call ideal, see Definition 14. For the category of such abelian varieties, we have functorial descriptions in terms of finitely generated free Z-modules with a "Frobenius-like" endomorphism, see [3,4]. In the ordinary case, we can describe also dual varieties and polarizations, see [8]. We exploit these descriptions in Theorem 16 where we exhibit a criterion to answer Question 1. It turns out that the technology developed to prove Theorem 16 in Sects. 2 and 3 allows us to show that, for any fixed dimension, there are only finitely many super-isolated ideal abelian varieties that are not simple, see Corollary 19. In Sect. 3.3 we give an algorithm to enumerate them and we produce complete lists of such abelian varieties that are a product of elliptic curves and surfaces, see Algorithm 1 and Table 1.
In Sect. 4, we characterize which simple ordinary super-isolated varieties admit a principal polarization, see Theorem 27. We also show that if such a polarization exists, then it is unique, see Theorem 35. Moreover in Corollary 36 and Remark 37 we discuss the product case. These results give an answer to Question 2.
In Sect. 5 we apply the theory developed in the previous sections to prove some properties of super-isolated Jacobians, see Proposition 38.
In this paper, all morphisms between abelian varieties over a field k are defined over the same field k.

Products of Weil generators
Weil generators in CM fields have been studied in [18,19]. They represent the Frobenius endomorphism of a super-isolated abelian variety. The purpose of this section is to generalize the notion of a Weil generator to a product of CM fields and give quantitative results. For a CM field K we will denote its CM involution by·. Definition 1 Let K be a product of CM fields K = K 1 × · · · × K n . We say α ∈ K is a Weil That is, αα lies in the image of the diagonal embedding Z → K , and the subring generated by α and α is the integral closure of Z in K .
Let K be a CM-field. Denote by F the fixed field of the CM involution of K . Fix γ ∈ K If γ does not exist or T = ∅, then K has no Weil generators. Indeed, if α is a Weil generator for K then we could choose γ = α and (α + α) ∈ R, see [19,Lemma 3.13]. Given the order O F , the set T is always finite and can be effectively computed, see [5]. By [19,Lemma 3.15] every Weil generator α ∈ K can be written as for a unique triple (u, η, a) ∈ O × F × T × Z. Example 2 Let K = Q(i) and put γ = i and T = {0}. Then every Weil generator is of the form (±2i + a)/2 for some integer a ∈ Z. Alternatively, every Weil generator can also be written as b ± i for some b ∈ Z. Example 3 Let K = Q(ζ 5 ) and put γ = ζ 5 and T = {(1 + √ 5)/2, (1 − √ 5)/2}. Then every generator can be expressed as (u(ζ 5 and a ∈ Z. Lemma 4 Let K be a CM field with maximal real subfield F, and α ∈ K a Weil generator of K . Fix η ∈ T and a ∈ Z as in Eq. (1). If q = αα, then The result follows because The expression in Lemma 4 can be viewed as the equation of a plane curve by replacing a and 4q with formal variables. Lemma 5 below together with the substitutions and t = − Disc K / Disc 2 F shows that this curve is geometrically irreducible.

Lemma 5
Let t, a 1 , . . . , a n ∈ C and If the a i are distinct and t = 0, then P(x, y) is irreducible.
divides h(x, y) − c for every i = 1, . . . , n. As the L i (x, y) are distinct and irreducible, we must have that their product also divides h(x, y) − c. But h(x, y) is non-constant, so h(x, y) − c = 0 and therefore deg h(x, y) = deg P(x, y). It follows that g(x, y) is constant.
Next we claim that The former holds if and only if the ideals g i Z[x] are coprime. By [24,Lem. 11.3] (see also [16, p. 420] for a slightly stronger version), this holds if and only if the pairwise resultants of the g i are units.

Corollary 7
Let K = K 1 × · · · × K n be a product of CM fields. Let α = (α 1 , . . . , α n ) ∈ K , and g i be the minimal polynomial for α i + α i . Then α is a Weil generator for K if and only if each α i is a Weil generator for K i , α 1 α 1 = · · · = α n α n , and | Res(g i , g j )| = 1 for all i = j.
Proof Suppose that α is a Weil generator for K Then α 1 α 1 = · · · = α n α n ∈ Z. Moreoever, So the resultant condition in the statement follows from Proposition 6.
Suppose that the latter conditions hold. By Proposition 6, we have Since α i α i is the same for each i, we also have that αα lies in the diagonal Z → K . Therefore α is a Weil generator for K .

Lemma 9
Let K 1 and K 2 be CM fields. Then there are finitely many Weil generators in Proof For i = 1, 2, choose γ i and T i for K i as in the beginning of Sect. 2. If for some i, γ i does not exist or T i = ∅, then K i does not have any Weil generators and we are done. So we will assume that γ 1 , γ 2 exist and both T 1 and T 2 are nonempty. Now we may write any Weil generator α i in K i as in Eq. (1), that is, there is a unique triple For each pair (η 1 , η 2 ) ∈ T 1 × T 2 , let X η 1 ,η 2 denote the affine variety cut out by the following equations in Q[x 1 , x 2 , y]: By [5] the sets T i are finite, so there are a finite number of the X η 1 ,η 2 . Let X denote their union.
We will now construct a finite-to-one map ψ from Weil generators of The image of ψ satisfies Eqs. (2) and (3) by Lemma 4, and Eq. (4) by Corollary 7. Next we will show that ψ is finite-to-one. It suffices to show that for a given a i and q in Z, there are finitely many In particular, u i is determined up to sign by a i , q, and η i . Since T i is finite, there are only finitely many possible η i . Hence there are only finitely many possible u i as well.
It suffices to show that each component X η 1 ,η 2 has dimension 0, as this implies that Hence we can write X as a union of subvarieties X k , for k = 1, . . . ,k, where X k is the intersection of the geometrically irreducible surfaces (see Lemma 5) defined by Eqs. (2) and (3) and by In particular we can eliminate x 2 and describe X k as the intersection of the two irreducible plane curves By Bézout's theorem, the intersection of two geometrically irreducible plane curves has dimension 0 as long as the curves are distinct. So it is sufficient to show that the polynomials in Eqs. (6) and (7) are not proportional. We will prove this by contradiction.
Suppose that the two polynomials in Eqs. (6) and (7) are proportional. By comparing the highest degree monomial in y we must have that Eqs. (6) and (7) are equal. Note that this also implies [ for any choice of σ and τ will zero out the products in Eqs. (6) and (7), which shows that Disc K 1 / Disc 2 By comparing the zeros we see that, for each k, there is a bijection σ → τ σ,k such that Since the product is taken over all embeddings σ (and τ ) we have that the right hand side is equal to −1, which is a contradiction.
Theorem 10 Let K = K 1 × · · · × K n be a product of CM fields. If n > 1 then K has finitely many Weil generators.
Proof This follows directly from Lemma 9 and the fact that every Weil generator for K projects to a Weil generator for each product K i × K j , with i = j.

Products of super-isolated varieties
In this section, we study products of super-isolated abelian varieties. Recall that the Weil polynomial h of a d-dimensional abelian variety A/F q is defined as the characteristic polynomial of the Frobenius endomorphism of A. The polynomial h lies in Z[x], it has degree 2d and all its complex roots have absolute value √ q. Also we define the real Weil polynomial of A the unique polynomial g in Z[x] such that h(x) = x d g(x + q/x). In particular if h is irreducible and π is a root of h, then g is the minimal polynomial of π + q/π.

Glueing exponent and super isolated abelian varieties
Lemma 11 Let A 1 and A 2 be abelian varieties over a finite field F q . Assume that A 1 and A 2 have no isogeny factor in common. If the product A 1 × A 2 is super-isolated, then both A 1 and A 2 are super-isolated.
Proof Let B 1 and B 2 be abelian varieties isogenous to A 1 and A 2 , respectively. Since A 1 × A 2 is super-isolated then there exists an isomorphism ϕ : because A 1 and A 2 have no isogeny factor in common. Hence there are isomorphisms ϕ 1 : A 1 → B 1 and ϕ 2 : A 2 → B 2 such that ϕ = ϕ 1 × ϕ 2 . In particular A 1 and A 2 are superisolated.
Observe that A 1 and A 2 have no isogeny factor in common if and only if e(A 1 , A 2 ) < ∞. See also [6,after Def. 2.1]. In view of this consideration, Lemmas 11 and 13 allow us to understand super-isolated products in terms of the glueing exponent. In general the glueing exponent is tricky to compute. Nevertherless one can use [6, Prop.2.8] to show that for abelian varieties A and B over F q with no isogeny factor in common the glueing exponent divides the resultant of the radicals of the real Weil polynomials g A and g B of A and B.
In particular if such a resultant is 1 then also e(A, B) = 1. In particular Corollary 7 can be considered as a reformulation in terms of Weil generators (restricted to ideal abelian varieties, see Definition 14 below) of Lemma 13. In what follows we will use a different strategy: We will restrict ourselves to a subcategory of abelian varieties and give conditions for them (and their products) to be super-isolated in terms of Weil generators. The upshot of this approach is that it is more computationally friendly, since Weil generators can be enumerated. Moreover, in such a subcategory, we will be able to study powers of super-isolated abelian varieties.

Weil generators and super isolated abelian varieties
From now on we will focus on squarefree varieties. That is, abelian varieties whose Weil polynomial is squarefree. Our main tool is the equivalence of categories between certain abelian varieties A/F q and Z-modules with extra structure.

Definition 14
Let A/F q be an abelian variety, and let h denote its Weil polynomial. Let p be the characteristic of F q . Then A is ideal if the following holds: 1. the polynomial h factors into distinct irreducible factors. 2. the polynomial h has no real roots. 3. the polynomial h is ordinary (meaning half of the roots of h are p-adic units) or q is prime.

Suppose that A/F q is ideal. Then there is an isogeny
where the A i are simple and pairwise non-isogenous abelian varieties. By Honda-Tate theory, see [7] and [22], the Weil polynomial factors into h = h 1 . . . h n , where h i is the Weil polynomial of A i . Because of the ordinary condition (or the condition that q is prime), the polynomials h i are irreducible. In particular, if we let π i denote a root of h i and put K i = Q(π i ), then K i is a CM field of degree 2 dim A i . Let K = K i and consider the subring Z[π, π ] ⊆ K where π = (π 1 , . . . , π n ) and π = (π 1 , . . . , π n ) with π i = q/π i . We will identify K with End A⊗Q. Let O K = O K i , that is, the integral closure of Z in K . Note that O K and Z[π, π ] are free finitely generated Z-modules of rank dim Q (K ). In particular we have a finite-index inclusion Z[π, π] ⊆ O K and one can show that Z[π, π] ⊆ End A ⊆ O K .
By [13,Thm. 4.3] the ideal abelian varieties can be functorially described in terms of fractional Z[π, π ]-ideals. Such a description builds on the equivalences of categories established in [3,4].

Theorem 15 If A/F q is ideal and simple, then A is super-isolated if and only if K has class number 1 and Z[π, π] = O K . Equivalently, A is super-isolated if and only if K has class number 1 and π is a Weil generator for K .
Proof The result for ordinary varieties is given in [19,Thm. 7.4]. The extension to the case where q is prime is [18,Thm. 16].

Theorem 16 If A/F q is ideal, then A is super-isolated if and only if each
By using Theorem 16 it is easy to construct super-isolated products of big dimension as shown in the following example.

Example 17 Consider the polynomials
One can check that each factor h i determines a Weil generator α i for a CM field K i = Q[x]/h i , and that (α 1 , . . . , α 6 ) is a Weil generator for the product K 1 × · · · × K 6 . Therefore h = i h i is the Weil polynomial for a 20-dimensional super-isolated variety over F 2 .

Example 18
Let A/F 5 be the product of the elliptic curves E 1 : y 2 = x 3 + 4x + 2 and E 2 : y 2 = x 3 + 3x + 2. The Weil polynomials of E 1 and E 2 are h 1 = x 2 − 3x + 5 and h 2 = x 2 − x + 5, respectively. Using Corollary 7 and Theorem 16, it is straightforward to check that E 1 and E 2 are super-isolated, but A is not, see also Example 8. Therefore A must be isogeneous, but not isomorphic, to some other abelian surface over F 5 . One way to verify this claim is to observe that Z[π,π] O K = Z[π 1 ]×Z[π 2 ] = End F 5 (A). By [13,Thm. 4.3] we have that there exists an abelian variety A isogenous to A with End F 5 (A ) = Z[π,π]. In particular A is not isomorphic to A . More precisely, since O K is the unique over-order of Z[π,π ] and Pic(Z[π,π]) Z/3Z, by using [13,Thm. 4.3] we can conclude that the isogeny class of A contains exactly 4 isomorphism classes of abelian varieties, 3 of which have endomorphism ring Z[π,π ].

Corollary 19
Let g be a positive integer. There are only finitely many ideal super-isolated abelian varieties of dimension g that are not simple. In particular, there are only finitely many finite fields F q for which such a variety may exist.
Proof By Theorem 16 it is sufficient to count Weil generators in products of CM fields with class number 1. In [20, Thm. 2, p. 136], Stark showed that for any fixed degree, there are finitely many CM fields with class number 1 with that degree. Hence there are finitely many products K 1 × · · · × K n with deg K i = 2g such that each K i is a CM field with class number 1. By Theorem 10, any such product of fields contains only finitely many Weil generators.

Products of super-isolated elliptic curves and abelian surfaces
In this section we outline a general strategy to enumerate certain products of super-isolated varieties.

Algorithm 1 Enumerate Weil Generators
Require: A product K of CM fields K 1 and K 2 , with maximal totally real subfields F 1 and F 2 , respectively. Ensure: All Weil generators for K .
Proof As seen in the proof of Lemma 9, every Weil generator (α 1 , α 2 ) of K corresponds to a rational point on one of the varieties X η 1 ,η 2 for some η 1 , η 2 ∈ T 1 × T 2 . The algorithm ranges over all rational points on all such varieties and finds all possible pairs (α 1 , α 2 ) which could be Weil generators. This means that the output will include all Weil generators.
It remains to show that everything the algorithm outputs is a Weil generator for K 1 × K 2 . Suppose that the algorithm outputs (α 1 , α 2 ) from a point on X η 1 ,η 2 for some (η 1 , η 2 ) ∈ T 1 × T 2 . It is straightforward to check that if α i ∈ O K i then it is indeed a Weil generator for K i using [19,Lem. 3.13]. By construction of X η 1 ,η 2 , it follows that (α 1 , α 2 ) satisfies the resultant condition in Corollary 7. Therefore (α 1 , α 2 ) is a Weil generator for K 1 × K 2 .

Corollary 22
There are 240 ideal super-isolated abelian varieties that factor into a product of curves and surfaces. A summary of some of their characteristics are given in Table 1. 1 Proof We implemented Algorithm 1 in Sage and found all ideal super-isolated abelian varieties that decompose into a product of curves and surfaces. This was done by first finding a complete list of CM fields with class number 1 and degree ≤ 4 (see [19,Tbl. 3] for references). For each pair K i , K j of such fields, we computed the set of Weil generators W i, j in K i × K j . We filtered the Weil generators whose minimal polynomials satisfy the conditions in Definition 14, as these correspond to simple ideal varieties. Next we organized the data into a graph G as follows. The vertex set of G is given by all Weil generators appearing as part of a pair in some W i, j . We add an edge between α 1 and α 2 if (α 1 , α 2 ) ∈ W i, j for some i, j. That is, the edge set of G is the union of the W i, j . Finally, we used standard methods to enumerate all complete subgraphs (cliques) of size ≥ 2 in G.

Remark 23
Observe that by [19,Cor. 7.6], for every fixed dimension g > 2 we have only finitely many (ordinary) super-isolated abelian varieties. This was shown by mapping Weil generators to integral points on degree g plane curves. Given a way to enumerate the integral points on such a curve, it is straightforward to enumerate super-isolated abelian varieties of dimension g. However, computing integral points on high degree curves (which often have high genus) is a difficult problem. If instead we restrict to enumerating non-trivial products of super-isolated g-folds, then Algorithm 1 only requires enumerating points on a dimension 0 variety (of degree ≈ g 3 ). This seems to suggest that finding products of super-isolated varieties is easier than finding singletons.

Powers of super-isolated abelian varieties
In the case where A is isogenous to a power, we can apply the results from [12] to prove the following Theorem.

Theorem 24 Let A/F q be an ideal abelian variety. If A is super-isolated, then A n is superisolated for every n ≥ 1. Conversely, if there exists n ≥ 1 such that A n is super-isolated then A is super-isolated.
Proof By Theorem 15 we have that A is super-isolated if and only if K has class number 1 and Z[π, π] = O K . By Steinitz theory, see [21], this is equivalent to having a unique isomorphism class of torsion-free Z[π, π ]-modules of rank n (for any n ≥ 1), which is represented by Using the classification given in [12,Theorem 4.1], one sees that this happens if and only if A n is super-isolated.

Principal polarizations
In general, (principal) polarizations of abelian varieties in an ordinary square-free isogeny class can be computed up to polarized isomorphisms using [13,Alg. 3]. However, in this section we show that if the isogeny class is super-isolated, then the situation is much simpler. For a CM type of a CM field K we denote by N the associated norm, that is, for every α ∈ K .

Lemma 25 Let K be a CM field of degree 2g with maximal totally real subfield F. Let be a CM type of K , and α ∈ K satisfying
. Then the following statements are equivalent:

Moreover, if any of the statements holds then g is even.
Proof Observe that we have As all norms in CM fields are non-negative, this is equivalent to Norm K /Q (α − α) = 1. Hence we have proved that (1), (2) and (3) are equivalent. Using Eq. (8) we get that (3) is also equivalent to If K /F is unramified at all finite primes, then g is even by [8,Lem. 10.2] and we get that N (α −α) = ±1. Conversely if N (α −α) = ±1 then by Eq. (8) we get Norm K /Q (α −α) = (−1) g . Since norms are positive in CM-fields, we deduce that g is even and K /F is unramified. This concludes the proof.
Let A/F q be a simple ordinary super-isolated abelian variety of dimension g. Let h be the Weil polynomial of A. Put K = Q[x]/h = Q(π). Fix an isomorphism j : Q p C and let be the set of embeddings φ : K → C such that ν(φ(π)) > 0, where ν is the p-adic valuation on C induced by j. Since A is ordinary, precisely half of the roots of h are p-adic units. Therefore is a CM-type of K .

Lemma 26 The abelian variety A does not admit a principal polarization if and only if
Proof Suppose A does not admit a principal polarization. Then by [8,Cor. 11.4] we have that K /F is unramified at all finite primes and N (π − π) < 0. Because π is a Weil generator for K , it follows that [19,Lem. 3.13]. So by Lemma 25, we have N (π − π) = −1.
Conversely, suppose that N (π − π) = −1. By Lemma 25 it follows that K /F is unramified at all finite primes, and that (π −π) ∈ O × K . In particular there is no prime of F dividing (π −π) which is inert in K /F. It now follows from [8,Cor. 11.4] that A does not admit a principal polarization.

Theorem 27 The abelian variety A does not admit a principal polarization if and only if
Norm K /Q (π − π) = 1 and the middle coefficient a g of the Weil polynomial is −1 mod q if q > 2 and −1 mod 4 if q = 2.
Proof By Lemmas 25 and 26, it is enough to show that if K /Q is unramified at all finite primes, then N (π − π) = −1 if and only if a g satisfies the congruence condition in the statement. By [8,Prop. 11.5], if K /F is unramified at all finite primes then N (π − π) ≡ a g mod q if q > 2 and N (π − π) ≡ a g mod 4 if q = 2. As these moduli are enough to distinguish ±1, the result follows.
Then π is a Weil generator for the CM field K = Q(π) of degree 8. So π corresponds to a super-isolated abelian fourfold A over F 2 . One can check that Norm K /Q (π − π) = 1. Also, the middle coefficient of h(x) is 7 ≡ −1 mod 4, so A does not admit a principal polarization.

Example 29
We will show that the two conditions in Theorem 27 are independent. Let α 1 denote a root of h 1 = x 2 − x + 3 and α 2 a root of h 2 = x 4 − 5x 2 + 9. Then α 1 and α 2 are Weil generators for the CM fields K i = Q(α i ). Let q i = α i α i . One can compute that Norm K 1 /Q (α 1 − α 1 ) = 11 and Norm K 2 /Q (α 2 − α 2 ) = 1. The middle coefficients of h 1 and h 2 are −1 mod q 1 and 1 mod q 2 respectively. Therefore α 1 satisfies the second hypothesis but not the first of Theorem 27, while α 2 satisfies the first but not the second.

Remark 30
One can show that any abelian variety admits a principal polarization if and only if its quadratic twist does. But for super-isolated varieties, this follows almost immediately from Theorem 27. If h(x) is the Weil polynomial of A/F q , then h(−x) is the Weil polynomial for its twist. Then because Norm K /Q (π − π) = Norm K /Q ((−π) − (−π)) and h(x) and h(−x) share the same middle coefficient, the criterion in Theorem 27 holds for one if and only if it holds for the other.
Given any super-isolated abelian variety A, we can always construct one with a principal polarization using Zarhin's trick and Theorem 24.

Proposition 31 Let A be a super-isolated abelian variety. Then A 8 is principally polarized.
Proof Since A is super-isolated it is isomorphic to its dual A ∨ . Hence there is an isomorphism ϕ : 4 . By Zahrin's trick (see [26]), the product (A × A ∨ ) 4 admits a principal polarization μ. Then ϕ * μ = ϕ ∨ • μ • ϕ is a principal polarization of A 8 , see for example [15, p.143].

Uniqueness of principal polarizations
In this section, we prove that if a super-isolated abelian variety admits a principal polarization, then such a polarization is unique up to polarized isomorphism.
First, we set the following notation.  To prove the claim, we will show that there is a unit u ∈ U K such that Norm K /F (u) / ∈ U 2 F . By Kummer theory, K = F( √ −ε) for some totally positive element ε ∈ F. We claim that for every prime p of F, the valuation v p ( ) is even. To see this, let P be a prime of K lying over p. Since p is unramified in K /F, then we have v p ( ) = v P ( ). The latter is even because v P ( ) = 2v P ( √ − ). By above, we can write εO F = p 2e 1 1 · · · p 2e k k for primes p 1 , . . . , p k of F. Because K has class number 1, so does F, see [25,Thm. 4.10]. So there are generators β i for each p i , and we may write ε = ε β 2e 1 1 . . . β 2e k k for some ε ∈ U F . The extension F( √ −ε)/F depends only on the residue of ε in F × /(F × ) 2 . Therefore we may assume that ε = ε , i.e. that ε ∈ U F .
, so we may assume that ε = 1. In particular, it remains to consider the case where K = F(i).
Let ζ be a primitive 2 n th root of unity in K such that n is maximal (by above we know that n ≥ 2). Then we have a tower of the form Recall that since ζ is a primitive 2 n th root of unity, the rational prime 2 is totally ramified in Q(ζ ). Moreover, 2O Q(ζ ) = b 2 n−1 where b is the prime ideal generated by b = 1 − ζ [11, Ch. 2, Ex. 34, p. 34]. In particular b = b. Put a = b ∩ Q(ζ + ζ ), which is the unique prime ideal of Q(ζ + ζ ) above 2. Let a = bb. Observe that a ∈ Q(ζ + ζ ) and that a is a generator of aO Q(ζ ) = b 2 . Therefore v b (a) = 2v a (a), and v b (a) = 2 by construction. Hence a is a generator of a. As mentioned above, the ramification index e(b/a) = 2. So, since K /F is unramified, we deduce that there exists an ideal c of F such that c 2 = aO F . Moreover since F has class number 1, the ideal c admits a generator c ∈ F. Then c 2 = au for some u ∈ U F . Moreover we have that Hence c/b ∈ U K . Also, by construction, We conclude the proof by proving that u / ∈ U 2 F . Indeed, assume that u = u 2 0 for some u 0 ∈ U F . Then This implies that bu 0 /c is a primitive 2 n+1 root of unity in K , contradicting the maximality of n.
In the next example we show that the assumption on the class number of K is necessary for Lemma 33 to hold.
, which has class number 2. Then K is a CM field with maximal totally real subfield F = Q( √ 21). A fundamental unit of F is = (5 − √ 21)/2, which is totally positive. One can show that U K = U F . Therefore and this is trivial by Lemma 33.

Products of principal polarizations
Let K be a CM field. Recall that for a CM type of K we say that a totally imaginary element λ ∈ K is -positive if (ϕ(λ)) > 0 for every ϕ ∈ . Also, for a fractional ideal I of some order R in K , we denote by I t its trace dual ideal, which is defined as Also, we define I as the image of I by the CM involution of K .

Corollary 36 Let A be an ordinary squarefree super-isolated abelian variety, say A = n 1 A i with A i simple. Then A admits a principal polarization if and only if each A i does. If this is the case, the principal polarization is unique up to polarized isomorphism.
Proof Let h (resp. h i ) be the Weil polynomial of A (resp. A i ). Put K = Q[x]/h and K i = Q[x]/h i for each i, so that K = n i=1 K i . For each i let F i be the maximal totally real subfield of K i and put F = i F i . Since the abelian variety A is ordinary, by [13,Thm. 5.4] we have that A is principally polarized if and only there exist a λ ∈ K * which is totally imaginary, -positive, and such that for each i. The statement about the uniqueness follows from the equality Remark 37 Let A be an ordinary simple super-isolated abelian variety admitting a principal polarization. Then also A n admits a principal polarization, but this is in general not unique, see [12, Ex. 6.5, Ex. 6.6].

Jacobians
Proposition 38 Let C and C be smooth, projective and geometrically integral curves of genus g > 1 defined over F q with the same zeta function. Assume that Jac(C) is ordinary, ideal, and super-isolated. Then the curves C and C are isomorphic.
Proof Observe that by assumption Jac(C ) is isogenous to Jac(C), and hence isomorphic since Jac(C) is super-isolated. Denote by θ and θ the canonical principal polarizations of Jac(C) and Jac(C ), respectively. By Theorem 35 we deduce that (Jac(C), θ ) is isomorphic to (Jac(C ), θ ). Therefore by Torelli's Theorem we deduce that C C .
The next example shows that given a Weil generator π for a number field K = Q(π) with non-trivial class group, we can have two non-isomorphic Jacobians as polarized abelian varieties which are isomorphic as unpolarized abelian varieties in the isogeny class determined by the minimal polynomial of π. For more examples and a general method to construct such curves see [9].
Observe (or use Magma to verify) that C 1 and C 2 are not isomorphic. Their Jacobians lie in the same isogeny class, which is determined by the Weil polynomial h = x 4 − x 3 + x 2 − 3x + 9.
Let K = Q[x]/(h) = Q(π), which is the same field as in Example 34. Note that π is a Weil generator for K but that the isogeny class is not super-isolated because the class group of K has order two. Using [13,Thm. 4.3] we deduce that there are two isomorphism classes of abelian varieties in the isogeny class, represented by say A and B. Using [13,Thm. 5.4], we compute that one of the isomorphism classes admits two non-isomorphic principal polarizations, say (A, θ 1 ) and (A, θ 2 ), while B is not principally polarized. Note that it is not surprising that A has two non-isomorphic polarizations: indeed by [13,Thm. 5.4] the number of non-isomorphic polarizations equals the size of U + F / Norm K /F (U K ) and in Example 34 we showed that it is 2. Denote by θ 1 (resp. θ 2 ) the canonical polarization of Jac(C 1 ) (resp. Jac(C 2 )). We deduce that, after possibly relabelling θ 1 and θ 2 , we have isomorphisms (Jac(C 1 ), θ 1 ) (A, θ 1 ) and (Jac(C 2 ), θ 2 ) (A, θ 2 ). In particular we have Jac(C 1 ) Jac(C 2 ) A as unpolarized abelian varieties.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.