CONGRUENCES. 1. History

Size: px
Start display at page:

Download "CONGRUENCES. 1. History"

Transcription

1 CONGRUENCES HAO BILLY LEE Abstract. These are notes I created for a seminar tak, foowing the papers of On the -adic Representations and Congruences for Coefficients of Moduar Forms by Swinnerton-Dyer and Congruences et Formes Moduaires by Serre. I caim no credit to the originaity of the contents of these notes. Nor do I caim that they are without errors, nor readabe. n=1 1. History We have the Ramanujan -function, weight 1 cusp-form = q 1 q n 4 = τnq n. Like a moduar forms, τn s are known once we know τp. For a positive v, denote σ v n = d n dv, for exampe: σ v q = 1 + p v. Ramanujan computed a bunch of congruences between τn and σ v n mod some prime power. In particuar the primes are, 3, 5, 7, 3 and 691. Here 3 = k 1, and 691 b 1 Bernoui number Question: Can we find/prove these even tho we are not Ramanujan? Are these a the possibe primes? Let χ : Ga Q/Q Z be the cycotomic character, then we know that for a p, χ F rob p = p. We know that given a normaized eigenform of weight k, we have a continuous homomorphism everything is eve 1 n=1 ρ : Ga K /Q GL Z technicay, just need K maxima agebraic extension of Q ramified ony at, satisfying x a p x + p k 1 for a p. This says that det ρ = χ k 1. The question now becomes, can we find congruence reations between the trace and the determinant of every eement in the image of ρ. I don t know much about the group theory of GL Z p... One natura thing, is to consider the image of ρ : Ga K /Q GL F. Lemma 1.1. Suppose that > 3, G is a subgroup of GL Z which is cosed in the -adic topoogy which we have because of compactness. If the image of G under reduction mod contains SL F then G contains SL Z. If it does not, ca an exceptiona prime when it does not contains SL Z. For = or 3, need to repace F with Z/8 or Z/9. Proof. Idea: et G n be the image of G in GL Z/ n Z. Use induction to prove that G n SL Z/ n Z, which is aso sufficient to prove that G n contains the kerne H n = ker SL Z/ n Z SL Z/ n 1 Z. 0 1 Then you can write H to be generated by I + u for some u. Ie. for n =, u = 0 0 The image of I + u SL Z generaize to H n 1 and n u, so there s σ G such that 0 0, or 1 1. σ = I + u + v 1

2 CONGRUENCES where v has Z -entries. Then σ = I + u + v u + v I + u mod because u = 0 and a other terms have. Why happens to non-exceptiona primes ie. does contain SL Z. Lemma 1.. Suppose f is normaized eigenform, not exceptiona for. Let N, N be non-empty open sets in Z and Z respectivey. Then the set of primes p for which p N and a p N has positive density are infinite sets. Proof. Goa is to show that the image of the map ρ, χ : Ga K /Q GL Z Z contains SL Z 1. When we project to the first factor, we get a of SL Z. Therefore, the image of the commutator subgroup must contain Comm SL Z 1. When > 3, Comm SL Z = SL Z, because the reduction map SL Z SL F maps the commutator to the commutator. Fact: Comm SL F = SL F, and by the emma. When = or 3, pick σ G such that ρ σ SL Z. Then χ k 1 σ = 1. Since Z does not contain non-trivia roots of unity of odd order, χ σ = 1. Since χ is surjective, the image wi then be exacty a the α β with det α = β k 1. Then the map T r ρ, χ : Ga K /Q Z Z Tr 1 is surjective take. This is a map F robp a p p. det 0 Use Chebotarev density theorem, and uniform distributivity of the Frobenius eements. In fact, Serre defines exceptiona prime to be exacty those, whose image is not surjective. Now, the goa is to study the exceptiona primes. In particuar, what are the possibe subgroups of GL F that does not contain SL F. Swinnerton-Dyer ists a bunch of cases of such a subgroup G GL F want to see that they are sma enough for non-triva agebraic reation. Definition 1.3. Bore subgroup is one that s conjugate to invertibe upper trianguar matrix. This is in 1-1 correspondence with 1-dimsensiona subspace W V and group is those with W as an eigenspace. Cartan subgroup is a maxima semisimpe diagonaizabe over agebraic cosure commutative subgroup. Spit means diagonaizabe over F p, is in 1-1 corr with 1-dimensiona subspaces W 1, W V, and group is those with these two as eigenspace non-spit is not diagonaizabe over F p. We can base change to quadratic extension K of F, and et W be any one dimensiona eigenspaces of V K that is not induced by a subspace of V, and W its conjugate. Have 1 1 correspondence of the Cartan whch have W, W as eigenspaces. An eement in the group is then uniquey determined by its eigenvaue associated to W. In fact, an eement It s cycic group isomorphic to F p Cartan means that we have two eigenspaces after base extension. So an eement of the normaizer, wi either fix or interchange the two eigenspaces. If it fixes, it s aready in the Cartan subgroup by maximaity. Theorem 1.4. Suppose ρ : Ga K /Q GL Z is a continuous homomorphism such that det ρ = χ k 1 for some even integer k. Let G GL F be the image of ρ, and suppose that it does not contain SL F. These cases give you congruences mod. Then

