arXiv:2101.05663v2 [math.NT] 16 Feb 2021 9.6]). over ℓ curves elliptic from arising .) egv eutealn h xrcino ore offiinso coefficients Fourier of extraction s 2.3). the form (Theorem enabling cusp representatives result twist-minimal of a from elements give basis We of operators th coefficients Hecke 2.2). that Fourier of demonstrate the trace and recover the 2.1), to for (Theorem formula t forms a are ‘twist-minimal’ forms derive called cusp we of spaces paper for this elements basis In [22], in as such series, h eut fti ae o h ffiin optto falfrso forms all of computation im efficient work the Further for in paper [20]. this incorporated in of given be results spaces, also the weight-1 can computing representa results for on The method problems representations. aforementioned Galois o for at and spaces data form cusp twist-min explicit different of of number provides number smaller large a a recover calculate to Secondly, to order expressio us simpler allows computable. much and readily in spaces, results these are spaces terms twist-minimal to the formula the so and form, classical o noeve fsvrlapplications). several repres r Galois of of overview problem, classifications an number and for congruent forms, the quadratic by as integers such of problems mod of for coefficients Fourier data the explicit and [8]), theorem see modularity theorem, the last Fermat’s establishing in crucial been have properties iers oholomorphic to rise give ai aosrpeettosfloigwr yDlgeadSre(see Serre and Deligne by work following representations Galois -adic hl hr xs ipe xlctepesosfrFuircecet o coefficients Fourier for expressions explicit simple, exist there While h au fti ae stood isl,tefruai ie na exp an in given is formula the Firstly, twofold. is paper this of value The oua om lyacnrlrl nmc fmdr ubrtheory. number modern of much in role central a play forms Modular upfrsaeo atclritrs o ayraos o exam For reasons. many for interest particular of are forms Cusp WS-IIA RC OML O HOLOMORPHIC FOR FORMULA TRACE TWIST-MINIMAL rsnaino ul eeaie rc oml o h ho the for formula trace Str¨omberg. and generalised Cohen fully Str¨ombergss and a Lee of Booker, twist-minima presentation by a case of cus non-holomorphic development the or the in newform f by for this motivated elements was that work basis show We This computing of 2. forms way least efficient cusp at an weight holomorphic and twist-minimal character, and of level spaces on operator Abstract. edrv nepii oml o h rc fa rirr He arbitrary an of trace the for formula explicit an derive We L fntos(hc ntr con o all for account turn in (which -functions NVRIYO BRISTOL OF UNIVERSITY 1. UPFORMS CUSP Q IRNCHILD KIERAN n r soitdwt aiiso irreducible of families with associated are and ) Introduction 1 oopi aeby case lomorphic n swl sthe as well as on, ruaprovides ormula rc formula trace l iharbitrary with omspaces. form p c.Ti efficiently This nce. ike ocompute. to rickier lrfrsprovide forms ular nain se[23] (see entations ae (Theorem paces i unproving turn (in nsae fso- of spaces on ino integers of tion l,cs forms cusp ple, egt1and 1 weight f epresentations st compute to ns mlsae in spaces imal h ivn of sieving the si sufficient is is oSchaeffer’s to 1,Section [10, L Eisenstein f newforms f plementing cke -functions Their licit, 2 KIERANCHILD UNIVERSITYOFBRISTOL level at most 10,000 is currently in progress. A full explanation and discussion of the advantages of this method is given at the end of section 2. The idea of using trace formulae to derive information on modular forms dates back to the 1950s. Following the construction of certain non-holomorphic cusp forms, now called Maass cusp forms, by Maass in [16], Selberg sought to demon- strate the infinitude of such forms and provide an asymptotic expression for their count, which he achieved with a trace formula in [21]. He and Eichler continued work in this direction, leading to a trace formula for the action of Hecke operators Tn on spaces of holomorphic cusp forms for the full modular group and square-free n in [11]. Following work by others in [12] and [17], this formula is now available in full generality for traces of any Hecke operator on spaces of any level and character. Although this formula can be used to find Fourier coefficients for basis elements of cusp form spaces (as done in [3], with a newform sieve, for the generation of LMFDB data), our formula contains much simpler expressions, and is more efficient for this task in the case that the level N is not square-free. On the structural side, twists of modular forms were studied in [2] and the con- cept of a twist-minimal form1 was explored. In [19], Palm presented an ad`elic trace formula for twist-minimal forms. This approach was also taken in the classical context in [5] for Hecke operators T 1 and Maass cusp forms. The pathway be- tween the ad`elic and classical contexts± is shown in [15]. This motivates us to use the structural idea of restricting to twist-minimal forms in a classical setting for holomorphic cusp forms. The result will be a computable analogue of the ad`elic formula in [19]. The structure of the paper is as follows. Section 2 covers the required background theory leading to the presentation of two results. The formula for the trace of Hecke operators on spaces of twist-minimal modular forms is given in Theorem 2.1, and the extraction of basis elements for twist-minimal, newform or cusp form spaces from this trace formula is given in Theorem 2.2. A formula for the Fourier coefficients of an arbitrary newform given Fourier coefficients of a suitable twist-minimal form is given in Theorem 2.3. The remainder of the paper explains how these theorems are arrived at, with section 3 addressing the structural theory, and section 4 deriving the trace formula. Acknowledgements. I would like to thank Min Lee and Andrew Booker for their guidance and suggestions with this research.
2. Twist-minimal trace formula 2.1. Preliminary theory. For any N N, a Dirichlet character χ is a homomor- phism: ∈ χ : (Z/NZ)∗ C∗. (2.1) → The domain of χ is extended to Z by the canonical mod-N homomorphism, with χ(x) = 0 whenever (N, x) = 1. The number N in this construction is called the level of the character. The6 conductor of χ, denoted f(χ), is the least M N such that a b (mod M) implies χ(a)= χ(b). ∈ If f(≡χ) = N then we say χ is primitive. For any N, if f(χ) = 1 then we say χ
is trivial mod N. This character will be written as ½ with the level taken from context. Dirichlet characters factor over primes in the following sense. Let νp(x)
1In [2] this would be termed a ‘q-primitive form for all prime q.’ TWIST-MINIMAL TRACE FORMULA FOR HOLOMORPHIC CUSP FORMS 3 be the maximum power of p dividing x. There exists for all p N a unique χ with | p level pνp(N) so that:
χ(x)= χp(x). (2.2) p N Y| We use this factorisation to define χp for any prime p N. The order of a non-trivial n | character is the least n N such that χ = ½. This is denoted Ord(χ). We define twist-minimal characters∈ as in [5, Definition 1.5]. Definition 2.1. Fix a prime p and e N. Let χ be a Dirichlet character level pe, s ∈ and fix s Z 0 so that f(χ) = p . We say that χ is twist-minimal if and only if one of the∈ following≥ holds: χ is primitive; •
p> 2 and χ = ½; • ν (p 1) p> 2 and Ord(χ)=2 2 − ; • e p = 2 and s = 2 ; • p = 2, s = 2, e>⌊ ⌋3 and 2 ∤ e; •
p = 2, χ = ½, and 2 ∤ e or e = 2. • In general, we define a twist-minimal character χ as a product χp where all of the χp are twist-minimal. Q This completes the prerequisites on Dirichlet characters, and we move onto mod- ular forms. Let H be the Poincar´eupper half plane H = z C : (z) > 0 . We get an action on H by M¨obius transformations with notation:{ ∈ ℑ } az + c a b γz = , γ = GL (R)+. (2.3) cz + d ∀ c d ∈ 2 a b For any complex-valued function f the weight k slash action of γ = c d ∈ + GL2(R) on f is defined as: k/2 k f γ(z) = (detγ) (cz + d)− f(γz). (2.4) |k For any N N, the congruence subgroup Γ (N) is defined to be the following ∈ 0 subgroup of SL2(Z): a b Γ (N)= SL (Z): N c . (2.5) 0 c d ∈ 2 | Fix k,N N and fix χ a Dirichlet character mod N. A modular form of weight k, level N and∈ character χ is a complex-valued, holomorphic function f, defined on H, which satisfies:
(1) f kγ(z)= χ(d)f(z) for all γ Γ0(N). | 2 dxdy ∈ (2) Γ (N) H f y2 is finite. 0 \ | | ModularR forms have Fourier expansions: 2πinz f(z)= ane . (2.6) n 0 X≥ Such an expansion completely describes the form, and so it is these an coefficients which we seek to compute. All modular forms of weight k, level N and character χ form a space, denoted (N,χ). An important family of operators on this space are the Hecke operators. Mk 4 KIERANCHILD UNIVERSITYOFBRISTOL
We follow the definition and notation of [13, Section 6.5]. Let f be a modular form of weight k and character χ. For any n N we define the generic Hecke operator2 as: ∈ 1 az + b T χ(f)= χ(a)ak f . (2.7) n n d adX=n b modX d Here, χ is included in the notation for clarity, even though this is determined by χ χ χ f. Hecke operators are commutative and multiplicative, so that Tnm = Tn Tm whenever (n,m) = 1. We aim to give an explicit expression for the trace of these operators on subspaces of modular forms called cusp forms, and we show these traces can be used to generate basis elements. A cusp form is a modular form for which the slash action f kγ(z) tends to 0 as (z) for all γ Γ (N). Cusp forms of weight k, level |N and character χ ℑ → ∞ ∈ 0 form a subspace of modular forms, denoted k(N,χ). This subspace is stable under the action of Hecke operators, and is a HilbertS space with respect to the Petersson inner product, defined as:
k dxdy f,g N := f(z)g(z)y 2 . (2.8) h i Γ (N) H y Z 0 \ This inner product is used to decompose the space of cusp forms. Fix M N and N | d M , then it is verified that for any level M cusp form f the function g(z)= f(dz) is| a level N cusp form with the same weight and character as f. Forms of level N which arise in this manner from any level M 2πinz fψ(z)= ψ(n)ane . (2.9) n 0 X≥ We immediately get the following interaction between twists and hecke operators. Lemma 2.1. Let f be a Hecke-eigenform of weight k, level N and character χ. χψ2 χ Let ψ be a character of level M. If (M,n)=1 then Tn (fψ)= ψ(n)(Tn (f))ψ. 2This definition is more general than in the original literature, where for p | N our operator Tp would be written Up. TWIST-MINIMAL TRACE FORMULA FOR HOLOMORPHIC CUSP FORMS 5 This relation, first stated in [2], is checked by expanding out the definitions of 2 the operators involved. We also verify that fψ is a cusp form with character χψ . This means that the twist of any Hecke-eigenform is equivalent to a newform basis element. We can use twists to pass between Hecke-eigenforms of different levels and characters. We define a twist-minimal form as a normalised newform which is not equivalent to any form arising as the twist of a newform from a lower level. Twist-minimal forms of weight k, level N and character χ again span a Hilbert space, stable under min Hecke operators, which we denote k (N,χ). As in the newform decomposition, the immediate utility here is from furtherS restriction to the scope of study. 2.2. Results. It will be shown in Theorem 2.2 that basis elements for subspaces of cusp forms (given as Fourier expansions) can be computed from the trace of Hecke operators acting on spaces of twist-minimal forms with twist-minimal character. Our first result is an explicit formula for this trace. Theorem 2.1. Fix a weight k 2, a level N N and a twist-minimal char- ≥ ∈ acter χ of level N. Let χ factor over the primes as χ = p N χp, and denote | the conductor f(χ). Let TrT χ min(N,χ) denote the trace of the n-th Hecke op- n k Q erator acting on the space of| Stwist-minimal forms of level N, character χ and weight k. If gcd((N/ f(χ))2,n2,N) is not square-free, or if χ( 1) = ( 1)k, then TrT χ min(N,χ)=0. Otherwise, we have: − 6 − n | Sk TrT χ min(N,χ)= C C C + C , (2.10) n | Sk 1 − 2 − 3 4 where the terms are defined as follows: e e 1 k 1 p + p if s = e n 2 (k 1)χ (√n) − − f e−2 C1 = − φ( p )(p 1) 12 ⌈1+ ⌉δ − (1 + δ p + δ (2s 2)) if s k=2,χ=½ p n pY∤|N (2.11) In all terms, e = νp(N) and s = νp(f(χ)) for a given prime p, and δ is the charac- teristic function of the condition underneath it. We give details of each term in this formula. In C1, χf is the primitive character which induces χ, and χf(√n) is 0 if n is not square. In C3 we define γ = νp(n/d d) 1 − and the dash on the sum indicates that we have an additional factor of 2 if d = √n. 2 In C2, ρ is a root of the polynomial x tx + n. We define d as the fundamental discriminant of t2 4n, and ℓ N such− that t2 4n = dℓ2. The functions h and w are the class− number and∈ roots of unity of a− quadratic extension with that 6 KIERANCHILD UNIVERSITYOFBRISTOL min 2 fundamental discriminant. For the S terms, set γ = ν (t 4n), and let · p p − p denote the Kronecker symbol, then if p> 2 and (p,n)=1 we have: e−3 δ 1 d p χ(t/2) e=1 − p (2,e) or n =1 ( p ) δ + p δ (1 2s)+ δ δ p if s 3χ t if γ >e,e 3 − 2 ≥ χ t (( 1)e + 2) if γ = e,s = e ,e 4 2 − ⌊ 2 ⌋ ≥ χ t (1 2( 1)d) if γ = e 1, 2 ∤ e,s = e ,e 4 d 2 2 min e e 3 − − − ⌊e ⌋ ≥ S2 (2 ,χ,t,n)= 1 2 − 2( 1)d 1 if γ e,e 1 ,s< ,e 3 − 2 ⌈ ⌉ − − ∈{ − } ⌊ 2 ⌋ ≥ δ 3 1 if e 1, 2 e=2 2 − ∈{ } γ=0 0 otherwise (2.13) If p =2, e = s and (p,n)=1 we have: (1 δ 2)χ(t/2) − γ=2e γ 2 +1 e 1 d ν2(ℓ)+1 (2⌊ ⌋ 3 2 − )(1 2 )+ δ 2 if γ 2e · − · − 2∤d ≥ Smin(2e,χ,t,n)= 2 ν (ℓ) t+u t u d 2 2 (χ + χ − ) if γ < 2e 1, =1 2 2 − 2 0 otherwise (2.14) and if (p,n)= p we have: d 1 if γ>s =0 p − min e t u t+u Sp (p ,χ,t,n)= χ − + χ if s = e,γ =0 (2.15) 2 2 0 otherwise In all cases, u ℓ√d is defined mod pe if p > 2 and pe+2 if p = 2. Finally, we have: ≡ νp(ℓ) νp(ℓ) d p 1 S (1, ½,t,n)= p + 1 − (2.16) p − p p 1 − TWIST-MINIMAL TRACE FORMULA FOR HOLOMORPHIC CUSP FORMS 7 Definition 2.2. Fix a weight k, level N and character χ. The trace form of min(N,χ), denoted , is given by the following series on z H: Sk TN,χ ∈ (z)= TrT χ min(N,χ)e2πinz. (2.17) TN,χ n | Sk n 1 X≥ min We can extract basis elements for k from its trace form by the following lemma. S Lemma 2.2. Let be the trace form for the twist-minimal space min(N,χ). TN,χ Sk Then all T are in min(N,χ). Let M be a matrix with each colum M given nTN,χ Sk n by the coefficients of Tn N,χ. If M has at least the number of columns and rows equal to the Sturm boundT of the space then M is a basis for the space. i.e. the rank of M equals the dimension of the space. Proof. Let f be a normalised Hecke eigenform basis for min(N,χ), where the i-th i Sk element has n-th Fourier coefficient ai,n. Then we have: T = a f min(N,χ). (2.18) nTN,χ i,n i ∈ Sk i X Further, if we let B denote the matrix with columns given by fi coefficients, then M = BB⊤ and so the ranks of B and M are equal. Definition 2.3. Fix a level N and a character χ. A ‘twist pair’, denoted M, ψ , is a tuple of level M and character ψ satisfying at least one of the followingh for everyi prime p: ν (M)= ν (N) and ψ = ½ • p p 2 ∤ p, 2 ν (N), ν (f(χ)) <ν (N), ψ = χ and ν (M)= ν (f(ψ)) = νp(N) • | p p p p 6 p p p 2 2 ∤ p, ν (N) = 2, χ = ½, ν (M) = 0 and ψ = · • p p p p p Two twist pairs M , ψ and M , ψ are considered equivalent if M = M and h 1 1i h 2 2i 1 2 ψ2 = χψ1. Basis elements for spaces of cusp forms can subsequently be generated as using the following result: Theorem 2.2. Fix a level N and weight k, and let χ be any (not necessarily twist- minimal) character of level N. The space k(N,χ) has a basis of cusp forms given by: S χψ2 Tm M,χψ2 (dz) (2.19) T ψ 2 where m N, χψ is twist-minimal level M, and setting M ′ = max(M, f(ψ) f(χψ)) ∈ N new we have M ′ N and d M ′ . Fixing d =1 in the above gives a basis for k (N,χ), | | min S and fixing ψ = ½ gives a basis for k (N,χ), provided χ is twist-minimal. If χ is twist-minimal, then basisS elements for any of these spaces are given by letting M and ψ run over all twist pairs for level N and character χ. If χ is not twist-minimal, then we can generate basis elements from bijection with a twist- minimal space. Further, for any of these spaces, there exists a subset of m N with m at most the Sturm bound of the space such that the resultant basis matrix∈ has zero nullity. Finally, we extend Lemma 2.1 to a result giving the Fourier expansion of a newform whenever an appropriate twist-minimal form is known. 8 KIERANCHILD UNIVERSITYOFBRISTOL Theorem 2.3. Let f min(N,χ) be a twist-minimal form with Fourier coeffi- ∈ Sk cients an. Let ψ be a primitive Dirichlet character, and let ψ′ be the primitive character that induces χψ. Then f is equivalent to a newform in new(M,χψ2) ψ Sk with Fourier coefficients bn, where M = LCM(N, f(ψ) f(ψ′)) and: apψ(p) if ψp = χp or p ∤ f(ψ), bp = 6 (2.20) (apψ′(p) otherwise for all primes p. Proof. First, let Q be the product of primes p such that ψp = χp, and let ψQ be the product of the respective ψp. Twisting by ψQ is equivalent to applying the Atkin and Lehner WQ operator. The twist fψQ is equivalent to a newform of level N with coefficients as in (2.20) by [2, (1.1)]. Denote this newform g, and note that g is itself twist-minimal. This means we can apply Lemma 3.1 to gψ N , whereupon the result follows. Q These results give us an efficient way of computing basis elements of cusp form spaces. The most computationally expensive term in Theorem 2.1 is C2 in which the multiplicative function is a simple case statement, and the relevant class numbers can be pre-calculated and stored in a table. This formula is thus simpler to compute than the respective formula for full cusp form spaces, given in (4.2). new Further, if we let dnew denote the dimension of a newform space , then the complexity of generating a full-rank matrix of leading coefficients ofS basis elements 3 from the trace formula is O(dnew). On the other hand, letting dmin denote the dimension of a particular twist-minimal space min which twists into new then the complexity of computing the same numberS of coefficients for just theseS basis 3 elements is O (dmindnew) 2 . As a result, as well as the individual terms being easier to compute, the overall complexity for computing spaces of newforms (or, in turn, full cusp form spaces) is reduced by recovering these spaces from twist- minimal spaces. The restriction that the weight be at least 2 means that weight 1 forms are missed in this approach.3 This is a meaningful issue as, since the proof of Serre’s modularity conjecture in [14], these forms are known to categorise all odd, two-dimensional, irreducible Galois representations over finite fields. The Fourier coefficients of these forms give the traces of Frobenius elements in the associated representations. The computation presented in [20], however, involves first computing weight 2 basis elements, before manipulating these in a manner to find weight 1 forms. In future work, we will adapt this approach, utilising the benefits of the twist-minimal weight 2 computation presented here to perform more efficient computations of weight 1 forms. 3. Structural theory We study the structural theory of cusp forms, which leads to the proof of The- orem 2.2. In [1, Theorem 5] a decomposition of cusp form spaces is given in terms of newforms and lifts of newforms. To decompose these newform spaces in terms of twist-minimal spaces we draw on previous results on twists of cusp forms. 3Weight 1 forms are also missed in the modular symbols approach outlined in [7] TWIST-MINIMAL TRACE FORMULA FOR HOLOMORPHIC CUSP FORMS 9 Lemma 3.1. Fix some f min(N,χ) with χ twist-minimal, and let ψ be any ∈ Sk Dirichlet character, then we deduce the following about fψ: (1) fψ is a newform if and only if ψp = ψp for all p f(ψ) 6 | 2 (2) If fψ is a newform, then it has level M and character χψ where, for any prime p, we have νp(M) = max(νp(N),νp(f(ψ)) + νp(f(χψ))) These come from applying the results in [2] to the specific case of twist-minimal forms with twist-minimal character. The multiplicativity present in both the ex- pression for the level of fψ and the definition of twist-minimal characters will allow us to decompose newform spaces multiplicatively. Fix a level N. For any χ, there exists a character ψ so that χψ2 is twist-minimal, min min 2 and twisting by ψ gives a bijection between k (N,χ) and k (N,χψ ). This is shown in [5, Lemma 1.6], with a constructionS of the requiredS ψ. As a result, we need only consider twist-minimal spaces with twist-minimal character, and need study only the decomposition of newform spaces with twist-minimal character. 3.1. Explicit decomposition of a specified newform space. In this section, we will identify which twist-minimal spaces are required to obtain all basis elements of any given newform space with twist-minimal character. Because of Lemma 3.1, and the definition of twist-minimal characters, we need only study spaces where N (and therefore f(χ)) is a power of some prime. Lemma 3.2. Let p be an odd prime and χ be a twist-minimal character level pf , min e new f then there exists a non-trivial twist from (p , ½) to (p ,χ) if and only if Sk Sk χ = ½, f =2 and e 0, 1 ∈{ } min e 2 Proof. Twisting k (p , ½) by a character ψ gives forms with level f(χ) and char- acter χ = ψ2. TheS only possibility ψ to be non-trivial while ψ2 is twist-minimal is if Ord(ψ)=2, and so f = 2, whereupon e Lemma 3.4. Let p be an odd prime, f an even integer, and χ2 a twist-minimal f f f character level p with f(χ2) Having covered all twists when p is odd, we now study p = 2. e f Lemma 3.5. Let χ1 and χ2 be twist-minimal characters for 2 and 2 respectively with f >e. There does not exist any twist from min(2e,χ ) to new(2f ,χ ). Sk 1 Sk 2 Proof. Assume for contradiction that ψ is such a character. We break the proof down into three cases based on f(ψ) and f(χ1). If f(ψ) > f(χ1) then by level f 2 calculation we have p = f(ψ) . But the only twist-minimal χ2 with 2 f is when f 2 | 2 f(χ2) = p 2 = f(ψ). However, we also have f(χ2) = f(χ1ψ ) max(f(χ1), f(ψ )) < f(ψ), which is a contradiction. ≤ f 2e Next, suppose f(ψ) < f(χ1) so that f(χ2)= f(χ1) and p = f(ψ) f(χ1) 4. If f(χ1) = p then there exist no twist-minimal 6 e/2 characters for e 3.2. Removing twist-equivalent forms. min 2 min 2 Definition 3.1. Let k (N1,χ2ψ1 ) and k (N2,χ2ψ2) be two spaces in the de- S S min 2 min 2 composition given in (3.1). We say that f k (N1,χ2ψ1) and g k (N2,χ2ψ2) are twist-equivalent if f = g . ∈ S ∈ S ψ1 ψ2 Twist-equivalent forms are thus twist-minimal forms which give rise to the same newform. We see immediately that two forms are twist-equivalent only if N1 = N2, and the following lemma lets us consider twist-equivalence as a condition on twist pairs. Lemma 3.6. Let min(pe,χ ψ2) and min(pe,χ ψ2) be two spaces in the decompo- Sk 2 1 Sk 2 2 sition given in (3.1). For any f min(pe,χ ψ2) there exists some twist-equivalent ∈ Sk 2 1 g min(pe,χ ψ2) if and only if we have either ψ = χ ψ or ψ = ψ . ∈ Sk 2 2 2 2 1 2 1 2 2 e Proof. We know from Lemma 3.4 that if ψ = ½ then f(χ ψ ) = f(χ ψ ) = p . 1 6 2 1 2 2 Assume that either ψ = χ ψ or ψ = ψ , then setting g = f we get g = f 2 2 1 2 1 ψ1ψ2 ψ2 ψ1 and the level of g is pe, hence g min(pe,χ ψ2). ∈ Sk 2 2 In the other direction, assume that f = g . Then twisting f by ψ ψ gives the ψ1 ψ2 1 2 e level of g as f(ψ1ψ2) f(χ2ψ1ψ2). This only equals p if ψ2 = χ2ψ1 or ψ2 = ψ1. TWIST-MINIMAL TRACE FORMULA FOR HOLOMORPHIC CUSP FORMS 11 In general for level N, we see that two forms are twist-equivalent if and only if this condition holds for all p N. This allows us to write down a disjoint decomposition. Let M, ψ be as before,| and let denote the relation by this lemma giving rise to twist-equivalence,h i then we have the∼ decomposition: new(N,χ)= min(M,χψ2) (3.2) Sk Sk ψ M,ψ / h Mi ∼ We now quantify the equivalence classes. This is also done multiplicatively, and we can find the number of elements in an equivalence class based on which case we are in for each p N in the definition of twist pairs (Definition 2.3). | Lemma 3.7. Fix a level N and Dirichlet character χ. Let M, ψ be some twist new h i pair in the decomposition of (N,χ). We define a function k N ,χ,ψ , as the Sk M N number of primes p such that either ψ = · or p f(χ). Then the size of | M p 6 p || k N ,χ,ψ the equivalence class of M, ψ in (3.2) is 2 ( M ). h i ½ Proof. By following Lemma 3.6 we see that if ψp = ½ or χp = and ψp = p· then the pair is in a singleton equivalence class. For all other cases, the lemma gives us a second, distinct twist pair. The result then follows from multiplicativity. 4. Deriving the trace formula In [6, Theorem 12.4.11] we see the following explicit formula for the trace of a Hecke operator on an arbitrary full cusp form space. The specific details of functions and variables are as in Theorem 2.1. k χ Fix a level N, character χ and weight k 2. If χ( 1) = ( 1) then TrTn k(N,χ)= 0. Otherwise we have: ≥ − 6 − | S TrT χ (N,χ)= A A A + A , (4.1) n | Sk 1 − 2 − 3 4 where the individual terms are given by: k/2 1 k 1 1 A = n − χ(√n) − N 1+ , 1 12 p p N Y| k 1 k 1 2 2 ρ − ρ − h((t 4n)/f ) A = − − µ(p, N, (f,N),χ), 2 ρ ρ w((t2 4n)/f 2) t Z − f 2 (t2 4n) − p N t2X<∈4n | X− Y|N p∤ (N,f) ′ k 1 A3 = d − φ((c,N/c))χ(x1), d n c N | | dX√n (c,N/c) (XN ,n/d d) ≤ | f(χ) − A4 = t, t n (n/t,NX| )=1 1 µ(p,N,g,χ)= g 1+ χ(x). · p x mod N x2 tx+nX0 (mod Ng) − ≡ (4.2) 12 KIERANCHILD UNIVERSITYOFBRISTOL In addition to the details from Theorem 2.1 , the variable x1 is defined by the congruences x d (mod c) and x n/d (mod N/c). These congruences are seen 1 ≡ 1 ≡ to uniquely fix x1 modulo f(χ), and so the term χ(x1) in A3 is well-defined. From the structural theory, we write the cusp form space trace formula in terms of newform spaces, and subsequently in terms of twist-minimal spaces. We then invert these formulae to get a formula for the twist-minimal space in terms of full cusp form spaces. The newform trace is written as a sum over the set: 2 (N,χ,n)= x : for all p x we have p x, p N,χ = ½ and p n . (4.3) P | || || p | From now on, the notation will always refer to this set. P Lemma 4.1. For any m N, define βm to be a multiplicative function, defined on powers of primes as: ∈ 1 if a =0 δ 2 if a =1 a p m − βm(p )= | (4.4) 1 δ if a =2 − p m | 0 if a 3. ≥ 2 2 χ new If gcd((N/ f(χ)) ,n ,N) isn’t square-free, then TrTn k (N,χ)=0. Otherwise, we have: | S χ new k 1 χ TrT (N,χ)= χ(d)d − β 2 (N/dM)TrT (M,χ) n | Sk n/d n/d2 | Sk d (N,χ,n) M N/d ∈PX f(Xχ|) M | (4.5) Proof. In [6, Theorem 13.5.7] we get the equation: χ new k 1 χ TrT (N,χ)= χ(d)d − β 2 (N/M)TrT (M/d,χ), n | Sk n/d n/d2 | Sk M N d ( M ,N ) | | f(χ) 1 f(Xχ) M X2 | d n | (4.6) where N1 is the squarefree component of N (the product of primes p N). In [2] N 2 || we see that if p n, f(χ) with p N then the p-th Hecke eigenvalue for any form new | χ new| in k (N,χ) is 0, and so TrTn k (N,χ) = 0. When this is not the case for any p, theS lemma follows from changing| S the order of summation. From Lemma 3.7 we get an equation giving the trace on any newform space in terms of traces on twist-minimal spaces. Let the k function, and M, ψ notation be as in that lemma, then we get: h i χ new k( N χ,ψ) χψ2 min 2 TrT (N,χ)= 2− M ψ(n)TrT (M,χψ ). (4.7) n | Sk n | Sk M,ψ hXi We invert this formula to give: χ min k′( N ) k( N ,χ,ψ) χψ2 new 2 TrT (N,χ)= ( 1) M 2− M ψ(n)TrT (M,χψ ), (4.8) n | Sk − n | Sk M,ψ hXi N N where k′ M is the number of primes dividing M . TWIST-MINIMAL TRACE FORMULA FOR HOLOMORPHIC CUSP FORMS 13 We now see that multiplicativity results in the trace formula carry through to the twist-minimal trace formula. Let f(N,χ) be a function defined on N N and χ level N. Fix n,m N and define f new and f min as: ∈ ∈ new f (N,χ)= βm(N/M)f(M,χ) (4.9) M N f(Xχ)| M | min k′(N,M) k(N,M,χ,ψ) new 2 f (N,χ)= ( 1) 2− ψ(n)f (M,χψ ) (4.10) − M,ψ hXi νp(N) new Let f(N,χ) be multiplicative, so that f(N,χ) = p N f(p ,χp). Then f | and f min are also multiplicative in this way. Q We will show that each component of (4.2) can be written as linear combinations of multiplicative functions. Thus, we construct the twist-minimal trace formula by computing each component’s value at each prime for arbitrary twist-minimal character χ. This provides an expression of the form: χ min k 1 TrT (N,χ)= χ (d)d − (B B B + B ). (4.11) n | Sk f 1 − 2 − 3 4 d (N,χ,n) ∈PX We then perform a further, similar sieve on n to get an expression of the form: TrT χ min(N,χ)= C C C + C , (4.12) n | Sk 1 − 2 − 3 4 as in Theorem 2.1. Due to the definition of βm in Lemma 4.1, the formulae for p (N,n) and p ∤ (N,n) quickly diverge, and we treat them separately. | 4.1. Formula for p ∤ (N,n) cases. We start by establishing an explicit formula for f min in terms of f in the case that χ is twist-minimal. Let δ be the characteristic function taking 1 when C is true and 0 when C C is false. Let χ be a twist-minimal character of level pe and conductor ps, as in Definition 2.1. From the definitions of f new and f min we get: