Abstract
Purpose
Don Zagier suggested a natural construction, which associates a real number and p-adic numbers for all primes p to the cusp form g=Δ of weight 12. He claimed that these quantities constitute a rational adele. In this paper we prove this statement, and, more importantly, a similar statement when g is a weight 2 primitive form with rational integer Fourier coefficients.
Methods
While a simple modular argument suffices for the proof of Zagier’s original claim, consideration of the case when g is of weight 2 involves Hodge decomposition for the formal group law of the rational elliptic curve associated with g.
Results and Conclusions
While in the weight 12 setting considered by Zagier the claim under consideration depends on a specific choice of a mock modular form which is good for g, in the case when g is of weight 2, the statement has a global nature, and depends on the fact that the classical addition law for the Weierstrass ζ-function is defined over .
MSC
11F37; 14H52; 14L05
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Background
Let
with q= exp(2π i τ) and I(τ)>0 be a primitive form of conductor N (i.e., a new normalized cusp Hecke eigenform on Γ0(N), cf. [1], Section 4.6) of even integer weight k. Assume that all Fourier coefficients are rational integers.
We denote by the Eichler integral
associated with g.
Let M be a weak harmonic Maass form which is good for g in the sense of [2] (see Section ‘Proof of Theorem 1’ below for the relevant definitions), and let
be the canonical decomposition of M into its non-holomorphic part M− and a mock modular form M+. Although the mock modular form M+ does not typically have rational Fourier coefficients, Theorem 1.1 in [3], implies the existence of
such that
Here and throughout, ϕ∈K((q)) means that qtϕ∈K ⟦ q ⟧ for some positive integer t.
For a prime p, the operators U=U p and V=V p act on K((q)) by
and we will suppress the index p when that does not lead to confusion.
The coefficients of the series typically have unbounded denominators. More specifically (see [3, 4] and Proposition 5 below), for almost all primes p, there exist with μ p =0 if p∤b(p) such that the powers of p in the denominators of the coefficients of the series
are bounded. The mock modular form M+ is defined modulo an addition of a weakly holomorphic modular form h∈M 2−k!(N) which is bounded at all cusps except infinity and has rational Fourier coefficients at infinity. However, since the Fourier coefficients of h must have bounded denominators, the choice of M+ does not affect the quantities . It was Zagier (unpublished) who first considered the quantities λ p in the case when k=12 and g=Δ∈S12(1): he claimed that there is an ‘optimal’ p-adic multiple of to correct . In this case, Zagier observed the following phenomenon (see Proposition 7 in Section ‘Proof of Theorem 1’ for a proof).
Proposition 1
If g=Δ∈S12(1), then for all but possibly finitely many primes p, we have that .
Proposition 1 means that the sequence (−α,(λ p )) is an adele of . Note that there is a considerable freedom in the choice of α: for any , the quantity α+r will do the same job. Furthermore, if one picks α+r instead of α, then λ p becomes λ p −r for all p shifting the adele by the principal adele (r). Equivalently, there exists a choice of α such that for all primes p. To summarize, the above construction determines a map which associates an adele class
to a primitive form g with rational Fourier coefficients.
In this paper (see Theorem 1 below), we prove (1) in the case when g is of weight 2. There are advantages to this case. Firstly, there is an abundance of examples since there are infinitely many primitive forms with rational integer Fourier coefficients. Secondly, the infinitude of supersingular primes for such a form proved by Elkies [5] yields a systematic involvement of quantities μ p .
Theorem 1
Let g be a weight 2 primitive form. For all but possibly finitely many primes p, the quantities (and ) are p-adic integers.
Remark 1
Despite the obvious similarity between Proposition 1 and Theorem 1, our proofs of these two statements are based on completely different ideas.
Remark 2.
It is not difficult to prove the assertion of Theorem 1 for ordinary primes (Proposition 6 below). However, the argument used in that proof of Proposition 6 does not generalize to other primes.
We derive Theorem 1 from Theorem 2 below. The latter, in our opinion, is an elegant statement of independent interest.
Section ‘Proof of Theorem 1’ of the paper is devoted to principal ideas involved into the proof of Theorem 1. The proofs of several propositions formulated in Section ‘Proof of Theorem 1’ are postponed to further sections. Specifically, in Section ‘Weak harmonic Maass forms and certain p-adic limits’ we recall some facts and definitions related to weak harmonic Maass forms and prove the initial version of Zagier’s claim (see Propositions 1, 7). In Section ‘Weight zero weak harmonic Maass forms and the pullback of the Weierstrass ζ-function’, we relate the weak harmonic Maass form M of weight 2−k=0 which is good for g to a pullback of the Weierstrass ζ-function. Section ‘One-dimensional commutative formal group laws’ is devoted to several technical statements on one-dimensional formal group laws. Finally, Section ‘The addition law for the Weierstrass ζ-function’ is devoted to (elementary) analysis of the addition law for the Weierstrass ζ-function which allows us to make a statement of global nature (i.e. ‘for all but possibly finitely many primes’).
Methods
Proof of Theorem 1
In order to clarify the ideas of our proof of Theorem 1, we begin with a relation between the theory of weak harmonic Maass forms of weight zero and classical Weierstrass theory of elliptic functions. This relation allows us, in particular, to obtain an interpretation (3) for the quantity α. The assumption k=2 is crucial for this discussion.
The modular form g determines a rational elliptic curve along with its modular parametrization (see e.g. [6] for details). Specifically, the map defined by
is a group homomorphism, its image is a rank two lattice , and Eichler - Shimura theory guarantees that the quantities g2=g2(Λ) and g3=g3(Λ) defined by
are rational numbers. The quotient is thus an elliptic curve over , and we denote by ω the nowhere vanishing differential on E normalized such that its pullback with respect to the covering map is dz.
We thus let and obtain the map
such that ω pulls back to −2π i g(τ) d τ. Note that we do not consider the minimal model of E here, and thus, in particular, our considerations do not depend on Manin’s constant. The map is defined here as a complex-analytic map, but it is known to be also a birational map between algebraic varieties. In particular, the values of the J-invariant at the preimages of divison points are algebraic numbers. It is well-known that since , we have that , the origin of E, and the modular parametrization map is unramified at i ∞ (see e.g. [7], Lemma 1).
The Weierstrass ζ-function associated with Λ
is a meromorphic function on , which is not a lift under ψ of any function on E simply because ζ is not Λ-periodic. However, by a classical observation which goes back to Eisenstein (see [8]), one can make this function Λ-periodic by adding to it a linear combination of z and . More precisely, let a(Λ) be the volume of the fundamental parallelogram of the lattice Λ. Then the function
is Λ-periodic. Here is the value at Λ of the C∞ Eisenstein series of weight 2
This function is defined in [8] with the help of Eisenstein summation, and has the Fourier expansion (see [9], where the function is denoted by )
Since R is Λ-periodic, it can be pulled back to X0(N) as
The non-holomorphic Γ0(N)- modular function N splits naturally into a sum N=N++N− of a meromorphic function N+ and an antiholomorphic function N−:
In Section ‘Weak harmonic Maass forms and certain p-adic limits’, we compare the functions M and N, and obtain the following:
Proposition 2
There exists a positive integer such that
Moreover,
for all but possibly finitely many primes p.
This proposition allows us to indicate a natural choice
such that . Moreover, it allows us to immediately reduce the proof of Theorem 1 to the proof of the following statement.
Theorem 2
For a primitive cuspform with rational integer Fourier coefficients b(n), let
be the associated Eichler integral, and let Λ=Λ g be the lattice in defined above.
For almost every prime p there exist and with μ p =0 if b(p)≢0 mod p such that
Proof. The proof of Theorem 2 is based on an algebraic interpretation of the ideas which allowed us to make a Λ-periodic function out of Weierstrass ζ-function. Namely, the elliptic curve E is defined over by the equation
and carries the differentials of the second kind ω=d x/y and η=x d x/y. The fact that the function R above is Λ-periodic can be considered as a consequence of the (complex-analytic) Hodge decomposition . Then the value of the weight 2 Eisenstein series becomes the coefficient of ω in the decomposition of the meromorphic differential of the second kind into a linear combination
of the holomorphic differential and the antiholomorphic differential (see [9], Section 1.3 for details). Recall that, by definition, meromorphic differentials of the second kind are those which become exact being pulled back to the covering . In order to clarify the relation to our function R, note that for a meromorphic function , the differential h′(z) d z is of the second kind if and only if the function in two complex variables
is Λ2-periodic. This differential is exact if and only if h itself is Λ-periodic. A standard addition formula for the Weierstrass ζ-function (see (22)) implies that δ(ζ) is Λ2-periodic. For both functions z and we have that ; therefore, these functions are Λ2-periodic trivially. We can now interpret both the Hodge decomposition (6) and the Λ-periodicity of R as a decomposition of the meromorphic function Ψ(z)(=ζ(Λ,z)) such that δ(Ψ) is Λ2-periodic into a linear combination of z and modulo Λ-periodic functions. Note that Λ-periodic functions are exactly those which pull back from E. We denote the linear space of meromorphic Λ-periodic functions with poles outside Λ by . While ζ(Λ,z) has its poles in Λ, its shift by a Λ-periodic function ζ(Λ,z)+℘′(Λ,z)/2℘(Λ,z) has its poles outside Λ.
This discussion allows us to rewrite the Λ-periodicity of R (or, equivalently, (6)) as
and motivates the following definition for the first de Rham cohomology of a formal group law. For a one-dimensional formal group law F(X,Y), defined over (see Section ‘One-dimensional commutative formal group laws’ for basic definitions and properties), a formal power series is called a cocycle if
and ξ is called a coboundary if . The first de Rham cohomology is defined as the quotient of cocycles modulo coboundaries.
This definition introduces as a vector space over while Theorem 2 requires us to consider a related -module. In Section ‘Weight zero weak harmonic Maass forms and the pullback of the Weierstrass ζ-function’, we prove the following proposition which helps us to choose a natural normalization for that.
Proposition 3
Let F be a one-dimensional formal group law over , and let be a cocycle. Then . □
Proposition 3 suggests us to consider the -module defined by
This module was considered by N. Katz in [10]. In particular, by Theorem 5.3.3 of [10], is a free -module of rank h=height(F(p)), where F(p) is the reduction of F modulo p, assuming that h<∞. As an example, for such a formal group law F, its logarithm by Chapter IV, Proposition 5.5 of [11], and thus obviously spans if h=1. We will also need an explicit basis of if h=2.
Proposition 4
Let F be a one-dimensional formal group law over such that its modulo p reduction F(p) is of height h=1 or 2. Let be the logarithm of F.
When h=1, the one-dimensional -module is spanned by ℓ F (X).
When h=2, the two-dimensional -module is spanned by ℓ F (X) and p−1ℓ F (Xp).
We provide an elementary proof of Proposition 4 for h=2 in Section ‘Weight zero weak harmonic Maass forms and the pullback of the Weierstrass ζ-function’ of the paper. This proof generalizes to any h<∞, though we do not need and do not prove any generalization here. This proposition does not seem to be new. For instance, it was pointed out by the referee that Proposition 4 should follow from the fact proved by N. Katz in [10] that in the supersingular case the Dieudonné module gives the whole along with the well-known fact that the Frobenius map is bijective on .
We are particularly interested here in the the formal group law D g over whose logarithm is for a primitive form g∈S2(N) of weight 2 with rational integral Fourier coefficients. For a prime p∤N, the height of the modulo p reduction of D g is 1 if b(p)≠0, and 2 otherwise. We thus obtain that
Theorem 2 would follow from (8) immediately if was an element of . That however is not the case at least because .
We now consider the one-dimensional formal group law determined by Equation 5 (see Section ‘Weight zero weak harmonic Maass forms and the pullback of the Weierstrass ζ-function’ for a definition) with the formal group parameter X=−2x/y=−2℘(Λ,z)/℘′(Λ,z). Since , one can write ζ(Λ,z)=1/X+C0+Φ(X) with and a formal power series .
It will be convenient for us to introduce the following notation. Throughout, we write for a subring of which coincides with for some integer l. (For example, a power series means that for all integers n for all but possibly finitely many primes p.)
In Section ‘One-dimensional commutative formal group laws’, we employ the addition law for the Weierstrass ζ-function to prove that the formal power series Φ(X) satisfies
In Proposition 10, we show that the power series establishes an isomorphism over . This proposition is a simplified version of a more precise theorem of Honda [12] (cf. also [13]). This isomorphism allows us to rewrite (9) as
and to use Proposition 9 below in order to conclude that
We thus conclude that
for all but possibly finitely many primes p. We take into the account that (see Proposition 10) , therefore the reciprocal
This observation combined with (10) and (8) accomplishes our proof of Theorem 2.
As it was mentioned above, Theorem 1 follows from Theorem 2.
Results
Weak harmonic Maass forms and certain p-adic limits
In this section, g∈S k (N) is a primitive form with rational integral Fourier coefficients of arbitrary even integer weight k≥2. In a moment, we will pay special attention to the cases when N=1, and dimS k (1)=1, namely k=12,16,18,20,22,26. In particular, Zagier’s initial claim, namely Proposition 1 which motivated this project and served as its starting point, is a special case of Proposition 7 which is proved in this section.
To begin with, we recall briefly the definition of and some basic facts about weak harmonic Maass forms. For further details, we refer the reader to [2, 14]. For , the complex upper half-plane, let τ=x+i y with . Let Δ2−k be the weight 2−k hyperbolic Laplacian
A harmonic weak Maass form M of weight 2−k and level N is a smooth function on the upper half-plane which satisfies the following properties:
-
1.
For all we have
-
2.
We have that Δ 2−k(M)=0.
-
3.
The function M(τ) has at most linear exponential growth at all cusps of Γ 0(N).
We denote the -vector space of weak harmonic Maass forms by H2−k(N).
The operator
takes weak harmonic Maass forms to weakly holomorphic (i.e. holomorphic on the upper half-plane with possible poles at cusps) modular forms of weight k and level N.
We now restrict our attention to the subspace of weak harmonic Maass forms which map to cusp forms in S k (N) under the ξ operator. Following [2], we say that a harmonic weak Maass form M∈H2−k(N) is good for g if the following conditions are satisfied:
-
The principal part of M at the cusp ∞ belongs to .
-
The principal parts of M at other cusps of Γ0(N) are constant.
-
We have that ξ(M)=∥g∥−2g, where ∥·∥ is the usual Petersson norm.
The existence of M∈H2−k(N) which is good for g is proved in [2]. Every weak harmonic Maass form M decomposes naturally into the sum
where the function M+ is holomorphic on and meromorphic at cusps. The function M+ is referred to as a mock modular form. If M is good for g, then g is called the shadow of M+. The mock modular form M+ has a Fourier expansion in q=e2πiτ, and the coefficients of this expansion are the subject of interest in this paper. Theorem 1.1 of [3] guaranties the existence of such that
Let p be a prime. For a formal power series series with rational coefficients we put
and introduce the metrics on the set of formal power series ϕ such that ord p (ϕ)>−∞ by putting . We tacitly identify rational numbers with elements of under the natural embedding .
Proposition 5
Assume the notations and conventions above. If k>2, we assume additionally that p2|N for all primes p|N.
For every prime p there exist such that
The quantities are defined uniquely if p2∤N.
Proof.
The argument below is a refinement of similar arguments from the proof of Theorem 1.1 in [4] and the proof of Theorem 1.2 in [3] adapted for our current purposes.
Recall that
The action of the Hecke operators on the weak harmonic Maass forms of weight 2−k is described in [2]. For a prime p, the Hecke operator T p acting on forms of weight 2−k is defined by
and it is not difficult to show (see [2], proof of Theorem 1.3) that, since M is good for g,
with a weakly holomorphic modular form . Equation 12 is an analog of the obvious
We firstly consider the case when p2∣N. It follows from Theorem 4.6.17 (3) of [1], that b(p)=0, thus ; therefore, . At the same time, by Bol’s identity, , where D:=(2π i)−1d/d τ, and we conclude that also . It follows that λ p =μ p =0 does the job in this case.
Since now on, we assume that p2∤N. The uniqueness clause of Proposition 5 follows immediately from (and therefore, ) in this case by ([1], Theorem 4.6.17). We thus only need to prove the existence clause. Moreover, we can and will assume that k=2 if p∣N.
We now introduce certain quantities β and β′. Our definition depends on whether p∣N or p∤N.
If p∣N then by ([1], Theorem 4.6.17 (2)), we have b(p)2=pk−2, and we assumed that k=2; therefore, b(p)=±1. In this case, we put β=b(p) and β′=p β.
If p∤N denote by β and β′ the roots of the p-th Hecke polynomial
ordered such that ord p (β)≤ord p (β′).
Note that in both cases β β′=pk−1, thus ord p (β)+ord p (β′)=k−1>0, and therefore ord p (β′)>0.
Put
It follows from (11) and (12) that
Iterating the action of the U-operator, we produce for l≥1
We now consider separately p-ordinary (i.e. ord p (β)=0) and non-p-ordinary (i.e. ord p (β)>0) cases.
We begin with the p-ordinary case. In this case by Hensel’s lemma if p∤N, and by the definition above if p∣N.
Since R p ∈M 2−k!(N), we have that ord p (R p )>−∞. Thus, the limit exists in , since ord p (β′)=k−1>0.
Since U=U p commutes with Hecke operators T m , for all primes m≠p, a standard induction argument proves that there exist such that
We now consider the cases when p∤N and p∣N separately. We claim that in either case, λ p =u and μ p =0 do the job.
We begin with the case when p∣N (thus, k=2 and p2∤N). Equations 14 and 15 imply that
Since ord p (R p )>−∞, we conclude that as required.
We now consider the case when p∤N. In this case, equations (14) and (15) imply that
thus
Again, since ord p (R p )>−∞, we conclude that . We now invert the operator , which makes sense in the q-adic topology on , put
and derive that as claimed.
We now consider the non-p-ordinary case, and assume that ord p (β)>0. Our assumptions along with the discussion above imply that ord p (β)>0 may happen only if p∤N. In this case, we can only guarantee that . We now consider two similar formal power series and :
Note that this definition of is consistent with (13) because p∤N in this case. As above, it follows from (11) and (12) that
and iterating the action of the U-operator we obtain an analog of (14)
and both infinite sums converge since both ord p (β)>0 and ord p (β′)>0 while still ord p (R p )>−∞. An argument identical to that in the p-ordinary case now implies the existence of two quantities such that
It follows from (16) and (17) that
and a linear combination of these two equations transforms to
We now notice that the p-adic valuation of the series on the right is finite and put
We still have to show that both these quantities actually belong to , not merely . That follows from their definition along with the consideration of the action of the Galois group on (17).
The following proposition was proved by Zagier; this proposition motivates the claim about the adele.
Proposition 6
For all but possibly finitely many primes p such that g is p-ordinary, we have ord p (λ p )≥0.
Proof.
Let
We have that
therefore and, in particular, for all l≥0
for all but possibly finitely many primes p. Since g is p-ordinary, λ p =u and ord p (β′)=k−1. We calculate the coefficient of q in both sides of (17) and obtain that
The proposition follows from (19) combined with (20) and the ultrametric inequality.
The proof of Proposition 6 does not generalize to non-ordinary primes, and in no case the set of non-ordinary primes is known to be finite. However, in the case g=Δ∈S12(1) (and in some similar cases), there is an easy argument independent on whether a prime is ordinary or not. Specifically, we now prove the following proposition which mildly generalizes Proposition 1.
Proposition 7
If N=1 and k=12,16,18,20,22,26, then for all but possibly finitely many primes p we have that , and .
Remark 3.
The case N=1 and g=Δ of weight k=12 was considered by Zagier. It was his observation that (−α,(λ p )) is an adele of . Our statement about μ p here does not seriously enhance Proposition 7. Firstly, we do not know whether there are infinitely many primes p such that p∣b(p) and therefore μ p may be non-zero. Secondly, the quantities μ p are obviously independent on the choice of α, therefore we do not see any natural way to speak about an adele class determined by these quantities. Although our proof of Proposition 7 may be generalized to some other cases, we do not know any interesting and natural infinite series of examples which may be treated using this kind of argument.
Proof.
In these cases, dimS k (1)=1, and thus, we may and will assume that has a principal part of q−1. Let
In the p-ordinary case, we equate the coefficients of q in (14) and take into the account (15) to obtain
In the non-p-ordinary case, we equate the coefficients of q in (16) and take into the account (17) and (18) to obtain
It suffices to show that ord p (d p (pl))+k−1≥0 for all l≥0 for almost all primes p. That will obviously follow from the inequality
for all primes p>3. In order to verify this inequality, note that since the principal part of is q−1, the equations (11) and (12) imply that the principal part of pk−1R p is q−p−b(p)q−1. Thus, the modular form Δppk−1R p ∈M12p+2−k has its coefficients of q0,q1,…,qp−1 in . Since
it follows from Theorem X.4.2 of [15], that all coefficients of , and, therefore, of as required.
Weight zero weak harmonic Maass forms and the pullback of the Weierstrass ζ-function
In this section, we prove Proposition 2. We thus assume that k=2 and preserve all previous notations and conventions throughout this section. Recall that M=M++M−∈H0(N) is a weak harmonic Maass form which is good for g∈S2(N). Since constants belong to H0(N), we may and will always assume that the constant term of the Fourier expansion at infinity of the mock modular form M+ is a rational number. Note that the weight zero Laplacian Δ0 is, up to a factor of y2, classical and, since k=2, the condition Δ0(M)=0 simply means that M is a harmonic function. The decomposition M=M++M− simplifies to the decomposition of a harmonic function into the sum of meromorphic and anti-holomorphic functions. We begin with a comparison of the anti-holomorphic parts. Since M is good for g, we have that
On the other hand, (2) implies that
A substitution calculation (see e.g. [6], p.374) implies that
where is the degree of the map . We thus conclude that N−=C M−, and therefore the function
is a meromorphic Γ0(N)-invariant function on cusps. Note that while M+ has its only pole at infinity, N+ (and thus N+−C M+) may have poles both at other cusps and in the interior of the upper half-plane. However, since the map X0(N)→E is algebraic, N may have only finitely many poles τ i of multiplicities κ i in the fundamental domain , and the values of the J-invariant at these poles are algebraic numbers. It follows that is a weakly holomorphic modular form with algebraic coefficients of the principal parts of its its Fourier expansion at all cusps. Therefore, by Chapter 6.2 in [16], we have that the Fourier expansion at infinity , and dividing by back by we conclude that with ord p (N+−C M+)>−∞ for all but possibly finitely many primes p. That will imply the second claim of Proposition 2 if we show that , or, equivalently, that . We note that and by (2), take into the account that for almost all primes, and conclude that
One-dimensional commutative formal group laws
In this section, we recall some basics on commutative formal group laws, prove Propositions 3 and 4, and establish a simplified explicit version of Honda’s theorem in Proposition 10. Recall (see, e.g. [11], Chapter IV.2) that, for a commutative ring with an identity element, a one-dimensional commutative formal group law F over is a power series which satisfies the following (not actually independent) conditions.
-
(a)
F(X,Y)=X+Y+(terms of degree≥2)
-
(b)
F(X,F(Y,Z))=F(F(X,Y),Z)
-
(c)
F(X,Y)=F(Y,X).
-
(d)
There is a unique power series such that F(X,ι(X))=0.
-
(e)
F(X,0)=X and F(0,Y)=Y.
All formal group laws considered in this paper are one-dimensional and commutative, and we will skip these adjectives.
A ring embedding allows one to consider a formal group law over as a formal group law over , and we do that tacitly using the ring embeddings for almost all primes p throughout.
We begin with Proposition 3.
Proof.
Let be a cocycle of F so that
for an integer a. We differentiate with respect to Y and set Y=0 to obtain that
where is the partial derivative of F(X,Y) with respect to Y. Since F(X,0)=X and ,
with t= max(a,b) and such that as required.
We record the outcome of the above argument in the special case a=b=t=0 as a separate proposition.
Proposition 8
Let F be a formal group law over . If satisfies and ord p (ξ′(0))=0, then .
Although the following proposition has a global nature, it follows immediately from Proposition 8.
Proposition 9
Let F be a one-dimensional formal group over , and let satisfy . Then .
Proof.
Indeed, since , we have that ord p (ξ′(0))=0 for almost all primes p, and therefore, by Proposition 8, for almost all primes p, and our claim follows from that.
Let F,G be two formal group laws. A power series is called a homomorphism from F to G if
For example, for a formal group F over the ring the power series F r p (X):=Xp is an endomorphism of F, and it is called Frobenius endomorphism.
A homomorphism f is called a weak isomorphism if it has a two-sided inverse. The inverse, if it exists, is given by the formal power series f−1 such that
Additionally, f is called a strong isomorphism if f′(0)=1. We will deal only with strong isomorphisms here, and therefore drop the adjective. It is easy to check that a homomorphism f which satisfies f′(0)=1 is an isomorphism. Equivalently, for a power series such that f′(0)=1 there exists . If is a -algebra, then any formal group law F over is isomorphic to the additive group . This isomorphism is called the logarithm of F, and we denote it by ℓ F . In particular, we have that
and
thus the logarithm series ℓ F determines the group law F. For formal group laws F and G over a -algebra , the formal power series gives an isomorphism F→G over .
We will need two formal group laws, D g and, and an isomorphism between them.
The formal group law D g is associated with the Dirichlet series which has an Euler product. Recall that is a primitive form with integral Fourier coefficients . It follows from [12] (see also [13], Theorem F) that the formal group determined by its logarithm
which is a priori defined over , is in fact defined over (that is ).
In order to define the formal group law of the elliptic curve (5), let
where c2=g2(Λ)/20, c3=g3(Λ)/28, etc. be the Laurent series of the Weierstrass ℘-function.
We define the formal group law of the elliptic curve (5) as the formal group law determined by its logarithm
The power series
gives an isomorphism over .
The short form of the Weierstrass equation typically is not minimal. One may use the minimal Néron model of E, and produce out of it a formal group law over using the addition law on E as in Chapter IV.2 of [11]. Then is isomorphic to our over . Honda [12] (see also [13]) proved that the formal group laws and D g are isomorphic over . Our Proposition 10 below is a simplified version of this statement adapted for our purposes.
Proposition 10
The isomorphism is defined over . In other words,
Proof.
We put q=e2πiτ, and consider f as a function of τ which is the pullback of the rational function Z=−2x/y under . Thus f(τ) is a meromorphic modular function on Γ0(N). This function is bounded at infinity and has poles in the preimages τ i of . Since the map is an algebraic finite covering map between two algebraic varieties defined over , the function f(τ) may have only finitely many poles τ i with multiplicities κ i in the fundamental domain , and the values of the J-invariant at these points are algebraic numbers. The weakly holomorphic weight zero modular form has algebraic Fourier coefficients and a standard bounded denominators argument based on Theorem 3.52 of [16], implies that as required.
Let F be a formal group law defined over a ring . A ring homomorphism allows one to consider F as a formal group law over (taking the images under the ring homomorphism of all coefficients of the two-variable power series F).
The projection is defined for almost all primes p, and allows us to consider the reductions F(p) over of a formal group law F defined over . If the characteristic of is p>0, then for a formal group law F over the largest integer h=h(F) such that the multiplication by p endomorphism [p] is a power series in is called the height of F. It is known (see e.g. [11]) that h(F)≥1, and the height is assumed to be infinite when [p]=0. In particular, for all primes p∤N (see [12])
Let us now prove Proposition 4.
Proof.
It suffices to show that . Let
Then by Proposition IV.5.5 of [11]. We have that
Write n=m pν with p∤m. We thus need to show that for all ν≥0 and m≥1
Note that
and write F(X,Y)p=F(Xp,Yp)+p H with . It follows from a lemma on binomial coefficients proved by Honda in Lemma 4 in [12], that
and that is exactly what we need.
The addition law for the Weierstrass ζ-function
In this section, we prove (9). We write ℘(z)=℘(Λ,z), ℘′(z)=℘(Λ,z), and ζ(z)=ζ(Λ,u) suppressing the lattice Λ from our notations because the lattice is assumed to be fixed throughout this section. We will make use of classical addition formulas for Weierstrass functions:
The latter formula can be easily derived from
We now consider the formal group law determined by Equation 5. Let Z=−2x/y, and W=−2/y. Equation 5 transforms to
and, acting as in Chapter IV.1 of [11], we recursively substitute the right-hand side of this equation for W into itself. Then similarly to the proof of Proposition 1.1 a in [11], we make use of a variant of Hensel’s lemma ([11], Lemma 1.2) and produce a formal power series
with .
Note that the formal power series has rational coefficients, and recall that the logarithm of, by definition, is its formal inverse
Making use of the notations just introduced we firstly rewrite and analyze addition formula (21).
Proposition 11
In the notations above we have that
with a formal power series such that A(0,Z2)=A(Z1,0)=1.
Proof.
Note that (24) is obvious with a formal power series satisfying A(Z1,Z2)=A(Z2,Z1) and A(0,Z2)=A(Z1,0)=1, because ℘(z)=1/z2+…. We thus only need to prove that in fact .
For i=1,2, let W i =W(Z i ). We rewrite (21) as
Put for to obtain
Since
with , and
we obtain
with as required.
We are now ready to prove (9).
Proposition 12
Let . Then .
Proof.
Note that
For i=1,2 let x i =Z i /W i and y i =−2/W i .
Using (22) and (23) we find that
We take into the account that
and make use of (24) to find that
with as above. Taking into the account (25) and Proposition 11, we conclude that
At the same time, since , clearly
We thus conclude that as required.
Conclusion
We want to emphasize the similarity between (7) and the decomposition
derived from (10) and (8) valid for all but finitely many primes p. Here is the action of Frobenius on of the formal group law over .
References
Miyake T: Modular forms. Translated from the 1976 Japanese original by Yoshitaka Maeda. Reprint of the first 1989 English edition. Springer Monographs in Mathematics. Springer-Verlag, Berlin; 2006.
Bruinier JH, Ono K, Rhoades R: Differential operators for harmonic weak Maass forms and the vanishing of Hecke eigenvalues. Math. Ann 2008, 342: 673–693. 10.1007/s00208-008-0252-1
Guerzhoy P, Kent ZA, Ono K: p -adic coupling of mock modular forms and shadows. Proc. Natl. Acad. Sci. USA 2010,107(14):6169–6174. 10.1073/pnas.1001355107
Bringmann K, Guerzhoy P, Kane B: Mock modular forms as p -adic modular forms. Trans. Amer. Math. Soc 2012, 364: 2393–2410. 10.1090/S0002-9947-2012-05525-5
Elkies ND: The existence of infinitely many supersingular primes for every elliptic curve over Q. Invent. Math 1987,89(3):561–567. 10.1007/BF01388985
Zagier D: Modular parametrizations of elliptic curves. Canad. Math. Bull 1985,28(3):372–384. 10.4153/CMB-1985-044-8
Mazur B, Swinnerton-Dyer P: Arithmetic of Weil curves. Invent. Math 1974, 25: 1–61. 10.1007/BF01389997
Weil A: Elliptic functions according to Eisenstein and Kronecker. Reprint of the 1976 original. Classics in Mathematics. Springer-Verlag, Berlin; 1999.
Katz NM: p-adic interpolation of real analytic Eisenstein series. Ann. Math 1976,104(3):459–571. 10.2307/1970966
Katz NM: Crystalline cohomology, Dieudonné modules, and Jacobi sums. Automorphic forms, representation theory and arithmetic (Bombay, 1979), pp. 165–246. Tata Inst. Fund. Res. Studies in Math., 10, Tata Inst. Fundamental Res., Bombay 1981.
Silverman JH: The arithmetic of elliptic curves. Corrected reprint of the 1986 original. Graduate Texts in Mathematics, 106. Springer-Verlag, New York; 1992.
Honda T: Formal groups and zeta-functions. Osaka J. Math 1968, 5: 199–213.
Hill WL: Formal groups and zeta-functions of elliptic curves. Invent. Math 1971, 12: 321–336. 10.1007/BF01403311
Ono K: Unearthing the visions of a master: harmonic Maass forms and number theory, Proceedings of the 2008 Harvard-MIT Current Developments in Mathematics Conference, pp 347–454. International Press, Somerville; 2009.
Lang S: Introduction to modular forms. With appendixes by D. Zagier and Walter Feit. Corrected reprint of the 1976 original. Grundlehren der Mathematischen Wissenschaften, 222. Springer-Verlag, Berlin; 1995.
Shimura G: Introduction to the arithmetic theory of automorphic functions. Reprint of the 1971 original. Publications of the Mathematical Society of Japan, 11. Kanô Memorial Lectures, 1. Princeton University Press, Princeton; 1994.
Acknowledgements
The author is very grateful to Don Zagier for sharing his (unpublished) idea about the adele. The author thanks the referee for a big amount of remarks and suggestions which helped the author to improve the presentation significantly. This research is supported by Simons Foundation Collaboration Grant.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Guerzhoy, P. On Zagier’s adele. Mathematical Sciences 1, 7 (2014). https://doi.org/10.1186/2197-9847-1-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/2197-9847-1-7