3 CONGRUENCES 3 1 G is contained in a Bore subgroup of GL F. There is an integer m such that a n n m σ k 1 m n mod for a n prime to Ony happens if m < < k or m = 0 and divides the numerator of b k Bernouii number G is contained in the normaizer of a Cartan subgroup, but not in the Cartan subgroup itsef a n 0 mod whenever n is a quadratic non-residue mod Can ony happen if < k 3 The image of G in P GL F is isomorphic to S 4 specia to eve 1 p 1 k a p 0, 1, or 4 mod for a p Harder to describe, but a finite set Proof. We can write ρ σ = ασ βσ 0 δσ α is a continuous homomorphism Ga K /Q F and so it s equa to χm which is αδ, so δ = χ k 1 m. Let σ = F robp for p then. for some integer m. The determinant is χ k 1 The genera thing for n foows. a p = p m + p k 1 m mod. Let C be the Cartan subgroup, and N its normaizer. Consider the homomorphism This is surjective by hypothesis. continuous homomorphism to Z Ga K /Q N N/C = {±1}. Since the image is commutative, we factor through Ga K ab/q = Z. to {±1} that s surjective, is the one whose kernes are squares. Therefore, p ρ F robp C = 1. Suppose α N but not in C. Then α interchanges the two eigenspaces, so we can write α = Hence, a p 0 mod whenever p is a quadratic non-residue mod. Let. Moduar forms mod P = E = 1 4 σ 1 nq n Q = E 4 = σ 3 nq n R = E 6 = σ 5 nq n. 0 0 The ony, so trace is 0. We know that any moduar form of weight k can be expressed as an isobaric poynomia in Q and R. In particuar, et A be the isobaric poynomia such that A Q, R = E 1. Let M k be space of moduar forms of weight k with O coefficients, where O = {a Q : v p a 0}. Let M k F q be the F -vector space generated by the reduction map. The space M of mod moduar forms is the sume of Mk. Fact.1. The reduction map M k M k is injective, but eements of different weight can have the same q-expansion Define the operators θ = q d dq : n a n q n n na n q n On the Gaois representation, it corresponds to a twist by χ. In particuar, θ 1 : a n q n n,=1 a nq n. This means that θ 1 acts as the identity when restricted to the kerne of U : a n q n a n q n.

4 CONGRUENCES 4 Theorem [ ].. Suppose > 3 when p = or 3, Q = R = 1, from the fact that 178 = Q 3 R, we get F p then 1 à Q, R = 1 so it has q-expansion 1 M is naturay isomorphic to F [Q, R] / à 1, with a natura grading with vaues in Z/ 1 M is just Proof. 1 anayze some congruences of Bernouii numbers. If à Q, R = 1, then ceary, à 1 is in the kerne of F [Q, R] M = F q. Since M is an integra domain, the kerne is prime. The dimension is, so we just need to check that à 1 is not maxima, and is irreducibe. Maxima because ese M is a finite fied, which means that Q and R are then agebraic over F... but they have q-terms. Remark.3. The à is the Hasse invariant Theorem.4. Suppose f and f are moduar forms of weight k and k respectivey. If f f mod and f 0 mod, then we have k k mod 1. Definition.5. Define the fitration ωf = inf which is a sum of eements where a the reevant k are congruence make them a beong to the same M k. {j : f M j }. Define wf = if f = 0. If f is a a graded eement, Theorem.6. Let f M. Then ωθ f ω f + + 1, with equaity iff ω f 0 mod. mod 1, can mutipy by suitabe powers of à to Proof. First, we know that n = n 1. So then if n is a quadratic non-residue mod, then This is equivaent to a n 0 mod a n n n +1 mod. θ f = θ +1/ f. If we assume that > k, then ω f = k and ω θ f = k Simiary, we see that if k n 0 mod then k + n 0 mod. This means that n > k. Therefore, ω θ +1/ f = k We can do more. Since is odd and k is even, = k and = k are not possibe. Let s suppose k < < k. Simiar to the above, ω θ n f = k + n + 1 if n k. Therefore, ω θ k+1 f = k k + 1 n 1 = k + k k + 1 n 1 = k n n +1/ What we wi see, is that to get to ω θ f, we wi no onger drop again.

5 CONGRUENCES 5 Suppose f is in the kerne of the operator U, then θ 1 f = f. Ca f = f 1 and et f i = θ A f 1 for some A where ω θ A 1 f 1. Let ci 1 be the number of times we add + 1 to ωf i before reaching something divisibe by. Let b i 1 be the amount we fa. Since 1 forms a cyce, we get i c i = 1. In tota, I ve added 1-number of + 1 so = i c i + 1 = i b i 1 where the ast equaity is because I ended up where I started. This shows that b i = + 1. But since this has to be w θ f = k < + 1, we see that we can ony appy θ once to the above. Therefore, k + 1 = + 1 k + = + 1 = = k 3 = = k 1.

Serre s theorem on Galois representations attached to elliptic curves

Serre s theorem on Galois representations attached to elliptic curves Università degi Studi di Roma Tor Vergata Facotà di Scienze Matematiche, Fisiche e Naturai Tesi di Laurea Speciaistica in Matematica 14 Lugio 2010 Serre s theorem on Gaois representations attached to eiptic

More information

PRIME TWISTS OF ELLIPTIC CURVES

PRIME TWISTS OF ELLIPTIC CURVES PRIME TWISTS OF ELLIPTIC CURVES DANIEL KRIZ AND CHAO LI Abstract. For certain eiptic curves E/Q with E(Q)[2] = Z/2Z, we prove a criterion for prime twists of E to have anaytic rank 0 or 1, based on a mod

More information

MIXING AUTOMORPHISMS OF COMPACT GROUPS AND A THEOREM OF SCHLICKEWEI

MIXING AUTOMORPHISMS OF COMPACT GROUPS AND A THEOREM OF SCHLICKEWEI MIXING AUTOMORPHISMS OF COMPACT GROUPS AND A THEOREM OF SCHLICKEWEI KLAUS SCHMIDT AND TOM WARD Abstract. We prove that every mixing Z d -action by automorphisms of a compact, connected, abeian group is

More information

The Partition Function and Ramanujan Congruences

The Partition Function and Ramanujan Congruences The Partition Function and Ramanujan Congruences Eric Bucher Apri 7, 010 Chapter 1 Introduction The partition function, p(n), for a positive integer n is the number of non-increasing sequences of positive

More information

(MOD l) REPRESENTATIONS

(MOD l) REPRESENTATIONS -INDEPENDENCE FOR COMPATIBLE SYSTEMS OF (MOD ) REPRESENTATIONS CHUN YIN HUI Abstract. Let K be a number fied. For any system of semisimpe mod Gaois representations {φ : Ga( Q/K) GL N (F )} arising from

More information

INDIVISIBILITY OF CENTRAL VALUES OF L-FUNCTIONS FOR MODULAR FORMS

