Arxiv:2001.06321V2 [Math.NT]

arXiv:2001.06321v2 [math.NT] 1 Oct 2020 pt smrhs endover defined isomorphism to up eemndb nequation an by determined fcmlxmlilcto,teelpi uv over curve elliptic the multiplication, complex of Howev numbers. circle. root unit these complex on the “symmetry” in values have they general in uvs otnmeso ek hrcesascae ihth with associated characters Hecke of numbers root curves, o l.Temi beto hsppri h otnme fHec of number root the is paper this of over object curves main The all. for ydfiiin nelement an definition, By otnmeso ek hrces oepeiey ewl co will by we induced precisely, character More Hecke of characters. numbers Hecke of numbers root otnmesaecagdol yamlil of multiple a by only changed are numbers root litccre r either are curves elliptic E ilso htuisadpie fdge w c.Subsection (cf. two degree of primes i and However, units that i curves. show multiplication, elliptic will complex with of curves numbers elliptic to root attached the on symmetry a hoe 1.1. Theorem ellip of character Hecke of by numbers B root local others. of than set the circle that quarter one prefer particularly not do r eti oeso rm fdge w htd o hnet change not do that two degree of power. prime the by a multiplied of powers certain are over K B d z ioopimcasso uhelpi uvs hntegrou the Then curves. elliptic such of classes -isomorphism eoegvn omldfiiino h ymty edfieso define we symmetry, the of definition formal a giving Before Let e od n phrases. and words Key 2010 esyta nato nue by induced action an that say We nutvl,teeitneo uhasmer-rsriga symmetry-preserving a such of existence the Intuitively, spie fdge w rsreasmer,we eaegiven are we when symmetry, a preserve two degree of primes As ( . O r ITIUINO OTNMESO EK HRCESATCE T ATTACHED CHARACTERS HECKE OF NUMBERS ROOT OF DISTRIBUTION ) K tbdpie sdnei h ntcircle. unit the in dense is primes bad at eoe h pnbl aigcnr at centre having ball open the denotes K ahmtc ujc Classification. Subject Mathematics eti ido ymtyo h oa otnme fHcech distributio Hecke characters. the Hecke of on aforementioned number results the root give of we local consequence, the a on As symmetry curves. of kind certain a btat In Abstract. aigC ytering the by CM having etenme field number the be K Let ihcmlxmlilcto by multiplication complex with S hsppr eso hta cino h e felpi curve elliptic of set the on action an that show we paper, this 1 eteui icein circle unit the be ek hrces ope utpiain itiuino Distribution multiplication, Complex characters, Hecke 1 ENON EN,JG I,TEYN KIM TAEKYUNG KIM, JIGU JEONG, KEUNYOUNG x or Q of O ( − i K ) 1 n prime a and × and rirr cin nue ya lmn of element an by induced actions arbitrary , K OEELPI CURVES ELLIPTIC SOME ie nato fodrdvdn ,i.e., 4, dividing order of action an gives rmr 11,Scnay11N69. Secondary 11G15, Primary o h orhpwrfe element fourth-power-free the for x O rsre symmetry a preserves C t igo nees efi nembedding an fix We integers. of ring its E 1. z E o arbitrary For . d d ∈ Introduction : and v C y 2 of n radius and x 1 K ( O K 2 . x E π nietecs fro ubr felliptic of numbers root of case the Unlike . uhta h otnumber root the that such 3 ihcmlxmlilcto by multiplication complex with d )/ − where 4 dx θ i h cin ic n otnmesof numbers root any Since action. the via snttu ngnrl eetees we Nevertheless, general. in true not is t r ftero ubr n hi average their and numbers root the of n ∈ > dpigti nuto,w a show can we intuition, this adapting y to hw httelclro numbers root local the that shows ction i uvswt ope multiplication complex with curves tic nte(oa)ro ubr hnthe when numbers root (local) the on S x uvsne o aevalue have not need curves e 0 1 p . saui rapieo eretwo. degree of prime a or unit a is r ewl hwta hr ssila still is there that show will we er, and K rcesatce osc elliptic such to attached aracters pt h ai ewe h root the between ratio the mpute 2.1 × ecaatr tahdt elliptic to attached characters ke ebscntos ytetheory the By notions. basic me /( h aeo ek characters Hecke of case the n > ǫ rsreasmer nthe on symmetry a preserve ) K egvnro ubrwhen number root given he otnumbers. root f with s × ) 0 d oa otnme,there number, root local a 4 hr sa litccurve elliptic an is there , cson acts ∈ x O j w 4 Let . . v E 78preserves 1728 ( K d χ × E K E sioopi to isomorphic is /( ∈ ) by E ֒ → K O etestof set the be × x B suniquely is ) C . 4 θ E neand once ( preserve d ǫ ± ) : 1 O where and , E (1) xd E . 1 Theorem 1.2. Let θ S be fixed. If there exists a single elliptic curve E0 over K having CM by the ring O ∈ and a prime v of K such that the root number wv χE0 θ, then there are infinitely many (K-isomorphism ( ) classes of) elliptic curves E over K having CM by O such that wv χE θ. ( ) Local symmetry-preserving properties also lead us into the computation of the average value of the global root numbers. Given a suitable “base element” d O, we investigate the local root ∈ numbers of Hecke characters χdQ, where Q varies over the products of distinct primes of degree two. The symmetry-preserving property for these kinds of primes allows us to compare the local root numbers between χd and χdQ. With a help from quartic reciprocity and the balanced distribution of quadratic residues, we can show that the average “global” root number (except for the 2-part) with such varying Q is equal to zero. Theorem 1.3. For a real number X > 0, let X be the set of elements Q of O such that Q( ) Q X, and • | | ≤ Q is a product of distinct primary primes of degree two, i.e. Q is of the form Q q for distinct • (− ) rational primes q 3 mod 4 . ≡ ( ) Î Fix an element d O of the form ∈ nj d πi q j , · (− ) i I j J Ö∈ Ö∈ where n j are positive integers, πi are primary primes of degree one, q j are primary primes of degree two, − and I, J are finite sets. For such a d, let us consider the elliptic curve Ed defined as in (1) together with their twists E and their corresponding Hecke characters χ for Q X . Then, dQ dQ ∈ Q( ) 1 w χdQ lim ( ) 0. X X w2 χdQ →∞ Q X |Q( )| ∈Q(Õ ) ( ) The “ideal” statement in this direction would be 1 lim w χE 0, X d X ( ) →∞ E X |E ( )| ∈EÕd ( ) where X is the set of elliptic curves obtained by twisting E with an element in O whose Ed( ) d absolute value is less than X. However, we have a trouble in computing the local root number at a prime above 2, and we only have a symmetry on primes of degree two. For these reasons, we use X instead of and w χE w2 χE instead of w χE . Q( ) Ed ( )/ ( ) ( ) This paper is organised as follows: in Section 2, we recall some basic facts about the Gaussian integers O, elliptic curves with complex multiplication by O, and Hecke characters associated by elliptic curves with complex multiplication by O. In Section 3 we give certain concrete computa- tions on such Hecke characters, even though these topics are already studied by [RS09]. In Section 4 we will give a proof for the main results of this paper.

