Hecke Operators. Hao (Billy) Lee. November 2, 2015
|
|
- Ethelbert Quinn
- 5 years ago
- Views:
Transcription
1 Hecke Oerators Hao (Billy) Lee November 2, 2015
2 Chater 1 Preliminary Everything in the reliminary section follows the notations and denitions from Modular Forms Denition. For SL 2 (Z), τ = aτ+b cτ+d for all τ H where H is the comlex half lane. We can ( extend action to the grou GL + 2 (Q) to act on Q { } by m ) n = am+bn cm+dn. Denition. For N N, dene the rincial congruence subgrou of level N to be Γ(N) = { c d SL 2 (Z) : c d mod N and say a subgrou of Γ of SL 2 (Z) is a congruence subgrou if Γ(N) Γ for some N N. Γ 0 (N) = { c d SL 2 (Z) : c d 0 mod N { } 1 Γ 1 (N) = SL 2 (Z) : mod N 0 1 Note that by taking Γ 0 (N) (Z/NZ) by d mod N is a surjective homomorhism with kernel Γ 1 (N). This shows that Γ 1 (N) is normal in Γ 0 (N), and the quotient is isomorhic to (Z/nZ). Denition. For any γ = GL + 2 (Q), dene the factor of automorhy j(γ, τ) C for τ H to be j(γ, τ) = cτ + d. For such a γ, we can dene the weight k oerator γ k on functions f : H C by } } (f γ k ) (τ) = (det γ) k 1 j(γ, τ) k f (γ(τ)) for τ H. For a congruence subgrou Γ of SL 2 (Z), we say that a meromorhic function f : H C is weakly modular of weight k with resect to Γ, if f γ k = f for all γ Γ. That is, f (γ(τ)) = j (γ, τ) k f(τ). 1
3 CHAPTER 1. PRELIMINARY 2 f is a modular form of weight k with resect to Γ, if it is holomorhic, weight-k invariant under Γ and f α k is holomorhic at for all α SL 2 (Z). If in addition, the rst coecient of the Fourier exansion of f α k is zero for all α SL 2 (Z), then f is a cus form. We denote the set of modular forms of weight k with resect to Γ by M k (Γ), and cus forms by S k (Γ). 1.2 Modular Curves Denition. Let Γ SL 2 (Z) be a congruence subgrou. Dene the modular curve Y (Γ) = Γ\H = {Γτ : τ H} to be the sace of orbits of Γ acting on H. In articular, denote Y 0 (N) = Γ 0 (N)\H, Y 1 (N) = Γ 1 (N)\H and Y (N) = Γ(N)\H. We should note here that, technically, Y (Γ) is a curve, which is the set of solutions of some given equation. what we are really dening here is Y (Γ)(C). Denition. The set of enhanced ellitic curve for Γ 0 (N), denoted S 0 (N), consists of ordered airs (E, C) where E is an ellitic curve and C is a cyclic subgrou of E of order N. (E, C) (E, C ) if there is an isomorhism of E and E taking C to C. The set of enhanced ellitic curve for Γ 1 (N), denoted S 1 (N), consists of ordered airs (E, Q) where E is an ellitic curve and Q is a oint of order N. (E, Q) (E, Q ) if there is an isomorhism of E and E taking Q to Q. The set of enhanced ellitic curve for Γ(N), denoted S(N), consists of ordered airs (E, (P, Q)) where E is an ellitic curve and (P, Q) are oints in E that generates E N with Weil airing e N (P, Q) = e 2πi/N. (Recall that E N = (Z/NZ) 2 ). (E, (P, Q)) (E, (P, Q )) if there is an isomorhism of E and E taking P to P and Q to Q. Theorem. 3, Thm Modulo details, there are bijections S 0 (N) = Y 0 (N), S 1 (N) = Y 1 (N) and S(N) = Y (N). Examle. For N = 1, Y 0 (1) = Y 1 (1) = Y (1) = SL 2 (Z)\H. Recall that an ellitic curve can be determined by a lattice generated by 1 and some τ H. Two lattices generated the same ellitic curve if τ SL 2 (Z)τ. This agrees with our theorem. Y (Γ) can be made into a Riemann surface (1 dimension comlex manifold) by taking the quotient toology obtained from the quotient ma π : H Γ by τ Γτ. We can comactify Y (Γ) to get X(Γ) = SL 2 (Z)\ (H Q { }). The extra oints are called the cuss. X(Γ) is Hausdorf, connected and comact 3, Pro If f is weight k invariant with resect to Γ, then f is a degree k homogenous function on modular curves with resect to Γ. For details, see 3, Pg 41.
4 Chater 2 Hecke Oerators We will motivate Hecke Oerators following 3 by introducing double coset oerators. 2.1 Double Coset Denition. Let Γ 1 and Γ 2 be congruence subgrous and let α GL + 2 (Q), dene Γ 1 αγ 2 = {γ 1 αγ 2 : γ 1 Γ 1, γ 2 Γ 2 } to be the double coset in GL + 2 (Q). The grou Γ 1 acts on Γ 1 αγ 2 by left multilication, artitioning it into orbits. It can be shown that the number of orbits is nite 3, g 164. Suose Γ 1 αγ 2 = j Γ 1 β j where {β j } are the orbit reresentatives Denition. 3, Def For congruence subgrous Γ 1 and Γ 2 of SL 2 (Z) and α GL + 2 (Q), the weight-k Γ 1αΓ 2 k oerator takes functions f M k (Γ 1 ) to f Γ 1 αγ 2 k = j fβ j k This is well-dened 3, Exercise In fact, we have the following theorem. Theorem. Γ 1 αγ 2 k : M k (Γ 1 ) M k (Γ 2 ) and S k (Γ 1 ) S k (Γ 2 ). Proof. The full roof can by found on age 165 of 3. Here, we will only show invariance. For all γ Γ 2, the ma Γ 1 \Γ 1 αγ 2 Γ 1 \Γ 1 αγ 2 given by Γ 1 β Γ 1 βγ 2 is well-dened and bijective. Therefore, (f Γ 1 αγ 2 k ) γ k = j f β j γ k = f Γ 1 αγ 2 k. Secial cases 3: 1. When Γ 1 Γ 2, with α = I then Γ 1 αγ 2 k is the natural inclusion of M k (Γ 1 ) into M k (Γ 2 ). 2. Γ 1 Γ 2. Taking α = I again, and letting {γ 2,j } be the set of coset reresentatives for Γ 1 \Γ 2 makes the double coset oerator f Γ 1 αγ 2 k = j f γ 2,j k the natural trace ma that rojects M k (Γ 1 ) onto M k (Γ 2 ) by symmetrizing over the quotient. 3
5 CHAPTER 2. HECKE OPERATORS 4 3. If α 1 Γ 1 α = Γ 2 then f Γ 1 αγ 2 k = f α k, the natural translation, is an isomorhism. 2.2 T n and d Denition. Let Γ 1 = Γ 2 = Γ 1 (N) and let α Γ 0 (N). Recall that Γ 0 (N)/Γ 1 (N) = (Z/NZ) by the ma d mod N. This shows that Γ 1 (N) Γ 0 (N), and we have f Γ 1 (N)αΓ 1 (N) k = f α k for all α Γ 0 (N) and f M k (Γ 1 (N)). This is case 3 from above. Note that this induces an action of α Γ 0 (N) on M k (Γ 1 (N)). Because Γ 1 (N) acts trivially on f, this really is an action of (Z/NZ) on M k (Γ 1 (N)). For d (Z/NZ), we can dene the Diamond Oerator d : M k (Γ 1 (N)) M k (Γ 1 (N)) by d f = f α k for any α = Γ 0 (N) with δ d mod N. c δ 1 0 Denition. Again, let Γ 1 = Γ 2 = Γ 1 (N). Let α = for some rime. Then dene 0 T P : M k (Γ 1 (N)) M k (Γ 1 (N)) by T f = f Γ 1 (N)αΓ 1 (N) k. Now, we will show that T and d commutes. For full detail, see age 169 of 3. To do this, rst observe that { } Γ 1 (N) Γ 1 (N) = γ M 2 (Z) : γ mod N, det γ = In fact, for any γ Γ 0 (N), γαγ 1 γ Γ 0 (N). Then 0 mod N. Suose that Γ 1 (N)αΓ 1 (N) = j Γ 1 (N)β j, and x Γ 1 (N)αΓ 1 (N) = Γ 1 (N)γαγ 1 Γ 1 (N) = γγ 1 (N)αΓ 1 (N)γ 1 by normality = γ j Γ 1 (N)β j γ 1 Hence, we have j Γ 1 (N)β j = γ j Γ 1 (N)β j γ 1 and thus j Γ 1 (N)γβ j = j Γ 1 (N)β j γ 1. Note, it need not be the same for each term. We can now show commutativity with this identity. Let γ Γ 0 (N) where the lower right corner entry is δ d mod N. Then d T f = d j f β j k = j f β j γ k = j f γβ j k = T d f for all f M k (Γ 1 (N)).
6 CHAPTER 2. HECKE OPERATORS 5 1 j m n 0 In fact, we can nd that β j = 3, Page for 0 j < and β = N 0 1 if N where m nn = 1 Proosition. 3, Pro T f = 1 j=0 f 1 j=0 f 1 j 0 1 j 0 k + f N k n k if N if N where m nn = 1 In other words, T f(τ) = ( ) j=0 f τ+j ( 1 j=0 f τ+j if N ) + k 1 f(τ) if N Note that in this last formula, it does not matter that f M k (Γ 1 ). In fact, with this algebraic formula, we can dene Hecke oerators on any congruence subgrou Γ. Now, we try to extend d and T P to all n Z +. For n Z + with gcd (n, N) = 1, dene n to be n mod N. If gcd (n, N) > 1, then dene n = 0. This denition makes multilicative on Z +. For rime owers r, dene T r = T T r 1 k 1 T r 2 for r 2. Then for n = ei i construction T n and d still commute. as its rime factorization, dene T n = T e i. By i 2.3 Modular Curve Interretation Let Γ 1 and Γ 2 be congruence subgrous of SL 2 (Z). Suose Γ 1 αγ 2 = j Γ 1 β j, where {β j } are coset reresentations. Let X 1 = X(Γ 1 ) and X 2 = X (Γ 2 ), then Γ 1 αγ 2 k : Div(X 2 ) Div(X 1 ) by Γ 2 τ j Γ 1β j (τ) 3, Pg 166. We will consider the case where the Hecke oerators act on Γ = Γ 1 (N) (don't care about the weight). We will now give a geometric interretation of this, following Remark 1.11 and section 1.3 of 4, and age 174 of 3. Recall that the modular curve Y 1 (N) is in bijective corresondence with S 1 (N). S 1 (N) consists of airs (E, Q) where E is an ellitic curve and Q is a oint of E of order N. For N, the moduli sace interretation is T P : Div (S 1 (N)) Div (S 1 (N)) by E, Q C E/C, Q + C where the sum is taken over all subgrous C of E of order such that C Q = {id E }. This comes from the fact that we have the following corresondence, Div (Y 1 (N)) Div (S 1 (N)) T T Div (Y1 (N)) Div (S1 (N)) Γ 1 (N)τ j Γ 1(N)β j (τ) Eτ, 1 N + Λ τ C Eτ /C, 1 N + C For more details about why this is true, see age 174 of 3. There is an isogeny from C/Λ to C/Λ if and only if there exists some m C such that mλ Λ. If N, then there are exact +1 distinct -isogenies from ( ) ( ) C/ τ, 1, 1 N. Their images are: C/ τ+j, 1, 1 N for j = 0,..., 1 and ( C/ τ, 1, ) N. If N, then we lose the last -isogeny, because the oint N is of order less than N. Note, these + 1 isogenies are exactly φ j (τ) = τ+j for j = 0,..., 1 and φ (τ) = τ. The ma f(τ) ω f = 2πif(τ)dτ is an isomorhism between S 2 (Γ) and Ω 1 (X Γ ) of holomorhiierentials on X Γ 4, ( Lemma ) ( ) This also ( shows ) that dim S 2 (Γ) is nite and equal to g = genus (X(Γ)). Notice that φ j (ω f ) = 2πif τ+j d τ+j = 2πi f τ+j dτ
7 CHAPTER 2. HECKE OPERATORS 6 for all j = 0,..., 1. Combining this fact, with the algebraienition of T, we see that for N, ω T(f) = φ j (ω f ). 2.4 Petersson Inner Product Denition. Dene the hyerbolic measure on the uer half lane dµ(τ) = dxdy y 2 for all τ H. We can extend the measure to H = H Q { } because Q { } has measure zero. This is invariant under under GL + 2 (R), so in articular, it's SL 2(Z)-invariant. Recall that D = {τ H : Re(τ) 12, τ 1 } { } is a fundamental domain of H under the action of SL 2 (C). It can be shown that for any continuous and bounded functions φ : H C and α SL 2 (Z), D φ (α(τ)) dµ(τ) converges. Let {α j } SL 2 (Z) be a set of coset reresentatives, so that SL 2 (Z) = j {±I} Γα j. Now, consider φ : H C in M k (Γ). Since φ and dµ are are Γ invariant, we have ˆ ˆ φ (α j (τ)) dµ(τ) = D φ(τ)dµ(τ). α jd (2.4.1) j Furthermore, α j D reresents X(Γ) u to some boundary identication, so we can dene equation (2.4.1). X(Γ) φ(τ)dµ(τ) to be Denition. For a congruence subgrou Γ, dene the volume of Γ to be V Γ = dµ(τ). X(Γ) Fact. V Γ = SL 2 (Z) : {±} Γ V SL2(Z). Denition. Let Γ SL 2 (Z) be a congruence subgrou. Dene the Petersson Inner roduct by, Γ : S k (Γ) S k (Γ) C f, g Γ = 1 ˆ f(τ)g(τ) (Im(τ)) k dµ(τ) V Γ X(Γ) It can be shown that this is well-dened (f(τ)g(τ) (Im(τ)) k is Γ invariant and the integral converges). Additionally, it is not hard to see that this is linear in the rst variable, and conjugate linear in the second. Additionally, it's Hermitian-symmetric and ositive denite. The reason for 1 V Γ is so that if Γ Γ, then, Γ =, Γ on S k (Γ). This is only dened on cus forms because because the inner roduct does not converge on all of M k (Γ). For Γ SL 2 (Z) a congruence subgrou and α GL + 2 (Q), dene α = det(α)α 1. By comutation, we have that α k = α k and ΓαΓ k = Γα Γ k are their adjoints under the Petersson Inner Product 3, Pro In articular, on S k (Γ 1 (N)), and for N, we have adjoints: = 1 and T = 1 T. For this, we can show that n and T n for gcd (n, N) = 1, are all normal. By the Sectral Theorem of linear algebra, since S k (Γ 1 (N)) is nite dimensional, and n, T n for gcd (n, N) = 1 are a commuting family of normal oerators, there exists an orthogonal basis of simultaneous eigenvectors for the oerators. Let T denote the C-algebra generated by the all Hecke oerators T n and d. A modular form is an eigenform if it is a simultaneous eigenvector for all T T. Note that this does not form asis, because T is not semi-simle. Let T 0 denote the set of all T n and n where gcd(n, N) = 1. orthogonal basis of simultaneous eigenforms. This algebra is semi-simle and so we have an
8 CHAPTER 2. HECKE OPERATORS Eigenforms Denition. If f S k (Γ) is an eigenform if it is a simultaneous eigenvector for all T T. If it has Fourier exansion f(τ) = n=1 a n(f)q n where a 1 (f) = 1 then we say f is normalized. Let f be an eigenform, then it has an associated algebra homomorhism λ f : T C where T f = λ(t )f for all T T. Additionally, we can dene χ : (Z/NZ) C by sending n to the eigenvalue of n corresonding to f, that is n f = χ(n)f. It can be shown that χ is a Dirichlet character. Proosition. 4, 1.17Given a non-zero algebra homomorhism λ : T C, there is exactly one eigenform, u to scaling, such that T f = λ(t )f for all T T. Proosition. 3, Pro Let f M k (N) with associated character χ. Then f is a normalized eigenform if and only if the coecients of the Fourier series satises the following: 1. a 1 (f) = 1 2. a r(f) = a (f)a r 1(f) χ() k 1 a r 2(f) for all rime and r 2 3. a mn(f) = a m (f)a n (f) when gcd (m, n) = 1 To summarize, a n (f) = a 1 (f)λ(t n ). Denition. For a modular form f M k (N) where χ is a Dirichlet character, dene its L-function to be L(s, f) = n=1 a nn s where f(τ) = n=0 a ne 2πinτ is its Fourier series exansion. With some work, the revious roosition shows that f is a normalized eigenform, if and only if its L function has an Euler roduct exansion 4, Thm , Thm L (s, f) = ( 1 a s + χ() k 1 2s) 1. Here, we take χ() = 0 for N.
9 Chater 3 Galois Reresentation The denitions and constructions in this chater come from various sections of Jacobian Recall that the ma f(τ) w f = 2πif(τ)dτ is an isomorhism between S 2 (Γ) and Ω 1 (X Γ ) of holomorhic dierentials on X Γ 4, Lemma This shows that dim S 2 (Γ) is equal to g = genus (X(Γ)). Let V = S 2 (Γ) v = Hom (S 2 (Γ), C) be the dual sace of S 2 (Γ), the weight 2 cus forms of some congruence subgrou Γ of SL 2 (Z). This is a comlex vector sace of dimension g = genus (X(Γ)). The integral homology Λ = H 1 (X(Γ), Z) mas naturally to V by sending a homology cycle c to the functional φ c where φ c (f) = c w f. The image of Λ is a discrete Z-module of rank 2g, so it can be viewed as a lattice in V. We call the comlex torus V/Λ, the Jacobian variety of X (Γ) over C. If Γ = Γ 0 (N) or Γ 1 (N), we will write J 0 (N) and J 1 (N) resectively. Fix τ 0 H. Dene the Abel-Jacobi ma Φ AJ : X(Γ)(C) J Γ by Φ AJ (P )(f) = τ 0 w f. This is well-dened and does not deend on the choice of ath. By linearity, we can extend this to a ma on Div (X(Γ)). Then we can restrict it down to the degree 0 divisors Div 0 (X(Γ)). Here, the Abel-Jacobi ma no longer deends on the base oint τ 0. Theorem. 4, Thm 1.15 (Abel-Jacobi Theorem). The ma Φ AJ : Div 0 (X(Γ)) J Γ has kernel consisting of recisely P (X(Γ)) which is the set of rincial divisors. Therefore, the ma induces an isomorhism between J Γ and the Picard grou, P ic 0 (X(Γ)) = Div 0 (X(Γ)) /P (X(Γ)). Hecke oerators act on V = (S 2 (Γ)) v via duality and they hold Λ stable. Hence, Hecke oerators give rise to endomorhisms of J Γ. Denition. A corresondence on a curve X is a divisor C on X X taken modulo {P } X and X {Q}. Let π 1 and π 2 denote the rojection of X X onto each of the factors. Then C induces a ma on Div(X) by C(D) = π 2 ( π 1 1 (D) C), where D 1 D 2 denotes intersection of the two divisors. C reserves the divisors of degree 0 and sends rincial divisors to rincial divisors. Hence C gives an algebraic endomorhism of Jac(X). We can in fact dene comosition of corresondences to get that the set of corresondences form a ring. See 6 for more details. Now, back to X (Γ). See age 32 of 4 for more details. We dene the Hecke corresondence T n to be the closure in X Γ X Γ of the locus of oints (A, B) in Y Γ Y Γ, where there is a degree n isogeny of ellitic curves with Γ structure from A to B. Let's examine a concrete examle, with Γ = Γ 1 (N) and let N. Consider the 8
10 CHAPTER 3. GALOIS REPRESENTATION 9 grah of T in (X 1 (N) X 1 (N)). This is a corresondence. Consider what the induced ma of T is on divisors. By denition, T ((E, P )) = π 2 ( π 1 1 ((E, P )) T ) = (E/C, P mod C) where the sum runs over the subgrous C of E with order. If (A, B) belongs to T then the isogeny dual to A B gives a -isogeny from B to A so that T v = 1 T. Let Γ = Γ 1 (N). Let φ X1(N) be the Frobenius morhism on X 1 (N) /F which is a degree isogeny that raises coordinates to the -th ower. Here, X 1 (N) /F is the reduction of the curve to characteristic. For more detail on how this is done, see age 36 of 4. Consider the grah of φ X1(N) in (X 1 (N) X 1 (N)) /F. It is a corresondence of degree, which will now be called F. Fix a oint (E, P ) X 1 (N) /F. Our goal is to comute T ((E, P )) using the Frobenius ma. Let (E, P ) = φ X1(N) ((E, P )). To nd the other ellitic curves -isogenous to E, we can consider the ellitic curves E, such that when we aly the Frobenius to it, we get E. To do so, we consider the transose corresondence F (interchange the two factors of X 1 (N) X 1 (N)). The corresonding endomorhism on J Γ induced by F is the dual endomorhism of φ JΓ. Consider the divisor F ((E, P )) = (E 1, P 1 ) (E, P ) Since φ Ei, the Frobenius endomorhism on E i, is an isogeny of degree from (E i, P i ) to (E, P ), we also have the dual isogeny from (E, P ) to (E i, P i ). If E is ordinary at then (E, P ), (E 1, P 1 ),..., (E, P ) are a comlete list of distinct curves with Γ-structure which are -isogenous to (E, P ). Hence, we have the following equality on divisors, T ((E, P )) = (E, P ) + (E 1, P 1 ) (E, P ) = (F + F ) ((E, P )). Since ordinary oints are dense in X 1 (N) /F, T = (F + F ) as endomorhisms of J 1 (N) /F. Theorem. 4, Thm 1.29 For N, the endomorhism of T of J Γ/Fq Eichler-Shimura congruence relation. satises T = F + F. This is called the 3.2 Shimura's Construction Denition. Let S 2 (Γ, Z) to be the sace of modular forms with integral Fourier coecients in S 2 (Γ). Given a ring A, dene S 2 (Γ, A) = S 2 (Γ, Z) A. Note, S 2 (T, C) = S 2 (Γ). Let T Z be the ring generated over Z by the Hecke oerators T n and d acting on S 2 (Γ, Z). Given a ring A, dene T A = T Z A. T A acts on S 2 (Γ, A) in a canonical way. Let f = n=1 a n(f)q n be an eigenform. Let K f be a number eld generated by all the a n (f)'s. Let λ f : T Q K f be associated algebra homomorhism. I f = ker λ f T Z. The image of I f (J Γ ) is a subabelian variety of J Γ which is stable under the actions of T Z and is dened over Q. Denition. Dene A f = J Γ /I f (J Γ ). It is an abelian variety dened over Q and deends only on f the orbit of f under G Q. Its endomorhism ring contains T Z /I f which is isomorhic to an order in K f. In fact, from the actions of T, we get an embedding K f End Q (A f ) Q 4, Pro A f is a comlex tori 4, Lemma Let V f of V = S 2 (Γ) v on which T acts on via λ f ({f : T f = λ(t )f T T}. V f has dimension 1 as a comlex vector sace4, Thm 1.22, Lemma Let π f be the orthogonal rojection of V onto V f relative to the Petersson inner roduct.
11 CHAPTER 3. GALOIS REPRESENTATION 10 Let f be all the eigenforms whose Fourier coecients are Galois conjugates to those of f. The number of forms is K f : Q. Let V f = g f V g and π f = g f π g which is simly the orthogonal rojection of V onto V f. It should be noted that π f T Kf and π f T Q. Lemma. 4, Lemma 1.46 The abelian variety is isomorhic over C to the comlex torus V f /π f (Λ) with the ma π f : V/Λ V f /π f (Λ) corresonding to the natural rojection from J Γ to A f. This also shows that A f is of dimension K f : Q. Proosition. 4, Proosition 1.53 The following are equivalent: The curve E is isogenous over Q to A f for some newform f on some congruence goru Γ There is a non-constant morhism dened over Q from X 0 (N) to E We won't discuss what newforms are, but basically we can decomose S k (Γ 1 (N)) into newforms and oldforms. For more information, see section 5.6 of 3. In articular, if E is an ellitic curve that satisfy the above roerty, then we say it is a modular ellitic curve. Conjecture. Shimura-Taniyama Conjecture 4, Conj All ellitic curves dened over Q are modular. Of course, we now know this is true for semi-stable ellitic curves (Andrew Wiles). Dene the Tate module of A f by T l (A f ) = lim (A f l n ). T l (A f ) Zl Q l is free K f Q l module of rank 2 4, Lemma Theorem. 4, Thm 1.41 For Nl, the characteristic olynomial of the Frobenius endomorhism F on T Ql -module T l (A f ) Q l is X 2 T X + = 0. Proof. By Eichler-Shimura relation. 3.3 Main Theorems For this section, we will let f = n=1 a n(f)q n be an eigenform of weight 2 and level N. Let χ : (Z/NZ) C be its associated character, such that d f = χ(d)f. Let K f be a number eld generated by all the a n (f)'s and values of χ. The action of the Hecke algebra on J 1 (N) rovides an embedding K f End Q (A f ) Q. Recall that T l (A f ) Zl Q l is a free K f Q l module of rank 2. The action of the Galois grou commutes with that of K f, so by choosing a basis for the Tate module, we get an interretation G Q GL 2 (K f Q l ). Because K f Q l can be identied with the roduct of comletions of K f at the rimes over l, we just induced an l-adic reresentation of G Q from f. Theorem. 5, Thm Suose k 2. Then for all rimes of K f, there exists an odd irreducible Galois reresentation ρ f, : G Q GL 2 ( (K f ) ) such that for all l rime to N and to, ρ f, is unramied at l, and the characteristic olynomial of ρ f, (F rob l ) is x 2 a l (f)x + χ(l)l k 1.
12 CHAPTER 3. GALOIS REPRESENTATION Suose k = 1. Then there exists an odd irreducible Galois reresentation ρ f : G Q GL 2 (C) such that for all l rime to N, ρ f x 2 a l (f)x + χ(l). is unramied at l, and the characteristic olynomial of ρ f (F rob l ) is Full roofs of these statements can be found in 1 and 2 for statements 1 and 2 resectively. The reason why the weight 1 case is stated in a searate statement is because it comes from Artin reresentations, and statement 1 comes from l-adic reresentations. For k = 2, J 1 (N) has good reduction at all rimes N. This shows that the action of the Galois grou on T l (A f ) Q l is unramied and is described by the Frobenius endormorhism φ on the Tate module of the reduciton. The characteristic olynomial of φ is X 2 T X + = 0 by the Eichler-Simura relation.
13 Bibliograhy 1 P. Deligne. Formes modulaires et rerésentations l-adiques. Séminaire Bourbaki, 11:139172, P. Deligne and J.-P. Serre. Formes modulaires de oids 1. Annales scientiques de l'école Normale Suérieure, 7(4):507530, F. Diamond and J. Shurman. A First Course in Modular Form. Information Security and Privacy, H. Darmon and F. Diamond and R. Taylor. Fermat's Last Theorem. Current Develoments in Mathematics, 1:1157, J. Weinstein. Recirocity laws and Galois reresentations: Recent Breakthrough A. Weil. Variétés abéliennes et courbes algébriques
(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury
Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing
More informationLecture Notes: An invitation to modular forms
Lecture Notes: An invitation to modular forms October 3, 20 Tate s thesis in the context of class field theory. Recirocity laws Let K be a number field or function field. Let C K = A K /K be the idele
More informationSome local (at p) properties of residual Galois representations
Some local (at ) roerties of residual Galois reresentations Johnson Jia, Krzysztof Klosin March 5, 2006 1 Preliminary results In this talk we are going to discuss some local roerties of (mod ) Galois reresentations
More informationCongruence Subgroups
Congruence Subgroups Undergraduate Mathematics Society, Columbia University S. M.-C. 24 June 2015 Contents 1 First Properties 1 2 The Modular Group and Elliptic Curves 3 3 Modular Forms for Congruence
More informationNUMBERS. Outline Ching-Li Chai
Institute of Mathematics Academia Sinica and Deartment of Mathematics University of Pennsylvania National Chiao Tung University, July 6, 2012 Samle arithmetic Diohantine equations diohantine equation rime
More informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More informationA supersingular congruence for modular forms
ACTA ARITHMETICA LXXXVI.1 (1998) A suersingular congruence for modular forms by Andrew Baker (Glasgow) Introduction. In [6], Gross and Landweber roved the following suersingular congruence in the ring
More informationA SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS
A SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS ANDREW BAKER Abstract. Let > 3 be a rime. In the ring of modular forms with q-exansions defined over Z (), the Eisenstein function E +1 is shown to satisfy
More informationKleine AG: Travaux de Shimura
Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura
More informationδ(xy) = φ(x)δ(y) + y p δ(x). (1)
LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material
More informationJacobi symbols and application to primality
Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime
More informationDIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS
IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular
More informationMODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES
MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MATIJA KAZALICKI Abstract. Using the theory of Stienstra and Beukers [9], we rove various elementary congruences for the numbers ) 2 ) 2 ) 2 2i1
More information3 Properties of Dedekind domains
18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationClass Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q
Class Field Theory Peter Stevenhagen Class field theory is the study of extensions Q K L K ab K = Q, where L/K is a finite abelian extension with Galois grou G. 1. Class Field Theory for Q First we discuss
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationHARUZO HIDA. on the inertia I p for the p-adic cyclotomic character N ordered from top to bottom as a 1 a 2 0 a d. Thus. a 2 0 N. ( N a 1.
L-INVARIANT OF -ADIC L-FUNCTIONS HARUZO HIDA 1. Lecture 1 Let Q C be the field of all algebraic numbers. We fix a rime >2and a -adic absolute value on Q. Then C is the comletion of Q under. We write W
More informationWeil s Conjecture on Tamagawa Numbers (Lecture 1)
Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.
More informationMATH 210A, FALL 2017 HW 5 SOLUTIONS WRITTEN BY DAN DORE
MATH 20A, FALL 207 HW 5 SOLUTIONS WRITTEN BY DAN DORE (If you find any errors, lease email ddore@stanford.edu) Question. Let R = Z[t]/(t 2 ). Regard Z as an R-module by letting t act by the identity. Comute
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More informationABSTRACT. the characteristic polynomial of the Frobenius endomorphism. We show how this
ABSTRACT Title of dissertation: COMMUTATIVE ENDOMORPHISM RINGS OF SIMPLE ABELIAN VARIETIES OVER FINITE FIELDS Jeremy Bradford, Doctor of Philosohy, 01 Dissertation directed by: Professor Lawrence C. Washington
More informationThe Galois Representation Associated to Modular Forms (Part I)
The Galois Representation Associated to Modular Forms (Part I) Modular Curves, Modular Forms and Hecke Operators Chloe Martindale May 20, 2015 Contents 1 Motivation and Background 1 2 Modular Curves 2
More informationQuaternionic Projective Space (Lecture 34)
Quaternionic Projective Sace (Lecture 34) July 11, 2008 The three-shere S 3 can be identified with SU(2), and therefore has the structure of a toological grou. In this lecture, we will address the question
More informationAn Overview of Witt Vectors
An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that
More informationSHIMURA COVERINGS OF SHIMURA CURVES AND THE MANIN OBSTRUCTION. Alexei Skorobogatov. Introduction
Mathematical Research Letters 1, 10001 100NN (005) SHIMURA COVERINGS OF SHIMURA CURVES AND THE MANIN OBSTRUCTION Alexei Skorobogatov Abstract. We rove that the counterexamles to the Hasse rincile on Shimura
More informationSuper Congruences. Master s Thesis Mathematical Sciences
Suer Congruences Master s Thesis Mathematical Sciences Deartment of Mathematics Author: Thomas Attema Suervisor: Prof. Dr. Frits Beukers Second Reader: Prof. Dr. Gunther L.M. Cornelissen Abstract In 011
More information1 The Classical Theory [in brief]
An Introduction to Modular Symbols This is a preparatory talk for Rob Harron's talk; he will talk about overconvergent modular symbols and families of p-adic modular forms. The goal of this talk is to
More informationDISCRIMINANTS IN TOWERS
DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will
More informationSIGN CHANGES OF COEFFICIENTS OF HALF INTEGRAL WEIGHT MODULAR FORMS
SIGN CHANGES OF COEFFICIENTS OF HALF INTEGRAL WEIGHT MODULAR FORMS JAN HENDRIK BRUINIER AND WINFRIED KOHNEN Abstract. For a half integral weight modular form f we study the signs of the Fourier coefficients
More informationA HYPERELLIPTIC SMOOTHNESS TEST, II
A HYPERELLIPTIC SMOOTHNESS TEST, II H. W. LENSTRA Jr, J. PILA and CARL POMERANCE [Received 28 June 999] Contents. Introduction... 05 2. Articulation of the roofs... 08 3. Curves of genus 2 and their Jacobians.....
More informationMA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26
MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationFrobenius Elements, the Chebotarev Density Theorem, and Reciprocity
Frobenius Elements, the Chebotarev Density Theorem, and Recirocity Dylan Yott July 30, 204 Motivation Recall Dirichlet s theorem from elementary number theory. Theorem.. For a, m) =, there are infinitely
More informationAlgebraic Number Theory
Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................
More informationComputing Differential Modular Forms
Comuting Differential Modular Forms Chris Hurlburt Northern Illinois University hurlburt@math.niu.edu July 28, 2003 Let > 3 be a rime number. Let R be a comlete, discrete valuation ring whose maximal ideal
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationA review of the foundations of perfectoid spaces
A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview
More informationCOEFFICIENTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS. Jan H. Bruinier and Ken Ono. Appearing in the Journal of Number Theory
COEFFICIENTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS Jan H. Bruinier and Ken Ono Aearing in the Journal of Number Theory Abstract. In this aer we study the distribution of the coefficients an of half integral
More informationANATOLY PREYGEL. def. (1 x k/d ) µ(d),
L-FUNCTIONS AND THE DENSITIES OF PRIMES ANATOLY PREYGEL Abstract. We resent some of the easier to rove analytic roerties of Dirichlet-Hecke L-functions, including the Dedekind zeta functions. We use Artin
More informationGOOD MODELS FOR CUBIC SURFACES. 1. Introduction
GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in
More informationCONGRUENCES FOR FOURIER COEFFICIENTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS AND SPECIAL VALUES OF L FUNCTIONS. Antal Balog, Henri Darmon and Ken Ono
CONGRUENCES FOR FOURIER COEFFICIENTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS AND SPECIAL VALUES OF L FUNCTIONS Antal Balog, Henri Darmon and Ken Ono Abstract. Congruences for Fourier coefficients of integer
More informationSECTION 5: FIBRATIONS AND HOMOTOPY FIBERS
SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS In this section we will introduce two imortant classes of mas of saces, namely the Hurewicz fibrations and the more general Serre fibrations, which are both obtained
More informationPiotr Blass. Jerey Lang
Ulam Quarterly Volume 2, Number 1, 1993 Piotr Blass Deartment of Mathematics Palm Beach Atlantic College West Palm Beach, FL 33402 Joseh Blass Deartment of Mathematics Bowling Green State University Bowling
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationRaising the Levels of Modular Representations Kenneth A. Ribet
1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is
More informationCusp forms and the Eichler-Shimura relation
Cusp forms and the Eichler-Shimura relation September 9, 2013 In the last lecture we observed that the family of modular curves X 0 (N) has a model over the rationals. In this lecture we use this fact
More informationWe collect some results that might be covered in a first course in algebraic number theory.
1 Aendices We collect some results that might be covered in a first course in algebraic number theory. A. uadratic Recirocity Via Gauss Sums A1. Introduction In this aendix, is an odd rime unless otherwise
More informationImages of Adelic Representations of Modular Forms
MSc Mathematics Master Thesis Images of Adelic Representations of Modular Forms Author: Robert Mann Supervisor: dr. A.L. Kret Examination date: August 7, 2018 Korteweg-de Vries Institute for Mathematics
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationMAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1.
MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT -ADIC L-FUNCTION XEVI GUITART Abstract. We give an overview of Mazur s construction of the Kubota Leooldt -adic L- function as the -adic Mellin transform of a
More informationON THE NORMS OF p-stabilized ELLIPTIC NEWFORMS
ON THE NORMS OF -STABILIZED ELLIPTIC NEWFORMS JIM BROWN AND KRZYSZTOF KLOSIN 2, WITH AN APPENDIX BY KEITH CONRAD 3 Abstract. Let f S κ(γ 0(N)) be a Hecke eigenform at with eigenvalue λ f () for a rime
More informationTHE INVERSE GALOIS PROBLEM FOR ORTHOGONAL GROUPS DAVID ZYWINA
THE INVERSE GALOIS PROBLEM FOR ORTHOGONAL GROUPS DAVID ZYWINA ABSTRACT. We rove many new cases of the Inverse Galois Problem for those simle grous arising from orthogonal grous over finite fields. For
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationGalois Representations
9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and
More informationGENERALIZED NON-ABELIAN RECIPROCITY LAWS: A CONTEXT FOR WILES S PROOF
GENERALIZED NON-ABELIAN RECIPROCITY LAWS: A CONTEXT FOR WILES S PROOF AVNER ASH AND ROBERT GROSS Abstract. In as elementary a way as ossible, we lace Wiles s roof of Fermat s Last Theorem into the context
More informationAlgebraic number theory LTCC Solutions to Problem Sheet 2
Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then
More informationRECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS
RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS THOMAS POGUNTKE Abstract. Artin s recirocity law is a vast generalization of quadratic recirocity and contains a lot of information about
More informationModularity of Abelian Varieties
1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists
More informationHASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES
HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this
More informationMATH 371 Class notes/outline October 15, 2013
MATH 371 Class notes/outline October 15, 2013 More on olynomials We now consider olynomials with coefficients in rings (not just fields) other than R and C. (Our rings continue to be commutative and have
More informationQUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE)
QUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE) HEE OH 1. Lecture 1:Introduction and Finite fields Let f be a olynomial with integer coefficients. One of the basic roblem is to understand if
More informationMath 751 Lecture Notes Week 3
Math 751 Lecture Notes Week 3 Setember 25, 2014 1 Fundamental grou of a circle Theorem 1. Let φ : Z π 1 (S 1 ) be given by n [ω n ], where ω n : I S 1 R 2 is the loo ω n (s) = (cos(2πns), sin(2πns)). Then
More informationCONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS
CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS HANNAH LARSON AND GEOFFREY SMITH Abstract. In their work, Serre and Swinnerton-Dyer study the congruence roerties of the Fourier coefficients
More informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More informationIntroduction to Group Theory Note 1
Introduction to Grou Theory Note July 7, 009 Contents INTRODUCTION. Examles OF Symmetry Grous in Physics................................. ELEMENT OF GROUP THEORY. De nition of Grou................................................
More informationMATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction
MATH 248A. THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied
More informationi (H) 1 on the diagonal and W acts as Sn t on by permuting a j.)
1 Introduction Let G be a comact connected Lie Grou with Lie algebra g. T a maximal torus of G with Lie Algebra t. Let W = N G (T )/T be the Weyl grou of T in G. W acts on t through the Ad reresentations.
More informationGalois representations on torsion points of elliptic curves NATO ASI 2014 Arithmetic of Hyperelliptic Curves and Cryptography
Galois reresentations on torsion oints of ellitic curves NATO ASI 04 Arithmetic of Hyerellitic Curves and Crytograhy Francesco Paalardi Ohrid, August 5 - Setember 5, 04 Lecture - Introduction Let /Q be
More informationOn the Rank of the Elliptic Curve y 2 = x(x p)(x 2)
On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure
More informationARITHMETIC PROPERTIES OF CERTAIN LEVEL ONE MOCK MODULAR FORMS
ARITHMETIC PROPERTIES OF CERTAIN LEVEL ONE MOCK MODULAR FORMS MATTHEW BOYLAN Abstract. In recent work, Bringmann and Ono [4] show that Ramanujan s fq) mock theta function is the holomorhic rojection of
More informationDIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS. Contents. 1. Dirichlet s theorem on arithmetic progressions
DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS ANG LI Abstract. Dirichlet s theorem states that if q and l are two relatively rime ositive integers, there are infinitely many rimes of the
More informationIrregular Weight One Point with Dihedral Image
Irregular Weight One Point with Dihedral Image Hao Billy Lee Under the supervision of Professor Henri Darmon Department of Mathematics and Statistics McGill University Montreal, Quebec April 15 2017 A
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More information2.1 Automorphic forms for GL(1, A Q )
CHAPTER II AUTOMORPHIC REPRESENTATIONS AND L-FUNCTIONS FOR GL1, A Q 2.1 Automorhic forms for GL1, A Q Let A Q denote the adele ring over Q as in definition 1.3.1. The key oint is that GL1, A Q is just
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More informationMAT4250 fall 2018: Algebraic number theory (with a view toward arithmetic geometry)
MAT450 fall 018: Algebraic number theory (with a view toward arithmetic geometry) Håkon Kolderu Welcome to MAT450, a course on algebraic number theory. This fall we aim to cover the basic concets and results
More informationLifting to GL(2) over a division quaternion algebra and an explicit construction of CAP representations
Lifting to GL) over a division quaternion algebra and an exlicit construction of CAP reresentations Masanori Muto, Hiro-aki Narita and Ameya Pitale Abstract The aim of this aer is to carry out an exlicit
More informationYounggi Choi and Seonhee Yoon
J. Korean Math. Soc. 39 (2002), No. 1,. 149 161 TORSION IN THE HOMOLOGY OF THE DOUBLE LOOP SPACES OF COMPACT SIMPLE LIE GROUPS Younggi Choi and Seonhee Yoon Abstract. We study the torsions in the integral
More informationTHE CHARACTER GROUP OF Q
THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied ointwise
More informationClass number in non Galois quartic and non abelian Galois octic function fields over finite fields
Class number in non Galois quartic and non abelian Galois octic function fields over finite fields Yves Aubry G. R. I. M. Université du Sud Toulon-Var 83 957 La Garde Cedex France yaubry@univ-tln.fr Abstract
More informationVIEWING MODULAR FORMS AS AUTOMORPHIC REPRESENTATIONS
VIEWING MODULAR FORMS AS AUTOMORPHIC REPRESENTATIONS JEREMY BOOHER These notes answer the question How does the classical theory of modular forms connect with the theory of automorhic forms on GL 2? They
More informationON THE NORMS OF p-stabilized ELLIPTIC NEWFORMS
ON THE NORMS OF -STABILIZED ELLIPTIC NEWFORMS JIM BROWN 1 AND KRZYSZTOF KLOSIN 2, WITH AN APPENDIX BY KEITH CONRAD 3 Abstract. Let f S κ(γ 0(N)) be a Hecke eigenform at with eigenvalue λ f () for a rime
More informationElliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015
18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More information1 Introduction Let be an odd rime, and set S n = S 2n () for the symlectic grou of degree 2n over F. Euclidean integral lattices in the sace of the We
Symlectic Grou Lattices Rudolf Scharlau y Deartment of Mathematics University of Dortmund 44221 Dortmund, Germany Pham Huu Tie Deartment of Mathematics University of Florida Gainesville, FL 32611, USA
More informationSERRE S CONJECTURE AND BASE CHANGE FOR GL(2)
SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the
More informationDIFFERENTIAL GEOMETRY. LECTURES 9-10,
DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator
More informationA FINITE FIELD HYPERGEOMETRIC FUNCTION ASSOCIATED TO EIGENVALUES OF A SIEGEL EIGENFORM. DERMOT McCARTHY AND MATTHEW A. PAPANIKOLAS
A FINITE FIELD HYPERGEOMETRIC FUNCTION ASSOCIATED TO EIGENVALUES OF A SIEGEL EIGENFORM DERMOT McCARTHY AND MATTHEW A. PAPANIKOLAS Abstract. Although links between values of finite field hyergeometric functions
More informationTHE THEORY OF NUMBERS IN DEDEKIND RINGS
THE THEORY OF NUMBERS IN DEDEKIND RINGS JOHN KOPPER Abstract. This aer exlores some foundational results of algebraic number theory. We focus on Dedekind rings and unique factorization of rime ideals,
More informationBlock-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound
Block-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound María Chara*, Ricardo Podestá**, Ricardo Toledano* * IMAL (CONICET) - Universidad Nacional del Litoral ** CIEM (CONICET)
More information25 Modular forms and L-functions
18.783 Elliptic Curves Lecture #25 Spring 2017 05/15/2017 25 Modular forms and L-functions As we will prove in the next lecture, Fermat s Last Theorem is a corollary of the following theorem for elliptic
More informationMATH342 Practice Exam
MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice
More informationGroup Theory Problems
Grou Theory Problems Ali Nesin 1 October 1999 Throughout the exercises G is a grou. We let Z i = Z i (G) and Z = Z(G). Let H and K be two subgrous of finite index of G. Show that H K has also finite index
More information