INDIVISIBILITY OF CENTRAL VALUES OF L-FUNCTIONS FOR MODULAR FORMS INIVISIBILITY OF CENTRAL VALUES OF L-FUNCTIONS FOR MOULAR FORMS MASATAKA CHIA Abstract. In this aer, we generaize works of Kohnen-Ono [7] and James-Ono [5] on indivisibiity of (agebraic art of centra critica

More information

The Group Structure on a Smooth Tropical Cubic

The Group Structure on a Smooth Tropical Cubic The Group Structure on a Smooth Tropica Cubic Ethan Lake Apri 20, 2015 Abstract Just as in in cassica agebraic geometry, it is possibe to define a group aw on a smooth tropica cubic curve. In this note,

More information

NATHAN JONES. Taking the inverse limit over all n 1 (ordered by divisibility), one may consider the action of G K on. n=1

NATHAN JONES. Taking the inverse limit over all n 1 (ordered by divisibility), one may consider the action of G K on. n=1 GL 2 -REPRESENTATIONS WITH MAXIMAL IMAGE NATHAN JONES Abstract. For a matrix group G, consider a Gaois representation ϕ: Ga(Q/Q) G(Ẑ) which extends the cycotomic character. For a broad cass of matrix groups

More information

THE REACHABILITY CONES OF ESSENTIALLY NONNEGATIVE MATRICES

THE REACHABILITY CONES OF ESSENTIALLY NONNEGATIVE MATRICES THE REACHABILITY CONES OF ESSENTIALLY NONNEGATIVE MATRICES by Michae Neumann Department of Mathematics, University of Connecticut, Storrs, CT 06269 3009 and Ronad J. Stern Department of Mathematics, Concordia

More information

Mod p Galois representations attached to modular forms

Mod p Galois representations attached to modular forms Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended

More information

On the Surjectivity of Galois Representations Associated to Elliptic Curves over Number Fields

On the Surjectivity of Galois Representations Associated to Elliptic Curves over Number Fields On the Surjectivity of Gaois Representations Associated to Eiptic Curves over Number Fieds Eric Larson and Dmitry Vaintrob Abstract Given an eiptic curve E over a number fied K, the -torsion points E[]

More information

Local Galois Symbols on E E

Local Galois Symbols on E E Loca Gaois Symbos on E E Jacob Murre and Dinakar Ramakrishnan To Spencer Boch, with admiration Introduction Let E be an eiptic curve over a fied F, F a separabe agebraic cosure of F, and a prime different

More information

(f) is called a nearly holomorphic modular form of weight k + 2r as in [5].

(f) is called a nearly holomorphic modular form of weight k + 2r as in [5]. PRODUCTS OF NEARLY HOLOMORPHIC EIGENFORMS JEFFREY BEYERL, KEVIN JAMES, CATHERINE TRENTACOSTE, AND HUI XUE Abstract. We prove that the product of two neary hoomorphic Hece eigenforms is again a Hece eigenform

More information

Local Galois Symbols on E E

Local Galois Symbols on E E Fieds Institute Communications Voume 56, 2009 Loca Gaois Symbos on E E Jacob Murre Department of Mathematics University of Leiden 2300 RA Leiden Leiden, Netherands murre@math.eidenuniv.n Dinakar Ramakrishnan

More information

Local indecomposability of Tate modules of abelian varieties of GL(2)-type. Haruzo Hida

Local indecomposability of Tate modules of abelian varieties of GL(2)-type. Haruzo Hida Loca indecomposabiity of Tate modues of abeian varieties of GL(2)-type Haruzo Hida Department of Mathematics, UCLA, Los Angees, CA 90095-1555, U.S.A. June 19, 2013 Abstract: We prove indecomposabiity of

More information

STABILISATION OF THE LHS SPECTRAL SEQUENCE FOR ALGEBRAIC GROUPS. 1. Introduction

STABILISATION OF THE LHS SPECTRAL SEQUENCE FOR ALGEBRAIC GROUPS. 1. Introduction STABILISATION OF THE LHS SPECTRAL SEQUENCE FOR ALGEBRAIC GROUPS ALISON E. PARKER AND DAVID I. STEWART arxiv:140.465v1 [math.rt] 19 Feb 014 Abstract. In this note, we consider the Lyndon Hochschid Serre

More information

are left and right inverses of b, respectively, then: (b b 1 and b 1 = b 1 b 1 id T = b 1 b) b 1 so they are the same! r ) = (b 1 r = id S b 1 r = b 1

are left and right inverses of b, respectively, then: (b b 1 and b 1 = b 1 b 1 id T = b 1 b) b 1 so they are the same! r ) = (b 1 r = id S b 1 r = b 1 Lecture 1. The Category of Sets PCMI Summer 2015 Undergraduate Lectures on Fag Varieties Lecture 1. Some basic set theory, a moment of categorica zen, and some facts about the permutation groups on n etters.

More information

are left and right inverses of b, respectively, then: (b b 1 and b 1 = b 1 b 1 id T = b 1 b) b 1 so they are the same! r ) = (b 1 r = id S b 1 r = b 1

are left and right inverses of b, respectively, then: (b b 1 and b 1 = b 1 b 1 id T = b 1 b) b 1 so they are the same! r ) = (b 1 r = id S b 1 r = b 1 Lecture 1. The Category of Sets PCMI Summer 2015 Undergraduate Lectures on Fag Varieties Lecture 1. Some basic set theory, a moment of categorica zen, and some facts about the permutation groups on n etters.

More information

Selmer groups and Euler systems

Selmer groups and Euler systems Semer groups and Euer systems S. M.-C. 21 February 2018 1 Introduction Semer groups are a construction in Gaois cohomoogy that are cosey reated to many objects of arithmetic importance, such as cass groups

More information

THE PARTITION FUNCTION AND HECKE OPERATORS

THE PARTITION FUNCTION AND HECKE OPERATORS THE PARTITION FUNCTION AND HECKE OPERATORS KEN ONO Abstract. The theory of congruences for the partition function p(n depends heaviy on the properties of haf-integra weight Hecke operators. The subject

More information

Some Properties Related to the Generalized q-genocchi Numbers and Polynomials with Weak Weight α

Some Properties Related to the Generalized q-genocchi Numbers and Polynomials with Weak Weight α Appied Mathematica Sciences, Vo. 6, 2012, no. 118, 5851-5859 Some Properties Reated to the Generaized q-genocchi Numbers and Poynomias with Weak Weight α J. Y. Kang Department of Mathematics Hannam University,

More information

l-adic PROPERTIES OF PARTITION FUNCTIONS

l-adic PROPERTIES OF PARTITION FUNCTIONS -ADIC PROPERTIES OF PARTITION FUNCTIONS EVA BELMONT, HOLDEN LEE, ALEXANDRA MUSAT, SARAH TREBAT-LEDER Abstract. Fosom, Kent, and Ono used the theory of moduar forms moduo to estabish remarkabe sef-simiarity

More information

FRIEZE GROUPS IN R 2

FRIEZE GROUPS IN R 2 FRIEZE GROUPS IN R 2 MAXWELL STOLARSKI Abstract. Focusing on the Eucidean pane under the Pythagorean Metric, our goa is to cassify the frieze groups, discrete subgroups of the set of isometries of the

More information

A REFINEMENT OF KOBLITZ S CONJECTURE

A REFINEMENT OF KOBLITZ S CONJECTURE A REFINEMENT OF KOBLITZ S CONJECTURE DAVID ZYWINA Abstract. Let E be an eiptic curve over the rationas. In 1988, Kobitz conjectured an asymptotic for the number of primes p for which the cardinaity of

More information

Partial permutation decoding for MacDonald codes

Partial permutation decoding for MacDonald codes Partia permutation decoding for MacDonad codes J.D. Key Department of Mathematics and Appied Mathematics University of the Western Cape 7535 Bevie, South Africa P. Seneviratne Department of Mathematics

More information

ARITHMETIC FAKE PROJECTIVE SPACES AND ARITHMETIC FAKE GRASSMANNIANS. Gopal Prasad and Sai-Kee Yeung

ARITHMETIC FAKE PROJECTIVE SPACES AND ARITHMETIC FAKE GRASSMANNIANS. Gopal Prasad and Sai-Kee Yeung ARITHMETIC FAKE PROJECTIVE SPACES AND ARITHMETIC FAKE GRASSMANNIANS Gopa Prasad and Sai-Kee Yeung Dedicated to Robert P. Langands on his 70th birthday 1. Introduction Let n be an integer > 1. A compact

More information

PREPUBLICACIONES DEL DEPARTAMENTO DE ÁLGEBRA DE LA UNIVERSIDAD DE SEVILLA

PREPUBLICACIONES DEL DEPARTAMENTO DE ÁLGEBRA DE LA UNIVERSIDAD DE SEVILLA EUBLICACIONES DEL DEATAMENTO DE ÁLGEBA DE LA UNIVESIDAD DE SEVILLA Impicit ideas of a vauation centered in a oca domain F. J. Herrera Govantes, M. A. Oaa Acosta, M. Spivakovsky, B. Teissier repubicación

More information

K p q k(x) K n(x) x X p

K p q k(x) K n(x) x X p oc 5. Lecture 5 5.1. Quien s ocaization theorem and Boch s formua. Our next topic is a sketch of Quien s proof of Boch s formua, which is aso a a brief discussion of aspects of Quien s remarkabe paper

More information

Relaxed Highest Weight Modules from D-Modules on the Kashiwara Flag Scheme. Claude Eicher, ETH Zurich November 29, 2016

Relaxed Highest Weight Modules from D-Modules on the Kashiwara Flag Scheme. Claude Eicher, ETH Zurich November 29, 2016 Reaxed Highest Weight Modues from D-Modues on the Kashiwara Fag Scheme Caude Eicher, ETH Zurich November 29, 2016 1 Reaxed highest weight modues for ŝ 2 after Feigin, Semikhatov, Sirota,Tipunin Introduction

More information

Problem set 6 The Perron Frobenius theorem.

Problem set 6 The Perron Frobenius theorem. Probem set 6 The Perron Frobenius theorem. Math 22a4 Oct 2 204, Due Oct.28 In a future probem set I want to discuss some criteria which aow us to concude that that the ground state of a sef-adjoint operator

More information

PARTITION CONGRUENCES AND THE ANDREWS-GARVAN-DYSON CRANK

PARTITION CONGRUENCES AND THE ANDREWS-GARVAN-DYSON CRANK PARTITION CONGRUENCES AND THE ANDREWS-GARVAN-DYSON CRANK KARL MAHLBURG Abstract. In 1944, Freeman Dyson conjectured the existence of a crank function for partitions that woud provide a combinatoria proof

More information

Lecture Note 3: Stationary Iterative Methods

Lecture Note 3: Stationary Iterative Methods MATH 5330: Computationa Methods of Linear Agebra Lecture Note 3: Stationary Iterative Methods Xianyi Zeng Department of Mathematica Sciences, UTEP Stationary Iterative Methods The Gaussian eimination (or

More information

Involutions and representations of the finite orthogonal groups

Involutions and representations of the finite orthogonal groups Invoutions and representations of the finite orthogona groups Student: Juio Brau Advisors: Dr. Ryan Vinroot Dr. Kaus Lux Spring 2007 Introduction A inear representation of a group is a way of giving the

More information

Monomial Hopf algebras over fields of positive characteristic

Monomial Hopf algebras over fields of positive characteristic Monomia Hopf agebras over fieds of positive characteristic Gong-xiang Liu Department of Mathematics Zhejiang University Hangzhou, Zhejiang 310028, China Yu Ye Department of Mathematics University of Science

More information

arxiv:math/ v2 [math.ag] 12 Jul 2006

arxiv:math/ v2 [math.ag] 12 Jul 2006 GRASSMANNIANS AND REPRESENTATIONS arxiv:math/0507482v2 [math.ag] 12 Ju 2006 DAN EDIDIN AND CHRISTOPHER A. FRANCISCO Abstract. In this note we use Bott-Bore-Wei theory to compute cohomoogy of interesting

More information

BALANCING REGULAR MATRIX PENCILS

BALANCING REGULAR MATRIX PENCILS BALANCING REGULAR MATRIX PENCILS DAMIEN LEMONNIER AND PAUL VAN DOOREN Abstract. In this paper we present a new diagona baancing technique for reguar matrix pencis λb A, which aims at reducing the sensitivity

More information

CONGRUENCES FOR TRACES OF SINGULAR MODULI

CONGRUENCES FOR TRACES OF SINGULAR MODULI CONGRUENCES FOR TRACES OF SINGULAR MODULI ROBERT OSBURN Abstract. We extend a resut of Ahgren and Ono [1] on congruences for traces of singuar modui of eve 1 to traces defined in terms of Hauptmodu associated

More information

Separation of Variables and a Spherical Shell with Surface Charge

Separation of Variables and a Spherical Shell with Surface Charge Separation of Variabes and a Spherica She with Surface Charge In cass we worked out the eectrostatic potentia due to a spherica she of radius R with a surface charge density σθ = σ cos θ. This cacuation

More information

A Motivated Introduction to Modular Forms

A Motivated Introduction to Modular Forms May 3, 2006 Outline of talk: I. Motivating questions II. Ramanujan s τ function III. Theta Series IV. Congruent Number Problem V. My Research Old Questions... What can you say about the coefficients of

More information

MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26

MA 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 information

On the 4-rank of the tame kernel K 2 (O) in positive definite terms

On the 4-rank of the tame kernel K 2 (O) in positive definite terms On the 4-rank of the tame kerne K O in positive definite terms P. E. Conner and Jurgen Hurrebrink Abstract: The paper is about the structure of the tame kerne K O for certain quadratic number fieds. There

More information

15 Elliptic curves and Fermat s last theorem

15 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 information

The state vectors j, m transform in rotations like D(R) j, m = m j, m j, m D(R) j, m. m m (R) = j, m exp. where. d (j) m m (β) j, m exp ij )

The state vectors j, m transform in rotations like D(R) j, m = m j, m j, m D(R) j, m. m m (R) = j, m exp. where. d (j) m m (β) j, m exp ij ) Anguar momentum agebra It is easy to see that the operat J J x J x + J y J y + J z J z commutes with the operats J x, J y and J z, [J, J i ] 0 We choose the component J z and denote the common eigenstate

More information

POTENTIAL AUTOMORPHY AND CHANGE OF WEIGHT.

POTENTIAL AUTOMORPHY AND CHANGE OF WEIGHT. POTENTIAL AUTOMORPHY AND CHANGE OF WEIGHT. THOMAS BARNET-LAMB, TOBY GEE, DAVID GERAGHTY, AND RICHARD TAYLOR Abstract. We show that a strongy irreducibe, odd, essentiay sef-dua, reguar, weaky compatibe

More information

Completion. is dense in H. If V is complete, then U(V) = H.

Completion. is dense in H. If V is complete, then U(V) = H. Competion Theorem 1 (Competion) If ( V V ) is any inner product space then there exists a Hibert space ( H H ) and a map U : V H such that (i) U is 1 1 (ii) U is inear (iii) UxUy H xy V for a xy V (iv)

More information

QUADRATIC FORMS AND FOUR PARTITION FUNCTIONS MODULO 3

QUADRATIC FORMS AND FOUR PARTITION FUNCTIONS MODULO 3 QUADRATIC FORMS AND FOUR PARTITION FUNCTIONS MODULO 3 JEREMY LOVEJOY AND ROBERT OSBURN Abstract. Recenty, Andrews, Hirschhorn Seers have proven congruences moduo 3 for four types of partitions using eementary

More information

ON THE IMAGE OF GALOIS l-adic REPRESENTATIONS FOR ABELIAN VARIETIES OF TYPE III

ON THE IMAGE OF GALOIS l-adic REPRESENTATIONS FOR ABELIAN VARIETIES OF TYPE III ON THE IMAGE OF GALOIS -ADIC REPRESENTATIONS FOR ABELIAN VARIETIES OF TYPE III Grzegorz Banaszak, Wojciech Gajda and Piotr Krasoń Abstract In this paper we investigate the image of the -adic representation

More information

2M2. Fourier Series Prof Bill Lionheart

2M2. Fourier Series Prof Bill Lionheart M. Fourier Series Prof Bi Lionheart 1. The Fourier series of the periodic function f(x) with period has the form f(x) = a 0 + ( a n cos πnx + b n sin πnx ). Here the rea numbers a n, b n are caed the Fourier

More information

Math 124B January 17, 2012

Math 124B January 17, 2012 Math 124B January 17, 212 Viktor Grigoryan 3 Fu Fourier series We saw in previous ectures how the Dirichet and Neumann boundary conditions ead to respectivey sine and cosine Fourier series of the initia

More information

LECTURE NOTES 8 THE TRACELESS SYMMETRIC TENSOR EXPANSION AND STANDARD SPHERICAL HARMONICS

LECTURE NOTES 8 THE TRACELESS SYMMETRIC TENSOR EXPANSION AND STANDARD SPHERICAL HARMONICS MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Department Physics 8.07: Eectromagnetism II October, 202 Prof. Aan Guth LECTURE NOTES 8 THE TRACELESS SYMMETRIC TENSOR EXPANSION AND STANDARD SPHERICAL HARMONICS

More information

XSAT of linear CNF formulas

XSAT of linear CNF formulas XSAT of inear CN formuas Bernd R. Schuh Dr. Bernd Schuh, D-50968 Kön, Germany; bernd.schuh@netcoogne.de eywords: compexity, XSAT, exact inear formua, -reguarity, -uniformity, NPcompeteness Abstract. Open

More information

Workshop on Serre s Modularity Conjecture: the level one case

Workshop on Serre s Modularity Conjecture: the level one case Workshop on Serre s Modularity Conjecture: the level one case UC Berkeley Monte Verità 13 May 2009 Notation We consider Serre-type representations of G = Gal(Q/Q). They will always be 2-dimensional, continuous

More information

Powers of Ideals: Primary Decompositions, Artin-Rees Lemma and Regularity

Powers of Ideals: Primary Decompositions, Artin-Rees Lemma and Regularity Powers of Ideas: Primary Decompositions, Artin-Rees Lemma and Reguarity Irena Swanson Department of Mathematica Sciences, New Mexico State University, Las Cruces, NM 88003-8001 (e-mai: iswanson@nmsu.edu)

More information

$, (2.1) n="# #. (2.2)

$, (2.1) n=# #. (2.2) Chapter. Eectrostatic II Notes: Most of the materia presented in this chapter is taken from Jackson, Chap.,, and 4, and Di Bartoo, Chap... Mathematica Considerations.. The Fourier series and the Fourier

More information

Algorithms to solve massively under-defined systems of multivariate quadratic equations

Algorithms to solve massively under-defined systems of multivariate quadratic equations Agorithms to sove massivey under-defined systems of mutivariate quadratic equations Yasufumi Hashimoto Abstract It is we known that the probem to sove a set of randomy chosen mutivariate quadratic equations

More information

Small generators of function fields

Small generators of function fields Journa de Théorie des Nombres de Bordeaux 00 (XXXX), 000 000 Sma generators of function fieds par Martin Widmer Résumé. Soit K/k une extension finie d un corps goba, donc K contient un éément primitif

More information

ORTHOGONAL MULTI-WAVELETS FROM MATRIX FACTORIZATION

ORTHOGONAL MULTI-WAVELETS FROM MATRIX FACTORIZATION J. Korean Math. Soc. 46 2009, No. 2, pp. 281 294 ORHOGONAL MLI-WAVELES FROM MARIX FACORIZAION Hongying Xiao Abstract. Accuracy of the scaing function is very crucia in waveet theory, or correspondingy,

More information

ALGEBRAIC INDEPENDENCE OF ARITHMETIC GAMMA VALUES AND CARLITZ ZETA VALUES

ALGEBRAIC INDEPENDENCE OF ARITHMETIC GAMMA VALUES AND CARLITZ ZETA VALUES ALGEBRAIC INDEPENDENCE OF ARITHMETIC GAMMA VALUES AND CARLITZ ZETA VALUES CHIEH-YU CHANG, MATTHEW A PAPANIKOLAS, DINESH S THAKUR, AND JING YU Abstract We consider the vaues at proper fractions of the arithmetic

More information

arxiv: v1 [math.nt] 5 Dec 2017

arxiv: v1 [math.nt] 5 Dec 2017 THE KERNEL OF A RATIONAL EISENSTEIN PRIME AT NON-SQUAREFREE LEVEL HWAJONG YOO arxiv:1712.01717v1 [math.nt] 5 Dec 2017 Abstract. Let 5 be a prime and et N be a non-squarefree integer not divisibe by. For

More information

TORSION POINTS AND GALOIS REPRESENTATIONS ON CM ELLIPTIC CURVES

TORSION POINTS AND GALOIS REPRESENTATIONS ON CM ELLIPTIC CURVES TORSION POINTS AND GALOIS REPRESENTATIONS ON CM ELLIPTIC CURVES ABBEY BOURDON AND PETE L. CLARK Abstract. We prove severa resuts on torsion points and Gaois representations for compex mutipication (CM

More information

ADELIC ANALYSIS AND FUNCTIONAL ANALYSIS ON THE FINITE ADELE RING. Ilwoo Cho

ADELIC ANALYSIS AND FUNCTIONAL ANALYSIS ON THE FINITE ADELE RING. Ilwoo Cho Opuscua Math. 38, no. 2 208, 39 85 https://doi.org/0.7494/opmath.208.38.2.39 Opuscua Mathematica ADELIC ANALYSIS AND FUNCTIONAL ANALYSIS ON THE FINITE ADELE RING Iwoo Cho Communicated by.a. Cojuhari Abstract.

More information

Coupling of LWR and phase transition models at boundary

Coupling of LWR and phase transition models at boundary Couping of LW and phase transition modes at boundary Mauro Garaveo Dipartimento di Matematica e Appicazioni, Università di Miano Bicocca, via. Cozzi 53, 20125 Miano Itay. Benedetto Piccoi Department of

More information

BASIC NOTIONS AND RESULTS IN TOPOLOGY. 1. Metric spaces. Sets with finite diameter are called bounded sets. For x X and r > 0 the set

BASIC NOTIONS AND RESULTS IN TOPOLOGY. 1. Metric spaces. Sets with finite diameter are called bounded sets. For x X and r > 0 the set BASIC NOTIONS AND RESULTS IN TOPOLOGY 1. Metric spaces A metric on a set X is a map d : X X R + with the properties: d(x, y) 0 and d(x, y) = 0 x = y, d(x, y) = d(y, x), d(x, y) d(x, z) + d(z, y), for a

More information

Twists and residual modular Galois representations

Twists and residual modular Galois representations Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual

More information

arxiv: v1 [math.co] 12 May 2013

arxiv: v1 [math.co] 12 May 2013 EMBEDDING CYCLES IN FINITE PLANES FELIX LAZEBNIK, KEITH E. MELLINGER, AND SCAR VEGA arxiv:1305.2646v1 [math.c] 12 May 2013 Abstract. We define and study embeddings of cyces in finite affine and projective

More information

MARKOV CHAINS AND MARKOV DECISION THEORY. Contents

MARKOV CHAINS AND MARKOV DECISION THEORY. Contents MARKOV CHAINS AND MARKOV DECISION THEORY ARINDRIMA DATTA Abstract. In this paper, we begin with a forma introduction to probabiity and expain the concept of random variabes and stochastic processes. After

More information

Simple Algebraic Proofs of Fermat s Last Theorem. Samuel Bonaya Buya*

Simple Algebraic Proofs of Fermat s Last Theorem. Samuel Bonaya Buya* Avaiabe onine at www.peagiaresearchibrary.com eagia Research Library Advances in Appied Science Research, 017, 8(3:60-6 ISSN : 0976-8610 CODEN (USA: AASRFC Simpe Agebraic roofs of Fermat s Last Theorem

More information

SERRE S CONJECTURE AND BASE CHANGE FOR GL(2)

SERRE 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 information

On stronger versions of Brumer s conjecture

On stronger versions of Brumer s conjecture On stronger versions of Brumer s conjecture Masato Kurihara Abstract. Let k be a totay rea number fied and L a CM-fied such that L/k is finite and abeian. In this paper, we study a stronger version of

More information

Course 2BA1, Section 11: Periodic Functions and Fourier Series

Course 2BA1, Section 11: Periodic Functions and Fourier Series Course BA, 8 9 Section : Periodic Functions and Fourier Series David R. Wikins Copyright c David R. Wikins 9 Contents Periodic Functions and Fourier Series 74. Fourier Series of Even and Odd Functions...........

More information

Residual modular Galois representations: images and applications

Residual modular Galois representations: images and applications Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular

More information

VI.G Exact free energy of the Square Lattice Ising model

VI.G Exact free energy of the Square Lattice Ising model VI.G Exact free energy of the Square Lattice Ising mode As indicated in eq.(vi.35), the Ising partition function is reated to a sum S, over coections of paths on the attice. The aowed graphs for a square

More information

Notes: Most of the material presented in this chapter is taken from Jackson, Chap. 2, 3, and 4, and Di Bartolo, Chap. 2. 2π nx i a. ( ) = G n.

Notes: Most of the material presented in this chapter is taken from Jackson, Chap. 2, 3, and 4, and Di Bartolo, Chap. 2. 2π nx i a. ( ) = G n. Chapter. Eectrostatic II Notes: Most of the materia presented in this chapter is taken from Jackson, Chap.,, and 4, and Di Bartoo, Chap... Mathematica Considerations.. The Fourier series and the Fourier

More information

arxiv: v1 [math.nt] 5 Mar 2019

arxiv: v1 [math.nt] 5 Mar 2019 arxiv:1903.01677v1 [math.nt] 5 Mar 2019 A note on Gersten s conjecture for ae cohomoogy over two-dimensiona henseian reguar oca rings Makoto Sakagaito Department of Mathematica Sciences IISER Mohai, Knowedge

More information

Investigation on spectrum of the adjacency matrix and Laplacian matrix of graph G l

Investigation on spectrum of the adjacency matrix and Laplacian matrix of graph G l Investigation on spectrum of the adjacency matrix and Lapacian matrix of graph G SHUHUA YIN Computer Science and Information Technoogy Coege Zhejiang Wani University Ningbo 3500 PEOPLE S REPUBLIC OF CHINA

More information

JENSEN S OPERATOR INEQUALITY FOR FUNCTIONS OF SEVERAL VARIABLES

JENSEN S OPERATOR INEQUALITY FOR FUNCTIONS OF SEVERAL VARIABLES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Voume 128, Number 7, Pages 2075 2084 S 0002-99390005371-5 Artice eectronicay pubished on February 16, 2000 JENSEN S OPERATOR INEQUALITY FOR FUNCTIONS OF

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

Covolumes of nonuniform lattices in PU(n, 1)

Covolumes of nonuniform lattices in PU(n, 1) Covoumes of nonuniform attices in PU(n, 1) Vincent Emery Université de Genève 2-4 rue du Lièvre, CP 64 1211 Genève 4, Switzerand vincent.emery@gmai.com Matthew Stover University of Michigan 530 Church

More information

Class groups and Galois representations

Class groups and Galois representations and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the

More information

#A48 INTEGERS 12 (2012) ON A COMBINATORIAL CONJECTURE OF TU AND DENG

#A48 INTEGERS 12 (2012) ON A COMBINATORIAL CONJECTURE OF TU AND DENG #A48 INTEGERS 12 (2012) ON A COMBINATORIAL CONJECTURE OF TU AND DENG Guixin Deng Schoo of Mathematica Sciences, Guangxi Teachers Education University, Nanning, P.R.China dengguixin@ive.com Pingzhi Yuan

More information

ELLIPTIC CURVES, RANDOM MATRICES AND ORBITAL INTEGRALS 1. INTRODUCTION

ELLIPTIC CURVES, RANDOM MATRICES AND ORBITAL INTEGRALS 1. INTRODUCTION ELLIPTIC CURVES, RANDOM MATRICES AND ORBITAL INTEGRALS JEFFREY D. ACHTER AND JULIA GORDON ABSTRACT. An isogeny cass of eiptic curves over a finite fied is determined by a quadratic Wei poynomia. Gekeer

More information

SEMINAR 2. PENDULUMS. V = mgl cos θ. (2) L = T V = 1 2 ml2 θ2 + mgl cos θ, (3) d dt ml2 θ2 + mgl sin θ = 0, (4) θ + g l

SEMINAR 2. PENDULUMS. V = mgl cos θ. (2) L = T V = 1 2 ml2 θ2 + mgl cos θ, (3) d dt ml2 θ2 + mgl sin θ = 0, (4) θ + g l Probem 7. Simpe Penduum SEMINAR. PENDULUMS A simpe penduum means a mass m suspended by a string weightess rigid rod of ength so that it can swing in a pane. The y-axis is directed down, x-axis is directed

More information

Pattern Frequency Sequences and Internal Zeros

Pattern Frequency Sequences and Internal Zeros Advances in Appied Mathematics 28, 395 420 (2002 doi:10.1006/aama.2001.0789, avaiabe onine at http://www.ideaibrary.com on Pattern Frequency Sequences and Interna Zeros Mikós Bóna Department of Mathematics,

More information

Efficiently Generating Random Bits from Finite State Markov Chains

Efficiently Generating Random Bits from Finite State Markov Chains 1 Efficienty Generating Random Bits from Finite State Markov Chains Hongchao Zhou and Jehoshua Bruck, Feow, IEEE Abstract The probem of random number generation from an uncorreated random source (of unknown

More information

Symmetric Squares of Elliptic Curves: Rational Points and Selmer Groups

Symmetric Squares of Elliptic Curves: Rational Points and Selmer Groups Symmetric Squares of Eiptic Curves: Rationa Points and Semer Groups Nei Dummigan CONTENTS 1. Introduction 2. The Symmetric Square L-Function 3. The Boch-Kato Formua: Fudge Factors 4. Goba Torsion 5. The

More information

Gauss Law. 2. Gauss s Law: connects charge and field 3. Applications of Gauss s Law

Gauss Law. 2. Gauss s Law: connects charge and field 3. Applications of Gauss s Law Gauss Law 1. Review on 1) Couomb s Law (charge and force) 2) Eectric Fied (fied and force) 2. Gauss s Law: connects charge and fied 3. Appications of Gauss s Law Couomb s Law and Eectric Fied Couomb s

More information

On nil-mccoy rings relative to a monoid

On nil-mccoy rings relative to a monoid PURE MATHEMATICS RESEARCH ARTICLE On ni-mccoy rings reative to a monoid Vahid Aghapouramin 1 * and Mohammad Javad Nikmehr 2 Received: 24 October 2017 Accepted: 29 December 2017 First Pubished: 25 January

More information

Bourgain s Theorem. Computational and Metric Geometry. Instructor: Yury Makarychev. d(s 1, s 2 ).

Bourgain s Theorem. Computational and Metric Geometry. Instructor: Yury Makarychev. d(s 1, s 2 ). Bourgain s Theorem Computationa and Metric Geometry Instructor: Yury Makarychev 1 Notation Given a metric space (X, d) and S X, the distance from x X to S equas d(x, S) = inf d(x, s). s S The distance

More information

(1 α (1) l s )(1 α (2) a n n m b n n m p <ε

(1 α (1) l s )(1 α (2) a n n m b n n m p <ε L-INVARIANT OF p-adic L-FUNCTIONS HARUZO HIDA Let Q C be the fied of a agebraic numbers We fix a prime p>2and a p-adic absoute vaue p on Q Then C p is the competion of Q under p We write W = { x K x p

More information

Honours Research Project: Modular forms and Galois representations mod p, and the nilpotent action of Hecke operators mod 2

Honours Research Project: Modular forms and Galois representations mod p, and the nilpotent action of Hecke operators mod 2 Honours Research Project: Modular forms and Galois representations mod p, and the nilpotent action of Hecke operators mod 2 Mathilde Gerbelli-Gauthier May 20, 2014 Abstract We study Hecke operators acting

More information

b n n=1 a n cos nx (3) n=1

b n n=1 a n cos nx (3) n=1 Fourier Anaysis The Fourier series First some terminoogy: a function f(x) is periodic if f(x ) = f(x) for a x for some, if is the smaest such number, it is caed the period of f(x). It is even if f( x)

More information

The arc is the only chainable continuum admitting a mean

The arc is the only chainable continuum admitting a mean The arc is the ony chainabe continuum admitting a mean Aejandro Ianes and Hugo Vianueva September 4, 26 Abstract Let X be a metric continuum. A mean on X is a continuous function : X X! X such that for

More information

Recent Work on Serre s Conjectures

Recent Work on Serre s Conjectures Recent Work on s UC Berkeley UC Irvine May 23, 2007 Prelude In 1993 1994, I was among the number theorists who lectured to a variety of audiences about the proof of Fermat s Last Theorem that Andrew Wiles

More information

p-adic families of modular forms

p-adic families of modular forms April 3, 2009 Plan Background and Motivation Lecture 1 Background and Motivation Overconvergent p-adic modular forms The canonical subgroup and the U p operator Families of p-adic modular forms - Strategies

More information

AUTOMORPHIC FORMS NOTES, PART I

AUTOMORPHIC FORMS NOTES, PART I AUTOMORPHIC FORMS NOTES, PART I DANIEL LITT The goal of these notes are to take the classical theory of modular/automorphic forms on the upper half plane and reinterpret them, first in terms L 2 (Γ \ SL(2,

More information

Factorization of Cyclotomic Polynomials with Quadratic Radicals in the Coefficients

Factorization of Cyclotomic Polynomials with Quadratic Radicals in the Coefficients Advances in Pure Mathematics, 07, 7, 47-506 http://www.scirp.org/journa/apm ISSN Onine: 60-0384 ISSN Print: 60-0368 Factoriation of Cycotomic Poynomias with Quadratic Radicas in the Coefficients Afred

More information

COMPLEX MULTIPLICATION: LECTURE 15

COMPLEX MULTIPLICATION: LECTURE 15 COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider

More information

For any non-singular complex variety Y with an invertible sheaf L and an effective divisor D =

For any non-singular complex variety Y with an invertible sheaf L and an effective divisor D = INTRODUCTION TO CYCLIC COVERS IN ALGEBRAIC GEOMETRY YI ZHANG Contents 1. Main resut 1 2. Preiminary on commutative Agebra 3 3. Proof of Theorem 1.1 8 References 13 1. Main resut For any integer n 1, et

More information

V.B The Cluster Expansion

V.B The Cluster Expansion V.B The Custer Expansion For short range interactions, speciay with a hard core, it is much better to repace the expansion parameter V( q ) by f(q ) = exp ( βv( q )) 1, which is obtained by summing over

More information

LECTURE NOTES 9 TRACELESS SYMMETRIC TENSOR APPROACH TO LEGENDRE POLYNOMIALS AND SPHERICAL HARMONICS

LECTURE NOTES 9 TRACELESS SYMMETRIC TENSOR APPROACH TO LEGENDRE POLYNOMIALS AND SPHERICAL HARMONICS MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Department Physics 8.07: Eectromagnetism II October 7, 202 Prof. Aan Guth LECTURE NOTES 9 TRACELESS SYMMETRIC TENSOR APPROACH TO LEGENDRE POLYNOMIALS AND SPHERICAL

More information