2. Preliminaries 2.1. Gaussian primes. Consider the number ﬁeld K Q i and its ring of integers O Z i . The ( ) [ ] elements of O are called Gaussian integers. The unit elements amongst them are exactly 1, 1, i − and i. A non-unit α O is called to be primary if α 1 mod 2 1 + i . Such primary elements − ∈ ≡ ( ( )) α a + bi are classiﬁed as the elements with a, b 1, 0 mod 4 or a, b 3, 2 mod 4 . Itis ( ) ≡ ( ) ( ) ( ) ≡ ( ) ( ) well-known that if α is a non-unit element in O with 1 + i ∤ α, there is a unique unit u such that ( ) α˜ uα is primary. Since K has class number one, the ring O is a unique factorisation domain, and thus for any non-zero d O, we have a unique primary prime decomposition ∈ d inu 1 + i n2 πnπ , (2) · ( ) · π:primary primes 2 Ö with nu 0, 1, 2, 3 and n2, n 0 being integers, where the product runs over all odd (elements ∈ { } π ≥ not divisible by 1 + i ) primary prime elements in O. We say that a prime ideal of O, or a prime ( ) element generating the ideal, or even the valuation corresponding the ideal, is of degree one (resp. of degree two) if its residual degree is equal to one (resp. two).

2.2. Quartic residue symbol and quartic reciprocity. Suppose that π is an odd prime element of O and α O is an element prime to π. The quartic residue character of α mod π is the unique unit ∈ Nπ 1 ( ) ik (k 0, 1, 2, 3 ) such that α 4− ik mod π . Here Nπ is the absolute norm of π (i.e. the size ∈ { } ≡ ( ) of the residue field O πO) and the existence of such unit is guaranteed by Fermat’s little theorem: / Nπ 1 α α − 1 mod π . The quartic residue character of α modulo π is denoted by . We use the ≡ ( ) π 4 following well-known properties on the quartic residue character in the present paper. Proposition 2.1 (Properties of the quartic residue symbol). Let π a + bi be an odd prime element in O and α, β O Gaussian integers prime to π. Then the following hold. ∈ αβ α β (1) . π π 4 π 4 4 α α (2) , where denotes the complex conjugation. π 4 π 4 (·) α α (3) If π′ is an associate of π, then . π 4 π′ 4 α β (4) If α β mod π , then . ≡ ( ) π 4 π 4 (5) Let q be a rational prime congruent to 3 modulo 4. Then for any a Z with a , 0 and q ∤ a, we ∈ a have 1. q 4 For future reference, here we also give the quartic reciprocity law. Theorem 2.2 (Quartic Reciprocity). Suppose that α, β O are primary (hence not even) relatively prime ∈ non-unit elements. Then 1 α β − Nα 1 Nβ 1 1 4− 4− , (3) β α (− ) 4 4 or equivalently, α if both α and β are 3 + 2i mod 4 , β − β ≡ ( ) 4 (4) α  α 4  otherwise.  β 4 + Furthermore, we have the following auxiliary relations for a primary prime π a bi:  i a+1 1 + i a 1 b b2 i − 2 and i − −4 − . (5) π π 4 4 2.3. Elliptic curves having CM by O. Let E be an elliptic curve defined over the algebraic closure of Q having complex multiplication by O. From the classical theory of complex multiplication, such E is defined over the Hilbert class field of K, which is K itself and its j-invariant is 1728. Furthermore, such elliptic curves are defined by the Weierstrass equation y2 x3 dx, d O (6) − ∈ where the discriminant of the equation ∆ 26d3 , 0. The curve defined by the equation (6) is denoted by Ed over K. Note that two such equations for d and d′ define the K-isomorphic curve if 4 and only if d′ x d for some x O. For convenience, we therefore assume d is fourth-power-free. ∈ 3 For future reference, we also investigate the reduction type of E modulo the prime 1 + i . This ( ) can be easily verified by using Tate’s algorithm (e.g. see [Sil94, §IV.9]). Lemma 2.3. Let E K be an elliptic curve defined by a Weierstrass equation (6) with fourth-power-free d. / We write π 1 + i K and consider the power series expansion of d in the completion K of K with respect ∈ π to π: ∞ j d dj π , dj 0, 1 . (7) ∈ { } Õj 0 Then the reduction types of E and corresponding conductor exponents are given in terms of the values of dj in the Table 1.

d0 d1 d2 d3 d4 d5 Reduction Type Conductor Exponent

0001- - III∗ 14 0010- - I4∗ 10 0011- - I2∗ 12 01---- III 14

1000- - I2∗ 6 1001- - I0∗ 8 101000good 0 101001 II∗ 4 101010 II∗ 4 101011good 0

1011- - I0∗ 8 11---- II 12

Table 1. Reduction types and conductor exponents of the elliptic curve Ed, in terms of the power series expansion of d (cf. (7)). Here - means that the corresponding value is irrelevant.

2.4. Hecke characters associated with CM elliptic curves and their root numbers. For a non-zero ideal f of O, we deﬁne:

K f α K× : αO, f 1 , ( ) { ∈ ( ) } Kf 1 + K f f α K× : α 1mod× f K f , ( ) { ∈ ≡ } ⊂ ( ) I f fractional ideals of K coprime to f , ( ) { } P f principal fractional ideals αO of K coprime to f , ( ) { } Pf principal fractional ideals αO of K where α 1mod× f . { ≡ } Let E Ed be an elliptic curve defined over K with the same assumptions as in Subsection 2.3. From the theory of complex multiplication of elliptic curves, there is a Hecke character χA : A× K C where A× is the idèle group of K. In terms of ideal groups, this can be viewed K/ × → × K as a pair χ,χ , where χ : I f C× is a character from the ideal group co-prime to a non-zero ( ∞) ( ) → ideal f of O, and χ : R Q K × C× C× is a continuous character. Here the two characters χ ∞ ( ⊗ ) → 1 and χ are related in the following way: for α Kf, we have χ αO χ− 1 α . Furthermore, ∞ ∈ ( ) ∞ ( ⊗ ) we have more refined relation giving the values of the character at α K f : we have a character 1 1 ∈ ( ) ǫ : O f × K f Kf S C× such that χ αO ǫ αKf χ− 1 α for each α K f . Such a ( / ) ( )/ → ⊂ ( ) ( ) ∞ ( ⊗ ) ∈ ( ) Hecke character χ is now called a Hecke character with conductor f, O f -type ǫ and infinity-type ( / )× χ . The non-zero ideal f is called the conductor of the Hecke character χ and it is known that it ∞ has the same prime factors as the conductor of the curve E. 4 3. Generalities of root numbers of Hecke characters associated with CM elliptic curves 3.1. Explicit computation of Hecke characters. From §2, we see that there is an element d O ∈ unique up to multiplication by a fourth-power in O such that E is isomorphic over K to Ed (cf. Equation (6)). We choose d itself to be fourth-power-free, i.e. in the unique primary prime decomposition (2) of d, we have 0 nu , n2, n 3 for each odd prime π of K. This means that ≤ π ≤ Equation (6) defining E is minimal at each prime except 1 + i O. In particular, the curve E has d ( ) d good reduction modulo any odd prime not dividing d. Let χ : I f C be the Hecke character associated with the curve E . Here f is an integral ( ) → × d ideal of O having the same prime ideal divisors as the conductor of the curve Ed. Lemma 3.1. Let p be a prime ideal of K such that p ∤ 2f with residue field k kp. If E Ed is the elliptic curve defined by the Weierstrass equation (6), then concerning the number of k-rational points on the reduction E˜ of E modulo p, we have the following results.

