Class Numbers, Continued Fractions, and the Hilbert Modular Group
|
|
- Tiffany Matthews
- 5 years ago
- Views:
Transcription
1 Class Numbers, Continued Fractions, and the Hilbert Modular Group Jordan Schettler University of California, Santa Barbara 11/8/2013
2 Outline 1 Motivation 2 The Hilbert Modular Group 3 Resolution of the Cusps 4 Signatures
3 Motivation
4 Minus Continued Fractions Let α R\Q. Then unique continued fraction expansion 1 α = [[b 0 ; b 1, b 2,...]] := b 0 1 b 1 b 2 where b 0 Z and b 1, b 2,... Z >1. (b 0, b 1,...) is eventually periodic α is algebraic of degree 2. Note: [[2; 2, 2,...]] = 1, so we must have b k 3 for ly many k
5 An Amusing Connection Let l > 3 be a prime such that l 3 (mod 4). Then l = [[b0 ; b 1,..., b m ]] where m = minimal period is even, b m = 2b 0 and (b 1, b 2,..., b m 1 ) = (b m 1, b m 2,..., b 1 ). Theorem (Hirzebruch) If Q( l) has class number 1, the class number of Q( l) is h( l) = 1 3 m (b k 3). k=1
6 The Hilbert Modular Group
7 Notation H = {z C : I(z) > 0} GL + 2 (R) acts on H via Möbius transformations: ( ) a b z = az + b c d cz + d The action induces an isomorphism between the group of biholomorphic maps H H and the group PL + 2 (R) = GL+ 2 (R)/ {( ) a 0 0 a : a R }
8 Notation Fix an integer n 1, and consider H n = H } H {{ H }. n times (PL + 2 (R))n acts on H n component-wise. SES 1 (PL + 2 (R))n A n S n 1 where A n = group of biholomorphic maps H n H n and S n = a symmetric group.
9 Notation F = number field of degree n over Q Assume F is totally real: n distinct embeddings F R: x x (j) for j = 1,..., n GL + 2 (F) = {A GL 2(F) : det(a) (j) > 0, j = 1,..., n} We use the embeddings to view PL + 2 (F) (PL+ 2 (R))n
10 Notation O F = ring of integers of F We define the Hilbert modular group G = SL 2 (O F )/{±1} PL + 2 (F) G is a discrete, irreducible subgroup of (PL + 2 (R))n More generally, let Γ denote any discrete, irreducible subgroup of (PL + 2 (R))n such that [G : Γ] := [G : G Γ] [Γ : G Γ] <
11 Notation With coordinates z j = x j + iy j on H n, Gauss-Bonnet form: ω = ( 1)n (2π) n dx 1 dy 1 y1 2 dx n dy n yn 2 Theorem (Siegel) ω = [G : Γ] 2ζ F ( 1) Q H n /Γ where ζ F (s) is the Dedekind zeta function of F.
12 Define the isotropy group at z H n by Γ z = {γ Γ : γ z = z} Let a m (Γ) = # of Γ-orbits of points z with Γ z = m Every Γ z is finite cyclic, and m 2 a m(γ) <. Theorem H n /Γ is a non-compact complex analytic space with finitely many quotient singularities and Euler characteristic χ(h n /Γ) = ω + a m (Γ) m 1 m m 2 H n /Γ
13 The n = 1 Case If n = 1, then F = Q and G = SL 2 (Z)/{±1} biholomorphism j : H/G C 1 = χ(c) = χ(h/g) = 2ζ( 1) = 1
14 The n = 1 Case Continued For n = 1 we could take Γ = Γ 0 (N), a congruence subgroup of level N non-compact Riemann surface H/Γ = Y 0 (N) compact Riemann surface X 0 (N) = Y 0 (N) {cusps} where {cusps} = ({ } Q)/Γ 0 (N)
15 Back to General Case If Γ G, we can compactify H n /Γ by adding cusps P 1 (K )/Γ where we view P 1 (K ) ({ } R) n = H n Theorem bijection {cusps of H n /G} class group C of F: orbit of [α, β] P 1 (K ) with α, β O F ideal class of (α, β)
16 From now on take n = 2, so F = Q( d) for a squarefree d > 1. O F = Z[ d] if d 2, 3 (mod 4) [ ] Z 1+ d 2 if d 1 (mod 4) O F = {±1} εz H 2 /G is a Hilbert modular surface. The # of cusps = the class number h(d) of Q( d).
17 The number of quotient singularities of H 2 /G is related to the class numbers of imaginary quadratic fields. Theorem (Prestel) For d > 6 and (d, 6) = 1, 10h( d) if d 3 (mod 8) a 2 (G) = 4h( d) if d 7 (mod 8) h( d) if d 1 (mod 4) a 3 (G) = h( 3d), a m (G) = 0 for m > 3.
18 Example Suppose d 1 (mod 12). Then 2ζ F ( 1) = b< d b odd where σ 1 (m) = sum of divisors of m. Thus 30χ(H 2 /G) = 2 1 b< d b odd ( ) d b 4 σ 1 4 ( ) d b 4 σ h( d) + 20h( 3d) 4
19 Resolution of the Cusps
20 Consider a cusp of H 2 /G with representative x P 1 (F). Translate the cusp to infinity: for some ρ (PL + 2 (R))2. ρx = = (, ) deleted closed neighborhoods for, x: W (r) = {(x 1 + iy 1, x 2 + iy 2 ) H 2 : y 1 y 2 r} U(r) = ρ 1 W (r)
21 We can choose r 0 so that U(r)/G = U(r)/G x W (r)/ρg x ρ 1 H 2 /ρg x ρ 1 There is a SES 1 M ρg x ρ 1 V 1 where M is a fractional ideal and V = {u 2 : u O F }. The narrow ideal class of M is uniquely determined by the cusp (indep. of ρ), and we may choose ρ such that ρg x ρ 1 = G(M, V ) = {( v m 0 1 ) : v V, m M}
22 The quotient space H 2 /G(M, V ) is a complex manifold. We can compactify H 2 /G(M, V ) = H 2 /G(M, V ) { } to obtain a complex analytic space with a singularity at. We now show how M, V are determined and how to resolve the singularity at.
23 The narrow class group C + = fractional ideals modulo strict equivalence: a b a = λb for some totally positive λ F For a fractional ideal a of F, a a 2 induces a homomorphism Sq : C C + where C + is the narrow class group of F Hence to each cusp corresponding to an ideal class a, we have an associated narrow ideal class C = Sq(a).
24 Every narrow ideal class C C + contains an ideal of the form M = Z + wz with w K and w > 1 > w > 0 (w = Galois conjugate). This implies w has a purely periodic continued fraction: w = [[b 0 ; b 1,..., b m 1 ]] where m = minimal period. (Note: all b k 2 and b j > 2 some j)
25 The cycle ((b 0, b 1,..., b m 1 )) (defined up to cyclic permutation) depends only on C C +. We define b k by extension using periodicity for all k Z. For each k Z take R k = C 2 with coordinates (u k, v k ). biholomorphism ϕ k : R k R k+1 : (u k, v k ) (u b k k v k, 1/u k ) where R k = R k\{u k = 0} and R k+1 = R k+1\{v k+1 = 0}.
26 Take the disjoint union k R k and identify R k with R k+1 via ϕ k. This gives a complex manifold Y of dimension 2 with charts ψ k : R k C 2 given by coordinates (u k, v k ) curves S k in Y given by u k+1 = 0 in R k+1 (and v k = 0 in R k ). By construction, S k S k+1 = 1 while S k S j = 0 for k < j + 1, and we can compute the self-intersections: S k S k = b k
27 M acts freely on C 2 via λ (z 1, z 2 ) = (z 1 + λ, z 2 + λ ) Note that Y k Z S k = {(u 0, v 0 ) : u 0 0 v 0 }, so the map 2πiz 1 = wlog(u 0 ) + log(v 0 ) 2πiz 2 = w log(u 0 ) + log(v 0 ) induces a biholomorphism Φ: Y S k C 2 /M k Z
28 Define A 0 = 1 and inductively A k+1 = w 1 k+1 A k where w k+1 = [[b k+1, b k+2,..., b k+m ]] Then A m generates the group U + of totally positive units, and A cm = A c m generates V = (O F )2 where c = [U + : V ] {1, 2}. The group V acts on Y + = Φ 1 (H 2 /M) k Z S k: (A cm ) n sends (u k, v k ) in the kth coordinate system to the point with the same coordinates in the (k + ncm)th coordinate system. Under the action, S k is mapped by (A cm ) n to the curve S k+ncm
29 Y + is an open submanifold of Y with a free and properly discontinuous action of V. Y ((b 0,..., b cm 1 )) = Y + /V is a complex manifold cycle of curves S 0, S 1,..., S cm 1 with intersection matrix or b b b b cm b cm 1 ( ) b0 2 2 b 1 for cm = 2, or ( b 0 + 2) for cm = 1.
30 The Resolution holomorphic map such that: and σ : Y ((b 0,..., b cm 1 )) H 2 /G(M, V ) σ 1 ( ) = cm 1 k=0 S k cm 1 Y ((b 0,..., b cm 1 )) S k H 2 /G(M, V ) is a biholomorphism. k=0
31 Signatures
32 Definition Let M be a complex surface. symmetric bilinear form β : H 2 (M, R) H 2 (M, R) R given by the intersection of homology classes. We define the signature of M by sign(m) = b + b where b + (resp. b ) is the # of positive (resp. negative) eigenvalues of a matrix representing β.
33 Two Geometric Formulas Let M be a connected, complex surface. Theorem (Adjunction Formula) For a nonsingular, compact curve S on M, χ(s) = K S S S where K is a canonical divisor on M. Theorem (Signature Formula) If M is a compact manifold with no boundary, sign(m) = 1 (K K 2χ(M)) 3 where K is a canonical divisor on M.
34 a C we associate a compact manifold with boundary X a obtained by resolving the singularity (as above) of W (r)/g(m, V ) (U(r)/G) {x} H 2 /G where r 0 and x is the cusp corresponding to a. We define the signature deviation invariant δ(x a ) = 1 3 (K K 2χ(X a)) sign(x a ) where K is a canonical divisor on X a.
35 Computing δ(x a ) X a is constructed by blowing up the cusp x into a cycle of cm nonsingular curves S 0,..., S cm 1. The intersection matrix (as in the previous section) gives sign(x a ) = cm In fact, X a is homotopy equivalent to cm 1 k=0 S k, so χ(x a ) = cm = cm
36 Computing δ(x a ) For each k the adjunction formula gives 2 = χ(s k ) = K S k S k S k = K S k + b k, so and K = cm 1 k=0 S k, m 1 K K = c b k + 2cm. k=0
37 Computing δ(x a ) Therefore ( δ(x a ) = 1 3 c m 1 k=0 ) b k + 2cm 2cm ( cm) = c m 1 (b k 3) 3 k=0 Suppose F = Q( d) has no units of negative norm. (c = 2) Theorem (Curt Meyer) If ζ(s, C) = partial zeta function of C = Sq(a), ζ(0, C) = ζ(0, C ) = 1 m 1 ( (b k 3) = 1 ) 6 2c δ(x a) where a 2 = C C. k=0
38 Assume F = Q( l) where l > 3 is a prime with l 3 (mod 4). unique, character ψ on C + which is non-trivial and real-valued. Meyer s theorem implies sign(h 2 /G) = a C δ(x a ) = 4 C C + ψ(c)ζ(0, C) = 4L(0, ψ) = 4 h( l)h( 1) 2 = 2h( l)
39 If, additionally, F = Q( l) has class number 1, then C = {a} where a = [O F ] is the trivial ideal class. C = Sq(a) is the trivial narrow ideal class, so we may choose M = O F = Z + ( l + l)z with l = [[b0 ; b 1,..., b m ]] where m = minimal period, b 0 = l, b m = 2b 0, and whence l + l = [[2b 0 ; b 1,..., b m 1 ]].
40 Thus we recover the amusing connection ( ) 2h( l) = sign(h 2 /G) = δ(x a ) = 2 m 1 2b 0 + (b k 3), 3 k=1 or more simply h( l) = 1 3 m (b k 3) k=1 Note: We did NOT need ANY signatures or surfaces to derive the formula for the class number.
Cusp 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 informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More information(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap
The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups
More informationTHE CUSPS OF HILBERT MODULAR SURFACES AND CLASS NUMBERS
THE CUSPS OF HILBERT MODULAR SURFACES AND CLASS NUMBERS JEREMY BOOHER Hilbert modular surfaces are a generalization of modular curves, and one of the more concrete examples of Shimura varieties. They are
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationX G X by the rule x x g
18. Maps between Riemann surfaces: II Note that there is one further way we can reverse all of this. Suppose that X instead of Y is a Riemann surface. Can we put a Riemann surface structure on Y such that
More informationA SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS
A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS STEPHAN EHLEN 1. Modular curves and Heegner Points The modular curve Y (1) = Γ\H with Γ = Γ(1) = SL (Z) classifies the equivalence
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
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 informationTwists 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 informationEach is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0
Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
More informationRemarks on the Milnor number
José 1 1 Instituto de Matemáticas, Universidad Nacional Autónoma de México. Liverpool, U. K. March, 2016 In honour of Victor!! 1 The Milnor number Consider a holomorphic map-germ f : (C n+1, 0) (C, 0)
More informationA TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY. We also have an isomorphism of holomorphic vector bundles
A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY LIVIU I. NICOLAESCU ABSTRACT. These are notes for a talk at a topology seminar at ND.. GENERAL FACTS In the sequel, for simplicity we denote the complex
More informationC n.,..., z i 1., z i+1., w i+1,..., wn. =,..., w i 1. : : w i+1. :... : w j 1 1.,..., w j 1. z 0 0} = {[1 : w] w C} S 1 { },
Complex projective space The complex projective space CP n is the most important compact complex manifold. By definition, CP n is the set of lines in C n+1 or, equivalently, CP n := (C n+1 \{0})/C, where
More informationRamanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 +
Ramanujan s first letter to Hardy: e 2π/ + + 1 = 1 + e 2π 2 2 1 + e 4π 1 + e π/ 1 e π = 2 2 1 + 1 + e 2π 1 + Hardy: [These formulas ] defeated me completely. I had never seen anything in the least like
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationFORMAL 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 informationBianchi Orbifolds of Small Discriminant. A. Hatcher
Bianchi Orbifolds of Small Discriminant A. Hatcher Let O D be the ring of integers in the imaginary quadratic field Q( D) of discriminant D
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 informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationCongruences, graphs and modular forms
Congruences, graphs and modular forms Samuele Anni (IWR - Universität Heidelberg) joint with Vandita Patel (University of Warwick) (work in progress) FoCM 2017, UB, 12 th July 2017 The theory of congruences
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationDessins d enfants and transcendental lattices of singular K3 surfaces. Dessins d enfants and transcendental lattices of extremal elliptic surfaces
Dessins d enfants and transcendental lattices of singular K3 surfaces Dessins d enfants and transcendental lattices of extremal elliptic surfaces Saitama, 2008 March Ichiro Shimada (Hokkaido University)
More informationEquations for Hilbert modular surfaces
Equations for Hilbert modular surfaces Abhinav Kumar MIT April 24, 2013 Introduction Outline of talk Elliptic curves, moduli spaces, abelian varieties 2/31 Introduction Outline of talk Elliptic curves,
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationDirichlet s Theorem. Calvin Lin Zhiwei. August 18, 2007
Dirichlet s Theorem Calvin Lin Zhiwei August 8, 2007 Abstract This paper provides a proof of Dirichlet s theorem, which states that when (m, a) =, there are infinitely many primes uch that p a (mod m).
More informationNon CM p-adic analytic families of modular forms
Non CM p-adic analytic families of modular forms Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. The author is partially supported by the NSF grant: DMS 1464106. Abstract:
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 1, 2015 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 1, 2015 (Day 1) 1. (A) The integer 8871870642308873326043363 is the 13 th power of an integer n. Find n. Solution.
More informationQualifying Examination HARVARD UNIVERSITY Department of Mathematics Tuesday, January 19, 2016 (Day 1)
Qualifying Examination HARVARD UNIVERSITY Department of Mathematics Tuesday, January 19, 2016 (Day 1) PROBLEM 1 (DG) Let S denote the surface in R 3 where the coordinates (x, y, z) obey x 2 + y 2 = 1 +
More informationTATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto
TATE CONJECTURES FOR HILBERT MODULAR SURFACES V. Kumar Murty University of Toronto Toronto-Montreal Number Theory Seminar April 9-10, 2011 1 Let k be a field that is finitely generated over its prime field
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationFINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.
FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationRiemann Surfaces Mock Exam
Riemann Surfaces Mock Exam Notes: 1. Write your name and student number **clearly** on each page of written solutions you hand in. 2. You are expected to give solutions in English or Dutch. 3. You are
More informationProblems on Growth of Hecke fields
Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationZeta functions of buildings and Shimura varieties
Zeta functions of buildings and Shimura varieties Jerome William Hoffman January 6, 2008 0-0 Outline 1. Modular curves and graphs. 2. An example: X 0 (37). 3. Zeta functions for buildings? 4. Coxeter systems.
More information(1) The embedding theorem. It says that a Stein manifold can always be embedded into C n for sufficiently large n.
Class 1. Overview Introduction. The subject of this course is complex manifolds. Recall that a smooth manifold is a space in which some neighborhood of every point is homeomorphic to an open subset of
More informationAlgebraic Structures Exam File Fall 2013 Exam #1
Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write
More informationOn the Langlands Program
On the Langlands Program John Rognes Colloquium talk, May 4th 2018 The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2018 to Robert P. Langlands of the Institute for
More informationCOMPLEX 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 informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationCOUNTING MOD l SOLUTIONS VIA MODULAR FORMS
COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationALGEBRAIC GEOMETRY AND RIEMANN SURFACES
ALGEBRAIC GEOMETRY AND RIEMANN SURFACES DANIEL YING Abstract. In this thesis we will give a present survey of the various methods used in dealing with Riemann surfaces. Riemann surfaces are central in
More informationConverse theorems for modular L-functions
Converse theorems for modular L-functions Giamila Zaghloul PhD Seminars Università degli studi di Genova Dipartimento di Matematica 10 novembre 2016 Giamila Zaghloul (DIMA unige) Converse theorems 10 novembre
More informationThe kappa function. [ a b. c d
The kappa function Masanobu KANEKO Masaaki YOSHIDA Abstract: The kappa function is introduced as the function κ satisfying Jκτ)) = λτ), where J and λ are the elliptic modular functions. A Fourier expansion
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationElliptic Functions and Modular Forms
Elliptic Functions and Modular Forms DRAFT, Release 0.8 March 22, 2018 2 I have prepared these notes for the students of my lecture. The lecture took place during the winter term 2017/18 at the mathematical
More informationD-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.
D-MAH Algebra II FS18 Prof. Marc Burger Solution 26 Cyclotomic extensions. In the following, ϕ : Z 1 Z 0 is the Euler function ϕ(n = card ((Z/nZ. For each integer n 1, we consider the n-th cyclotomic polynomial
More informationComputing Hilbert modular forms
Computing Hilbert modular forms John Voight Dartmouth College Curves and Automorphic Forms Arizona State University 10 March 2014 Hilbert modular forms Let F be a totally real field with [F : Q] = n and
More informationIntroduction to Modular Forms
Introduction to Modular Forms Lectures by Dipendra Prasad Written by Sagar Shrivastava School and Workshop on Modular Forms and Black Holes (January 5-14, 2017) National Institute of Science Education
More informationClassical modular group
Chapter 29 Classical modular group In this section, we introduce the classical modular group SL 2 (Z), examine the hyperbolic quotient in detail, and we discuss some arithmetic applications. 29. The fundamental
More informationAbstract Algebra Study Sheet
Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationModular forms and the Hilbert class field
Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j invariant
More informationLocally Symmetric Varieties
Locally Symmetric Varieties So far, we have only looked at Hermitian symmetric domains. These have no algebraic structure (e.g., think about the case of the unit disk D 1 ). This part of the course will
More informationA brief overview of modular and automorphic forms
A brief overview of modular and automorphic forms Kimball Martin Original version: Fall 200 Revised version: June 9, 206 These notes were originally written in Fall 200 to provide a very quick overview
More informationEtale homotopy theory (after Artin-Mazur, Friedlander et al.)
Etale homotopy theory (after Artin-Mazur, Friedlander et al.) Heidelberg March 18-20, 2014 Gereon Quick Lecture 1: Motivation March 18, 2014 Riemann, Poincare, Lefschetz: Until the early 20th century,
More informationSpecial cubic fourfolds
Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows
More informationOn values of Modular Forms at Algebraic Points
On values of Modular Forms at Algebraic Points Jing Yu National Taiwan University, Taipei, Taiwan August 14, 2010, 18th ICFIDCAA, Macau Hermite-Lindemann-Weierstrass In value distribution theory the exponential
More informationWhen 2 and 3 are invertible in A, L A is the scheme
8 RICHARD HAIN AND MAKOTO MATSUMOTO 4. Moduli Spaces of Elliptic Curves Suppose that r and n are non-negative integers satisfying r + n > 0. Denote the moduli stack over Spec Z of smooth elliptic curves
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 informationIIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1
IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then
More informationApplications of modular forms to partitions and multipartitions
Applications of modular forms to partitions and multipartitions Holly Swisher Oregon State University October 22, 2009 Goal The goal of this talk is to highlight some applications of the theory of modular
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationTopological and arithmetic intersection numbers attached to real quadratic cycles
Topological and arithmetic intersection numbers attached to real quadratic cycles Henri Darmon, McGill University Jan Vonk, McGill University Workshop, IAS, November 8 This is joint work with Jan Vonk
More informationAUTOMORPHIC 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 informationarxiv: v1 [math.nt] 15 Mar 2012
ON ZAGIER S CONJECTURE FOR L(E, 2): A NUMBER FIELD EXAMPLE arxiv:1203.3429v1 [math.nt] 15 Mar 2012 JEFFREY STOPPLE ABSTRACT. We work out an example, for a CM elliptic curve E defined over a real quadratic
More information(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1)
Automorphic forms on O s+2,2 (R) + and generalized Kac-Moody algebras. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 744 752, Birkhäuser, Basel, 1995. Richard E.
More information20 The modular equation
18.783 Elliptic Curves Spring 2015 Lecture #20 04/23/2015 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More information1, for s = σ + it where σ, t R and σ > 1
DIRICHLET L-FUNCTIONS AND DEDEKIND ζ-functions FRIMPONG A. BAIDOO Abstract. We begin by introducing Dirichlet L-functions which we use to prove Dirichlet s theorem on arithmetic progressions. From there,
More informationABSTRACT ALGEBRA WITH APPLICATIONS
ABSTRACT ALGEBRA WITH APPLICATIONS IN TWO VOLUMES VOLUME I VECTOR SPACES AND GROUPS KARLHEINZ SPINDLER Darmstadt, Germany Marcel Dekker, Inc. New York Basel Hong Kong Contents f Volume I Preface v VECTOR
More informationSiegel Moduli Space of Principally Polarized Abelian Manifolds
Siegel Moduli Space of Principally Polarized Abelian Manifolds Andrea Anselli 8 february 2017 1 Recall Definition 11 A complex torus T of dimension d is given by V/Λ, where V is a C-vector space of dimension
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationElliptic Curves Spring 2015 Problem Set #10 Due: 4/24/2015
18.783 Elliptic Curves Spring 2015 Problem Set #10 Due: 4/24/2015 Description These problems are related to the material covered in Lectures 18-19. As usual, the first person to spot each non-trivial typo/error
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 informationA TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY
Actes, Congrès intern, math., 1970. Tome 1, p. 113 à 119. A TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY by PHILLIP A. GRIFFITHS 1. Introduction and an example from curves. It is well known that the basic
More informationAN ALMOST KÄHLER STRUCTURE ON THE DEFORMATION SPACE OF CONVEX REAL PROJECTIVE STRUCTURES
Trends in Mathematics Information Center for Mathematical ciences Volume 5, Number 1, June 2002, Pages 23 29 AN ALMOT KÄHLER TRUCTURE ON THE DEFORMATION PACE OF CONVEX REAL PROJECTIVE TRUCTURE HONG CHAN
More informationNOTES ON DIVISORS AND RIEMANN-ROCH
NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as
More informationDon Zagier s work on singular moduli
Don Zagier s work on singular moduli Benedict Gross Harvard University June, 2011 Don in 1976 The orbit space SL 2 (Z)\H has the structure a Riemann surface, isomorphic to the complex plane C. We can fix
More information1 Generalized Kummer manifolds
Topological invariants of generalized Kummer manifolds Slide 1 Andrew Baker, Glasgow (joint work with Mark Brightwell, Heriot-Watt) 14th British Topology Meeting, Swansea, 1999 (July 13, 2001) 1 Generalized
More informationComputing coefficients of modular forms
Computing coefficients of modular forms (Work in progress; extension of results of Couveignes, Edixhoven et al.) Peter Bruin Mathematisch Instituut, Universiteit Leiden Théorie des nombres et applications
More informationQuaternions and Arithmetic. Colloquium, UCSD, October 27, 2005
Quaternions and Arithmetic Colloquium, UCSD, October 27, 2005 This talk is available from www.math.mcgill.ca/goren Quaternions came from Hamilton after his really good work had been done; and, though beautifully
More informationDivisors on a surface
Chapter 2 Divisors on a surface 2.1 Bezout s theorem Given distinct irreducible curves C, D P 2 C, C \ D is finite. The naive guess is that the number of points is the product of the degrees of (the defining
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,
More informationGENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS
GENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS JOHAN DE JONG AND SHOU-WU ZHANG Contents Section 1. Introduction 1 Section 2. Mapping class groups and hyperelliptic locus 3 Subsection
More informationProblem 1A. Use residues to compute. dx x
Problem 1A. A non-empty metric space X is said to be connected if it is not the union of two non-empty disjoint open subsets, and is said to be path-connected if for every two points a, b there is a continuous
More information