General SectionElliptic curves and Thompson's sporadic simple group
Introduction
In 1978, McKay and Thompson observed [59] that the first few coefficients of the normalized elliptic modular invariant , a central object in the theory of modular forms, can be written as sums involving the first few dimensions of irreducible representations of the monster group , e.g., This coincidence inspired Thompson's conjecture [58] that there is an infinite-dimensional -module whose graded dimension is and whose McKay–Thompson series are distinguished functions on the upper half-plane. Conway and Norton [16] explicitly described the relevant McKay-Thompson series, and also christened this phenomenon “monstrous moonshine.” Their conjecture was proven by Borcherds [4] (building on work by Frenkel, Lepowsky and Meurman [28]) in 1992. In the few decades since the first observations of McKay and Thompson, it has become clear that monstrous moonshine is just the first of a series of similar phenomena encompassing several finite groups and their counterparts in the world of modular forms.
Generalized moonshine [9] (see also [41], [16], [45]), for example, relates various subquotients of the Monster to other weight zero modular forms. Umbral moonshine [12], [13] (see also [22], [29] and [14]), on the other hand, relates the 23 umbral groups (each of which is a quotient of the automorphism group of one of the 23 Niemeier lattices) to weight mock modular forms. Thompson moonshine, conjectured by Harvey and Rayhaun [33] in 2015 and proven by Griffin and Mertens in [31], involves Thompson's sporadic simple group Th, and certain weight modular forms. (We remark here that the Thompson group, being a subgroup of the Monster, also appears in the generalized moonshine setting mentioned above. For the purpose of this paper, “Thompson moonshine” refers to the Harvey and Rayhaun version.)
Recently, in [23], [24], Duncan, Mertens, and Ono discovered the first instance of moonshine for the O'Nan group, one of the so-called pariah groups (i.e., a sporadic simple group which is not a subquotient of the monster group), where the functions involved are modular forms of weight . Their work is not only a contribution to the theory of moonshine, it also serves another important purpose: In the same paper, they use their O'Nan-module to study properties of quadratic twists of certain elliptic curves and thus use moonshine to provide insight into objects that are central to current research in number theory.
While number theory's contribution to moonshine is ubiquitous and irrefutable, O'Nan moonshine is one of the first instances where we see moonshine's direct contribution to number theory. Such a role-reversal is our primary motivation for this work.
We begin this work by proving the existence of a family of infinite-dimensional graded Th-modules whose McKay–Thompson series are weight modular forms that satisfy certain properties (see Theorem 3.2). The techniques we use to prove this are similar to ones used in Griffin and Mertens' work [31] to prove the Thompson moonshine conjecture [33]. (These techniques were first suggested by Thompson, and subsequently used by Atkin, Fong and Smith [26], [53] to prove monstrous moonshine abstractly.) On the other hand, our McKay–Thompson series are weight modular forms (in contrast to the weight forms of [33]) and the role played by theta functions in their paper is taken up by weight cusp forms in ours. The involvement of weight cusp forms allows us to employ an approach similar to Duncan, Mertens, and Ono (in [23], [24]): We exploit the existing relationship between these forms and elliptic curves to study geometric invariants of various elliptic curves. This is the content of Theorem 1.1, Theorem 1.3.
Our result regarding the existence of a family of Thompson modules is, in fact, a classification result. We classify all infinite-dimensional graded modules (see Theorem 3.2) for the Thompson group whose McKay–Thompson series take the form and satisfy the following properties (cf. Proposition 3.1):
- (1)
For each , the corresponding McKay–Thompson series is a weight weakly holomorphic modular form of a specific level and multiplier system, and satisfies the Kohnen plus space condition.
- (2)
Each McKay–Thompson series has integer coefficients and is uniquely determined — up to the addition of certain cusp forms — by its polar parts at the cusps, which are specified in a uniform way. (See Section 3 for details.)
The connection between Rademacher sums and moonshine was first proposed in [21], where the McKay–Thompson series that appear in monstrous moonshine were characterized completely in terms of Rademacher sums of weight 0. In particular, it was shown that the so-called genus-zero property of monstrous moonshine is equivalent to the fact that the McKay–Thompson series of the Monster module coincide (up to a constant) with corresponding Rademacher sums of weight 0. It was later argued in [11], [12] that the correct analogue of the genus zero property in the case of Umbral (and Mathieu) moonshine is that the corresponding McKay–Thompson series must coincide with the relevant Rademacher sums in each case (see also [14], [20]). Here we take this perspective and hence consider it natural, from the point of view of moonshine, to ask for our McKay–Thompson series to satisfy the properties listed above.
To prove our classification result, we first construct spaces of weakly holomorphic modular forms of the appropriate level and multiplier for each . We use Rademacher sums and eta-quotients to do this. Since we can explicitly compute the Fourier coefficients of these forms at various cusps, we can restrict our attention to the subspace of forms that satisfy properties (1) and (2). For a collection of these forms to be the McKay–Thompson series of a virtual module (as in Theorem 3.2), they must satisfy congruences modulo certain powers of primes that divide the order of the Thompson group (see Section 4). A complete description of these congruences can be obtained using Thompson's reformulation ([53]) of Brauer's characterization of generalized characters. We prove that our alleged McKay–Thompson series satisfy the congruences mentioned above in Section 4. We note here that it would be interesting to consider the analogous classification for the O'Nan group, building on the work already done in [24].
Once we have proven the existence of the Thompson modules, we use their properties to help detect the non-triviality of Mordell–Weil, Selmer, and Tate–Shafarevich groups of quadratic twists of certain elliptic curves (see Theorem 1.1, Theorem 1.3). To state our main results, we let E be an elliptic curve over , and for a fundamental discriminant, we let denote the quadratic twist of E. (We refer the reader to [40], [50] and [55] for background on elliptic curves.) We further let denote the set of -rational points on E, i.e., the set of points on E whose coordinates are rational numbers. Then, has the structure of a finitely generated abelian group (by the Mordell–Weil theorem [50]), i.e., . Here is called the (algebraic) rank of E, and is a finite abelian group. Computing the rank of a general elliptic curve is considered a hard problem in number theory.
One way of approaching this problem is to study the L-function associated to E, defined for with by Here, where is the group of -rational points on the mod p reduction of E, and (see [50] for a precise definition and further discussion on L-functions). The (weak) Birch and Swinnerton-Dyer Conjecture states that the order of vanishing of at is equal to the rank r of E. Thus, studying the behavior of near is one way of tackling the problem of computing the rank of E.
Note that a priori, the product in eq. (1.4) only converges for , so part of the conjecture is that can be analytically continued to a function that converges near . This part follows from the Modularity Theorem (proven in [6] by extending the results of [62], [56]), which states that corresponding to every elliptic curve over , there exists a weight 2 newform of level equal to the conductor of E, whose L-function coincides with . The L-function associated to a cusp form of weight k is defined on and extends analytically to a holomorphic function on [2]. Hence it is possible to talk about the behavior of as , for example. The Birch and Swinnerton-Dyer Conjecture has been proven in special cases (see for example [3]). In particular, it is known that if , then is finite [32], [38]. We will use this result to prove our first theorem about elliptic curves.
To state our results, we let be the unique weakly holomorphic modular form of weight and level 4 in the plus space whose Fourier expansion is of the form . (Note that is relevant for us because for each of the graded Th-modules described in Theorem 3.2, the graded dimension of W is .) Let denote the Fourier coefficient in the expansion of . We denote by the usual Kronecker symbol [15], then we have the following theorem. Theorem 1.1 Let be a fundamental discriminant which satisfies . Let E be an elliptic curve of conductor 19, and let denote the quadratic twist of E. If , then the Mordell–Weil group is finite.
For E an elliptic curve of rank r, let denote the order of the torsion subgroup of the -rational points of E and let be the order of the Tate–Shafarevich group of E. Then the strong form of the Birch and Swinnerton-Dyer Conjecture states the following [63]. Conjecture 1.2 The Birch and Swinnerton-Dyer Conjecture The rank r of an elliptic curve E over Q equals the order of vanishing of at . Moreover, we have where is the derivative of .
So we instead turn to a relatively simple object. Given p a prime, we define to be the set consisting of elements of the Tate–Shafarevich group with order dividing p. Then, is finite for all p. This follows from the finiteness of a related object: the p-Selmer group of E, which fits into a short exact sequence The Selmer group of an elliptic curve over is known to be finite for every p (see [50]), so we have that is finite for every p. Also by the short exact sequence, we get that if is trivial for any prime p then is finite, i.e., E has rank 0.
In this work, we will use the family of Thompson modules whose existence is proven in Theorem 3.2 to develop a criterion to check whether the p-Selmer groups of quadratic twists of elliptic curves of conductor 14 are trivial. More precisely, we let E be an elliptic curve over , and for each a fundamental discriminant, let denote the quadratic twist of E. As we shall prove in Theorem 3.2, there exists an infinite-dimensional graded Th-module whose McKay–Thompson series satisfy properties (1) and (2) as above. Then we have the following theorem. Theorem 1.3 Let be a fundamental discriminant for which and . Let E be an elliptic curve of conductor 14, and let g denote an element of order 14 in Th. If , then the Mordell–Weil group is finite and is trivial. If, on the other hand, and , then is non-trivial, and if is non-zero then so is .
We now describe a sketch of the proof of Theorem 1.1, Theorem 1.3. Let be the relevant prime in either statement and fix to be a virtual Thompson module whose McKay–Thompson series satisfies the properties listed in Theorem 3.2. We then write each for as a sum of traces of singular moduli (cf. Section 5.1) and weight cusp forms. This expression combined with the condition on d in the statement of Theorem 1.1 gives us that the congruence in the statement holds if and only if the relevant cusp form coefficient is divisible by . Thus, if the congruence in the statement of Theorem 1.1 does not hold, then the cusp form coefficient is not divisible by 19, and we can employ a corollary (cf. Lemma 5.3) of Kohnen's work [37] to show that this means . Finally, Kolyvagin's work shows that is finite. This completes the proof of Theorem 1.1. For Theorem 1.3, we first consider the case that . The expression for in terms of traces of singular moduli and cusp forms implies that the relevant cusp form coefficient is not divisible by . We can utilize Kohnen's work again to conclude that . At this point, we use work of Skinner and Urban (Theorem 5.4) which connects to the non-triviality of the p-Selmer and Tate-Shafarevich groups of to prove the theorem. A similar argument applies if we assume that and .
The rest of this paper is organized as follows. In Section 2 we set up notation and define the terms that appear in Proposition 3.1 and Theorem 3.2. In Section 3 we uniquely characterize the modular forms that satisfy properties (1) and (2) above and prove Proposition 3.1. In Section 4 we prove Theorem 3.2. Finally, in Section 5 we prove Theorem 1.1, Theorem 1.3.
Section snippets
Acknowledgments
The author would like to thank John Duncan for helping initiate this project and his invaluable guidance and support throughout the process. The author thanks Richard Borcherds, John Duncan, Jeff Harvey, Michael Mertens, Brandon Rayhaun, Robert Schneider, and the anonymous referee for helpful comments on an earlier draft.
Background and notation
Throughout this paper, we use the notation and with τ in the upper half-plane, which we denote . We also use to denote the Kronecker symbol [15, Algorithm 1.4.10]. We will use the ATLAS [17] notation for conjugacy classes of Th, and understand nAB to mean .
McKay–Thompson series
To state our main theorem of this section, we associate to each rational conjugacy class of the Thompson group Th, the following data:
- (1)
Integers and as specified in Table A.1. We use these to define the character (see Equation (2.3)), where denotes the order of g in Th.
- (2)
The space of cusp forms of weight in the plus-space which transform under with character . We define to be the dimension of this space and let be the -tuple
Proof of Theorem 3.2: integer multiplicities
To prove Theorem 3.2, we have to show that the 's we described in Section 3 are indeed the McKay–Thompson series of a virtual module of the Thompson group.
This is equivalent to proving that there exist integers such that if , then for each the Fourier coefficient can be written in the form, where are the irreducible rational characters of Th (see Section 2.1 for a definition of rational character). We
Elliptic curves
The family of Th-modules that we get from Theorem 3.2 encodes arithmetic information about quadratic twists of elliptic curves with conductors 14 and 19. This is the content of Theorem 1.1, Theorem 1.3. We will prove these theorems in this section, but first, we have to develop some background. We recall here some basic notation and facts about traces of singular moduli, which were studied by Zagier in [64] and have since been examined extensively.
References (64)
- et al.
The Magma algebra system. I. The user language
Computational Algebra and Number Theory
J. Symb. Comput.
(1997) Much ado about Mathieu
Adv. Math.
(2016)- et al.
On spaces of modular forms spanned by eta-quotients
Adv. Math.
(2015) A visible factor of the special L-value
J. Reine Angew. Math.
(2010)- et al.
Hecke operators on
Math. Ann.
(1970) - et al.
Ternary cubic forms having bounded invariants, and the existence of a positive proportion of elliptic curves having rank 0
Ann. Math.
(2015) Monstrous moonshine and monstrous Lie superalgebras
Invent. Math.
(1992)- et al.
On the modularity of elliptic curves over : wild 3-adic exercises
J. Am. Math. Soc.
(2001) - et al.
Harmonic Maass Forms and Mock Modular Forms: Theory and Applications
(2017) - et al.
On two geometric theta lifts
Duke Math. J.
(2004)
Generalized moonshine IV: monstrous Lie algebras
On Rademacher sums, the largest Mathieu group and the holographic modularity of moonshine
Commun. Number Theory Phys.
Rademacher sums and Rademacher series
Umbral moonshine
Commun. Number Theory Phys.
Umbral moonshine and the Niemeier lattices
Res. Math. Sci.
Weight one Jacobi forms and umbral moonshine
J. Phys. A
A Course in Computational Algebraic Number Theory
Monstrous moonshine
Bull. Lond. Math. Soc.
Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups
Representation Theory of Finite Groups and Associative Algebras
Quantum black holes, wall crossing, and mock modular forms
From the monster to Thompson to O'Nan
Rademacher sums, moonshine and gravity
Commun. Number Theory Phys.
Proof of the umbral moonshine conjecture
Res. Math. Sci.
Pariah moonshine
Nat. Commun.
O'Nan moonshine and arithmetic
The computations of some Schur indices
Isr. J. Math.
Characters arising in the monster-modular connection
More on replicable functions
Commun. Algebra
Vertex Operator Algebras and the Monster
GAP – Groups, Algorithms, and Programming, Version 4.10.1
A proof of the Thompson moonshine conjecture
Res. Math. Sci.
Cited by (5)
Class numbers, cyclic simple groups, and arithmetic
2023, Journal of the London Mathematical SocietySnowmass White Paper: Moonshine
2022, arXivAn Overview of Penumbral Moonshine
2021, arXiv