If p is of degree one, i.e. k Fp for some rational prime p 1 mod 4 , we have • ≡ ( ) d d #E˜ k p + 1 π π, ( ) − π − π 4 4 where p ππ is the decomposition of p in K with primary prime elements π and π. If p is of degree two, i.e. k is a degree two extension of Fp for some rational prime p 3 mod 4 , • ≡ ( ) we have

p2 + 1 d is not a square in k, #E˜ k p2 + 1 2p d is a square but not a fourth power in k, ( ) −  2 + + p 1 2p d is a fourth power in k.  Proof. Over the rationals Q, it is proved in [IR90, §18.4, Theorem 5]. We can prove the result similarly over K. 

Proposition 3.2. The Hecke character χ : I f C associated with the curve E deﬁned by the equation ( ) → × d (6) is given by, for any prime ideal p of K co-prime to 2f,

d χ p π, ( ) p 4 where π is the unique primary generator of p.

Proof. This is due to Lemma 3.1, as explained in [Sil94, Example II.10.6].

From this, we can identify the inﬁnity type of the Hecke character χ . ∞

Lemma 3.3. Let E Ed be an elliptic curve over K with the same assumptions as in Subsection 2.3. Then 1 the infinity type χ : C× C× of the corresponding Hecke character χ is given by z z− . ∞ → 7→ Proof. Since the Hecke characters attached to CM elliptic curves are of weight 1 (cf. [Sch88, §1.1]), the infinity type must be either of the form z z 1 or of the form z z¯ 1. In order to determine 7→ − 7→ − which one is the true infinity type for our case, we consider an element α O such that α 1 ∈ ≡ mod pn where p is an odd prime with pn f, n > 0, that α 1 mod 1 + i m O where m is any ( ) k ≡ ( ( ) ) integer max ord 1+i O f, 3 and that αO is a prime ideal of O. The existence of such an element ≥ ( ( ) ) is guaranteed by Lemma 4.1. Now, since αO Pf and since d αO 4 1 due to the conditions of 1 ∈ ( / ) 1 α, we see that χ α α− . This implies that the infinity type is indeed z z− . ∞( ) 5 7→ 3.2. Root numbers of Hecke characters. Let E be an elliptic curve defined over K given by the Weierstrass equation (6) with fourth-power-free d O. The (global) root number of the associated ∈ Hecke character χ of E can be represented by the product of local root numbers of χ. In our case, for any place v of K, we can compute the local root number wv χ as follows with three cases ( ) (cf. [Roh11, Lecture 2], or [Wat11, §§3–5]): (1) If v is archimedean, in other words, since our K is imaginary quadratic, if v is the unique complex place of K, then wv χ i. ( ) − (2) If χ is unramified at v, in other words, if E has good reduction at v, then wv χ v v v v ( ) χ dv χ dv , where χ is the local component of χA, i.e. χ χA ιv, where ιv : K ( )/| ( )| ◦ v× → A× K× is induced by the natural inclusion and dv is the local different of the completion Kv K/ of K with respect to v. In particular, if moreover v is odd, then wv χ +1. On the other ( ) hand, if v is the unique place lying over the prime 2, i.e. the place corresponds to the prime 3 ideal 1 + i O of K and if E has good reduction at v, then wv χ χ dv χ 1 + i O . ( ) ( ) ( ) (( ) ) (3) Suppose χ is ramified at v, i.e. E has bad reduction at v. Let χv χv χv . we have u /| | v v wv χ χ β G χ , (8) ( ) u( )· ( ) where β K is any element satisfying v β a χv + n. Here a χv is the exponent of the ∈ × ( ) ( ) ( ) conductor of χv (cf. [Roh11], pp. 28–29), and n is the valuation of the local different ideal v of Kv. Moreover, G χ is the normalised Gauss sum given by: ( ) K v 2 v v a χ 2 v 1 πi trQ x β G χ q− ( )/ χ − x e p ( / ), ( ) · v ( ) ( )· x Ov f χ ∈( Õ/ ( ))× where q is the cardinality of the residue field kv.

v Remark. (1) The local character χ : K× C× is ramified if and only if the original curve E has v → bad reduction at v. Moreover, the exponent of the conductor a χv of χv is exactly the half ( ) of the exponent of the conductor of E at v (cf. [ST68, Theorem 12]). In particular, if v is odd and E has bad reduction at v, then a χv 1. ( ) (2) We can compute the values of χv using [Roh11, Proposition 2.1]. More precisely, suppose that p is a prime ideal of K with corresponding finite place v and π is a uniformiser for v. Then we have the following. If p ∤ f, then χv π χ p . • ( ) ( ) If p f then χv O ǫ 1. • | | v× −v If β OK and βOK is a power of some prime ideal p dividing f, then • ∈ v 1 χ β χ− β ǫq β . ( ) ∞ ( )· ( ) q f, q,p |Ö 4. Proofs of the main results The following result is a generalisation of Dirichlet’s theorem on arithmetic progression over the Gaussian field K.

Lemma 4.1. Let m1, , mJ be mutually relatively prime ideals of O and α j O for j 1, , J be given. ··· ∈ ··· Then, there are inﬁnitely many prime elements x O such that x α j mod mj for all j 1, , J. ∈ ≡ ( ) ··· Let us consider the elliptic curve E deﬁned by the equation (6) with fourth-power-free d O d ∈ and the primary prime decomposition (cf. Subsection 2.1) of d:

