Invariants of Weil representations
|
|
- Candice Arnold
- 5 years ago
- Views:
Transcription
1 Invariants of Weil representations (joint work with Nils P. Skoruppa) March 17, 2017 Winter seminar March 12-18, 2017 Chalet Fleurs des Neiges, La Plagne, France 1 / 19 Mathematisch-Naturwissenschaftliche Fakulta t Universita t zu Ko ln
2 Finite quadratic modules 2 / 19
3 Finite quadratic modules (A, Q) a finite quadratic module, 2 / 19
4 Finite quadratic modules (A, Q) a finite quadratic module, A is a finite abelian group 2 / 19
5 Finite quadratic modules (A, Q) a finite quadratic module, A is a finite abelian group and Q : A Q/Z a non-degenerate quadratic form 2 / 19
6 Finite quadratic modules (A, Q) a finite quadratic module, A is a finite abelian group and Q : A Q/Z a non-degenerate quadratic form with bilinear form (x, y) := Q(x + y) Q(x) Q(y). 2 / 19
7 Finite quadratic modules (A, Q) a finite quadratic module, A is a finite abelian group and Q : A Q/Z a non-degenerate quadratic form with bilinear form (x, y) := Q(x + y) Q(x) Q(y). The level N of A is the smallest n N, such that nq(x) Z for all x A. 2 / 19
8 Finite quadratic modules (A, Q) a finite quadratic module, A is a finite abelian group and Q : A Q/Z a non-degenerate quadratic form with bilinear form (x, y) := Q(x + y) Q(x) Q(y). The level N of A is the smallest n N, such that nq(x) Z for all x A. Assume that N is odd (for this talk). 2 / 19
9 The Weil representation 3 / 19
10 The Weil representation Let G := SL 2 (Z). 3 / 19
11 The Weil representation Let G := SL 2 (Z). G is generated by S = [ ] and T = [ ]. 3 / 19
12 The Weil representation Let G := SL 2 (Z). G is generated by S = [ ] and T = [ ]. Define a representation ρ = ρ A of G on C[A] = x A Ce x via ρ(t )e x = e(q(x))e x, ρ(s)e x = e( sig(a)/8) A e ( (x, y)) e y. y A 3 / 19
13 The Weil representation Let G := SL 2 (Z). G is generated by S = [ ] and T = [ ]. Define a representation ρ = ρ A of G on C[A] = x A Ce x via ρ(t )e x = e(q(x))e x, ρ(s)e x = e( sig(a)/8) A e ( (x, y)) e y. y A sig(a) Z/8Z can be defined via Milgram s formula e(q(x)) = A e(sig(a)/8). x A 3 / 19
14 The Weil representation Let G := SL 2 (Z). G is generated by S = [ ] and T = [ ]. Define a representation ρ = ρ A of G on C[A] = x A Ce x via ρ(t )e x = e(q(x))e x, ρ(s)e x = e( sig(a)/8) A e ( (x, y)) e y. y A sig(a) Z/8Z can be defined via Milgram s formula e(q(x)) = A e(sig(a)/8). x A This representation is called the Weil representation of G associated with A. 3 / 19
15 Theta functions 4 / 19
16 Theta functions Significance: Theta functions transform with the Weil representation 4 / 19
17 Theta functions Significance: Theta functions transform with the Weil representation If (L, Q) is an even positive definite lattice and L its dual, then A = L /L with Q mod Z is a finite quadratic module. 4 / 19
18 Theta functions Significance: Theta functions transform with the Weil representation If (L, Q) is an even positive definite lattice and L its dual, then A = L /L with Q mod Z is a finite quadratic module. The theta function Θ L (τ) := λ L exp(2πiq(λ)τ)e λ is a vector valued modular form of weight n 2 for ρ A ( λ = λ mod L). 4 / 19
19 Theta functions Significance: Theta functions transform with the Weil representation If (L, Q) is an even positive definite lattice and L its dual, then A = L /L with Q mod Z is a finite quadratic module. The theta function Θ L (τ) := λ L exp(2πiq(λ)τ)e λ is a vector valued modular form of weight n 2 for ρ A ( λ = λ mod L). Modular forms for the Weil representation occur in many places, for instance as input to regularized theta lifts. 4 / 19
20 Invariants 5 / 19
21 Invariants We are interested in the space of G-invariants C[A] G. 5 / 19
22 Invariants We are interested in the space of G-invariants C[A] G. For various reasons: 5 / 19
23 Invariants We are interested in the space of G-invariants C[A] G. For various reasons: dim C C[A] G is one of the terms in the dimension formula for holomorphic cusp forms of weight 2. 5 / 19
24 Invariants We are interested in the space of G-invariants C[A] G. For various reasons: dim C C[A] G is one of the terms in the dimension formula for holomorphic cusp forms of weight 2. Also (the dimension formulas for) modular forms of weight 1 2 and 3 2 involve (the dimension of) C[A]G. 5 / 19
25 Invariants We are interested in the space of G-invariants C[A] G. For various reasons: dim C C[A] G is one of the terms in the dimension formula for holomorphic cusp forms of weight 2. Also (the dimension formulas for) modular forms of weight 1 2 and 3 2 involve (the dimension of) C[A]G. No general, explicit formula known. 5 / 19
26 Observations 6 / 19
27 Observations The representation ρ is in fact defined over Q(ζ N ). 6 / 19
28 Observations The representation ρ is in fact defined over Q(ζ N ). This is clear for ρ(t ) and for ρ(s) use Milgram s formula: e(q(x)) = A e(sig(a)/8). x A 6 / 19
29 Observations The representation ρ is in fact defined over Q(ζ N ). This is clear for ρ(t ) and for ρ(s) use Milgram s formula: e(q(x)) = A e(sig(a)/8). x A The representation ρ factors through a representation of the finite group G N := SL 2 (Z/NZ). 6 / 19
30 Explicit formula Lemma Let g = [ a b 0 d ] GN and x in A. Then where χ(d) = σ d (w)/w with ρ(g)e x = χ(d) e (bdq(x)) e dx, w = x A e (Q(x)) and σ d Gal(K N /Q) with σ d (ζ N ) = ζ d N. 7 / 19
31 Proof 8 / 19
32 Proof 1. Exercise 1: Write [ ] a b 0 d as a product of a diagonal matrix and a power of T. 8 / 19
33 Proof 1. Exercise 1: Write [ ] a b 0 d as a product of a diagonal matrix and a power of T. 2. Answer: [ ] [ a b 0 d = a 0 ] [ ] 1 bd 0 d / 19
34 Proof 1. Exercise 1: Write [ ] a b 0 d as a product of a diagonal matrix and a power of T. 2. Answer: [ ] [ a b 0 d = a 0 ] [ ] 1 bd 0 d This is good because [ ] 1 bd 0 1 ex = e(bdq(x))e x. 8 / 19
35 Proof 1. Exercise 1: Write [ ] a b 0 d as a product of a diagonal matrix and a power of T. 2. Answer: [ ] [ a b 0 d = a 0 ] [ ] 1 bd 0 d This is good because [ ] 1 bd 0 1 ex = e(bdq(x))e x. 4. Only need to consider the action of [ ] a 0 0 d. 8 / 19
36 Proof 1. Exercise 1: Write [ ] a b 0 d as a product of a diagonal matrix and a power of T. 2. Answer: [ ] [ a b 0 d = a 0 ] [ ] 1 bd 0 d This is good because [ ] 1 bd 0 1 ex = e(bdq(x))e x. 4. Only need to consider the action of [ ] a 0 0 d. 5. Exercise 2: Write [ ] a 0 0 d as a word in S and T (in GN )! 8 / 19
37 Proof 1. Exercise 1: Write [ ] a b 0 d as a product of a diagonal matrix and a power of T. 2. Answer: [ ] [ a b 0 d = a 0 ] [ ] 1 bd 0 d This is good because [ ] 1 bd 0 1 ex = e(bdq(x))e x. 4. Only need to consider the action of [ ] a 0 0 d. 5. Exercise 2: Write [ ] a 0 0 d as a word in S and T (in GN )! 6. Answer: [ a 0 ] 0 d = S 1 [ ] 1 d 0 1 S [ 1 a 0 1 ] S [ ] 1 d / 19
38 Proof 1. Exercise 1: Write [ ] a b 0 d as a product of a diagonal matrix and a power of T. 2. Answer: [ ] [ a b 0 d = a 0 ] [ ] 1 bd 0 d This is good because [ ] 1 bd 0 1 ex = e(bdq(x))e x. 4. Only need to consider the action of [ ] a 0 0 d. 5. Exercise 2: Write [ ] a 0 0 d as a word in S and T (in GN )! 6. Answer: [ a 0 ] 0 d = S 1 [ ] 1 d 0 1 S [ 1 a 0 1 ] S [ ] 1 d Exercise 3 (due tomorrow): Show that: ] ex = γ e dx, where [ a 0 0 d γ = σ d (w)/w, w = x A e (Q(x)). 8 / 19
39 Integrality Theorem The space C[A] G is defined over Z, i.e. it has a basis in Z[A]. 9 / 19
40 Integrality Theorem The space C[A] G is defined over Z, i.e. it has a basis in Z[A]. Proof. Use the projection to the invariants and show that it has coefficients in Z (wrt to the standard basis), which follows from: For any [ ] a b c d in G and s (Z/NZ), we have σ s (ρ ([ a b c d ]) ([ ) = ρ a sb ]) s 1 c d 9 / 19
41 Computing the invariants 10 / 19
42 Computing the invariants Our goal is just to compute the dimension of C[A] G 10 / 19
43 Computing the invariants Our goal is just to compute the dimension of C[A] G and optionally also a basis (contained in Z[A] if possible) 10 / 19
44 Computing the invariants Our goal is just to compute the dimension of C[A] G and optionally also a basis (contained in Z[A] if possible) which works in all cases. 10 / 19
45 Identifying invariants 11 / 19
46 Identifying invariants v C[A] G is of course equivalent to: 11 / 19
47 Identifying invariants v C[A] G is of course equivalent to: ρ(t )v = v and ρ(s)v = v. 11 / 19
48 Identifying invariants v C[A] G is of course equivalent to: ρ(t )v = v and ρ(s)v = v. ρ(t )v = v means that supp(v) Iso(A), 11 / 19
49 Identifying invariants v C[A] G is of course equivalent to: ρ(t )v = v and ρ(s)v = v. ρ(t )v = v means that supp(v) Iso(A), where Iso(A) = {x A Q(x) = 0}. 11 / 19
50 Identifying invariants Proposition Let M be a G-submodule of C[A]. Then M G = ( 1 + ρ(s) + ρ(s) 2 + ρ(s) 3) (C[Iso(A)]) C[Iso(A)] Proof. Exercise. 12 / 19
51 The algorithm 13 / 19
52 The algorithm 1. Find the isotropic elements a 1,..., a m and the non-isotropic elements b 1,..., b n in A. 13 / 19
53 The algorithm 1. Find the isotropic elements a 1,..., a m and the non-isotropic elements b 1,..., b n in A. 2. Compute the (m + n) m matrix H such that (Le a1,..., Le am ) = (e a1,..., e am, e b1,..., e bn )H, where L = 1 + ρ(s) + ρ(s) 2 + ρ(s) / 19
54 The algorithm 1. Find the isotropic elements a 1,..., a m and the non-isotropic elements b 1,..., b n in A. 2. Compute the (m + n) m matrix H such that (Le a1,..., Le am ) = (e a1,..., e am, e b1,..., e bn )H, where L = 1 + ρ(s) + ρ(s) 2 + ρ(s) Let U and V be the matrices obtained by extraction the first m and the last n rows of H, respectively. 13 / 19
55 The algorithm 1. Find the isotropic elements a 1,..., a m and the non-isotropic elements b 1,..., b n in A. 2. Compute the (m + n) m matrix H such that (Le a1,..., Le am ) = (e a1,..., e am, e b1,..., e bn )H, where L = 1 + ρ(s) + ρ(s) 2 + ρ(s) Let U and V be the matrices obtained by extraction the first m and the last n rows of H, respectively. 4. Compute a basis V for ker V. 13 / 19
56 The algorithm 1. Find the isotropic elements a 1,..., a m and the non-isotropic elements b 1,..., b n in A. 2. Compute the (m + n) m matrix H such that (Le a1,..., Le am ) = (e a1,..., e am, e b1,..., e bn )H, where L = 1 + ρ(s) + ρ(s) 2 + ρ(s) Let U and V be the matrices obtained by extraction the first m and the last n rows of H, respectively. 4. Compute a basis V for ker V. 5. Return a basis of U(ker V ) = {Ux x V}. 13 / 19
57 The algorithm 1. Find the isotropic elements a 1,..., a m and the non-isotropic elements b 1,..., b n in A. 2. Compute the (m + n) m matrix H such that (Le a1,..., Le am ) = (e a1,..., e am, e b1,..., e bn )H, where L = 1 + ρ(s) + ρ(s) 2 + ρ(s) Let U and V be the matrices obtained by extraction the first m and the last n rows of H, respectively. 4. Compute a basis V for ker V. 5. Return a basis of U(ker V ) = {Ux x V}. 6. Exercise: U seems to be invertible in practice. Tell me why. 13 / 19
58 Reduction mod l 14 / 19
59 Reduction mod l Let l be a prime with l 1 mod N. 14 / 19
60 Reduction mod l Let l be a prime with l 1 mod N. Then Q l contains the Nth roots of unity, hence the Nth cyclotomic field. 14 / 19
61 Reduction mod l Let l be a prime with l 1 mod N. Then Q l contains the Nth roots of unity, hence the Nth cyclotomic field. We can consider ρ as a representation of G N on Q l [A]. 14 / 19
62 Reduction mod l Let l be a prime with l 1 mod N. Then Q l contains the Nth roots of unity, hence the Nth cyclotomic field. We can consider ρ as a representation of G N on Q l [A]. In fact, G acts on Z l [A]. 14 / 19
63 Reduction mod l Let l be a prime with l 1 mod N. Then Q l contains the Nth roots of unity, hence the Nth cyclotomic field. We can consider ρ as a representation of G N on Q l [A]. In fact, G acts on Z l [A]. dim C C[A] G N equals the Z l -rank of Z l [A] G N. 14 / 19
64 Reduction mod l Let l be a prime with l 1 mod N. Then Q l contains the Nth roots of unity, hence the Nth cyclotomic field. We can consider ρ as a representation of G N on Q l [A]. In fact, G acts on Z l [A]. dim C C[A] G N equals the Z l -rank of Z l [A] G N. Reduction mod l: have a short exact sequence of G-modules: 0 lz l [A] Z l [A] r F l [A] 0, where r denotes the reduction map r(f ) : a f (a) + lz l. 14 / 19
65 Reduction mod l Theorem Suppose that (N, l) (2, 3). Then dim Ql Q l [A] G N = dim Fl F l [A] G N. 15 / 19
66 Proof 16 / 19
67 Proof Obtain the long exact sequence in cohomology 0 lz l [A] G N Z l [A] G N r F l [A] G N H 1 (G N, lz l [A]). 16 / 19
68 Proof Obtain the long exact sequence in cohomology 0 lz l [A] G N Z l [A] G N r F l [A] G N H 1 (G N, lz l [A]). If G N is a unit in Z l, then H 1 (G N, lz l [A]) = {0}. 16 / 19
69 Proof Obtain the long exact sequence in cohomology 0 lz l [A] G N Z l [A] G N r F l [A] G N H 1 (G N, lz l [A]). If G N is a unit in Z l, then H 1 (G N, lz l [A]) = {0}. Of course l 1 mod N implies that l > N 16 / 19
70 Proof Obtain the long exact sequence in cohomology 0 lz l [A] G N Z l [A] G N r F l [A] G N H 1 (G N, lz l [A]). If G N is a unit in Z l, then H 1 (G N, lz l [A]) = {0}. Of course l 1 mod N implies that l > N G N = N 3 p N p 2 1 p 2 16 / 19
71 Proof Obtain the long exact sequence in cohomology 0 lz l [A] G N Z l [A] G N r F l [A] G N H 1 (G N, lz l [A]). If G N is a unit in Z l, then H 1 (G N, lz l [A]) = {0}. Of course l 1 mod N implies that l > N p 2 1 p 2 G N = N 3 p N Thus, if l G N, there is a prime p N, such that l p + 1 or l p / 19
72 Proof Obtain the long exact sequence in cohomology 0 lz l [A] G N Z l [A] G N r F l [A] G N H 1 (G N, lz l [A]). If G N is a unit in Z l, then H 1 (G N, lz l [A]) = {0}. Of course l 1 mod N implies that l > N p 2 1 p 2 G N = N 3 p N Thus, if l G N, there is a prime p N, such that l p + 1 or l p 1. However, p 1 < N < l and thus the only possibility is l = p + 1 and N = p. 16 / 19
73 Proof Obtain the long exact sequence in cohomology 0 lz l [A] G N Z l [A] G N r F l [A] G N H 1 (G N, lz l [A]). If G N is a unit in Z l, then H 1 (G N, lz l [A]) = {0}. Of course l 1 mod N implies that l > N p 2 1 p 2 G N = N 3 p N Thus, if l G N, there is a prime p N, such that l p + 1 or l p 1. However, p 1 < N < l and thus the only possibility is l = p + 1 and N = p. This only leaves the case N = 2 and l = 3, which we excluded. 16 / 19
74 Proof Obtain the long exact sequence in cohomology 0 lz l [A] G N Z l [A] G N r F l [A] G N H 1 (G N, lz l [A]). If G N is a unit in Z l, then H 1 (G N, lz l [A]) = {0}. Of course l 1 mod N implies that l > N p 2 1 p 2 G N = N 3 p N Thus, if l G N, there is a prime p N, such that l p + 1 or l p 1. However, p 1 < N < l and thus the only possibility is l = p + 1 and N = p. This only leaves the case N = 2 and l = 3, which we excluded. Exercise: Does the theorem hold for (2, 3)? We didn t find any counterexamples. 16 / 19
75 Some dimensions Table: d = dim C C[A] G for some 2-modules of even signature s A d A d A d A d s s = 0 s = 4 s = / 19
76 Some dimensions Table: Dimension d = dim C C[A] G for some 3-modules of signature s A d A d A d A d s s = 6 s = 2 s = / 19
77 Some dimensions Table: Dimension d = dim C C[A] G for some 3-modules of signature s A d A d A d A d s = 6 s = 2 s = 6 s = / 19
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationIndependence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen)
Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Brown University Cambridge University Number Theory Seminar Thursday, February 22, 2007 0 Modular Curves and Heegner Points
More informationTranscendence in Positive Characteristic
Transcendence in Positive Characteristic Introduction to Function Field Transcendence W. Dale Brownawell Matthew Papanikolas Penn State University Texas A&M University Arizona Winter School 2008 March
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 informationIntroduction to Borcherds Forms
Introduction to Borcherds Forms Montreal-Toronto Workshop in Number Theory September 3, 2010 Main Goal Extend theta lift to construct (meromorphic) modular forms on Sh. var. associated to O(p, 2) with
More informationK3 Surfaces and Lattice Theory
K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9
More informationOn metacyclic extensions
On metacyclic extensions Masanari Kida 1 Introduction A group G is called metacyclic if it contains a normal cyclic subgroup N such that the quotient group G/N is also cyclic. The category of metacyclic
More informationExplicit Methods in Algebraic Number Theory
Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic
More informationDimension formulas for vector-valued Hilbert modular forms
Dimension formulas for vector-valued Hilbert modular forms Fredrik Strömberg (j/w N.-P. Skoruppa) March 29, 2013 Possible applications Jacobi forms over number fields Same type of correspondence as over
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationMA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26
MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is
More informationHecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton
Hecke Operators for Arithmetic Groups via Cell Complexes 1 Hecke Operators for Arithmetic Groups via Cell Complexes Mark McConnell Center for Communications Research, Princeton Hecke Operators for Arithmetic
More informationGalois Representations
Galois Representations Samir Siksek 12 July 2016 Representations of Elliptic Curves Crash Course E/Q elliptic curve; G Q = Gal(Q/Q); p prime. Fact: There is a τ H such that E(C) = C Z + τz = R Z R Z. Easy
More informationTheta Characteristics Jim Stankewicz
Theta Characteristics Jim Stankewicz 1 Preliminaries Here X will denote a smooth curve of genus g (that is, isomorphic to its own Riemann Surface). Rather than constantly talking about linear equivalence
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 informationAlgebra Exam Syllabus
Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More informationLattice methods for algebraic modular forms on orthogonal groups
Lattice methods for algebraic modular forms on orthogonal groups John Voight Dartmouth College joint work with Matthew Greenberg and Jeffery Hein and Gonzalo Tornaría Computational Challenges in the Theory
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 information1. Quadratic lattices A quadratic lattice is a free abelian group M of finite rank equipped with a symmetric bilinear form.
Borcherds products learning seminar Quadratic lattices, Hermitian symmetric domains, and vector-valued modular forms Lecture 2 Igor Dolgachev February 12, 2016 1. Quadratic lattices A quadratic lattice
More informationEric Hofmann. AKLS Seminar Aachen, March 3, TU Darmstadt. Borcherds Products on Unitary Groups. Eric Hofmann. Setup.
TU Darmstadt AKLS Seminar Aachen, March 3, 2010 Outline 1 Hermitian lattices and unitary on U(L) 2 Sketch of proof: Pullback from O(V ) 3 Let F be an imaginary quadratic number field, F = Q( d), d < 0,
More informationRIMS L. Title: Abstract:,,
& 2 1 ( ) RIMS L 13:30 14:30 ( ) Title: Whittaker functions on Sp(2,R) and archimedean zeta integrals. There are 4 kinds of generic representations of Sp(2,R), and explicit formulas of Whittaker functions
More informationHermitian modular forms congruent to 1 modulo p.
Hermitian modular forms congruent to 1 modulo p. arxiv:0810.5310v1 [math.nt] 29 Oct 2008 Michael Hentschel Lehrstuhl A für Mathematik, RWTH Aachen University, 52056 Aachen, Germany, hentschel@matha.rwth-aachen.de
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationResidual 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 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 informationAlgebra Qualifying Exam Solutions. Thomas Goller
Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity
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 informationMATH 112 QUADRATIC AND BILINEAR FORMS NOVEMBER 24, Bilinear forms
MATH 112 QUADRATIC AND BILINEAR FORMS NOVEMBER 24,2015 M. J. HOPKINS 1.1. Bilinear forms and matrices. 1. Bilinear forms Definition 1.1. Suppose that F is a field and V is a vector space over F. bilinear
More informationOVERPARTITION M 2-RANK DIFFERENCES, CLASS NUMBER RELATIONS, AND VECTOR-VALUED MOCK EISENSTEIN SERIES
OVERPARTITION M -RANK DIFFERENCES, CLASS NUMBER RELATIONS, AND VECTOR-VALUED MOCK EISENSTEIN SERIES BRANDON WILLIAMS Abstract. We prove that the generating function of overpartition M-rank differences
More informationLATTICES IN NUMBER THEORY
LATTICES IN NUMBER THEORY Ha Tran ICTP CIMPA summer school 2016 HCM University of Science Saigon University 1 / 32 Lattices in Number Theory We will study ideal lattices. They are lattices with structure
More informationx y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2
5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let
More informationConstructing Class invariants
Constructing Class invariants Aristides Kontogeorgis Department of Mathematics University of Athens. Workshop Thales 1-3 July 2015 :Algebraic modeling of topological and computational structures and applications,
More informationAn Additive Characterization of Fibers of Characters on F p
An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009
More informationMath 602, Fall 2002, HW 2, due 10/14/2002
Math 602, Fall 2002, HW 2, due 10/14/2002 Part A AI) A Fermat prime, p, is a prime number of the form 2 α + 1. E.g., 2, 3, 5, 17, 257,.... (a) Show if 2 α + 1 is prime then α = 2 β. (b) Say p is a Fermat
More informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
More informationThe Kronecker-Weber Theorem
The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the
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 informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
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 informationVariations on a Theme: Fields of Definition, Fields of Moduli, Automorphisms, and Twists
Variations on a Theme: Fields of Definition, Fields of Moduli, Automorphisms, and Twists Michelle Manes (mmanes@math.hawaii.edu) ICERM Workshop Moduli Spaces Associated to Dynamical Systems 17 April, 2012
More informationHigher genus curves and the inverse Galois problem
Higher genus curves and the inverse Galois problem Samuele Anni joint work with Pedro Lemos and Samir Siksek University of Warwick Congreso de Jóvenes Investigadores de la Real Sociedad Matemática Española
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).
18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian
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 informationRegular positive ternary quadratic forms. Byeong-Kweon Oh. Department of Applied Mathematics. Sejong University. 22 Jan. 2008
Regular positive ternary quadratic forms Byeong-Kweon Oh Department of Applied Mathematics Sejong University Jan. 008 ABSTRACT A positive definite quadratic form f is said to be regular if it globally
More informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
More informationThese warmup exercises do not need to be written up or turned in.
18.785 Number Theory Fall 2017 Problem Set #3 Description These problems are related to the material in Lectures 5 7. Your solutions should be written up in latex and submitted as a pdf-file via e-mail
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationImaginary Quadratic Fields With Isomorphic Abelian Galois Groups
Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute
More informationNUNO FREITAS AND ALAIN KRAUS
ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationTorsion subgroups of rational elliptic curves over the compositum of all cubic fields
Torsion subgroups of rational elliptic curves over the compositum of all cubic fields Andrew V. Sutherland Massachusetts Institute of Technology April 7, 2016 joint work with Harris B. Daniels, Álvaro
More information6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.
6 Orthogonal groups We now turn to the orthogonal groups. These are more difficult, for two related reasons. First, it is not always true that the group of isometries with determinant 1 is equal to its
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 COMPUTATION OF MINIMAL POLYNOMIALS OF SPECIAL VALUES OF SIEGEL MODULAR FUNCTIONS
MATHEMATICS OF COMPUTATION Volume 7 Number 4 Pages 969 97 S 5-571814-8 Article electronically published on March A COMPUTATION OF MINIMAL POLYNOMIALS OF SPECIAL VALUES OF SIEGEL MODULAR FUNCTIONS TSUYOSHI
More informationModules over the noncommutative torus, elliptic curves and cochain quantization
Modules over the noncommutative torus, elliptic curves and cochain quantization Francesco D Andrea ( joint work with G. Fiore & D. Franco ) ((A B) C) D Φ (12)34 Φ 123 (A B) (C D) (A (B C)) D Φ 12(34) Φ
More informationKUMMER S QUARTICS AND NUMERICALLY REFLECTIVE INVOLUTIONS OF ENRIQUES SURFACES
KUMMER S QUARTICS AND NUMERICALLY REFLECTIVE INVOLUTIONS OF ENRIQUES SURFACES SHIGERU MUKAI Abstract. A (holomorphic) automorphism of an Enriques surface S is said to be numerically reflective if it acts
More informationAre ζ-functions able to solve Diophantine equations?
Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions
More informationConstructing Abelian Varieties for Pairing-Based Cryptography
for Pairing-Based CWI and Universiteit Leiden, Netherlands Workshop on Pairings in Arithmetic Geometry and 4 May 2009 s MNT MNT Type s What is pairing-based cryptography? Pairing-based cryptography refers
More informationALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011
ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved
More information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More informationSome remarks on signs in functional equations. Benedict H. Gross. Let k be a number field, and let M be a pure motive of weight n over k.
Some remarks on signs in functional equations Benedict H. Gross To Robert Rankin Let k be a number field, and let M be a pure motive of weight n over k. Assume that there is a non-degenerate pairing M
More informationSERRE S CONJECTURE AND BASE CHANGE FOR GL(2)
SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationFirst we introduce the sets that are going to serve as the generalizations of the scalars.
Contents 1 Fields...................................... 2 2 Vector spaces.................................. 4 3 Matrices..................................... 7 4 Linear systems and matrices..........................
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 informationWinter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada
Winter School on Galois Theory Luxembourg, 15-24 February 2012 INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada LECTURE 3 3.1 G-MODULES 3.2 THE COMPLETE GROUP ALGEBRA 3.3
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 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 informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationSupplementary Notes March 23, The subgroup Ω for orthogonal groups
The subgroup Ω for orthogonal groups 18.704 Supplementary Notes March 23, 2005 In the case of the linear group, it is shown in the text that P SL(n, F ) (that is, the group SL(n) of determinant one matrices,
More informationINDEFINITE THETA FUNCTIONS OF TYPE (n, 1) I: DEFINITIONS AND EXAMPLES
INDEFINITE THETA FUNCTIONS OF TYPE (n, ) I: DEFINITIONS AND EXAMPLES LARRY ROLEN. Classical theta functions Theta functions are classical examples of modular forms which play many roles in number theory
More informationFrom K3 Surfaces to Noncongruence Modular Forms. Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015
From K3 Surfaces to Noncongruence Modular Forms Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015 Winnie Li Pennsylvania State University 1 A K3 surface
More informationGENERATORS OF JACOBIANS OF GENUS TWO CURVES
GENERATORS OF JACOBIANS OF GENUS TWO CURVES CHRISTIAN ROBENHAGEN RAVNSHØJ Abstract. We prove that in most cases relevant to cryptography, the Frobenius endomorphism on the Jacobian of a genus two curve
More informationOn the generalized Fermat equation x 2l + y 2m = z p
On the generalized Fermat equation x 2l + y 2m = z p Samuele Anni joint work with Samir Siksek University of Warwick University of Debrecen, 29 th Journées Arithmétiques; 6 th July 2015 Generalized Fermat
More informationA Note on Indefinite Ternary Quadratic Forms Representing All Odd Integers. Key Words: Quadratic Forms, indefinite ternary quadratic.
Bol. Soc. Paran. Mat. (3s.) v. 23 1-2 (2005): 85 92. c SPM ISNN-00378712 A Note on Indefinite Ternary Quadratic Forms Representing All Odd Integers Jean Bureau and Jorge Morales abstract: In this paper
More informationTORSION AND TAMAGAWA NUMBERS
TORSION AND TAMAGAWA NUMBERS DINO LORENZINI Abstract. Let K be a number field, and let A/K be an abelian variety. Let c denote the product of the Tamagawa numbers of A/K, and let A(K) tors denote the finite
More informationp-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007
p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:
More informationHeuristics. pairing-friendly abelian varieties
Heuristics on pairing-friendly abelian varieties joint work with David Gruenewald John Boxall john.boxall@unicaen.fr Laboratoire de Mathématiques Nicolas Oresme, UFR Sciences, Université de Caen Basse-Normandie,
More informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 10 Symmetric bilinear forms We already know what a bilinear form β on a K-vector space V is: it is a function β : V V K that satisfies β(u + v,
More informationREPRESENTATION THEORY. WEEK 4
REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)
ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) These are errata for the Third Edition of the book. Errata from previous editions have been
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 informationp-adic families of modular forms II
April 5, 2009 Leftovers from last time Lemma Proof. We have G k = (1 pk 1 V p )G k p d np d k 1 = p k 1 d n d k 1 So equality holds in all coefficients except possibly the constant. But then G k (1 pk
More informationPeriod Domains. Carlson. June 24, 2010
Period Domains Carlson June 4, 00 Carlson - Period Domains Period domains are parameter spaces for marked Hodge structures. We call Γ\D the period space, which is a parameter space of isomorphism classes
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 informationTriple product p-adic L-functions for balanced weights and arithmetic properties
Triple product p-adic L-functions for balanced weights and arithmetic properties Marco A. Seveso, joint with Massimo Bertolini, Matthew Greenberg and Rodolfo Venerucci 2013 Workshop on Iwasawa theory and
More informationModularity in Degree Two
Modularity in Degree Two Cris Poor Fordham University David S. Yuen Lake Forest College Curves and Automorphic Forms Arizona State University, March 2014 Cris and David Modularity in Degree Two Tempe 1
More informationAlgebraic number theory Revision exercises
Algebraic number theory Revision exercises Nicolas Mascot (n.a.v.mascot@warwick.ac.uk) Aurel Page (a.r.page@warwick.ac.uk) TA: Pedro Lemos (lemos.pj@gmail.com) Version: March 2, 20 Exercise. What is the
More informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
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 informationM3/4/5P12 PROBLEM SHEET 1
M3/4/5P12 PROBLEM SHEET 1 Please send any corrections or queries to jnewton@imperialacuk Exercise 1 (1) Let G C 4 C 2 s, t : s 4 t 2 e, st ts Let V C 2 with the stard basis Consider the linear transformations
More information1 The Galois Group of a Quadratic
Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More information