![Arxiv:2010.11069V2 [Math.NT] 14 May 2021 H Ags Rm Atrof Factor Prime Largest the of Ed.A field)](http://data.docslib.org/img/7f2804f32364f659dafa3c0d6557f2b1-1.webp)
arXiv:2010.11069v2 [math.NT] 14 May 2021 h ags rm atrof factor prime largest the of ed.A field). pligtepienme hoe o rtmtcporsin and progressions arithmetic for theorem number prime the Applying (2) (1) (3) then ob nt xeso ihcntn field constant with extension finite a be to naihei rgesos n21,Dwe [ Dawsey 2017, In progressions. arithmetic in nlge fAld’ oml ( [ formula Alladi’s result of these analogues of analogues the showed than article this of author second [ Sah and McDonald of Kural, Recently, extensions Galois finite for where p 5 min vrgoa ucinfields. function global over ] k Let e od n phrases. and words Key Classification. Subject Mathematics 2020 Date Let laisfrua( formula Alladi’s ( itntpie n eoohrie Let otherwise. zero and primes distinct n NLGE FALD’ OML VRGOA UCINFIELDS FUNCTION GLOBAL OVER FORMULA ALLADI’S OF ANALOGUES µ and ) ϕ p n a 8 2021. 18, May : n[ in antermi iia oteapoc nKrle l’ arti al.’s et Kural in approach the to similar form is modular progression theorem of main arithmetic coefficients functio Fourier for the for Theorem and Theorem M¨obius Polynomial function Density Prime the Chebotarev to the to results Woo’s hs mletpiefcosaein are factors prime smallest whose o lblfnto ed.Epiil,w hwta o glo a for that show we Explicitly, fields. function global for where Abstract. a aua density natural a has sElrsttetfunction. totient Euler’s is eapieadlet and prime a be ≥ rm divisor prime 6 ea nee.Let integer. an be 1 , p 7 µ max , ( 8 D .W oehr htOo cnie n anrsoe oebeaut some showed Wagner and Schneider Ono, that here note We ]. ( steMoisfnto ndvsr and divisors on M¨obius function the is ) n nti ae,w hwa nlgeo ua,MDnl n Sah’ and McDonald Kural, of analogue an show we paper, this In ,wihsy htfrayfunction any for that says which ), 3 hw eainhpbtenteM¨obius function the between relationship a shows ) o ipya simply (or laisfrua ¨bu ucin rm ubrTheorem, Number Prime M¨obius function, formula, Alladi’s δ n ( S q Let . 1. ihnpiedvsr,then divisors, prime within ) Q eapwro prime of power a be 3 n[ in ) hnSetn n o [ Woo and Sweeting Then . nrdcinadsaeeto results of statement and Introduction INDA,BA AG N HOU YI SHAOYUN AND WANG, BIAO DUAN, LIAN µ ( p n min prime X X d eteMoisfnto endby defined M¨obius function the be ) 5 d 9 | | eeaie l hs eut ontrldniiso eso prime of sets of densities natural to results these all generalized ] , n n − 14,11R59. 11R45, S 1 = (1) 10 µ − sapiain,w e h nlgeo asysadSweeti and Dawsey’s of analogue the get we applications, As . µ p ( ( min .I hsppr ewl hwteaaou fKrle l’ result al.’s et Kural of analogue the show will we paper, this In ]. n in ) d d lim →∞ ) ) F f ( f n p q ( p ( 3 ) hc scle lblfnto ed(rsml function a simply (or field function global a called is which , K n max X p 1 p D ≡ min rtgnrlzd( generalized first ] ≥ ≤ max min ∈ ℓ deg 2 sdfie ob iceevlainring valuation discrete a be to defined is (mod D X 1 .I 97 lai[ Alladi 1977, In 1. = (1) ( ( n ( ( K,S D p D d d etesals rm atrof factor prime smallest the be ) Let . ≤ )= )) )= )) ( 1 k ,S K, n ) ) f µ µ | endo neeswith integers on defined ( ( D n stesto l ffciedsigihbedivisors distinguishable effective all of set the is ) D − − n a ucinfield function bal F | ) ) 4 f f cle. q soitdt litccre.Tepofo our of proof The curves. elliptic to associated .W lodslyacneto ewe the between connection a display also We s. eeaie asysrsl onme fields. number to result Dawsey’s generalized ] = ( ( = ed,adteaaou fAld’ result Alladi’s of analogue the and fields, n eafiiefil of field finite a be p p min max δ over s ϕ ( S ( 1 ) ( 3 k ( , n otestigo hbtrvdensities Chebotarev of setting the to ) n ) )) )) , Q . , ( 1 o oeaihei ucin other functions arithmetic some for ,h [ he ), K µ aua est,Goa ucinfields. function Global density, Natural 1 faset a if , ( euto laisformula Alladi’s on result s µ n nrdcdadaiybetween duality a introduced ] ( ( = ) n 2 n h est fprimes of density the and ) hwdta f( if that showed ] q f lmns Take elements. − S 1 ,w have we 0, = (1) 1) fpiedivisors prime of flpartition-theoretic iful n k n let and if R n P steproduct the is gand ng ihmaximal with p max ,k ℓ, K/ .The s. ( 1, = ) F n be ) p ( x ) ideal P such that F R and the quotient field of R is K. The norm of P , denote by P , is defined to be q ⊆ P P | | the size of the residue field κ of R , i.e. P = #(R /P ) = #κ , which is a power qdeg P of the cardinality P P | | P P of the ground field Fq. Here the exponent deg P is called the degree of P . A divisor D is a finite formal sum of prime divisors, i.e. (4) D = a P, P · XP such that every aP is an integer, and aP = 0 for all but finitely many P . If D satisfies additionally that a 0 for all P , then we say D is effective and write D 0. We say D is supported by P , or P is P ≥ ≥ a prime factor of D, and write P D, if aP in (4) is nonvanished. The degree deg D of D is defined by | deg D deg D := aP deg P , and the norm of D is q . In particular, for every effective D, deg D 0, and hence D 1. ≥ | |≥Let Pbe the set consisting of all the divisors of K. Then has two natural subsets: one is the subset of all effectiveD divisors, denoted by +; and the other one is theD subset which consists of all prime divisors, denoted by . For any subset S D, we say S has a natural density δ(S), if the following limit exists: P ⊆P π (n) (5) δ(S) := lim K,S , n →∞ πK (n) where πK,S(n) := # P S : deg P = n , and πK (n) := πK, (n). Let d (D) := min{ deg∈ P : P D be} the minimal degreeP of the prime factors of D. We say that D is − { | } distinguishable if D = 0 and there is a unique prime factor, say Pmin(D), of D attaining the minimal degree d (D). We define 6 − (6) D(K,S) := D + : D is distinguishable and P (D) S . ∈ D min ∈ Analogous to the classical definition, if D =0 or D = a1P1 + + akPk with all ai > 0, the M¨obius function µ(D) is defined by ··· 1 if D =0, µ(D)= ( 1)k if k> 0 and a = 1 for all i, − i 0 if at least one ai > 1. The following theorem is our main result. Theorem 1.1. Given a global function field K, with the above notations, if S has a natural density δ(S), then we have that ⊆ P µ(D) (7) lim = δ(S). − n D →∞ 1 deg D n | | D≤ DX(K,S≤) ∈ We want to take the rest of this section to introduce several consequences of our main result. The first one is an application of the Chebotarev Density Theorem of function field (cf. Theorem 2.10). Recall that a finite extension L/K of function field is called geometric if L and K have the same constant field. In this case, for every unramified prime divisor P of K, we can associate it with a conjugacy class of Gal(L/K), called the Frobenius class of P and denoted by (P,L/K). For more details about this part, see Sect. 2.3. Corollary 1.2. Let L/K be a geometric Galois extension with Galois group G = Gal(L/K). Then for any conjugacy class C G, we have ⊆ µ(D) #C (8) lim = . − n D #G →∞ D D(K, ),1 deg D n ∈ P ≤ ≤ | | (Pmin(DX),L/K)=C Proof. Suppose that the common constant field of L and K is F . For any conjugacy class C G, define q ⊆ S := P : (P,L/K)= C . C { ∈P } It follows from the classical Chebotarev Density Theorem for function fields (see Theorem 2.11) that #C qn qn/2 π (n) . K,SC − #G n ≪ n
2
n Since πK (n) q /n by the Prime Number Theorem for function fields (see Lemma 2.1), taking S = SC in Theorem 1.1 ∼gives δ(S) = #C/#G, and (8) follows.
Now we specialize to the rational function field over Fq. Fix the choice of the parameter x in K, one 1 can realize K as Fq(x). By the well-known relationship between the projective line PFq and its affine chart 1 1 AF = PF , for a polynomial F in the affine coordinate ring Fq[x], we take the divisor of zeros of F q,x q − {∞} to be (F )0 := ordP (F )P.
ordP (F ) 0 X ≥ Using the fact that F (x) has class number one, the map φ : F (F ) gives a bijection of the following sets. q 7→ 0 monic polynomials F F [x] effective divisors D not supported by ( ) { ∈ q } ⇐⇒{ ∞ } irreducible monic polynomials F F [x] prime divisors P = ( ) { P ∈ q } ⇐⇒{ 6 ∞ } For the definition of class number, see Sect. 2.2. One can verify that φ defined above is with respect to the degree, norm and prime factorization. In particular, if we let d (F ) := min deg FP : FP F, FP is irreducible then d (F ) = d (φ(F )). Hence the distinguishable elements− are mapped{ to the distinguish| able elements.} − − In addition, let S be a subset of monic irreducible polynomials of Fq[x], we have
π (n) := # F S : deg F = n = πF (n). q,S { P ∈ P } q (x),φ(S) Thus δ(S)= δ(φ(S)). For a distinguishable polynomial F , we let pmin(F ) denote the minimal prime factor of F , and let D(q,S) := F F [x]: F is monic and distinguishable, and p (F ) S . { ∈ q min ∈ } Then φ(D(q,S)) = D(Fq(x), φ(S)).
With all the above, we are ready to state the application of Theorem 1.1 to Fq[x]. Corollary 1.3. Let q 2 be fixed. If S has a natural density δ(S), then we have that ≥ ⊆P µ(F ) (9) lim = δ(S). − n F →∞ 1 deg F n | | F≤ XD(q,S≤) ∈ Proof. This corollary directly follows from the specialization and the correspondence above. Note that the set ( ) has density zero. { ∞ } As another application, we get the analogue of Alladi’s formula over finite fields by the Prime Polynomial Theorem for arithmetic progressions. Corollary 1.4. For relatively prime f,g F [x], we have ∈ q µ(F ) 1 (10) lim = . − n F ϕ(g) →∞ F D(q, ),1 deg F n | | ∈p (FP)Xf≤(mod g≤) min ≡ Here ϕ(g) is the function field Euler totient function given by the number of units in Fq[x]/gFq[x]. Proof. For relatively prime f,g F [x], let ∈ q S(f,g)= p : p = f + gh for some h F [x] . { ∈P ∈ q } Then the Prime Polynomial Theorem for arithmetic progressions (e.g., see [11, Theorem 4.8]) says that π (n) qn/2 (11) π (n)= q + O . q,S(f,g) ϕ(g) n Taking S = S(f,g) in Theorem 1.1 gives δ(S)=1/ϕ(g), and (10) follows. Remark 1.5. In fact, one can verify that the above corollary is a special case of Corollary 1.2. 3 1.1. Notations. We use the notations f(n) = OK,θ,...(g(n)) or f(n) K,θ,... g(n) to mean that there is a positive constant C = C(K, θ, . . . ) > 0 such that f(n) C g(n) for all≪ n 1, and C is called the implied constant of this O-term. Sometimes we write f |= O(|≤g) or| f | g for simplicity,≥ if the implied constant depends at most on the field K and some fixed positives. We use≪ capital letters A,B,D to denote divisors. Our main results and their proofs only concern effective divisors, hence all the divisors after Sect. 2 will be assumed to be effective. The following table offers an analogy between some of our notations on function fields and Kural et. al’s notations on number fields. Function fields notations Number fields notations Function field K/Fp(x) Number field K/Q + D a K ∈ D ⊆r O ei D = aP P a = pi P · i=1 µP(D) µ(Qa) D = qdeg D N(a) | D| (K,S) D(K,S) d+(D) M(a) QS(D) QS(a) πK,S (n) πS(K; X)
1.2. Organization of this paper. Theorem 1.1 may be viewed as a discrete version of Kural et al.’s result in [5, Theorem 1.1]. Hence the approach to proving Theorem 1.1 here is similar to their proof. After reviewing some concepts and theorems related to the main results in Sect. 2, we develop a duality identity between the prime factors of divisors in Sect. 3. Then in Sect. 4, we are devoted to finding the asymptotic formula for the number of prime factors of divisors that attain the largest degree. Finally, in Sect. 5, we show the analogue of Alladi’s intermediate result [2, Theorem 6] that derives the desired formula (7) from the asymptotic result in Sect. 4. A feature in Sect. 5 is that for function fields we can show the analogue of [2, Theorem 6] without using Axer’s theorem, which was applied in [2, 5]. Finally in Sect. 6, when the function fields are coming from the reduction of an elliptic curve E over Q, we study the connection between the restricted sums of µ(D)/ D and the Fourier coefficients of the modular form corresponding to this elliptic curve. | |
2. Background In this section, we will review some concepts and theorems, including the Prime Number Theorem and the Chebotarev Density Theorem for function fields. In particular, the class number and genus will be reviewed in Sect. 2.2. In Sect. 2.3 we recall the necessary proprieties of the geometric extensions of algebraic function fields. The main references for this section are [11, Chapters 5, 7, 8, 9], [12, Chapter 8] and [13]. Since there is nothing original in this section, the experts of the function fields are suggested to directly move to Sect. 3.
2.1. Prime Number Theorem for function fields. It is well known that the Prime Number Theorem (PNT) says that the number π(x) of primes up to x is asymptotic to x/log x as x , and the Riemann → ∞ Hypothesis is equivalent the assertion that π(x) = Li(x)+ O x1/2 log x (e.g., see [14, Theorem 6.1]), where Li(x) = x dt/ log t. In the function fields, for the number π (n) of prime divisors with degree n, we have 2 K the following analogue (e.g. see [11, Theorem 5.12]). R Lemma 2.1 (PNT for function fields). We have
qn qn/2 (12) π (n)= + O . K n n This is analogous to the asymptotic formula π(x) = Li(x)+ O x1/2(log x)2 , if one takes qn as x and n as log x. And we will use the asymptotic π (n) qn/n as n several times in the later proofs. K ∼ → ∞ 4 2.2. Class number and genus. In this section, we will fix a function field K and will follow the notations introduced in Sect. 1. Recall that the divisor group is an abelian group with identity the zero divisor 0, and so the inverse of D = a P is D = a P .D If x K, then the principal divisor (x) is defined by P − − P ∈ P (Px) := ordP (x)P.
Here ordP : K Z is the order function attachedX to P ; see [13, Chapter 9]. Note that RP is a discrete valuation ring. In→ particular, it follows from [11, Proposition 5.1] that deg(x) = 0. We say two divisors D1 and D2 are linearly equivalent, D1 D2 if D1 D2 = (x) for some x K. It is not hard to verify that the set r := (x): x K is a∼ subgroup of− . Thus there is a natural∈ P { ∈ } D bijection between the linearly equivalent classes of divisors and the quotient group / r. Let lK := / r. Then l has a group structure induced by that of . Moreover, there is a naturalD P group homomorphismC D P C K D deg : lK Z, [D] deg D, which sends every equivalent class [D] of D to deg D. Note that this map is C → 7→ 0 well-defined since all principal divisors have degree 0. We take lK := ker deg, this subgroup of lK is called 0 C C the class group of K. It is a fact that lK is a finite group ([11, Lemma 5.6]) and its size hK is called the class number of K. C Given a divisor D, we define its corresponding Riemann-Roch space + L(D) := x K∗ : (x)+ D 0 . { ∈ ∈ D }∪{ } One can check that if x, y L(D), then so are x + y and αx for any α F . Hence L(D) is a vector space ∈ ∈ q over Fq. According to [12, 8.2, Proposition 3.(3)], l(D) := dim L(D) is finite. Moreover, if deg(D) 0, then l(D) deg(D) + 1. § ≥ ≤ Theorem 2.2. [11, Theorem 5.4, Rimann-Roch theorem] There is an integer gK 0 and a canonical divisor class such that for any C and D we have ≥ C ∈C ∈ D l(D) = deg(D) g +1+ l(C D). − K − Remark 2.3. The constant gK in the above theorem only depends on K. It is called the genus of K. In fact, we have l(C)= g and deg(C)=2g 2 for any C (see [11, Corollaries of Theorem 5.4]). K K − ∈C Here we cite a result which will be used in the other sections.
Proposition 2.4. [11, Lemma 5.8] For every integer n, there are hK divisor classes of degree n. Suppose
n 0 and that A1, , AhK are the representatives of the classes, then the number of effective divisors of l(A ) ≥ { ··· hK} q i 1 degree n, bn, is given by i=1 q 1− . − n−g +1 P q K 1 Corollary 2.5. If n> 2gK 2, then bn = hK q 1 − . − − Proof. Apply the Riemann-Roch theorem to the case n = deg A > 2g 2 for all i =1, ,h . Note that i K − ··· K L(C Ai) = 0 since deg(C Ai) < 0 (see Remark 2.3). This mean l(C Ai) = 0, and l(Ai) = deg Ai gK +1 for all− i. Then this corollary− follows immediately. − − 2.3. Galois extensions. In this subsection, we consider the extensions of function fields. Let K be a function field with constant field F and let L/K be a finite extension. Take E to be the constant field of L, it is easy to see that E is a finite extension of F . If E = F , we call L a geometric extension of K. In this and the following sections, we will focus on the Galois extension L/K, i.e. on the case # Gal(L/K) := Aut(L/K) = [L : K]. Until the end of this subsection, we will fix a Galois extension L/K of degree n, with the Galois group G := Gal(L/K). Since K is a subfield of L, for every prime divisor P in the divisor group of L, it is a ∈ DL fact that RP K = RP for a unique P K . In this case, we say that P is lying above (or simply above) P and write P∩ P . Conversely, given a prime∈ D divisor P , there are finitely many distinct prime divisors | ∈ DK P1, , Pr lying above P , in particular, r n. Now taking P P , one can verify that RP is a subring of RP ,( via the··· embedding K ֒ L. There are two≤ integers related. The| first is the relative degree f := f(P/P → which is defined to be the extension degree of the residue fields κP/κP . Here κP (resp. κP ) is the residue field of RP (resp. RP ). The second integer is the ramification index e := e(P/P ), which is defined to be ordP(τP ). Here τP is the uniformizer of the discrete valuation ring RP . In particular, we say that P is unramified if e(P/P ) = 1 for one (and hence for all, see Proposition 2.6 below) P P , otherwise, we say P is ramified. The following results are well known. | 5 Proposition 2.6. [11, Propositioin 9.3] When L/K is Galois, e(P/P ),f(P/P ) and the integer r above only depend on P . Moreover, efr = n. Proposition 2.7. [11, Theorem 7.12] Given a Galois extension L/K, there is a different divisor D L/K ∈ DL such that P is ramified in L if and only if there is any (and hence every) P P such that P DL/K . In particular, there are only finitely many ramified prime divisors of L/K. | |
Now we focus on the group structure of G = Gal(L/K). Still taking P P , there is a subgroup GP := σ G : σ(P) = P consists of all Galois elements which preserve P,| it is called the decomposition { ∈ } group of P. With the above notation, we know that #GP = ef. Moreover, there is a naturally defined group homomorphism GP Gal(κP/κ ) induced its action on the residue field κP. The kernel of this → P homomorphism will be called the inertia subgroup of P, and is denoted by IP. In fact, #IP = e. Thus P is unramified if and only if IP is trivial for one (and hence all) P P . Moreover in this case, we have | GP Gal(κP/κP ). For more details about the decomposition subgroup and inert subgroup, see for example [11,≃ Chapter 9]. Assume P is unramified and let P P . As we have seen above, GP Gal(κP/κP ). Observe that κP/κP | ≃ P is an extension of finite field, thus has cyclic Galois group with the generator ηP such that ηP (α)= α| | for all α κP. We take the notation (P,L/K) to represent the unique element in GP which is equal to ηP ∈ P via the isomorphism GP Gal(κP/κP ). Thus under this isomorphism, we have (P,L/K)(α)= α| |. This element is called the Frobenius≃ element of P.
Proposition 2.8. [11, Propositions 9.2, 9.7] Let P1, , Pr be the set of prime divisors above P . Then { ··· } 1 the Galois group G acts transitively on this set. Moreover, let σ G, if σ(Pi)= Pj, then σGPi σ− = GPj 1 ∈ 1 and σIPi σ− = IPj . In particular, if P is unramified, then σ(Pi,L/K)σ− = (Pj ,L/K). Definition 2.9. With all the above setups, if P is unramified, we define the Frobenius class (or simply Frobenius) of P to be the conjugacy class of (P,L/K) for any one (and hence for all) P P . We denote the Frobenius class of P by (P,L/K). | Like the Chebotarev Density Theorem in the algebraic number field cases, we have the following results. Theorem 2.10. [11, Theorem 9.13A, Chebotarev Density Theorem, first version] Let L/K be a Galois extension with G = Gal(L/K). Let C G be a conjugacy class in G and let SK′ be the set of unramified primes of L/K. Then ⊆ #C δ( P S′ : (P,L/K)= C )= . { ∈ K } #G Theorem 2.11. [11, Theorem 9.13B, Chebotarev Density Theorem, second version] Let L/K be a geometric
Galois extension with G = Gal(L/K). Let C G be a conjugacy class in G and let SK′ be the set of unramified primes of L/K. Suppose the common constant⊆ field of L and K has q elements. Then #C qN qN/2 # P S′ : deg P = N, (P,L/K)= C = + O . { ∈ K K } #G N N 3. Duality between prime factors of divisors In this section, we show a duality between the prime factors of divisors of K. For a divisor D +, let d+(D) := max deg P : P D be the largest degree of the prime factors of D, and d+(0) = 0 if D =∈ 0. D Let { | } Q (D) := # P S : deg P = d+(D), P D S ∈ | + + be the number of prime factors of D in S attaining the maximal degree d ( D). For two divisors A, B , we say A B (resp. A>B) if A B is effective (resp. effective and nonzero). Then we have an identity∈ D between d≥(A) and d+(A) that is− analogous to (1). Similarly, one may formalize a dual identity that is analogous− to (2). But for the proof later, we only study the analogue of (1). Lemma 3.1 (Duality Lemma). Suppose f : N C is an arithmetic function with f(0) = 0. Then for any effective divisor A, the following identity holds → + (13) µ(B)1D(K,S)(B)f(d (B)) = QS(A)f(d (A)). − − A B X≥ 6 Here 1D(K,S) is the indicator function on D(K,S), which is defined as in (6). Proof. Here we follow the same spirits of the proof of [4, Lemma 3.3]. Observe that if A = 0, then (13) automatically holds. Hence in the following we assume that A> 0. Suppose we have the prime factorization A = a1P1 + arPr with deg P1 deg Pr. Preserving ordering, we split A into A = A1 + +Ak, where ··· ≤···≤ + ··· all prime factors of A have the same degree. Notice that for any B , we have 1 (B)=1 (B′), j ∈ D D(K,S) D(K,S) where B′ is the sum of all the prime factors of B of the smallest degree d (B). Note that 0 / D(K,S) by the definition of D(K,S) as in (6). Then − ∈ k
µ(B)1D(K,S)(B)f(d (B)) = µ(B′)1D(K,S)(B′)f(d (B′)) µ(B′′). − ′ − ′′ A B j=1 Aj B >0 Aj + +Ak B X≥ X ≥X +1 ···X ≥ It follows from the principle of inclusion-exclusion that 1, if A =0, (14) µ(B)= 0, otherwise. A B ( X≥ It follows that only when Aj+1 + +Ak = 0, i.e. Aj = Ak, we have nonvanished term µ(B′′). ′′ ··· Aj + +Ak B +1 ··· ≥ Thus we have P µ(B)1D(K,S)(B)f(d (B)) = µ(B′)1D(K,S)(B′)f(d (B′)). − ′ − A B Ak B >0 X≥ ≥X Moreover, notice that under the condition Ak B′ > 0, µ(B′)1D(K,S)(B′)f(d (B′)) = 0 if and only if B′ is ≥ + + − 6 a prime and B′ D(K,S). In this case noting that d (B′) = d (Ak) = d (A) and using the definition of ∈ − QS, we get
+ µ(B)1D(K,S)(B)f(d (B)) = µ(B′)1D(K,S)(B′)f(d (B′)) = QS(A)f(d (A)), − ′ − − A B Ak B >0 X≥ ≥X which completes the proof.
4. Asymptotic estimate for the average of QS(A)
In this section, we mainly show an asymptotic formula for the average of QS(A). The main technique for this is the estimation of the number of m-smooth divisors of degree n, which is an analogue of the smooth numbers in N. Similarly as Sect. 3, we only consider effective divisors in this section. For an effective divisor D +, we say D is m-smooth if deg P m for all P D. Let ∈ D ≤ | (n,m) := D + : deg D = n, d+(D) m S ∈ D ≤ be the set of all effective m-smooth divisors of degree n, and let Ψ(n,m) := # (n,m). To find an estimate of Ψ(n,m), by Corollary 2.5 we see that S
n (15) 1= bn = cK q + O(1), degXA=n 1 gK where cK = hK q − /(q 1) > 0. Then by [15, Theorem 2], for 1 u = n/m m/ log m and m m0 3 we have − ≤ ≪ ≥ ≥ 1+ u log u (16) Ψ(n,m)= c qnρ(u) 1+ O , K m where ρ(u) is the Dickman function defined by the unique continuous solution of the difference-differential equation uρ′(u) = ρ(u 1) for u > 1 with the initial condition ρ(u)= 1 for 0 u 1. Using ρ(u) < 1/Γ(u + 1), we get− the following− estimate from (16). ≤ ≤ Lemma 4.1. For m √n log n, we have that ≫ n n (17) Ψ(n,m) qn exp log , ≪ −m 2m where the implied constant depends only on K. 7 From now on, and until the end of this section, we will assume m n/10 and use Ψ(n,m) qn exp( n/m) ≤ ≪ − for simplicity when applying Lemma 4.1. Before estimating the average of QS(A), we write deg A=n QS(A) in terms of Ψ(n,m) as follows: P QS(A)= 1 deg A=n deg(P +B)=n X P S,d+X(B) deg P ∈ ≤ = 1 deg P n deg B=n deg P ≤ − PXS d+(BX) deg P ∈ ≤ (18) = Ψ (n deg P, deg P ) . − deg P n PXS≤ ∈ For Ψ (n deg P, deg P ), we have the following property. − Lemma 4.2. Let 1 r n be integers. Then for any 1 m n, we have the following inequality ≤ ≤ ≤ ≤ n (19) Ψ (n r deg P, deg P ) Ψ(n,m). − ≤ r deg P m X≤ Proof. Let k be the set of all prime divisors of degree k. Then we define a map T as follows P m T : (n rk,k) (n,m), S − ×Pk → S k[=0 (A, P ) A + rP. 7→ For any D (n,m), suppose T ((A1, P1)) = T ((A2, P2)) = D for some two pairs (A1, P1) and (A2, P2). ∈ S + + Then D = A1 + rP1 = A2 + rP2. Since d (Ai) deg Pi for i =1, 2, we get that d (D) = deg P1 = deg P2. It follows that D has at most n/r distinct prime≤ factors of the largest degree d+(D) whose coefficients are at least r. This means that there are at most n/r pairs of the same image under T . Therefore, (19) holds. First, we show an asymptotic estimate on the average of Q (A). P Lemma 4.3. We have
n n n (20) Q (A)= cK q + OA q exp c . P − log n degXA=n r Here and thereafter mentioned c is a positive constant that may vary from one line to the next. Proof. First, we can write the sum as follows Q (A)= 1+ (Q (A) 1) P P − degXA=n degXA=n degXA=n n (21) = cK q + (Q (A) 1)+ O(1). P − deg A=n QPX(A) 2 ≥ By the similar argument in (18), one can see that (Q (A) 1) Q (A)= Ψ (n 2deg P, deg P ) P − ≤ P − deg A=n deg A=n deg P n ≤ QPX(A) 2 QPX(A) 2 X ≥ ≥ = Ψ (n 2deg P, deg P )+ Ψ (n 2deg P, deg P ) − − deg P Now, we show the following asymptotic estimate for QS(A). Theorem 4.4. For any fixed subset S with natural density δ(S), we have ⊆P n n (25) QS(A)= δ(S)cK q + o(q ). degXA=n Proof. First, similar to the proof of Lemma 4.3, we break (18) up into two parts: Q (A)= Ψ (n deg P, deg P )+ Ψ (n deg P, deg P ) S − − deg A=n deg P where m √n log n is to be chosen later. ≫ For S3, by Lemmas 4.1 and 4.2 again, we have (27) S Ψ (n deg P, deg P ) nΨ(n,m) nqn exp( n/m) . 3 ≪ − ≪ ≪ − degXP S := S δ(S) Ψ (n deg P, deg P ) 5 4 − − m deg P n ≤ X ≤ = 1 δ(S) 1 − m deg P n deg B=n deg P m deg P n deg B=n deg P ≤ ≤ − ≤ ≤ − PXS d+(BX) deg P X d+(BX) deg P ∈ ≤ ≤ = 1 δ(S) 1 − deg B n m deg P =n deg B deg B n m deg P =n deg B ≤ − − ≤ − − d+(B)Xn deg B PXS d+(B)Xn deg B X ≤ − ∈ ≤ − = π (n deg B) δ(S)π (n deg B) K,S − − K − deg B n m ≤ − d+(B)Xn deg B ≤ − n (28) = (π (k) δ(S)π (k)) 1. K,S − K k=m deg B=n k − X d+X(B) k ≤ To analyze the growth rate of the error term, we define eK,S(n) := sup πK,S(k) δ(S)πK (k) , k n | − | ≤ eK,S(k) vK,S(n) := sup , n 1. k n kπK (k) ∀ ≥ ≥ 9 k Then eK,S(n) is nondecreasing, while vK,S (n) is nonincreasing, as n . By the inequalities πK (k) q /k n k → ∞ ≪ and deg B=n k 1 q − , we have − ≪ P n S π (k) δ(S)π (k) 1 | 5|≤ | K,S − K | k=m deg B=n k X X − n e (k) qn K,S ≪ qk k=m Xn qn v (k) ≪ K,S kX=m (29) nqnv (m). ≪ K,S It follows that (30) Q (A)= δ(S) Ψ (n deg P, deg P )+ R (n,m), S − K,S deg A=n m deg P n X ≤ X ≤ where R (n,m) nqnv (m)+ nqn exp( n/m) . K,S ≪ K,S − Take S = , we have P (31) Q (A)= Ψ (n deg P, deg P )+ O (nqn exp( n/m)) . P − − deg A=n m deg P n X ≤ X ≤ Combining (30), (31) and (20) together, we get that n (32) QS(A)= δ(S)cK q + EK,S (n,m), degXA=n where n (33) E (n,m) nqnv (m)+ nqn exp( n/m)+ qn exp c . K,S ≪ K,S − − log n r For the choice of admissible m, we will use some properties on the growth rate of the error terms eK,S(n) and vK,S(n), see Lemma 4.5 below. By Lemma 4.5(a), we have limn eK,S(n)/πK (n) = 0. This implies →∞ that limn nvK,S(n) = 0 due to nvK,S(n) supk n eK,S(k)/πK (k). Thus, by Lemma 4.5(b), for h(n) = →∞ ≤ ≥ n/ log n, there exists a sequence kn n∞=1 such that limn kn = limn n/kn = , n/kn n/ log n, { } →∞ →∞ n∞ ≪ and limn nvK,S(kn) = 0. Taking m = kn in (33) gives us that EK,S(n, kn)= o (q ), as desired. p →∞ p Lemma 4.5. (a) Suppose f,g : N (1, ) are two arithmetic functions such that → ∞ f(n) lim g(n)= and lim = δ. n n →∞ ∞ →∞ g(n) Suppose g(n) is monotonically increasing. Define e(n; f,g) := sup f(k) δg(k) . k n | − | ≤ Then e(n; f,g) (34) lim =0. n →∞ g(n) (b) Given a decreasing function f : N (0, ) with limn nf(n)=0. Suppose h : N [1, ) is an → ∞ →∞ → ∞ arbitrary function such that limn h(n) = and limn n/h(n) = . Then there exists a sequence →∞ ∞ →∞ ∞ kn ∞ of positive integers satisfying limn kn = such that { }n=1 →∞ ∞ (1) limn n/kn = . (2) n/k →∞ h(n). ∞ n ≪ (3) limn n f(kn)=0. →∞ · 10 Proof. (a) For any n, define h = sup m N : g(m) g(n)1/2 or m =1 . n ∈ ≤ n o Then hn is nondecreasing, hn Thus, e(n; f,g) g(h ) f(k) lim = lim n + lim sup δ =0. n g(n) n g(n) n g(k) − →∞ →∞ →∞ hn k n ≤ ≤ (b) Since limn nf(n) = 0, for any m 1, there exists a minimum positive integer constant N = N(m) such that →∞ ≥ n 1 (37) nf < m m h i for all n>N(m). Then N(m) increases as m increases. And we have that limn sup m N : N(m) (38) h = min h(n) , sup m N : N(m) all n>N(1), which implies that limn nf ([n/hn]) = 0. →∞ Finally, we take kn = [n/hn]. Then kn satisfies the required properties. 5. Partial sums of the Mobius¨ function In this section, we mainly show the analogues of Theorem 5 and Theorem 6 in [2] for function fields. The first analogue is an estimate on a partial sum of the M¨obius function. The second one is an intermediate result that can be used to convert the estimate of the average of QS(A) in (25) into the desired formula (7). We firstly show the analogue of [2, Theorem 5]. Lemma 5.1. For any bounded function f, we have qn (39) µ(A)1D(K,S)(A)f(d (A)) = Of,K . − log log n deg A n X≤ 11 Proof. Like [5, Lemma 4.2], we break up the sum based on the degree of the minimal prime factor Pmin(A) of A for A D(K,S). The notation P (A) is used only when A is distinguishable. Then ∈ min µ(A)1D(K,S)(A)f(d (A)) = f(deg P ) µ(A) − deg A n deg P n deg A n X≤ PXS≤ P X(A≤)=P ∈ min = f(deg P ) µ(A) deg P m deg A n PX≤S P X(A≤)=P ∈ min + f(deg P ) µ(A) m m n 1 cK q (45) Φ(n,m)= c q 1 P − + O n2 . K − | | deg P m Y≤ 12 Then by the Prime Number Theorem for function fields, we get that n q m (46) Φ(n,m) + n2cK q . ≪ m Taking m = [log log n] and combining (40), (43), (44), and (46) together, we can get the desired estimate (39). Remark 5.2. As [16, Theorem 1.2], to get the uniform bound (41), we only need to use a new Perron’s inversion formula due to Liu and Ye [18] and the fact that the zeta function ζK (s) of K has a zero-free region like the Riemann zeta function ζ(s). But it is well-known that the Riemann Hypothesis holds for ζK (s), which says all the zeros of ζK (s) lie on the line Re s = 1/2. Therefore, one may expect a better bound for M(n,m) by other methods. Now, analogous to [2, Theorem 6], we show the following duality between the d (A) and d+(A). − Theorem 5.3. For any bounded arithmetic function f with f(0) = 0, we have that (47) Q (A)f(d+(A)) δ(S)c qn S ∼ K degXA=n if and only if µ(A)f(d (A)) (48) lim − = δ(S). − n A →∞ 1 deg A n | | A≤ DX(K,S≤) ∈ Proof. Let g = g be the genus of K. Notice that for n> 2g 2, there is a constant c such that K − 0 n 1= cK q + c0. degXA=n By Lemma 3.1, we have δ(S)c qn Q (A)f(d+(A)) − K ∼− S degXA=n = µ(B)1D(K,S)(B)f(d (B)) − deg A=n A B X X≥ = µ(B)1D(K,S)(B)f(d (B)) 1 − deg B n deg C=n deg B X≤ X− qn = µ(B)1D(K,S)(B)f(d (B)) cK + c0 + − B deg B + O µ(B)1D(K,S)(B)f(d (B)) − k=n 2g+2 deg B=k X− X (49) := S8 + S9 + S10. n n By Lemma 5.1, we have S9 = o (q ) and S10 = o (q ), and hence Theorem 5.3. 13 Remark 5.4. For the rational function field K = Fq(x), by Lemma 3.1, we have the following identity µ(F )f(d (F )) 1 + (50) − = Q (F )f(d (F )) − F qn S 1 deg F n | | deg F =n F≤ XD(q,S≤) X ∈ for any function f. In this case, Theorem 5.3 follows immediately by (50) without using Lemma 5.1. Proof of Theorem 1.1. Theorem 1.1 follows immediately by combining Theorem 5.3 taking f(n) = 1 for n 1 and Theorem 4.4. ≥ 6. Some connections with other areas in number theory 6.1. Connection with ap’s of elliptic curves over number field. In this section, we display a connection of Theorem 1.1 with the arithmetical property of elliptic curves over number fields. Recall that an elliptic curve E over a number field is a smooth genus one curve with at least one point defined over . Every such curve can be representedK by a Weierstrass equation K (51) E : Y 2 = X3 + aX + b with some elements a and b in the ring of algebraic integer ring of . For the basic geometric and arithmetical properties of elliptic curves over number fields, one is suggestedOK K to Silverman’s book [19]. Given an elliptic curve E, or equivalently, given a Weierstrass form (51), we can find its discriminant ideal ∆E, 3 2 which is a factor of the principal ideal 16(4a +27b ). For every prime ideal p of , as long as p ∤ ∆E, the − OK corresponding residue curve E˜p is still a smooth genus one curve with at least one rational point defined over the residue field Fp of p. Hence in this case, E˜p is an elliptic curve over the finite field Fp [19, Chapter V]. In particular, in this case, we have the zeta function of E˜p defined by ∞ T m (52) Z(E˜ ; T ) := exp #E˜ (F m ) , p p p m m=1 ! X where the notation Fpm stands for the unique degree m extension of Fp. If we assume that q = #Fp is the cardinality of Fp, then due to the Weil conjecture, (52) is a rational function of form 2 1 apT + qT (53) Z(E˜ ; T )= − , p (1 T )(1 qT ) − − where ap Z an integer with absolute value at most 2√q; see [19, V, Theorem 2.2]. In particular, one sees that ∈ (54) #E˜p(Fp)=1 ap + q. − Now for each p, denote by Fp(E˜p) the function field corresponding to E˜p. By the relationship between the geometric points of a smooth curve and divisors of the function field of the same curve (see [19, Chapter II]), one finds that the set E˜p(Fp) is bijectively corresponding to the set of degree one effective divisors of Fp(E˜p). Recall that in our main theorem, let S = , then (7) can be written as P µ(D) 1 (55) lim − = δ( )=1. − n D − q P →∞ 2 deg D n deg P =1 ≤ X ≤ | | X D D(Fp(E˜p), ) ∈ P ˜ By deg P =1 1 = #Ep(Fp) and inserting (54) into (55), we immediately have the following interesting application to arithmetic geometry. Recall that we say a prime ideal p of is good for E if p is not a prime P K factor of ∆E . Theorem 6.1. Let E be an elliptic curve defined over a number field . For every good prime p of E, let K Fp(E˜p) be the corresponding function field of the residue curve E˜p, with constant field Fq, and let ap be such that #E˜p(Fp)=1 ap + q, then we have − µ(D) (56) ap =1 q lim . − · n D →∞ 2 deg D n ≤ X ≤ | | D D(Fp(E˜p), ) ∈ P 14 In particular, according to the modularity of elliptic curves over Q (see [20, 21]), we know that there exists a newform f (Γ (N)) with N the conductor of E such that for almost all prime integers p, the value a ∈ S2 0 p in (56) is the p-th Fourier coefficient of f. Here 2(Γ0(N)) is the space of cusp forms of weight 2 and level N; see [21] for more details. S In the same manner, if we still use the above notations, but for every good prime p, we take Sp = E˜p(Fp), which is a finite set. Thus on one hand, we know that δ(Sp) = 0. On the other hand, we have µ(D) 1 (57) lim − = δ(Sp)=0. − n D − q →∞ 2 deg D n deg P =1 ≤ X ≤ | | X D D(Fp(E˜p),Sp) ∈ ˜ Again, by deg P =1 1 = #Ep(Fp) and inserting (54) into (57), we get an analogue of Theorem 6.1, which is stated as follow. P Proposition 6.2. With the same notations as Theorem 6.1, but taking Sp = E˜p(Fp) for every good prime p of E, we have µ(D) (58) ap = (q + 1) q lim . − · n D →∞ 2 deg D n ≤ X ≤ | | D D(Fp(E˜p),Sp) ∈ 2 Now we denote by P p(T )=1 apT + qT Z[T ] the L-function of E˜p, i.e. the numerator of the E, − ∈ zeta-function Z(E˜p; T ). It is known that P p(T )=(1 αpT )(1 βpT ) E, − − such that m m m #E˜p(Fpm )=1 (α + β )+ q − p p for every integer m. Notice that if we denote by E˜pm the base change E˜p. Then by (54) we have an integer m m m apm such that #E˜p(Fpm )=1 apm + q . Hence apm = α + β for all positive integers m. On the other − p p hand, applying (56) to E˜pm , with Fpm (E˜p) replaced with Fpm (E˜pm ), one has for every m N ∈ m µ(D) (59) apm =1 q lim . − · n D →∞ 2 deg D n ≤ ≤ | | D D(F Xm (E˜ m ), ) ∈ p p P So we can deduce the relationships between the corresponding Alladi’s sum. Proposition 6.3. With the above notations, for every m N, the corresponding terms ∈ µ(D) 1 qm lim − · n D →∞ 2 deg D n ≤ ≤ | | D D(F Xm (E˜ m ), ) ∈ p p P satisfy the Newton’s identities of homogeneous symmetric polynomials. In particular, 2 µ(D) µ(D) (60) 1 q2 lim = 1 q lim 2q. − · n D − · n D − →∞ 2 deg D n →∞ 2 deg D n ≤ ≤ | | ≤ ≤ | | D FX˜ D FX˜ D ( p2 (Ep2 ), ) D ( p(Ep), ) ∈ P ∈ P m m Proof. Let tm(x, y) := x +y be the kth symmetric power-sum of two variables. Then the set tm(αp,βp)= apm for every non-negative integer m. Thus our conclusion follows directly from the Newton’s identities of 2 2 2 homogeneous symmetric polynomials. Moreover, when m = 2, one has (αp + βp) = αp + βp +2αpβp. Observe that αpβp = q, we get (60) via the relationship in (59). 15 6.2. A distribution on the restricted sums of µ(D)/ D . In this subsection, we take = Q. Recall | | K that there is a famous equidistribution property of ap , which is described by the Sato-Tate conjecture. More precisely, over the rational number field Q, this{ conjecture} (which is known) says the followings: Assume E does not have CM. Then the values ap/√p (as the prime p varies) are equidistributed in [ 2, 2] − with resepct to the probablity measure 1 x2/4 dx/π, i.e. − a p p β # p X : α √p β 1 x2 (61) lim ≤ ≤ ≤ = 1 dx. X n # p X o π − 4 →∞ { ≤ } Zα r For more details about the known cases and the generalizations of this conjecture, see [22, 23, 24, 25]. With connection stated in Theorem 6.1, we have the following result, which states the equidistribution property of the Alladi sum. Corollary 6.4. If E does not have CM, then the set 1 µ(D) √p lim √p − n D →∞ 2 deg D n ≤ X ≤ | | D D(Fp(E˜p), ) ∈ P p 2 is equidistributed in the closed interval [ 2, 2] with respect to the measure 1 1 x dx. − π − 4 6.3. The case of general smooth curves. More generally, let C be a smoothq curve defined over a number field . For every prime p at which C has good reduction C˜p. All the setups above are also well-defined in this situation.K In particular, we have P (T ) Z(C˜ ; T )= 2g , p (1 T )(1 qT ) − − g 2g where P (T )=1 ap T + + q T Z[T ] is a polynomial of degree 2g, where g is the genus of the 2g − ,C ··· ∈ curve C (also the genus of the function field Fp(C˜p)). And we also have #C˜p(Fp)=1 ap,C + q. Hence arguing similarly as above, we get the following result. − Theorem 6.5. Let C be a smooth projective curve defined over a number field . For every good prime p K of C, let Fp(C˜p) be the corresponding function field of the residue curve C˜p, with constant field Fq, and let ap be such that #C˜p(Fp)=1 ap + q, then we have − µ(D) (62) ap =1 q lim . − · n D →∞ 2 deg D n ≤ X ≤ | | D D(Fp(C˜p), ) ∈ P Acknowledgements The authors would like to thank Ning Ma for helpful comments. The author Biao Wang is grateful to the support of the Doctoral Dissertation Fellowship for Fall 2020 from the Department of Mathematics at the State University of New York at Buffalo. References [1] K. Alladi, Analogues to the Hardy-Ramanujan theorems, in: Proceedings of the Conference on Matrix Algebra, Compu- tational Methods and Number Theory (Mysore, 1976), Paper No. 3, 1977, p. 19 pp. Matscience Report No. 87. [2] K. Alladi, Duality between prime factors and an application to the prime number theorem for arithmetic progressions, J. Number Theory 9 (4) (1977) 436–451. doi:10.1016/0022-314X(77)90005-1. [3] M. L. Dawsey, A new formula for Chebotarev densities, Res. Number Theory 3 (2017) Art. 27. doi:10.1007/s40993-017-0093-7. [4] N. Sweeting, K. Woo, Formulas for Chebotarev densities of Galois extensions of number fields, Res. Number Theory 5 (2019) Art. 4. doi:10.1007/s40993-018-0142-x. [5] M. Kural, V. McDonald, A. Sah, M¨obius formulas for densities of sets of prime ideals, Arch. Math. 115 (2020) 53–66. doi:10.1007/s00013-020-01458-z. [6] B. Wang, An analogue of a formula for Chebotarev densities, Int. J. Number Theory 16 (7) (2020) 1557–1565. doi:10.1142/S1793042120500815. 16 [7] B. Wang, Ramanujan sum and Chebotarev densities, Ramanujan J. (2020). doi:10.1007/s11139-020-00269-8. [8] B. Wang, Analogues of Alladi’s formula, J. Number Theory 221 (2021) 232–246. doi:10.1016/j.jnt.2020.06.001. [9] K. Ono, R. Schneider, I. Wagner, Partition-theoretic formulas for arithmetic densities, in: Analytic number theory, mod- ular forms and q-hypergeometric series, Vol. 221 of Springer Proc. Math. Stat., Springer, Cham, 2017, pp. 611–624. doi:10.1007/978-3-319-68376-8\_3. [10] K. Ono, R. Schneider, I. Wagner, Partition-theoretic formulas for arithmetic densities, II, Hardy-Ramanujan Journal Volume 43 - Special Commemorative volume in honour of Srinivasa Ramanujan (2021) 1–16. [11] M. Rosen, Number theory in function fields, Vol. 210 of Graduate Texts in Mathematics, Springer-Verlag, New York, 2002. doi:10.1007/978-1-4757-6046-0. [12] W. Fulton, Algebraic curves. An introduction to algebraic geometry, W. A. Benjamin, Inc., New York-Amsterdam, 1969, notes written with the collaboration of Richard Weiss, Mathematics Lecture Notes Series. [13] M. F. Atiyah, I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley Publishing Co., Reading, Mass.- London-Don Mills, Ont., 1969. [14] D. Koukoulopoulos, The distribution of prime numbers, Vol. 203 of Graduate Studies in Mathematics, American Mathe- matical Society, Providence, RI, 2019. doi:10.1090/gsm/203. [15] E. Manstavichyus, Remarks on elements of semigroups that are free of large prime factors, Liet. Mat. Rink. 32 (4) (1992) 512–525. doi:10.1007/BF00970673. [16] Y. Fujisawa, M. Minamide, On partial sums of the M¨obius and Liouville functions for number fields (2012). arXiv:1212.4348. [17] A. C. Cojocaru, M. R. Murty, An introduction to sieve methods and their applications, Vol. 66 of London Mathematical Society Student Texts, Cambridge University Press, Cambridge, 2006. [18] J. Liu, Y. Ye, Perron’s formula and the prime number theorem for automorphic L-functions, Pure Appl. Math. Q. 3 (2, Special Issue: In honor of Leon Simon. Part 1) (2007) 481–497. doi:10.4310/PAMQ.2007.v3.n2.a4. [19] J. H. Silverman, The arithmetic of elliptic curves, 2nd Edition, Vol. 106 of Graduate Texts in Mathematics, Springer, Dordrecht, 2009. doi:10.1007/978-0-387-09494-6. [20] A. Wiles, Modular elliptic curves and Fermat’s last theorem, Ann. of Math. (2) 141 (3) (1995) 443–551. doi:10.2307/2118559. [21] F. Diamond, J. Shurman, A first course in modular forms, Vol. 228 of Graduate Texts in Mathematics, Springer-Verlag, New York, 2005. [22] R. Taylor, Automorphy for some l-adic lifts of automorphic mod l Galois representations. II, Publ. Math. Inst. Hautes Etudes´ Sci. (108) (2008) 183–239. doi:10.1007/s10240-008-0015-2. [23] L. Clozel, M. Harris, R. Taylor, Automorphy for some l-adic lifts of automorphic mod l Galois representations, Publ. Math. Inst. Hautes Etudes´ Sci. (108) (2008) 1–181, with Appendix A, summarizing unpublished work of Russ Mann, and Appendix B by Marie-France Vign´eras. doi:10.1007/s10240-008-0016-1. [24] M. Harris, N. Shepherd-Barron, R. Taylor, A family of Calabi-Yau varieties and potential automorphy, Ann. of Math. (2) 171 (2) (2010) 779–813. doi:10.4007/annals.2010.171.779. [25] T. Barnet-Lamb, D. Geraghty, M. Harris, R. Taylor, A family of Calabi-Yau varieties and potential automorphy II, Publ. Res. Inst. Math. Sci. 47 (1) (2011) 29–98. doi:10.2977/PRIMS/31. Department of Mathematics, Colorado State University, Fort Collins, Colorado 80523, USA Email address: [email protected] Department of Mathematics, State University of New York at Buffalo, Buffalo, NY 14260, USA Email address: [email protected] Department of Mathematics, University of South Carolina, Columbia, SC 29208, USA Email address: [email protected] 17