# Register now to access 7 million high quality study materials (What's Course Hero?) Course Hero is the premier provider of high quality online educational resources. With millions of study documents, online tutors, digital flashcards and free courseware, Course Hero is helping students learn more efficiently and effectively. Whether you're interested in exploring new subjects or mastering key topics for your next exam, Course Hero has the tools you need to achieve your goals.

79 Pages

### MODULAR FORMS-page79

Course: MATH 300, Fall 2009
School: Stony Brook University
Rating:

Word Count: 220

#### Document Preview

Show 75 (i) that rLC (2) = 48 + 16A4 , rLC (4) = 28 A8 + 640A4 + 1104. (ii) Using (7.13) show that A8 = 759 4A4 . 7.9 Let A = An be a commutative graded algebra over a eld F . Assume A n= has no zero divisors, A0 = F 1 and dim AN &gt; 1 for some nN &gt; 0. Show that An = 0 for n &lt; 0. Apply this to give another proof that Mk () = 0 for k &lt; 0. 2 7.10 Find an explicit linear relation...

Register Now

#### Unformatted Document Excerpt

Coursehero >> New York >> Stony Brook University >> MATH 300

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Show 75 (i) that rLC (2) = 48 + 16A4 , rLC (4) = 28 A8 + 640A4 + 1104. (ii) Using (7.13) show that A8 = 759 4A4 . 7.9 Let A = An be a commutative graded algebra over a eld F . Assume A n= has no zero divisors, A0 = F 1 and dim AN > 1 for some nN > 0. Show that An = 0 for n < 0. Apply this to give another proof that Mk () = 0 for k < 0. 2 7.10 Find an explicit linear relation between the modular forms E16 , E8 and E4 E10 , where E2k denotes the Eisenstein series. Translate this relation into a relation between the values of the functions d (m). 7.11 Let f ( ) be a parabolic modular form of weight with k respect to (1). (i) Show that the function ( ) = |f ( )|(Im )k is invariant with respect to (1). (ii) Show that ( ) is bounded on H (it is not true if f is not cuspidal). P (iii) Show that the coecient an in the Fourier expansion f ( ) = an q n can be computed as the integral Z1 an = f (x + iy )e2in(x+iy) dx. 0 (iv) Using (iii) prove that |an | = O(nk ) (Heckes Theorem). 7.12 Let L be an even unimodular lattice in R8k and rL (m) be dened as in Example 7.2. Using the previous exercise show that rL (m) = 8k 4k1 (m) + O(m2k ). B2k 7.13 Let L = E8 E8 E8 . Show that L = 432000 1 E12 + . (12) 691
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Stony Brook University - MATH - 300
74LECTURE 7. THE ALGEBRA OF MODULAR FORMS(i) Show that LC is an integral lattice if and only if for any x = ( 1 , . . . , n ) Cthe number wt(x) = #cfw_i : i = 0 (called the weight of x) is divisible by 4. Inthis case we say that C is a doubly even lin
Stony Brook University - MATH - 300
73Proof. Let be a normal subgroup of nite index in (1) which is contained in . Italways can be found by taking the intersection of conjugate subgroups g 1 g, g (1). We rst apply Lemma 7.3 to the case when B = M( ), A = M(1). SinceA C[T1 , T2 ] is nite
Stony Brook University - MATH - 300
72LECTURE 7. THE ALGEBRA OF MODULAR FORMS7.4 Our goal is to prove an analog of Theorem 7.1 for any subgroup of nite index of (1). Let be two such subgroups. Assume also that is normal in andlet G = / be the quotient group. The group G acts on Mk ( ) a
Stony Brook University - MATH - 300
71In fact there exists only one even unimodular lattice in R8 (up to equivalence oflattices). The lattice is the famous E8 lattice, the root lattice of simple Lie algebra oftype E8 .Fig.2Here the diagram describes a symmetric matrix as follows. All t
Stony Brook University - MATH - 300
70LECTURE 7. THE ALGEBRA OF MODULAR FORMS(e1 , . . . , en ). Then the pre-image of the standard lattice Zn = Ze1 + . . . + Zen is anintegral lattice L with the distance function Q.Let us dene the theta function of the lattice L by settingL ( ) =Xm=
Stony Brook University - MATH - 300
697.3 Let us give some examples.Example 7.1. We know that the Eisenstein series E2k is a modular form of weight22k with respect to (1). Since M4 (1) = Cg2 = CE4 , comparing the constantcoecients in the Fourier expansions we obtainE8 = (8) 2E4 .2
Stony Brook University - MATH - 300
68LECTURE 7. THE ALGEBRA OF MODULAR FORMSIn particular, this is true for g2 . For any other f M2 (1) we have f /g2 is (1)invariant and also holomorphic at (since g2 is not a cusp form). This shows thatf /g2 is constant andM2 (1) = Cg2 .Similar argum
Stony Brook University - MATH - 300
67Use the function q = e2i to map the segment cfw_ : |Re | 1 , Im = h onto the21circle C : |q | = e2h . When we move along the segment from the point 2 + ih to the1point 2 + ih the image point moves along the circle in the clockwise way. We have12
Stony Brook University - MATH - 300
66LECTURE 7. THE ALGEBRA OF MODULAR FORMSNote that when f is a modular form with respect to a group we haveg (f ) = (f ),g .For each H let8&gt;2&lt;m = 3&gt;:1if (1) i,if (1) e2i/3 ,otherwise.(7.3)Lemma 7.1. Let f ( ) be a modular form of weight k
Stony Brook University - MATH - 300
3and henceacbd=abcd.This can be also expressed by saying that the form f is obtained from the formf by using the change of variablesx x + y,y x + y.We write this in the formf = M f.According to Lagrange two binary quadratic forms f and g a
Stony Brook University - MATH - 300
Lecture 7The Algebra of ModularForms7.1 Let be a subgroup of nite index of (1). We setMk () = cfw_modular forms of weight k with respect to ,We also denote by Mk ()0 the subspace of cuspidal modular forms. It is clear thatMk () is a vector space ove
Stony Brook University - MATH - 300
63(iii) Show that L ( ) is almost modular form for the group0 (N ) = cfw_ SL(2, Z) : N |c,i.e.L ( + ) = ( + )k/2 (d)L ( ), + where (d) = ( (1)dk2D 0 (N ),) is the quadratic residue symbol.(iv) Prove that L ( ) is a modular form for 0 (2) w
Stony Brook University - MATH - 300
62LECTURE 6. MODULAR FORMS6.5 Show that0(z1 )det @ (z2 )r(z3 ) (z1 ) (z2 ) (z3 )111A = 01whenever z1 + z2 + z3 = 0. Deduce from this an explicit formula for the group law onthe projective cubic curve y 2 t = 4x3 g2 xt2 g3 t3 .6.6 (Weierstr
Stony Brook University - MATH - 300
61Example 6.4. We apply the previous theorem to (z ; ) = (z ) and z =case = 0 (2) = cfw_ (1) : 2| .1.2In thisNow, replacing z with z/( + ) in (6.22), we get( + z;) = ( + )2 [z 2 + + + X(m,n)=(0,0)1].z m( + ) + n( + )Since Z + Z = Z( +
Stony Brook University - MATH - 300
60LECTURE 6. MODULAR FORMSIn particular, 120 (4) = (2 )4 /12,280 (6) = (2 )6 /216 and we can write117Y g2 = (2 )4 [+ 20X ], g3 = (2 )6.122163This gives32g2 27g3 = (2 )12 [(5X + 7Y )/12 + 100X 2 + 20X 3 42Y 2 ] =(2 )12 q + q 2 (. . .).3N
Stony Brook University - MATH - 300
59Setting t = e2iz , we rewrite the left-hand side as follows: cot(z ) = Xmeiz + eizt+1cos z= i iz) = i= i (1 2t ).sin ze eizt1m=0Dierentiating k 1 2 times in z , we getX(k 1)!X(z + m)k = (2i)kmZmk1 tm .m=1This gives us the needed
Stony Brook University - MATH - 300
58LECTURE 6. MODULAR FORMSas a holomorphic map from C \ cfw_e1 , e2 , e3 to (C/ )/(z z ). It can be shown thatit extends to a holomorphic isomorphism from the Weiertrass cubic y 2 = 4x3 g2 x g3onto (C/ ) \ cfw_0. This is the inverse of the map given
Stony Brook University - MATH - 300
57After all of these normalizations, the elliptic function (z ) with respect to is uniquely determined by the conditions (6.18) and (6.19). It is called called theWeierstrass function with respect to the lattice .One can nd explicitly the function (z
Stony Brook University - MATH - 300
56LECTURE 6. MODULAR FORMSenters only in the rst degree. Thus we can express y in terms of x, t and obtain thatE is isomorphic to P1 (C). If d = 0 we obtain that f could be chosen of degree 2.Again this is impossible. Note that we also have in (6.13)
Stony Brook University - MATH - 300
2LECTURE 1. BINARY QUADRATIC FORMSLet x = m1 v + m2 w . The length of x is given by the formulax|2 = |m1 v + m2 w|2 = (m1 , m2 )vvvwvwwwm1m2=am2 + 2bm1 m2 + cm2 ,12wherea = v v,b = v w,c = w w.(1.1)Let us consider the (binary) quadratic
Stony Brook University - MATH - 300
556.4 We know that any elliptic curve is isomorphic to a Hesse cubic curve. Let usgive another cubic equation for an elliptic curve, called a Weierstrass equation. Itscoecients will give us new examples of modular forms. Recall that dim Th(k, )ab =k.
Stony Brook University - MATH - 300
54LECTURE 6. MODULAR FORMSHere we used that (T S ) = (ST )1 since (T 2 S 2 ) = 1 and similarly(T ST ) = (ST S )1 , (T ST S ) = (ST ST )1 ,(T ST ST ) = (ST ST S )1 .Also (ST ) = (ST ST )1 . Thus it is enough to verify that the elements S, ST, ST S,T
Stony Brook University - MATH - 300
536.3 Let us give some examples.Example 6.1. Let( ) = ( )24 .It is called the discriminant function. We know that ( ) satises (6.1) with k = 6with respect to the group = SL(2, Z). By (4.9)( ) =Since( ) = q1 1 1 8.(2 )8 2 2Y(1 q m )24m=1we s
Stony Brook University - MATH - 300
52LECTURE 6. MODULAR FORMSrepresented by a rational number x or the stabilizer group x is conjugate to asubgroup of SL(2, Z) . In fact, if g x = for some g SL(2, Z), theng x g 1 = .Since + = = 0, + we haveg x g 1 cfw_10, Z1Let h be the sma
Stony Brook University - MATH - 300
516.2 Suppose we have n + 1 linearly independent functions f0 , . . . , fn satisfying (6.1)(with the same number k). Then we can consider the mapf : H CPn , (f0 ( ), . . . , fn ( ).(6.7)When we replace with + , the coordinates of the image will all
Stony Brook University - MATH - 300
50LECTURE 6. MODULAR FORMSof in the space of holomorphic functions on H dened by(g )(z ) = |k g 1 .Note that we switched here to g1(6.6)in order to get(gg ) = (g ) (g ).It follows from the above that to check (6.1) for some subgroup it is enough
Stony Brook University - MATH - 300
Lecture 6Modular Forms6.1 We have seen already in Lecture 5 (5.2) and Corollary 5.3 that the functions( )4k = 00 (0; )4k (resp. ( )24 ) satisfy the functional equationf ( + 2) = f ( ),f (1/ ) = 2 f ( ),(resp.f ( + 1) = f ( ),f (1/ ) = 12 f ( ).In
Stony Brook University - MATH - 300
48LECTURE 5. TRANSFORMATIONS OF THETA FUNCTIONS5.7 Dene the Weierstrass -function by2z2z 2 ( 1 1 /61 1 1 ) 1 1 ( ; )1122 (z ; 1 , 2 ) = 1 e2222 1 1 (0).22Show that(i) (z ; 1 , 2 ) does not depend on the basis 1 , 2 of the lattice ;(ii) (
Stony Brook University - MATH - 300
47(iv) Show that the expressionQn1 =100 ( n ; ) 1 0 ( n ; )0 1 ( n ; )2200 (0; )n1 1 0 (0; )n1 0 1 (0; )n12.2does not change when is replaced with 2 .(v) Show thatQn1 =100 ( n ; ) 1 0 ( n ; )0 1 ( n ; )2200 (0; )n1 1 0 (0; )n1 0 1 (0; )n
Stony Brook University - MATH - 300
46LECTURE 5. TRANSFORMATIONS OF THETA FUNCTIONSExercises5.1 Show that the constant (M ) in (5.16) is equal to iodd. If is odd and is even, it is equal to0symbol, where we also set ( 1 ) = 1.ei/4 ( ). 12( | ) when is even and isHere ( x ) is the
Stony Brook University - MATH - 300
Lecture 1Binary Quadratic Forms1.1 The theory of modular form originates from the work of C.F. Gauss of1831 in which he gave a geometrical interpretation of some basic notions ofnumber theory.Let us start with choosing two non-proportional vectors in
Stony Brook University - MATH - 300
45Proof. We shall prove in the next lecture that it is enough to check this for generatorsof the group SL(2, Z). Also we shall show that the group SL(2, Z) is generated by thematrices M1 = ( 1 1 ) , M2 = ( 0 1 ) , I. We have from (4.14) and (4.15)011
Stony Brook University - MATH - 300
44LECTURE 5. TRANSFORMATIONS OF THETA FUNCTIONSNow take M = ( 0 1 ) . We have10eiz2/00 (z/ ; 1/ ) = B00 (z ; )for some B depending only on . Plugging in z = 0 and applying (4.2), we getB = i ,(5.10)where the square root takes positive values on
Stony Brook University - MATH - 300
43wherekk, a + b ).22Summarizing we obtain that, for any (z, ) Th(k; )ab ,(a , b ) = (a b +(5.4)2eik ( +)z ( + )z ; ) Th(k, )a b .(5.5)` Now let us replace with its inverse . We rewrite (5.13) and (5.14) as2eik ( +)z ( + )z ; ) Th(k, )aw
Stony Brook University - MATH - 300
42LECTURE 5. TRANSFORMATIONS OF THETA FUNCTIONSThus for any Th(k; )ab , we have(z ( + ) Th(e ; Z + Z),where= + , + em+n (z ) = e(m+n)( + ) (z (+ ).We have, using (5.1),e1 (z ) = e + (z ( + ) = e2i(ab ) eik(2z( +)+eik ( +)(z+1)22( + )z ) i
Stony Brook University - MATH - 300
Lecture 5Transformations of ThetaFunctions5.1 Let us see now that the theta constants ab and their derivatives ab satisfythe functional equation similar to (4.2). This will imply that certain powers of thetaconstants are modular forms. For brevity we
Stony Brook University - MATH - 300
40LECTURE 4. THETA CONSTANTS4.5 Prove the Jacobi triple product identity:Y11(1 q n )(1 + q n 2 t)(1 + q n 2 t1 ) =Xqr22tn .r Zn=14.6 Prove a doubling identity for theta constants:0 1 (2 )2 = 00 ( )0 1 ( ).22(see other doubling identities
Stony Brook University - MATH - 300
39This gives the Euler identityXY(1)r q r(3r+1)/2 =(1 q m ).r Z(4.23)m=1In particular, we get the following Fourier expansion for the Dedekinds function ( ):1 ( ) = q 24X(1)r q r(3r+1)/2 .r ZThe positive integers of the form n + (k 2) n(n2
Virginia Tech - CEE - 4674
U.S. Departmentof TransportationFederal AviationAdministrationSubject: STANDARDS FOR AIRPORT MARKINGS1. PURPOSE. This advisory circular (AC)contains the Federal Aviation Administration(FAA) standards for markings used on airportrunways, taxiways,
Virginia Tech - CEE - 4674
AdvisoryCircularU.S. Departmentof TransportationFederal AviationAdministrationSubject: AIRPORT MASTER PLANSDate: July 29, 2005Initiated by: APP-400AC No: 150/5070-6BChange:_1. PURPOSE. This Advisory Circular (AC) provides guidance for the prep
Virginia Tech - CEE - 4674
U.S. Departmentof TransportationFederal AviationAdministrationSubject: AIRCRAFT ARRESTING SYSTEMS ONCIVIL AIRPORTSAdvisoryCircularDate: 12/20/2006Initiated by: AAS-300AC No: 150/5220-9AChange:1. PURPOSE. This Advisory Circular (AC) contains th
Virginia Tech - CEE - 4674
U.S. Departmentof TransportationFederal AviationAdministrationSubject: Engineered Materials Arresting Systems(EMAS) for Aircraft Overruns1. PURPOSE. This advisory circular (AC) containsstandards for the planning, design, installation, andmaintenan
Virginia Tech - CEE - 4674
U.S. Departmentof TransportationFederal AviationAdministrationAIRPORT DESIGN/ INCORPORATES CHANGES 1 THRU 16 /AC:Date:150/5300-139/29/89Advisory Circular3/28/07ParagraphAC 150/5300-13 CHG 11CONTENTSPageChapter 1. REGULATORY REQUIREMENTS AN
Virginia Tech - CEE - 4674
.-U.S. Departmentof TransportationFederal AviationAdministrationSubject: AIRPORT PAVEMENT DESIGN ANDEVALUATIONAdvisoryCircularDate: 7/7/95Initiated by: AAS-AC No: 150/5320-6DChange:1. PURPOSE. This advisory circular provides guidance to the p
Virginia Tech - CEE - 4674
AC 150/5320-6D7l7195C.Muskeg. Muskeg is sometimes encountered in arctic areas. Muskeg is a highly organic soil depositwhich is essentially a swamp. Every effort should be made to avoid pavement construction on this material. Ifconstruction in areas o
Virginia Tech - CEE - 4674
AC150/5320-6D7l7l95C.Stabilized Subbase. Stabilized subbases also offer considerably higher strength to the pavement thanP-154. Recommended equivalency factors associated with stabilized subbase are presented in Table 3-7.-/TABLE 3-7. RECOMMENDED EQ
Virginia Tech - CEE - 4674
AC 150/5320-6D7f7l95U! SS3NXlIHL EWIS82L-1011-100, 200nnnANNUAL DEPARTURESCONTACT AREA= 337 SQ. IN.DUAL SPACING= 52 IN.TANDEM SPACING = 70 IN.1,2006,0003,00025,00015,000-1719 -2018 -19-1617-1516-1415-1314-1213-10650-11600
Virginia Tech - CEE - 4674
AC150/5320-6D7l7J95Increasing C, Factor. A value of C, lower than 0.75 represents a severely cracked base slab,(2)which would not be advisable to overlay without modification due to the likelihood of severe reflection cracking. Seeparagraph 406 f. In
Virginia Tech - CEE - 4674
U.S. Departmentof TransportationFederal AviationAdministrationSubject: RUNWAY LENGTHREQUIREMENTS FOR AIRPORT DESIGNAdvisoryCircularDate: 7/1/2005Initiated by: AAS-100AC No: 150/5325-4BChange:1. PURPOSE. This Advisory Circular (AC) provides gui
Virginia Tech - CEE - 4674
U.S. Departmentof TransportationFederal AviationAdministrationSubject: RUNWAY LENGTHREQUIREMENTS FOR AIRPORT DESIGNAdvisoryCircularDate: 7/1/2005Initiated by: AAS-100AC No: 150/5325-4BChange:1. PURPOSE. This Advisory Circular (AC) provides gui
Virginia Tech - CEE - 4674
U.S. Department of Transportation Federal Aviation AdministrationAdvisory CircularDate: 4/29/05 Initiated by: AAS-300 AC No: 150/5340-1J Change:Subject: STANDARDS FOR AIRPORT MARKINGS1. PURPOSE. This advisory circular (AC) contains the Federal Aviatio
Virginia Tech - CEE - 4674
CEE 4674: Airport Planning and DesignSpring 2011Assignment 1: Familiarization with Data SetsDate Due: January 27, 2011Instructor: TraniProblem 1Pick one of the following airports and write a one page (double spaced) essay with a brief history of the
Virginia Tech - CEE - 4674
Dr. Antonio A. TraniAssociate Professor of Civil EngineeringVirginia Polytechnic Institute and State UniversityFebruary 9, 2009Blacksburg, VirginiaCEE 4674 Airport Planning and Design (copyright A. Trani )1Problem # 2Airport Statistics using the F
Virginia Tech - CEE - 4674
CEE 4674: Airport Planning and DesignSpring 2009Assignment 2: Runway Length AnalysisDate Due: Feb/5/2009Instructor: TraniProblem 1a)Estimatethepercentageofaircraftbelow12,500lb.thatcanbeoperatedfromVirginiaTechairport(BCB)onaroutinebasis.2)BCBwant
Virginia Tech - CEE - 4674
CEE 4674: Airport Planning and DesignSpring 2011Assignment 2: Runway Length AnalysisDate Due: February 8, 2010Instructor: TraniReading Assignment: Read Chapters 1 through 4 of the FAA Advisory Circular 150/5325-4b beforeworking on this homework.Pro
Virginia Tech - CEE - 4674
Dr. Antonio A. TraniAssociate Professor of Civil EngineeringVirginia Polytechnic Institute and State UniversityFebruary 10, 2009Blacksburg, VirginiaNEXTOR/Virginia Tech - Air Transportation Systems Lab1NEXTOR/Virginia Tech - Air Transportation Syst
Virginia Tech - CEE - 4674
CEE 4674: Airport Planning and DesignSpring 2011Assignment 2: Runway Length AnalysisProblem 1Design the appropriate runway length for a new airport to be located near a Mid-west metropolitan area.A survey of the existing demand at a nearby airport re
Virginia Tech - CEE - 4674
CEE 4674: Airport Planning and DesignSpring 2009Assignment 3: Runway Safety Areas and ATCDate Due: Feb/19/2009 by COBInstructor: TraniProblem 1A new runway is to be designed to accommodate the Airbus A340-600 (i.e., critical design aircraft). The ai
Virginia Tech - CEE - 4674
CEE 4674: Airport Planning and DesignSpring 2009Assignment 3: Runway Safety Areas and ATCDate Due: Feb/19/2009 by COBInstructor: TraniProblem 1A new runway is to be designed to accommodate the Airbus A340-600 (i.e., critical design aircraft). The ai
Virginia Tech - CEE - 4674
CEE 4674: Airport Planning and DesignSpring 2011Assignment 3: Runway Length and EMAS DesignDate Due: February 17, 2011Instructor: TraniProblem 1The Roanoke Regional Airport would like to request your services to estimate the runway length extension
Virginia Tech - CEE - 4674
CEE 4674: Airport Planning and DesignSpring 2011Assignment 3: Runway Length and EMAS DesignSolutionsInstructor: TraniProblem 1The Roanoke Regional Airport would like to request your services to estimate the runway length extension to Runway 15-33 to