d inu 1 + i n2 πnπ q nq . (9) · ( ) · · (− ) π:degree 1 q:degree 2 Ö6 − Ö Here, we have separated prime elements of K into two kinds: those with absolute residual degree one or two. Note also that the primary generator of a prime of degree two is of the form q with − q being a rational prime congruent to 3 modulo 4. For primes of degree one, we denote by π its primary generator. Also note the range of the exponents n of the factors in (9): we have 0 n < 4 • ≤ • since i4 1 and d is assumed to be fourth-power-free.

Lemma 4.2. Suppose that v is a ﬁnite place of K with corresponding prime ideal pv of O, and assume that pv ∤ 2 and that pv is of degree one. Let d be a fourth-power-free element in O. Then the local epsilon type ǫv associated with E at v is completely determined by the value v d . More precisely, ǫ is of exact order 4 d ( ) (resp. 2, resp. 1) if and only if v d 1, 3 (resp. v d 2, resp. v d 0). ( ) ∈ { } ( ) ( )

Proof. Note that the residue ﬁeld of pv is Fp for a rational prime p 1 mod 4 . Fix an element g of ≡ ( ) O which generates the multiplicative group F×p modulo pv. By Lemma 4.1, we can ﬁnd a primary prime element x O and u O such that ∈ ∈ ×

g modulo pv ,

ux 1 modulo pw for all w with w d > 0, w 2 0 and w , v, ≡  ( ) ( ) 1 modulo16O.  + Note that u 1 because both x and ux are primary. Write x a bi with a, b Z, a 1 mod 16 nu ∈ + n2≡ ( nl) and b 0 mod 16 . Expand d astheproductofprimaryelements, i.e. d i 1 i l d, odd πl , ≡ ( ) ·( ) · | with πl being primary odd primes. Then, Î ǫv g ǫ x χ xO χ x ( ) ( ) ( ) ∞( ) n n2 u + nl i 1 i πl x · x · x 4 4 4 l d, odd | Ö npv npv a 1 a b 1 b2 g g − nu − − − n2 i− 2 i 4 , · · p p v 4 v 4 by Proposition 3.2 and quartic reciprocity (Theorem 2.2). As pv 4 is of exact order 4, so ǫ is of (·/ ) exact order 4 (resp. 2, resp. 1) when np v d 1, 3 (resp. 2, resp. 0). v ( ) ∈ { } Proposition 4.3. Let d O be a fourth-power-free element and E the elliptic curve deﬁned by (6) with d ∈ d and with corresponding Hecke character χ. (1) Suppose that π arbitrary primary prime of degree one dividing d with order n 1, 2, 3 , and v its ∈ { } corresponding valuation of K. Then,

n 1 n π d π π− w χ ηn / G χv , (10) π( ) · π · π · π · ( ) | | 4 4 where η 1 . Here η 1 if and only if π 3 + 2i mod 4 . ∈ {± } − ≡ ( ) (2) Let q be a rational prime dividing d congruent to 3 modulo 4 and v the valuation corresponding to the prime qO. Then, n d q v wq χ /(− ) G χ . (11) ( ) − q · ( ) − 4 In this case, one has

1 when χv has exact order 2, G χv ( ) ( 1 when χv has exact order 4. − 7 Proof. (1) Let f be the conductor of the character χ. We compute w χ following the formula (8) π( ) with picking β p as follows. v χ p v π v v w χ ( ) G χ χ π ǫw π G χ . π( ) χv p · ( ) π · ( )· ( )· ( ) w f >0, w,v | ( )| | | ( )Ö Let pw be the prime ideal corresponding to each valuation w , v such that w f > 0, i.e. pw’s are ( ) prime ideal factors of f. In order to compute the product of local epsilon factors in the above expression, we choose, by Lemma 4.1, a primary prime element x O and a unit u O so that ∈ ∈ × π mod 1 + i 8 ( ( ) ) ux π mod pw for odd w , v and w f > 0, ≡ ( ) ( )  1 n π− mod p .  ( v )  u Since π is primary, the ﬁrst condition ensures that 1, and all of the conditions above are arranged to imply 

v d χ π ǫw π ǫ x . ( )· ( ) ( ) x w f >0, w,v 4 ( )Ö Therefore,

n n π v π d π π v wv χ ǫ x G χ / G χ ( ) π · ( )· ( ) π · x 4 · x 4 · ( ) | | | | π inu 1 + i n2 d inu 1 + i n2 πn π n ( ) /( ( ) ) G χv . π · x 4 · x 4 · x 4 · x 4 · ( ) | | Now one can observe the following.

It follows from Equation (5) that i x 4 i π 4 and 1 + i x 4 1 + i π 4. • ( / ) ( / ) (( )/ ) (( )/ ) Since d inu 1+i n2 πn istheproductofprimaryprimeelements, byfactoringitintoprimary • /( ( ) ) primes and interchanging the “denominators” and the “numerators” in the quartic residue symbol by Equation (4), we get

d inu 1 + i n2 πn d inu 1 + i n2 πn /( ( ) ) /( ( ) ) . x π 4 4 1 Since x π mod 4 , we see π x 4 η x π 4 η π− π 4. • ≡ ( ) ( / ) · ( / ) · ( / ) Summarising, we obtain Equation (10). (2) In this case, the normalised Gauss sum G χv 1 (resp. 1) if and only if χv has exact order ( ) − 2 (resp. 4) (cf. [MvdV03], p. 383 and [Mbo98, Theorem 2.4]). This shows the last statement. Now, by Formula (8) with β q, v χ q v v w χ ( ) G χ ǫw q G χ . π( ) χv q · ( ) ( )· ( ) w f >0, w,v | ( )| ( )Ö Let pw be the prime ideal corresponding to each valuation w , v such that w f > 0, i.e. pw’s are ( ) prime ideal factors of f. As above, we choose a primary prime element x O and a unit u O ∈ ∈ × so that + max ord 1+i f, 4 q mod 1 i ( ( ) ) ( ( ) ) ux q mod pw for odd w , v and w f > 0, ≡ ( ) ( )  n 1 mod pv . ( ) 8    Since q is primary, the ﬁrst condition ensures that u 1, and all of the conditions above are − − arranged to imply

n n v d v d q q v wq χ ǫ x G χ G χ /(− ) (− ) G χ . ( ) (− )· ( ) − x ( ) − x · x · ( ) 4 4 4 Now, in the same fashion as above, we can see n d q n d q n q n 1 /(− ) /(− ) , and (− ) − 1, x q x q 4 4 4 − 4 whence (11).

Corollary 4.4. Let π be a primary prime element of degree one of O such that π 3 + 2i mod 4 ≡ ( ) and v its corresponding valuation of K. Consider the elliptic curve Eπ deﬁned by (6) with d π and m the corresponding Hecke character χ . Then the set wv χ wv χ : d i π with m 0, 1, 2, 3 is π { ( d)/ ( π) } identical to the set of the fourth roots of unity, µ4.

Proof. The deﬁning equation for E is also given by Equation (6) with d im π for some m 0, 1, 2, 3. m i Then it follows from Lemma 4.2 and Proposition 4.3 (1), we see that wv χ wv χ . Since ( d)/ ( π) π 4 i π 3 + 2i mod 4 , by Formula (5) we have i, whence the result follows. ≡ ( ) π ± 4 Now we are ready to prove Theorem 1.1.

Proof of Theorem 1.1. Let E be the elliptic curve defined by the Weierstrass equation (6) with d π being a primary Gaussian prime of degree one. Also, let v be the place of K corresponding to the prime π and χ the corresponding Hecke character for E K. It follows from [Mat79, Theorem 2], v / 3 2 3 2 that the Gauss sum G χ in (8) is contained in µ4 √π √π . Thus, wv χ µ4 π π . Thus, ( ) · /| | ( ) ∈ · / /| | / it is enough to show (1) that the set π π : π 3 + 2i mod 4 being Gaussian primes of degree one is dense in { /| | ≡ ( ) } the unit circle S1, and (2) that for each such prime π and a fourth root ζ, there is an elliptic curve E with Hecke 3 2 3 2 character χ such that wv χ ζ π π . ( ) · / /| | / For (1), it can be shown in [Mak83]. We use a corrected version of [JP17, Proposition 2]. Let F be an imaginary quadratic field, and fix µ,ν OF satisfying µ , 0 and ν mod µ being an invertible ∈ ( ) residue class. As x , we have → ∞ 0.735 wF θ2 θ1 x 1 − , ∼ hF φ µ 2π log x π, prime in F ( ) N π , primeÕ in Q ( ) x

Corollary 4.5. Let q′ be a rational prime congruent to 3 modulo 4, relatively prime to d, and k 1, 2, 3 . 9 ∈ { } (1) Let π be a prime of degree one dividing d. Then,

k q′ wπ χ q k d wπ χd − . ( (− ′) ) ( )· π 4 (2) Let q be a prime of degree two dividing d. Then, wq χ q k d wq χd . ( (− ′) ) ( ) Proof. (1) From Lemma 4.2, it follows that G χπ G χπ , and hence q k d d ( (− ′) ) ( ) k q′ wπ χ q k d wπ χd − , ( (− ′) )/ ( ) π 4 by Proposition 4.3. This gives the result. q (2) The proof is the same as in (1), once one notes that − 1 (cf. Proposition 2.1 (5)). q − ′ 4 Proof of Theorem 1.2. Given θ S1, let E be the curve defined by (6) as usual and v a valuation ∈ d of K such that wv χ θ. Suppose first that v corresponds to a prime ideal of O of degree two, ( d) i.e. there is a rational prime q 3 mod 4 such that qO is the prime ideal corresponding to v. In ≡ ( ) this case, Corollary 4.5 (2) shows that wv χ q d wv χd for any rational prime q′ , q with q′ 3 ( − ′ ) ( ) ≡ mod 4 . ( ) Suppose that v corresponds to a prime idealp πO of degree one with primary prime generator π O. Then by Lemma 4.1, there are infinitely many rational primes q congruent to 3 modulo ∈ 2 q q 4 such that − 1, so − 1. Then by Corollary 4.5 (1), for the curve E q 2 d and for its π 4 − π 4 (− ) corresponding Hecke character χ q 2 d, we have wv χ q 2 d wv χd . (− ) ( (− ) ) ( ) Now we turn our focus to Theorem 1.3. We recall some classical results of Wirsing. Lemma 4.6 ([Wir61, Satz 1]). Let f be a non-negative multiplicative function such that v v there exist constants c1 and c2 < 2 satisfying f p c1c for all primes p and v 2, • ( )≤ 2 ≥ there exists a real number τ > 0 satisfying • X f p τ + o 1 . ( ) ( ( ))log X p X Õ≤ Then, we have 1 X ∞ f pv f n + o 1 ( ). ( ) eγτΓ τ ( ) log X pv n X p X v0 Õ≤ ( ) Ö≤ Õ Here Γ is the gamma function and γ is the Euler–Mascheroni constant. Lemma 4.7 ([Wir67, Satz 1.2.2]). Let f be a non-negative multiplicative function such that there exists a constant c satisfying f p c for all primes p, • ( ) ≤ there exists a real number τ > 0 satisfying • X f p τ + o 1 . ( ) ( ( ))log X p X Õ≤ Then, for g with g n f n , we have | ( )| ≤ ( ) 1 g p g p2 f p f p2 − g n 1 + ( ) + ( ) + 1 + ( ) + ( ) + + o 1 f n . ( ) p p2 ··· p p2 ··· ( ) ( ) n X p ! n X ! Õ≤ Ö Õ≤ The following lemma is a variant of [Wil74, Theorem 1]. 10 Lemma 4.8. Let ξ be an n-th root of unity for some positive integer n, and let a and m be positive integers satisfying n, m 1 and a, m 1. Then, ( ) ( ) 1 1 φ m φ m ( ) ( ) ξ ξ + 1 ξ 1 ca,m,ξ ζa,m,ξ,X 1 O 1 1 − p − p φ m − p p X p X log X ( ) p X p a Ö≤mod m Ö≤ ©( ) Ö≤ ª ≡ ( ) ® ® for a non-zero constant ca m and a φ m -th root of unity ζa m X . , ,ξ ( ) , ,ξ, « ¬ Proof. Let ψ be a non-principal Dirichlet character of order m. There is a constant bψ such that ψ p 1 ( ) b + O . p ψ ψ log X p X Õ≤ Then,

ξψ p ψ p ∞ ξk ψ p k 1 1 log 1 ( ) ξ ( ) + ( ) + Oψ b′ + Oψ , − − p p kpk log X ψ,ξ log X p X p X p k2 ! Õ≤ Õ≤ Õ Õ for some constant b′ψ,ξ. Therefore, by taking exponential to the above equation, we see that there is a constant cψ,ξ , 0 such that

1 ξψ p − 1 1 ( ) c + O . (12) − p ψ,ξ ψ log X p X Ö≤ Let kψ,ξ be a completely multiplicative function deﬁned by

ψ p ξψ p ξ − ( ) k p : p 1 1 ( ) 1 , ψ,ξ( ) − − p − p ! for each prime p. By following [Wil74], we have

1 ∞ 1 n 1 1 k p + ψ,ξ n 1 − . | ( )| ≤ p p − n ≤ p 1 Õn 3 − Therefore, n n ∞ kψ,ξ p ∞ 1 1 ( ) ps ≤ p 1 pσ pσ+1 pσ 1 p n1 p n1 p Õ Õ Õ Õ ( − ) Õ − − is ﬁnite for σ Re s > 0. In the same region, ( ) 1 n k p − ∞ k p ψ,ξ( ) + ψ,ξ( ) 1 s 1 s − p p ! Öp Öp Õn 1 converges absolutely. Hence,

∞ k n ψ,ξ( ) Kξ s, ψ : s ( ) n Õn 1 converges absolutely and has Euler product on σ > 0. Therefore, there exists cψ , 0 such that

1 kψ,ξ p − 1 1 ( ) c + O . (13) − p ψ ψ log X p X Ö≤ 11 By the orthogonality of characters,

ψ a φ m ψ p ( ) ξ ( ) ξ ( ) 1 1 , − p − p p X ψ p X Ö≤ Ö Ö≤ p a mod m © ª ≡ ( ) ® where φ is the usual Euler phi function. Then by Equations« (12) and¬ (13) and the deﬁnition of kψ,ξ, we have

ψ p 1 ξ ( ) ξψ p kψ,ξ p − 1 1 ( ) 1 ( ) − p − p − p p X p X p X Ö≤ Ö≤ Ö≤ 1 1 1 c + O c + O c c + O , ψ,ξ log X ψ log X ψ,ξ ψ log X for a non-principal character ψ. Therefore,

φ m ψ a ξ ( ) ξ 1 ( ) 1 1 c c + O − p − p · ψ,ξ ψ log X p X p X ψ,ψ0 p a Ö≤mod m Öp≤∤m Ö ≡ ( ) ξ 1 ξ c′ 1 + O 1 . a,m,ξ · − p log X − p p X p X Ö≤ © Ö≤ ª ® for some non-zero constant c′a,m,ξ depending only on a, m and ξ. This proves the lemma by 1 « ¬ φ m ′ ( ) choosing ca,m,ξ ca,m,ξ .

Similar to the equation (12), one can deduce that for a complex number ξ such that ξ < 2, | | 1 ξ − ξ ξ 1 1 c0 log X + O log X − − p ,ξ( ) (( ) ) p X Ö≤ 1 for some non-zero complex constant c0,ξ. Since p X 1 ξ p 1 ξ p − 1, for a ξ with ≤ ( − / )( − / ) Re ξ > 0 we have ( ) Î ξ ξ 1 1 cξ log X − + O − p ( ) log X 1+ξ p X Ö≤ ( ) for a non-zero constant c . For ξ 1, by a standard argument on the Euler product of multi- ξ | | plicative functions, we have ξ2 1 1 c1,ξ + O − p2 X p X Ö≤ for a non-zero constant c1 . Hence, for ξ also satisfying Re ξ 0 we have ,ξ ( )≥

ξ ξ 1+ξ 1 + c ξ log X + O log X − . p − ( ) (( ) ) p X Ö≤ 12 Together with Lemma 4.8, for all ξ with ξ 1, there is a non-zero constant c′′ and a φ m -th | | a,m,ξ ( ) root of unity ζa,m,ξ,X satisfying

1 cos ξ +1 ξ ( ) ξ + 1 ξ φ m + φ m 1 ca m ζa m X c log X − O log X − − ( ) O log X − ( ) − p , ,ξ , ξ, | ξ( ) (( ) )| p X p a Ö≤mod m ≡ ( ) cos ξ cos ξ +1 ( ) ( ) − φ m + − φ m c′′a,m,ξ ζa,m,ξ,X log X ( ) O log X ( ) . (14) Here we consider ξ as an angle on the complex plane since ξ 1. | | Proposition 4.9. Let a, b, m and n be integers such that a, m b, n m, n 1, Ω X be the set ( ) ( ) ( ) ( ) of square-free positive integers x whose size is less than X and each prime divisor of x is congruent to b modulo n. Then there is a constant c , 0 such that Ω + X X c 1 o 1 1 . | ( )| ( ( )) 1 φ n log X − ( ) ( ) Let Ωa m X be a set of elements of Ω X which is equal to a modulo m. Then , ( ) ( ) 1 X Ωa m X Ω X + O . | , ( )| m | ( )| log X Proof. We recall [Wil74, Theorem 1], that is

1 φ n ψ b ( ) K 1 ( ) 1 γ n 1 , ψ 1 + 1 1 e− ( ) 1 O 1 , (15) − p φ n , L 1, ψ φ n φ n 1 p X ( ) ψ ψ0 ( ) log X ( ) log X ( )− ! Öp≤ b © Ö ª ( ) ( ) ≡ ® where ψ0 is the principal« Dirichlet character of modulus¬ m. Following the proof of [BFL08, Lemma 11], define a multiplicative function f by, for each prime p, 1 p b mod n , f p ≡ ( ) ( ) 0 otherwise. v Ω and f p 0 for all v 2. Then, we have k X f k X . By the prime number theorem ( ) ≥ ≤ ( ) | ( )| for arithmetic progressions, this multiplicative function f satisfies the condition of Lemma 4.6 for Í c2 0 and τ 1 φ n . Therefore, / ( ) Ω 1 + X + 1 X γ o 1 1 . | ( )| φ n Γ 1 ( ) log X p e ( ) φ n − ! p X ( ( ) ) Öp≤ b ≡ 2 Since the product p X, p b mod n 1 1 p is convergent to a non-zero constant as X , ≤ ≡ ( )( − / ) → ∞ Equation (15) yields Î 1 1 + + φ n 1 c3 1 o 1 log X ( ) , p ( ( ))( ) p X Öp≤ b ≡ for some non-zero constant c3. This gives the first part of Proposition. By the orthogonality of characters, we have 1 1 Ωa m X ψ a ψ k f k ψ a ψ k f k , | , ( )| φ m ( ) ( ) ( ) φ m ( ) ( ) ( ) ( ) k X ψ ( ) ψ k X Õ≤ Õ 13 Õ Õ≤ where ψ is taken over Dirichlet characters of modulus m. Therefore, it is enough to show that φ m + ( ) Ω Í 1 o 1 m X if ψ ψ0, f k ψ k ( ( )) · ·| ( )| ( ) ( ) O X if , k X ( log X ψ ψ0. Õ≤ We first consider ψ ψ0 -case. We define ( ) m′ p. p m p b Ö|mod n ≡ ( ) Since the number of elements in Ω X which is divisible by p is exactly Ω X p , by the inclusion- ( ) | ( / )| exclusion principle, we have X f k ψ0 k µ d Ω . ( ) ( ) ( )| ( d )| k X d m Õ≤ Õ| ′ By the first part of this proposition, we have

µ d φ m′ f k ψ0 k 1 + o 1 ( ) Ω X 1 + o 1 ( ) Ω X . ( ) ( ) ( ( )) · d ·| ( )| ( ( )) · m′ ·| ( )| k X d m′ Õ≤ ©Õ| ª Since f k and f k ψ k satisfy the condition of® Lemma 4.7, we have ( ) ( ) ( ) « ¬ 1 − ∞ f pi ψ pi ∞ f p j f k ψ k ( ) ( ) ( ) + o 1 f k . (16) ( ) ( ) pi p j ( ) ( ) k X p X i0 ! j0 k X Õ≤ ©Ö≤ Õ Õ ª Õ≤ © ª ® Now, we will show that ® ® « ψ p ¬ « 1 + ( ) ¬ (17) p p X p b Ö≤mod n ≡ ( ) converges to a non-zero complex number as X goes to inﬁnity, for all non-principal characters ψ of modulus m. Write m 1 ψ p − ψ b + in 1 ( ) 1 ( ) . − p − p p X i0 p X p b Ö≤mod n Ö p b+in Ö≤mod mn ≡ ( ) ≡ ( ) Then by (14), there are non-zero ci and φ m -th root of unities ζi X such that ( ) , + cos arg ψ b+in cos arg ψ b+in 1 ψ b in − ( ( ( ))) − ( ( ( )))− φ m + φ m 1 ( ) ci ζi X log X ( ) O log X ( ) . − p , ( ) ( ) p X p b+in Ö≤mod mn ≡ ( ) m 1 Here we understand cos arg 0 as zero. Since − ψ a 0, we have ( ( )) a 0 ( ) m 1 ψ p Í− + 1 1 ( ) ci ζi,X O 1 . − p φ m p X i 0 ! log X ( ) ! p b Ö≤mod n Ö ( ) ≡ ( ) Hence it converges absolutely, one can show that it also converges to a non-zero complex number. Since ψ2 p 1 ( ) − p2 p X p b Ö≤mod n ≡ ( )14 converges to a non-zero constant, the product (17) also converges to a non-zero constant. Then by (16) and the previous calculations, there is a non-zero constant c4 such that

1 f k ψ k c4 1 f k , ( ) ( ) φ n ( ) k X log X ( ) k X Õ≤ ( ) Õ≤ which gives the cases with ψ , ψ0 . ( ) Proof of Theorem 1.3. Recall for a real number X > 0, X is the set of elements x O with x < X, Q( ) ∈ | | represented as the product of distinct primary primes of degree two. Write d as the product of primary primes (cf. Equation (9)):

nj d πi q j , · (− ) i I j J Ö∈ Ö∈ and let nj d1 πi , d2 q j , d2 q j . (− ) (− ) i I j J j J Ö∈ Ö∈ Ö∈ For each function f : J 0, 1 we define b → { } X : Q X : ordq Q f j . Q f ( ) { ∈ Q( ) j ( )} Then X is the disjoint union of X , for all f 0, 1 J . For a fixed f 0, 1 J , define Q( ) Q f ( ) ∈ { } ∈ { } 1 1 nl nt L f − 0 and T f − 1 . Then we can write d i I πi l L ql t T qt . For ( ) ( ) ∈ · ∈ (− ) · ∈ (− ) Q f X , we write Q k K qk t T qt . ∈ Q ( ) ∈ (− )· ∈ (− ) By Proposition 4.3 and Corollary 4.5, we have, for eachÎi I, Î Î Î Î ∈ 1 π dQ π π − i i i πi wπi χdQ η / G χdQ ( ) · πi · πi · πi · ( ) | | 4 4 1 d π − Q q qt πi i πi πi k η / G χd wπi χd − − . · πi · πi · πi · ( )· πi ( )· πi · πi 4 4 4 k K 4 t T 4 | | Ö∈ Ö∈ Also for each k K, ∈ d1 qk wqk χdQ wqk χd1 qk − , ( ) ( ·(− )) qk πi 4 i I 4 − Ö∈ and for l L, ∈ wq χ wq χ . l ( d) l ( Qd) Therefore, w χ dQ ( ) i wπi χdQ wql χdQ wqk χdQ wqt χdQ w2 χdQ − ( ) ( ) ( ) ( ) i I l L k K t T ( ) Ö∈ Ö∈ Ö∈ Ö∈ qk qt qk i wπi χd − − wql χd wqt χdQ − − ( ) πi πi ( ) ( ) πi i I k K 4 t T 4! l L ! t T ! k K i I 4! Ö∈ Ö∈ Ö∈ Ö∈ Ö∈ Ö∈ Ö∈

w χ qk qt qk wqt χdQ ( d) − − − ( ) w2 χd πi πi πi wq χd i I k K 4 t T 4! k K i I 4! t T t ! ( ) Ö∈ Ö∈ Ö∈ Ö∈ Ö∈ Ö∈ ( )

w χ qk qt wqt χdQ ( d) − − ( ) , (18) w2 χd pi πi wq χd i I k K 2 i I t T 4 t T t ! ( ) Ö∈ Ö∈ Ö∈ Ö∈ Ö∈ ( ) 15 2 qk qk where pi πi πi. Here we use − − . We note that for all Q X , the terms π p ∈ Q f ( ) i 4 i 2

qt wqt χdQ − ( ) πi wq χd i I t T 4 t T t ! Ö∈ Ö∈ Ö∈ ( ) in (18) are equal. As before, let f ,a,m X be the set of elements in f X that is equivalent to a modulo m, and Q ( ) Q ( ) P : i I pi. Then, ∈ Î w χdQ w χ qk qt wqt χdQ ( ) ( d) − − ( ) w2 χdQ w2 χd pi 2 πi 4 wqt χd Q f X Q f X i I k K i I t T t T ! ∈QÕ( ) ( ) ∈QÕ( ) ( ) Ö∈ Ö∈ Ö∈ Ö∈ Ö∈ ( )

w χ qt wqt χdQ qk ( d) − ( ) − w2 χd πi 4 wqt χd ! pi 2 ( ) i I t T t T ( ) Q f X i I k K Ö∈ Ö∈ Ö∈ © ∈QÕ( ) Ö∈ Ö∈ ª 2 ® w χd qt wqt χdQ qt Q ( ) − ( ) « − ¬ w2 χd πi 4 wqt χd ! πi 4 P 2 ( ) i I t T t T ( ) i I t T Q f X Ö∈ Ö∈ Ö∈ ©Ö∈ Ö∈ ª ∈QÕ( ) 3 ® w χd qt wqt χdQ ( ) − ( ) « 1¬ 1 , w2 χd πi 4 wqt χd ! + − ( ) i I t T t T ( ) a, Q f ,a,P X a, Q f ,a,P X Ö∈ Ö∈ Ö∈ ©Õ ∈QÕ ( ) Õ− ∈QÕ ( ) ª ® where the sum a, + is taken over quadratic residues a modulo P and a, is taken over non- ( ) « ( −) ¬ residues. Since n X if and only if n X , n a mod P and n . 0 mod q j for q j ∈ Q f ,a,P ( ) ∈ Q( ) ≡ ( ) ( ) satisfying f j 0, we get ( ) w χ ( dQ) w2 χdQ Q X ∈QÕf ( ) ( )

w χ qt wqt χd d − ( ) ( ) b,Pd X b,Pd X , w2 χd πi wq χdQ © |Q 2 ( )| − |Q 2 ( )|ª i I t T 4 t T t ! a,+ b a P a, b a P ( ) ( ) − ® Ö∈ Ö∈ Ö∈ Õ b.≡Õ0(q ) Õ b.≡Õ0(q ) ® ( j ) b ( j ) b ® for f j 0 for f j 0 ® ( ) ( ) ® ® where X is the subset of X consisting of integers x satisfying x b mod Pd2 . Similarly Qb,Pd2 ( ) Q( ) « ≡ ( ) ¬ consider Ω X is the set of positive integers x such that x X, that each prime divisor of x is b,Pd2 b ( ) ≤ b congruent to 3 modulo 4, and that x b mod Pd2 . Then one can easily see that the map b ≡ ( ) x x , X X Ω X Ω X b,Pd2 b,Pd2b b,Pd2 b,Pd2 7→ | | Q ( )∪Q− ( ) → ( )∪ − ( ) b b b b is bĳective. Since Pd2 1 mod 4 , b and b are both quadratic residues or both quadratic ≡ ( ) − non-residues modulo Pd2. Therefore b b X Ω X . |Qb,Pd2 ( )| | a,Pd2 ( )| a,+ b a P a,+ b a P Õ b.≡Õ0(q ) Õ b.≡Õ0(q ) ( j ) b ( j ) b for f j 0 for f j 0 ( ) 16 ( ) and the same holds for a, . By Proposition 4.9, − w χdQ X ( ) Í X X o 1 . b,Pd2 b,Pd2 1 w2 χdQ |Q ( )| − |Q ( )| ≪ ( ) 2 Q X a,+ b a P a, b a P log X f ( ) − ∈QÕ( ) Õ b.≡Õ0(q ) Õ b.≡Õ0(q ) ( ) ( j ) b ( j ) b for f j 0 for f j 0 ( ) ( ) Therefore,

w χdQ w χdQ X ( ) ( ) o 1 , w w 1 2 χdQ J 2 χdQ ≪ ( ) log X 2 Q X f 0,1 Q f X ∈Q(Õ ) ( ) ∈{Õ} ∈QÕ( ) ( ) ( ) so for any ǫ > 0, there is a X0 such that

w χdQ X ( ) c ǫ 1 , w2 χdQ ≤ · · 2 Q X log X ∈Q(Õ ) ( ) ( ) for all X X0, where c is the constant in the statement of Lemma 4.9. Hence ≥ 1 w χdQ 1 X lim ( ) lim c ǫ 1 ǫ, X X w2 χdQ ≤ X X · · · 2 ≤ →∞ Q X →∞ log X |Q( )| ∈Q(Õ ) ( ) |Q( )| ( ) again by Lemma 4.9.

Acknowledgement The ﬁrst author was supported by Basic Science Research Program through the National Re- search Foundation of Korea (NRF) funded by the Ministry of Education(GrantNo. 2018R1C1C1004264). He would like to thank Professor Peter J. Cho and Professor Yoonbok Lee for useful discus- sion. He also thanks IBS-CGP for their hospitality and ﬁnancial support. The second author was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (Grant Nos. 2019R1A6A1A11051177 and 2020R1I1A1A01074746). The third author was supported by IBS-R003-D1. The second and the third authors also thank UNIST for their hospitality. Authors thank the referee for the valuable suggestions.

References

[BFL08] W. D. Banks, J. B. Friedlander, and F. Luca. Integers without divisors from a ﬁxed arithmetic progression. Forum Math., 20(6):1005 – 1037, 2008. 13 [IR90] Kenneth Ireland and Michael Rosen. A classical introduction to modern number theory, volume 84 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1990. 5 [JP17] Kevin James and Paul Pollack. Extremal primes for elliptic curves with complex multiplication. J. Number Theory, 172:383–391, 2017. 9 [Mak83] M. Maknys. On the distance between consecutive prime ideal numbers in sectors. Acta Math. Hungar., 42(1-2):131–138, 1983. 9 [Mat79] C. R. Matthews. Gauss sums and elliptic functions. II. The quartic sum. Invent. Math., 54(1):23–52, 1979. 9 [Mbo98] Oumar D. Mbodj. Quadratic Gauss sums. Finite Fields Appl., 4(4):347–361, 1998. 8 [MvdV03] P. Meĳer and M. van der Vlugt. The evaluation of Gauss sums for characters of 2-power order. J. Number Theory, 100(2):381–395, 2003. 8 [Roh11] David E. Rohrlich. Root numbers. In Arithmetic of L-functions, volume 18 of IAS/Park City Math. Ser., pages 353–448. Amer. Math. Soc., Providence, RI, 2011. 6 [RS09] K. Rubin and A. Silverberg. Point counting on reductions of CM elliptic curves. J. Number Theory, 129(12):2903 – 2923, 2009. 2 [Sch88] Norbert Schappacher. Periods of Hecke characters, volume 1301 of Lecture Notes in Mathematics. Springer- Verlag, Berlin, 1988. 5 [Sil94] Joseph H. Silverman. Advanced topics in the arithmetic of elliptic curves, volume 151 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1994. 4, 5 17 [ST68] Jean-Pierre Serre and John Tate. Good reduction of abelian varieties. Ann. of Math. (2), 88:492–517, 1968. 6 [Wat11] Mark Watkins. Computing with Hecke Grössencharacters. In Actes de la Conférence “Théorie des Nombres et Applications”, volume 2011 of Publ. Math. Besançon Algèbre Théorie Nr., pages 119–135. Presses Univ. Franche-Comté, Besançon, 2011. 6 [Wil74] Kenneth S. Williams. Mertens’ theorem for arithmetic progressions. J. Number Theory, 6:353 – 359, 1974. 10, 11, 13 [Wir61] E. Wirsing. Das asymptotische verhalten von summen über multiplikative funktionen. Math. Ann., 143:75 – 102, 1961. 10 [Wir67] E. Wirsing. Das asymptotische verhalten von summen über multiplikative funktionen. ii. Acta Math. Acad. Sci. Hunger., 18:411 – 467, 1967. 10

Department of Mathematical Sciences, Ulsan National Institute of Science and Technology, 50 UNIST-gil, Ulsan 44919, Republic of Korea

Institute of Mathematical Sciences, Ewha Womans University, 52 Ewhayeodae-gil, Seodaemun-gu, Seoul 03760, Republic of Korea

Cryptolab, Inc., Seoul National University, 1 Gwanak-ro, Gwanak-gu, Seoul 08826, Republic of Korea E-mail address: [email protected] E-mail address: [email protected] E-mail address: [email protected]