Moonshine: Lecture 3. Moonshine: Lecture 3. Ken Ono (Emory University)
|
|
- Allison Beasley
- 5 years ago
- Views:
Transcription
1 Ken Ono (Emory University)
2 I m going to talk about...
3 I m going to talk about... I. History of Moonshine
4 I m going to talk about... I. History of Moonshine II. Distribution of Monstrous Moonshine
5 I m going to talk about... I. History of Moonshine II. Distribution of Monstrous Moonshine III. Umbral Moonshine
6 I. History of Moonshine The Monster
7 I. History of Moonshine The Monster Conjecture (Fischer and Griess (1973)) There is a huge simple group (containing a double cover of Fischer s B) with order
8 I. History of Moonshine The Monster Conjecture (Fischer and Griess (1973)) There is a huge simple group (containing a double cover of Fischer s B) with order Theorem (Griess (1982)) The Monster group M exists.
9 I. History of Moonshine Classification of Finite Simple Groups
10 I. History of Moonshine Classification of Finite Simple Groups Theorem (Classification of Finite Simple Groups) Finite simple groups live in natural infinite families, apart from the sporadic groups.
11 I. History of Moonshine Classification of Finite Simple Groups Theorem (Classification of Finite Simple Groups) Finite simple groups live in natural infinite families, apart from the sporadic groups.
12 I. History of Moonshine Ogg s Theorem
13 I. History of Moonshine Ogg s Theorem Theorem (Ogg, 1974) X 0 (N) est hyperelliptique pour exactement dix-neuf valuers de N.
14 I. History of Moonshine Ogg s Theorem Theorem (Ogg, 1974) X 0 (N) est hyperelliptique pour exactement dix-neuf valuers de N. Corollary (Ogg, 1974) Toutes les valuers supersingulières de j sont F p si, et seulement si, g + = 0,
15 I. History of Moonshine Ogg s Theorem Theorem (Ogg, 1974) X 0 (N) est hyperelliptique pour exactement dix-neuf valuers de N. Corollary (Ogg, 1974) Toutes les valuers supersingulières de j sont F p si, et seulement si, g + = 0, i.e. p Ogg ss := {2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, 71}.
16 I. History of Moonshine Ogg s Jack Daniels Problem
17 I. History of Moonshine Ogg s Jack Daniels Problem Remark This is the first hint of Moonshine.
18 I. History of Moonshine Second hint of moonshine John McKay observed that =
19 I. History of Moonshine John Thompson s generalizations Thompson further observed: = = = }{{} 1 } {{ } Coefficients of j(τ) Dimensions of irreducible representations of the Monster M
20 I. History of Moonshine Klein s j-function Definition Klein s j-function j(τ) 744 = n= 1 c(n)q n = q q q q satisfies ( ) aτ + b j = j(τ) for every matrix cτ + d ( ) a b SL c d 2 (Z).
21 I. History of Moonshine The Monster characters The character table for M (ordered by size) gives dimensions: χ 1 (e) = 1 χ 2 (e) = χ 3 (e) = χ 4 (e) = χ 194 (e) =
22 I. History of Moonshine Monster module Conjecture (Thompson) There is an infinite-dimensional graded module V = n= 1 V n with dim(v n) = c(n).
23 I. History of Moonshine The McKay-Thompson Series Definition (Thompson) Assuming the conjecture, if g M, then define the McKay Thompson series T g (τ) := tr(g Vn)q n. n= 1
24 I. History of Moonshine Conway and Norton Conjecture (Monstrous Moonshine) For each g M there is an explicit genus 0 discrete subgroup Γ g SL 2 (R)
25 I. History of Moonshine Conway and Norton Conjecture (Monstrous Moonshine) For each g M there is an explicit genus 0 discrete subgroup Γ g SL 2 (R) for which T g (τ) is the unique modular function with T g (τ) = q 1 + O(q).
26 I. History of Moonshine Borcherds work Theorem (Frenkel Lepowsky Meurman) The moonshine module V = n= 1 V n is a vertex operator algebra whose graded dimension is given by j(τ) 744, and whose automorphism group is M.
27 I. History of Moonshine Borcherds work Theorem (Frenkel Lepowsky Meurman) The moonshine module V = n= 1 V n is a vertex operator algebra whose graded dimension is given by j(τ) 744, and whose automorphism group is M. Theorem (Borcherds) The Monstrous Moonshine Conjecture is true.
28 I. History of Moonshine Borcherds work Theorem (Frenkel Lepowsky Meurman) The moonshine module V = n= 1 V n is a vertex operator algebra whose graded dimension is given by j(τ) 744, and whose automorphism group is M. Theorem (Borcherds) The Monstrous Moonshine Conjecture is true. Remark Earlier work of Atkin, Fong and Smith numerically confirmed Monstrous moonshine.
29 The Jack Daniels Problem Ogg s Problem
30 The Jack Daniels Problem Ogg s Problem Question A Do order p elements in M know the F p supersingular j-invariants?
31 The Jack Daniels Problem Ogg s Problem Question A Do order p elements in M know the F p supersingular j-invariants? Theorem (Dwork s Generating Function) If p 5 is prime, then (j(τ) 744) U(p) A p (α) j(τ) α α SS p g(x) SS p B p (g)j(τ) + C p (g) g(j(τ)) (mod p).
32 The Jack Daniels Problem Answer to Question A
33 The Jack Daniels Problem Answer to Question A If g M and p is prime, then Moonshine implies that T g + pt g U(p) = T g p.
34 The Jack Daniels Problem Answer to Question A If g M and p is prime, then Moonshine implies that T g + pt g U(p) = T g p. And so if g has order p, then T g + pt g U(p) = j 744.
35 The Jack Daniels Problem Answer to Question A If g M and p is prime, then Moonshine implies that T g + pt g U(p) = T g p. And so if g has order p, then T g + pt g U(p) = j 744. Which implies that T g j 744 (mod p).
36 The Jack Daniels Problem Answer to Question A If g M and p is prime, then Moonshine implies that T g + pt g U(p) = T g p. And so if g has order p, then T g + pt g U(p) = j 744. Which implies that T g j 744 (mod p)....giving us Dwork s generating function T g U(p) (j 744) U(p) (mod p).
37 The Jack Daniels Problem Ogg s Problem Question B If p Ogg ss, then why do we expect p #M?
38 The Jack Daniels Problem Ogg s Problem Question B If p Ogg ss, then why do we expect p #M? Answer By Moonshine, if g M has order p, then Γ g Γ + 0 (p) has genus 0.
39 The Jack Daniels Problem Ogg s Problem Question B If p Ogg ss, then why do we expect p #M? Answer By Moonshine, if g M has order p, then Γ g Γ + 0 (p) has genus 0. By Ogg, if p Ogg ss, then X 0 + (p) has positive genus.
40 The Jack Daniels Problem Ogg s Problem Question C If p Ogg ss, then why do we expect (a priori) that p #M?
41 The Jack Daniels Problem Ogg s Problem Question C If p Ogg ss, then why do we expect (a priori) that p #M? Heuristic Argument? Let h p (τ) be the hauptmodul for Γ + 0 (p). Hecke implies that h p U(p) (j 744) U(p) (mod p). Deligne for E p 1 gives h p U(p) S p 1 (1) (mod p). Implies j (h p U(p)) S p+1 (1) (mod p). Moonshine implies j (h p U(p)) comes from Θ s. But Serre implies j (h p U(p)) S 2 (p) (mod p). We expect S 2 (p) (mod p) to be spanned by Θ s. Pizer proved Θ s from quaternion alg s suffice iff p Ogg ss.
42 The Jack Daniels Problem Ogg s Problem Question C If p Ogg ss, then why do we expect (a priori) that p #M? Heuristic Argument? Let h p (τ) be the hauptmodul for Γ + 0 (p). Hecke implies that h p U(p) (j 744) U(p) (mod p). Deligne for E p 1 gives h p U(p) S p 1 (1) (mod p). Implies j (h p U(p)) S p+1 (1) (mod p). Moonshine implies j (h p U(p)) comes from Θ s. But Serre implies j (h p U(p)) S 2 (p) (mod p). We expect S 2 (p) (mod p) to be spanned by Θ s. Pizer proved Θ s from quaternion alg s suffice iff p Ogg ss.
43 The Jack Daniels Problem Ogg s Problem Question C If p Ogg ss, then why do we expect (a priori) that p #M? Heuristic Argument? Let h p (τ) be the hauptmodul for Γ + 0 (p). Hecke implies that h p U(p) (j 744) U(p) (mod p). Deligne for E p 1 gives h p U(p) S p 1 (1) (mod p). Implies j (h p U(p)) S p+1 (1) (mod p). Moonshine implies j (h p U(p)) comes from Θ s. But Serre implies j (h p U(p)) S 2 (p) (mod p). We expect S 2 (p) (mod p) to be spanned by Θ s. Pizer proved Θ s from quaternion lag s suffice iff p Ogg ss.
44 The Jack Daniels Problem Ogg s Problem Question C If p Ogg ss, then why do we expect (a priori) that p #M? Heuristic Argument? Let h p (τ) be the hauptmodul for Γ + 0 (p). Hecke implies that h p U(p) (j 744) U(p) (mod p). Deligne for E p 1 gives h p U(p) S p 1 (1) (mod p). Implies j (h p U(p)) S p+1 (1) (mod p). Moonshine implies j (h p U(p)) comes from Θ s. But Serre implies j (h p U(p)) S 2 (p) (mod p). We expect S 2 (p) (mod p) to be spanned by Θ s. Pizer proved Θ s from quaternion alg s suffice iff p Ogg ss.
45 The Jack Daniels Problem Ogg s Problem Question C If p Ogg ss, then why do we expect (a priori) that p #M? Heuristic Argument? Let h p (τ) be the hauptmodul for Γ + 0 (p). Hecke implies that h p U(p) (j 744) U(p) (mod p). Deligne for E p 1 gives h p U(p) S p 1 (1) (mod p). Implies j (h p U(p)) S p+1 (1) (mod p). Moonshine expects j (h p U(p)) to come from Θ s. But Serre implies j (h p U(p)) S 2 (p) (mod p). We expect S 2 (p) (mod p) to be spanned by Θ s. Pizer proved Θ s from quaternion alg s suffice iff p Ogg ss.
46 The Jack Daniels Problem Ogg s Problem Question C If p Ogg ss, then why do we expect (a priori) that p #M? Heuristic Argument? Let h p (τ) be the hauptmodul for Γ + 0 (p). Hecke implies that h p U(p) (j 744) U(p) (mod p). Deligne for E p 1 gives h p U(p) S p 1 (1) (mod p). Implies j (h p U(p)) S p+1 (1) (mod p). Moonshine expects j (h p U(p)) to come from Θ s. But Serre implies j (h p U(p)) S 2 (p) (mod p). We expect S 2 (p) (mod p) to be spanned by Θ s. Pizer proved Θ s from quaternion alg s suffice iff p Ogg ss.
47 The Jack Daniels Problem Ogg s Problem Question C If p Ogg ss, then why do we expect (a priori) that p #M? Heuristic Argument? Let h p (τ) be the hauptmodul for Γ + 0 (p). Hecke implies that h p U(p) (j 744) U(p) (mod p). Deligne for E p 1 gives h p U(p) S p 1 (1) (mod p). Implies j (h p U(p)) S p+1 (1) (mod p). Moonshine expects j (h p U(p)) to come from Θ s. But Serre implies j (h p U(p)) S 2 (p) (mod p). We expect S 2 (p) (mod p) to be spanned by Θ s. Pizer proved Θ s from quaternion alg s suffice iff p Ogg ss.
48 The Jack Daniels Problem Ogg s Problem Question C If p Ogg ss, then why do we expect (a priori) that p #M? Heuristic Argument? Let h p (τ) be the hauptmodul for Γ + 0 (p). Hecke implies that h p U(p) (j 744) U(p) (mod p). Deligne for E p 1 gives h p U(p) S p 1 (1) (mod p). Implies j (h p U(p)) S p+1 (1) (mod p). Moonshine expects j (h p U(p)) to come from Θ s. But Serre implies j (h p U(p)) S 2 (p) (mod p). We expect S 2 (p) (mod p) to be spanned by Θ s. Pizer proved Θ s from quaternion alg s suffice iff p Ogg ss.
49 The Jack Daniels Problem Witten s Conjecture (2007) Conjecture (Witten, Li-Song-Strominger) The vertex operator algebra V is dual to a 3d quantum gravity theory. Thus, there are 194 black hole states.
50 The Jack Daniels Problem Witten s Conjecture (2007) Conjecture (Witten, Li-Song-Strominger) The vertex operator algebra V is dual to a 3d quantum gravity theory. Thus, there are 194 black hole states. Question (Witten) How are these different kinds of black hole states distributed?
51 II. Distribution of Monstrous Moonshine Distribution of Monstrous Moonshine
52 II. Distribution of Monstrous Moonshine Open Problem Question Consider the moonshine expressions = = = c(n) = 194 m i (n)χ i (e) i=1 How many 1 s, s, etc. show up in these equations?
53 II. Distribution of Monstrous Moonshine Some Proportions n δ (m 1 (n)) δ (m 2 (n)) δ (m 194 (n)) /2 1/
54 II. Distribution of Monstrous Moonshine Some Proportions n δ (m 1 (n)) δ (m 2 (n)) δ (m 194 (n)) /2 1/
55 II. Distribution of Monstrous Moonshine Some Proportions n δ (m 1 (n)) δ (m 2 (n)) δ (m 194 (n)) /2 1/
56 II. Distribution of Monstrous Moonshine Some Proportions n δ (m 1 (n)) δ (m 2 (n)) δ (m 194 (n)) /2 1/
57 II. Distribution of Monstrous Moonshine Some Proportions n δ (m 1 (n)) δ (m 2 (n)) δ (m 194 (n)) /2 1/
58 II. Distribution of Monstrous Moonshine Distribution of Moonshine Theorem 1 (Duncan, Griffin, O) We have Rademacher style exact formulas for m i (n) of the form m i (n) = Kloosterman sums I -Bessel fcns χ i c
59 II. Distribution of Monstrous Moonshine Distribution of Moonshine Theorem 1 (Duncan, Griffin, O) We have Rademacher style exact formulas for m i (n) of the form m i (n) = Kloosterman sums I -Bessel fcns χ i c Remark The dominant term gives m i (n) dim(χ i) 2 n 3/4 M e4π n
60 II. Distribution of Monstrous Moonshine Distribution Remark We have that is well defined δ (m i ) := lim n + m i (n) 194 i=1 m i(n)
61 II. Distribution of Monstrous Moonshine Distribution Remark We have that is well defined, and δ (m i ) = δ (m i ) := lim n + m i (n) 194 i=1 m i(n) dim(χ i ) 194 j=1 dim(χ j) = dim(χ i )
62 II. Distribution of Monstrous Moonshine Proof Orthogonality Fact If G is a group and g, h G, then { C G (g) If g and h are conjugate χ i (g)χ i (h) = χ i 0 otherwise, where C G (g) is the centralizer of g in G.
63 II. Distribution of Monstrous Moonshine Proof T χ (τ) Define T χi (τ) = 1 χ i (g)t g (τ). M g M
64 II. Distribution of Monstrous Moonshine Proof T χ (τ) Define T χi (τ) = 1 χ i (g)t g (τ). M g M The orthogonality of characters gives the inverse relation 194 T g (τ) = χ i (g)t χi (τ). i=1
65 II. Distribution of Monstrous Moonshine Proof T χ (τ) Define T χi (τ) = 1 χ i (g)t g (τ). M g M The orthogonality of characters gives the inverse relation 194 T g (τ) = χ i (g)t χi (τ). i=1 From this we can work out that T χi (τ) = m i (n)q n. n= 1
66 II. Distribution of Monstrous Moonshine Proof Outline of the proof
67 II. Distribution of Monstrous Moonshine Proof Outline of the proof Theorem 2 (Duncan, Griffin,O) We have exact formulas for the coeffs of the T g (τ) and T χi (τ).
68 II. Distribution of Monstrous Moonshine Proof Outline of the proof Theorem 2 (Duncan, Griffin,O) We have exact formulas for the coeffs of the T g (τ) and T χi (τ). Sketch of Proof 1 Each Γ g contains some congruence subgroup Γ 0 (N g ).
69 II. Distribution of Monstrous Moonshine Proof Outline of the proof Theorem 2 (Duncan, Griffin,O) We have exact formulas for the coeffs of the T g (τ) and T χi (τ). Sketch of Proof 1 Each Γ g contains some congruence subgroup Γ 0 (N g ). 2 We first find the poles of T g (τ).
70 II. Distribution of Monstrous Moonshine Proof Outline of the proof Theorem 2 (Duncan, Griffin,O) We have exact formulas for the coeffs of the T g (τ) and T χi (τ). Sketch of Proof 1 Each Γ g contains some congruence subgroup Γ 0 (N g ). 2 We first find the poles of T g (τ). 3 We can then build a form with matching poles via Poincaré series.
71 II. Distribution of Monstrous Moonshine Proof Outline of the proof Theorem 2 (Duncan, Griffin,O) We have exact formulas for the coeffs of the T g (τ) and T χi (τ). Sketch of Proof 1 Each Γ g contains some congruence subgroup Γ 0 (N g ). 2 We first find the poles of T g (τ). 3 We can then build a form with matching poles via Poincaré series. 4 The Poincaré series give exact formulas for coefficients.
72 III. Umbral Moonshine Umbral (shadow) Moonshine
73 III. Umbral Moonshine Present day moonshine Observation (Eguchi, Ooguri, Tachikawa (2010)) There is a mock modular form H(τ) = q ( q + 231q q q q ).
74 III. Umbral Moonshine Present day moonshine Observation (Eguchi, Ooguri, Tachikawa (2010)) There is a mock modular form H(τ) = q ( q + 231q q q q ). The degrees of the irreducible repn s of the Mathieu group M 24 are: 1, 23,45, 231, 252, 253, 483, 770, 990, 1035, 1265, 1771, 2024, 2277, 3312, 3520, 5313, 5544, 5796,
75 III. Umbral Moonshine Mathieu Moonshine Theorem (Gannon (2013)) There is an infinite dimensional graded M 24 -module whose McKay-Thompson series are specific mock modular forms.
76 III. Umbral Moonshine Mathieu Moonshine Theorem (Gannon (2013)) There is an infinite dimensional graded M 24 -module whose McKay-Thompson series are specific mock modular forms. Remark Alleged multiplicities must be integral and non-negative.
77 III. Umbral Moonshine Mathieu Moonshine Theorem (Gannon (2013)) There is an infinite dimensional graded M 24 -module whose McKay-Thompson series are specific mock modular forms. Remark Alleged multiplicities must be integral and non-negative. Computed using wgt 1/2 weakly holomorphic modular forms.
78 III. Umbral Moonshine Mathieu Moonshine Theorem (Gannon (2013)) There is an infinite dimensional graded M 24 -module whose McKay-Thompson series are specific mock modular forms. Remark Alleged multiplicities must be integral and non-negative. Computed using wgt 1/2 weakly holomorphic modular forms. Integrality follows from theory of modular forms mod p.
79 III. Umbral Moonshine Mathieu Moonshine Theorem (Gannon (2013)) There is an infinite dimensional graded M 24 -module whose McKay-Thompson series are specific mock modular forms. Remark Alleged multiplicities must be integral and non-negative. Computed using wgt 1/2 weakly holomorphic modular forms. Integrality follows from theory of modular forms mod p. Non-negativity follows from effectivizing argument of Bringmann-O on Ramanujan s f (q) mock theta function.
80 III. Umbral Moonshine Mock modular forms What are mock modular forms? Notation. Throughout, let τ = x + iy H with x, y R.
81 III. Umbral Moonshine Mock modular forms What are mock modular forms? Notation. Throughout, let τ = x + iy H with x, y R. Hyperbolic Laplacian. ( ) ( ) k := y 2 2 x y 2 + iky x + i. y
82 III. Umbral Moonshine Mock modular forms Harmonic Maass forms Definition A harmonic Maass form of weight k on a subgroup Γ SL 2 (Z) is any smooth function M : H C satisfying:
83 III. Umbral Moonshine Mock modular forms Harmonic Maass forms Definition A harmonic Maass form of weight k on a subgroup Γ SL 2 (Z) is any smooth function M : H C satisfying: 1 For all A = ( ) a b c d Γ and z H, we have ( ) aτ + b M = (cz + d) k M(τ). cτ + d
84 III. Umbral Moonshine Mock modular forms Harmonic Maass forms Definition A harmonic Maass form of weight k on a subgroup Γ SL 2 (Z) is any smooth function M : H C satisfying: 1 For all A = ( ) a b c d Γ and z H, we have ( ) aτ + b M = (cz + d) k M(τ). cτ + d 2 We have that k M = 0.
85 III. Umbral Moonshine Mock modular forms Fourier expansions
86 III. Umbral Moonshine Mock modular forms Fourier expansions Fundamental Lemma If M H 2 k and Γ(a, x) is the incomplete Γ-function, then M(τ) = c + (n)q n + c (n)γ(k 1, 4π n y)q n. n n<0 Holomorphic part M + Nonholomorphic part M
87 III. Umbral Moonshine Mock modular forms Fourier expansions Fundamental Lemma If M H 2 k and Γ(a, x) is the incomplete Γ-function, then M(τ) = c + (n)q n + c (n)γ(k 1, 4π n y)q n. n n<0 Holomorphic part M + Nonholomorphic part M Remark We call M + a mock modular form.
88 III. Umbral Moonshine Mock modular forms Fourier expansions Fundamental Lemma If M H 2 k and Γ(a, x) is the incomplete Γ-function, then M(τ) = c + (n)q n + c (n)γ(k 1, 4π n y)q n. n n<0 Holomorphic part M + Nonholomorphic part M Remark We call M + a mock modular form. If ξ 2 k := 2iy 2 k τ, then the shadow of M is ξ 2 k(m ).
89 III. Umbral Moonshine Mock modular forms Shadows are modular forms Fundamental Lemma The operator ξ 2 k := 2iy 2 k τ defines a surjective map ξ 2 k : H 2 k S k.
90 III. Umbral Moonshine Mock modular forms Shadows are modular forms Fundamental Lemma The operator ξ 2 k := 2iy 2 k τ defines a surjective map ξ 2 k : H 2 k S k. Remark In M 24 Moonshine, the McKay-Thompson series are mock modular forms with classical Jacobi theta series shadows!
91 III. Umbral Moonshine Mock modular forms Larger Framework of Moonshine? Remark There are well known connections with even unimodular positive definite rank 24 lattices: M Leech lattice M 24 A 24 1 lattice.
92 III. Umbral Moonshine Mock modular forms Umbral Moonshine Conjecture Conjecture (Cheng, Duncan, Harvey (2013)) Let L X (up to isomorphism) be an even unimodular positive-definite rank 24 lattice, and let : X be the corresponding ADE-type root system.
93 III. Umbral Moonshine Mock modular forms Umbral Moonshine Conjecture Conjecture (Cheng, Duncan, Harvey (2013)) Let L X (up to isomorphism) be an even unimodular positive-definite rank 24 lattice, and let : X be the corresponding ADE-type root system. W X the Weyl group of X.
94 III. Umbral Moonshine Mock modular forms Umbral Moonshine Conjecture Conjecture (Cheng, Duncan, Harvey (2013)) Let L X (up to isomorphism) be an even unimodular positive-definite rank 24 lattice, and let : X be the corresponding ADE-type root system. W X the Weyl group of X. The umbral group G X := Aut(L X )/W X.
95 III. Umbral Moonshine Mock modular forms Umbral Moonshine Conjecture Conjecture (Cheng, Duncan, Harvey (2013)) Let L X (up to isomorphism) be an even unimodular positive-definite rank 24 lattice, and let : X be the corresponding ADE-type root system. W X the Weyl group of X. The umbral group G X := Aut(L X )/W X. For each g G X let H X g (τ) be a specific automorphic form with minimal principal parts.
96 III. Umbral Moonshine Mock modular forms Umbral Moonshine Conjecture Conjecture (Cheng, Duncan, Harvey (2013)) Let L X (up to isomorphism) be an even unimodular positive-definite rank 24 lattice, and let : X be the corresponding ADE-type root system. W X the Weyl group of X. The umbral group G X := Aut(L X )/W X. For each g G X let H X g (τ) be a specific automorphic form with minimal principal parts. Then there is an infinite dimensional graded G X module K X for which H X g (τ) is the McKay-Thompson series for g.
97 III. Umbral Moonshine Mock modular forms Remarks
98 III. Umbral Moonshine Mock modular forms Remarks Cheng, Duncan and Harvey constructed their mock modular forms using Rademacher sums.
99 III. Umbral Moonshine Mock modular forms Remarks Cheng, Duncan and Harvey constructed their mock modular forms using Rademacher sums. For X = A 12 2 we have G X = M 24 and Gannon s Theorem.
100 III. Umbral Moonshine Mock modular forms Remarks Cheng, Duncan and Harvey constructed their mock modular forms using Rademacher sums. For X = A 12 2 we have G X = M 24 and Gannon s Theorem. There are 22 other isomorphism classes of X, the H X g (τ) constructed from X and its Coxeter number m(x ).
101 III. Umbral Moonshine Mock modular forms Remarks Cheng, Duncan and Harvey constructed their mock modular forms using Rademacher sums. For X = A 12 2 we have G X = M 24 and Gannon s Theorem. There are 22 other isomorphism classes of X, the H X g (τ) constructed from X and its Coxeter number m(x ). Remark Apart from the Leech case, the H X g (τ) are always weight 1/2 mock modular forms whose shadows are weight 3/2 cuspidal theta series with level m(x ).
102 III. Umbral Moonshine Mock modular forms Our results...
103 III. Umbral Moonshine Mock modular forms Our results... Theorem 3 (Duncan, Griffin, Ono) The Umbral Moonshine Conjecture is true.
104 III. Umbral Moonshine Mock modular forms Our results... Theorem 3 (Duncan, Griffin, Ono) The Umbral Moonshine Conjecture is true. Remark This result is a numerical proof of Umbral moonshine. It is analogous to the work of Atkin, Fong and Smith in the case of monstrous moonshine.
105 III. Umbral Moonshine Mock modular forms Beautiful examples
106 III. Umbral Moonshine Mock modular forms Beautiful examples Example For M 12 the MT series include Ramanujan s mock thetas: f (q) = 1 + φ(q) = 1 + χ(q) = 1 + n=1 n=1 n=1 q n2 (1 + q) 2 (1 + q 2 ) 2 (1 + q n ) 2, q n2 (1 + q 2 )(1 + q 4 ) (1 + q 2n ), q n2 (1 q + q 2 )(1 q 2 + q 4 ) (1 q n + q 2n )
107 III. Umbral Moonshine Sketch of the proof Strategy of Proof
108 III. Umbral Moonshine Sketch of the proof Strategy of Proof For each X we compute non-negative integers m X i (n) for which K X = m X i (n)v χi. χ i n= 1
109 III. Umbral Moonshine Sketch of the proof Orthogonality Fact If G is a group and g, h G, then { C G (g) If g and h are conjugate χ i (g)χ i (h) = χ i 0 otherwise, where C G (g) is the centralizer of g in G.
110 III. Umbral Moonshine Sketch of the proof T X χ (τ) Define the weight 1/2 harmonic Maass form Tχ X i (τ) := 1 χ i (g)hg X (τ). M g G X
111 III. Umbral Moonshine Sketch of the proof T X χ (τ) Define the weight 1/2 harmonic Maass form T X χ i (τ) := 1 M g G X χ i (g)h X g (τ). The orthogonality of characters gives the inverse relation H X g (τ) = χ i (g)t X χ i (τ).
112 III. Umbral Moonshine Sketch of the proof T X χ (τ) Define the weight 1/2 harmonic Maass form T X χ i (τ) := 1 M g G X χ i (g)h X g (τ). The orthogonality of characters gives the inverse relation H X g (τ) = χ i (g)t X χ i (τ). It would be great if Tχ X i (τ) = m X i (n)q n. n= 1
113 III. Umbral Moonshine Sketch of the proof T X χ (τ) Define the weight 1/2 harmonic Maass form T X χ i (τ) := 1 M g G X χ i (g)h X g (τ). The orthogonality of characters gives the inverse relation H X g (τ) = χ i (g)t X χ i (τ). It would be great if Tχ X i (τ) = m X i (n)q n. n= 1 We only need to establish integrality and non-negativity!
114 III. Umbral Moonshine Sketch of the proof Difficulties
115 III. Umbral Moonshine Sketch of the proof Difficulties We have that T X χ i (τ) = period integral of a Θ-function + m X i (n)q n. n= 1
116 III. Umbral Moonshine Sketch of the proof Difficulties We have that T X χ i (τ) = period integral of a Θ-function + n= 1 m X i (n)q n. Method of holomorphic projection gives: π hol : H 1 2 M 2 = {wgt 2 quasimodular forms}.
117 III. Umbral Moonshine Sketch of the proof Holomorphic projection
118 III. Umbral Moonshine Sketch of the proof Holomorphic projection Definition Let f be a wgt k 2 (not necessarily holomorphic) modular form f (τ) = n Z a f (n, y)q n.
119 III. Umbral Moonshine Sketch of the proof Holomorphic projection Definition Let f be a wgt k 2 (not necessarily holomorphic) modular form f (τ) = n Z a f (n, y)q n. We say that f is admissible if the following hold:
120 III. Umbral Moonshine Sketch of the proof Holomorphic projection Definition Let f be a wgt k 2 (not necessarily holomorphic) modular form f (τ) = n Z a f (n, y)q n. We say that f is admissible if the following hold: 1 At cusps we have f (γ 1 w) ( d where w = γτ, dw τ) k 2 = c 0 + O(Im(w) ɛ ),
121 III. Umbral Moonshine Sketch of the proof Holomorphic projection Definition Let f be a wgt k 2 (not necessarily holomorphic) modular form f (τ) = n Z a f (n, y)q n. We say that f is admissible if the following hold: 1 At cusps we have f (γ 1 w) ( d where w = γτ, dw τ) k 2 a f (n, y) = O(y 2 k ) as y 0 for all n > 0. 2 = c 0 + O(Im(w) ɛ ),
122 III. Umbral Moonshine Sketch of the proof Holomorphic projection continued Definition If f is an admissible wgt k 2 nonholomorphic modular form, then its holomorphic projection is
123 III. Umbral Moonshine Sketch of the proof Holomorphic projection continued Definition If f is an admissible wgt k 2 nonholomorphic modular form, then its holomorphic projection is (π hol f )(τ) := (π k hol f )(τ) := c 0 + c(n)q n, n=1
124 III. Umbral Moonshine Sketch of the proof Holomorphic projection continued Definition If f is an admissible wgt k 2 nonholomorphic modular form, then its holomorphic projection is (π hol f )(τ) := (π k hol f )(τ) := c 0 + where for n > 0 we have c(n) = (4πn)k 1 (k 2)! 0 c(n)q n, n=1 a f (n, y)e 4πny y k 2 dy.
125 III. Umbral Moonshine Sketch of the proof Holomorphic projection continued
126 III. Umbral Moonshine Sketch of the proof Holomorphic projection continued Fundamental Lemma If f is an admissible wgt k 2 nonholomorphic modular form on Γ 0 (N), then the following are true.
127 III. Umbral Moonshine Sketch of the proof Holomorphic projection continued Fundamental Lemma If f is an admissible wgt k 2 nonholomorphic modular form on Γ 0 (N), then the following are true. 1 If f is holomorphic, then π hol (f ) = f (τ).
128 III. Umbral Moonshine Sketch of the proof Holomorphic projection continued Fundamental Lemma If f is an admissible wgt k 2 nonholomorphic modular form on Γ 0 (N), then the following are true. 1 If f is holomorphic, then π hol (f ) = f (τ). 2 The function π hol (f ) lies in the space M k (Γ 0 (N)).
129 III. Umbral Moonshine Sketch of the proof Holomorphic projection continued Fundamental Lemma If f is an admissible wgt k 2 nonholomorphic modular form on Γ 0 (N), then the following are true. 1 If f is holomorphic, then π hol (f ) = f (τ). 2 The function π hol (f ) lies in the space M k (Γ 0 (N)). Remark Holomorphic projections appeared earlier in works of Sturm, and Gross-Zagier, and work of Imamoglu, Raum, and Richter, Mertens, and Zwegers in connection with mock modular forms.
130 III. Umbral Moonshine Sketch of the proof Sketch of the proof of umbral moonshine Compute each wgt 1/2 harmonic Maass form T X χ i (τ).
131 III. Umbral Moonshine Sketch of the proof Sketch of the proof of umbral moonshine Compute each wgt 1/2 harmonic Maass form T X χ i (τ). Up to the nonholomorphic part, they are the multiplicity gen fcns for V X χ i of the alleged moonshine modules K X.
132 III. Umbral Moonshine Sketch of the proof Sketch of the proof of umbral moonshine Compute each wgt 1/2 harmonic Maass form T X χ i (τ). Up to the nonholomorphic part, they are the multiplicity gen fcns for V X χ i of the alleged moonshine modules K X. Compute holomorphic projections of products with shadows.
133 III. Umbral Moonshine Sketch of the proof Sketch of the proof of umbral moonshine Compute each wgt 1/2 harmonic Maass form T X χ i (τ). Up to the nonholomorphic part, they are the multiplicity gen fcns for V X χ i of the alleged moonshine modules K X. Compute holomorphic projections of products with shadows. The m X χ i (n) are integers iff these holomorphic projections satisfy certain congruences.
134 III. Umbral Moonshine Sketch of the proof Sketch of the proof of umbral moonshine Compute each wgt 1/2 harmonic Maass form T X χ i (τ). Up to the nonholomorphic part, they are the multiplicity gen fcns for V X χ i of the alleged moonshine modules K X. Compute holomorphic projections of products with shadows. The m X χ i (n) are integers iff these holomorphic projections satisfy certain congruences. The m X χ i (n) can be estimated using infinite sums of Kloosterman sums weighted by I -Bessel functions.
135 III. Umbral Moonshine Sketch of the proof Sketch of the proof of umbral moonshine Compute each wgt 1/2 harmonic Maass form T X χ i (τ). Up to the nonholomorphic part, they are the multiplicity gen fcns for V X χ i of the alleged moonshine modules K X. Compute holomorphic projections of products with shadows. The m X χ i (n) are integers iff these holomorphic projections satisfy certain congruences. The m X χ i (n) can be estimated using infinite sums of Kloosterman sums weighted by I -Bessel functions. For sufficiently large n this establishes non-negativity.
136 III. Umbral Moonshine Sketch of the proof Sketch of the proof of umbral moonshine Compute each wgt 1/2 harmonic Maass form T X χ i (τ). Up to the nonholomorphic part, they are the multiplicity gen fcns for V X χ i of the alleged moonshine modules K X. Compute holomorphic projections of products with shadows. The m X χ i (n) are integers iff these holomorphic projections satisfy certain congruences. The m X χ i (n) can be estimated using infinite sums of Kloosterman sums weighted by I -Bessel functions. For sufficiently large n this establishes non-negativity. Check the finitely many (less than 400) cases directly.
137 Executive Summary Distribution of Monstrous Moonshine Theorem 1 (Duncan, Griffin, O) If 1 i 194, then we have Rademacher style exact formulas for m i (n).
138 Executive Summary Distribution of Monstrous Moonshine Theorem 1 (Duncan, Griffin, O) If 1 i 194, then we have Rademacher style exact formulas for m i (n). Remark We have that δ (m i ) = dim(χ i ) 194 j=1 dim(χ j) = dim(χ i )
139 Executive Summary Umbral Moonshine Theorem 3 (Duncan, Griffin, Ono) The Umbral Moonshine Conjecture is true.
140 Executive Summary Umbral Moonshine Theorem 3 (Duncan, Griffin, Ono) The Umbral Moonshine Conjecture is true. Question Do the infinite dimensional graded G X modules K X exhibit deep structure?
141 Executive Summary Umbral Moonshine Theorem 3 (Duncan, Griffin, Ono) The Umbral Moonshine Conjecture is true. Question Do the infinite dimensional graded G X modules K X exhibit deep structure? Probably...and some work of Duncan and Harvey makes use of indefinite theta series to obtain a VOA structure in the M 24 case.
The dark side of the moon - new connections in geometry, number theory and physics -
The dark side of the moon - new connections in geometry, number theory and physics - Daniel Persson Mathematical Sciences Colloquium January 29, 2018 Symmetries Transformations that leave a geometric object
More informationProof of the Umbral Moonshine Conjecture
Proof of the Umbral Moonshine Conjecture John F. R. Duncan, Michael J. Griffin and Ken Ono 205 October 3 Abstract The Umbral Moonshine Conjectures assert that there are infinite-dimensional graded modules,
More information1. Introduction and statement of results This paper concerns the deep properties of the modular forms and mock modular forms.
MOONSHINE FOR M 4 AND DONALDSON INVARIANTS OF CP ANDREAS MALMENDIER AND KEN ONO Abstract. Eguchi, Ooguri, and Tachikawa recently conjectured 9] a new moonshine phenomenon. They conjecture that the coefficients
More informationMock modular forms and their shadows
Mock modular forms and their shadows Zachary A. Kent Emory University Classical Eichler-Shimura Theory Modular Forms Basic Definitions Classical Eichler-Shimura Theory Modular Forms Basic Definitions Notation:
More informationBorcherds proof of the moonshine conjecture
Borcherds proof of the moonshine conjecture pjc, after V. Nikulin Abstract These CSG notes contain a condensed account of a talk by V. Nikulin in the London algebra Colloquium on 24 May 2001. None of the
More informationA PROOF OF THE THOMPSON MOONSHINE CONJECTURE
A PROOF OF THE THOMPSON MOONSHINE CONJECTURE MICHAEL J. GRIFFIN AND MICHAEL H. MERTENS Abstract. In this paper we prove the existence of an infinite dimensional graded super-module for the finite sporadic
More informationRamanujan s Deathbed Letter. Larry Rolen. Emory University
Ramanujan s Deathbed Letter Ramanujan s Deathbed Letter Larry Rolen Emory University The great anticipator of mathematics Srinivasa Ramanujan (1887-1920) Death bed letter Dear Hardy, I am extremely sorry
More informationRamanujan s last prophecy: quantum modular forms
Ramanujan s last prophecy: quantum modular forms Ken Ono (Emory University) Introduction Death bed letter Dear Hardy, I am extremely sorry for not writing you a single letter up to now. I discovered very
More informationUmbral Moonshine and the Niemeier Lattices
Umbral Moonshine and the Niemeier Lattices arxiv:1307.5793v2 [math.rt] 22 Jul 2014 Miranda C. N. Cheng John F. R. Duncan Jeffrey A. Harvey July 23, 2014 Abstract In this paper we relate umbral moonshine
More informationUmbral Moonshine and String Theory
Strings 2014, Princeton Umbral Moonshine and String Theory Miranda Cheng University of Amsterdam * * : on leave from CNRS, France. A Mysterious Story About Strings on K3 Finite Groups symmetries of interesting
More informationArithmetic properties of harmonic weak Maass forms for some small half integral weights
Arithmetic properties of harmonic weak Maass forms for some small half integral weights Soon-Yi Kang (Joint work with Jeon and Kim) Kangwon National University 11-08-2015 Pure and Applied Number Theory
More informationarxiv: v3 [math.nt] 8 Aug 2018
O NAN MOONSHINE AND ARITHMETIC JOHN F. R. DUNCAN, MICHAEL H. MERTENS, AND KEN ONO arxiv:170.03516v3 [math.nt] 8 Aug 018 Abstract. Answering a question posed by Conway and Norton in their seminal 1979 paper
More informationGeneralised Moonshine in the elliptic genus of K3
Generalised Moonshine in the elliptic genus of K3 Daniel Persson Chalmers University of Technology Algebra, Geometry and the Physics of BPS-States Hausdorff Research Institute for Mathematics, Bonn, November
More informationMock Modular Forms and Class Number Relations
Mock Modular Forms and Class Number Relations Michael H. Mertens University of Cologne 28th Automorphic Forms Workshop, Moab, May 13th, 2014 M.H. Mertens (University of Cologne) Class Number Relations
More informationClass Number Type Relations for Fourier Coefficients of Mock Modular Forms
Class Number Type Relations for Fourier Coefficients of Mock Modular Forms Michael H. Mertens University of Cologne Lille, March 6th, 2014 M.H. Mertens (University of Cologne) Class Number Type Relations
More informationSPECIAL VALUES OF SHIFTED CONVOLUTION DIRICHLET SERIES
SPECIAL VALUES OF SHIFTED CONVOLUTION DIRICHLET SERIES MICHAEL H. MERTENS AND KEN ONO For Jeff Hoffstein on his 61st birthday. Abstract. In a recent important paper, Hoffstein and Hulse [14] generalized
More informationBasic Background on Mock Modular Forms and Weak Harmonic Maass Forms
Basic Background on Mock Modular Forms and Weak Harmonic Maass Forms 1 Introduction 8 December 2016 James Rickards These notes mainly derive from Ken Ono s exposition Harmonic Maass Forms, Mock Modular
More informationMathieu Moonshine. Matthias Gaberdiel ETH Zürich. String-Math 2012 Bonn, 19 July 2012
Mathieu Moonshine Matthias Gaberdiel ETH Zürich String-Math 2012 Bonn, 19 July 2012 based on work with with S. Hohenegger, D. Persson, H. Ronellenfitsch and R. Volpato K3 sigma models Consider CFT sigma
More informationMock and quantum modular forms
Mock and quantum modular forms Amanda Folsom (Amherst College) 1 Ramanujan s mock theta functions 2 Ramanujan s mock theta functions 1887-1920 3 Ramanujan s mock theta functions 1887-1920 4 History S.
More informationMock Modular Mathieu Moonshine
Mock Modular Mathieu Moonshine Shamit Kachru Strings 2014 Any new material in this talk is based on: Mock Modular Mathieu Moonshine Modules Miranda C. N. Cheng 1, Xi Dong 2, John F. R. Duncan 3, Sarah
More informationMoonshine. John FR Duncan 1, Michael J Griffin 2 and Ken Ono 2*
Duncan et al. Research in the Mathematical Sciences (2015) 2:11 DOI 10.1186/s40687-015-0029-6 REVIEW Open Access Moonshine John FR Duncan 1, Michael J Griffin 2 and Ken Ono 2* *Correspondence: ono@mathcs.emory.edu
More informationCrystal Bases for Quantum Generalized Kac-Moody Algebras
Crystal Bases for Quantum Generalized Kac-Moody Algebras Seok-Jin Kang Department of Mathematical Sciences Seoul National University 20 June 2006 Monstrous Moonshine 1.Monstrous Moonshine M: Monster simple
More informationBefore we prove this result, we first recall the construction ( of) Suppose that λ is an integer, and that k := λ+ 1 αβ
600 K. Bringmann, K. Ono Before we prove this result, we first recall the construction ( of) these forms. Suppose that λ is an integer, and that k := λ+ 1 αβ. For each A = Ɣ γ δ 0 (4),let j(a, z) := (
More informationAbstract. Gauss s hypergeometric function gives a modular parameterization of period integrals of elliptic curves in Legendre normal form
GAUSS S 2 F HYPERGEOMETRIC FUNCTION AND THE CONGRUENT NUMBER ELLIPTIC CURVE AHMAD EL-GUINDY AND KEN ONO Abstract Gauss s hypergeometric function gives a modular parameterization of period integrals of
More informationModular forms, combinatorially and otherwise
Modular forms, combinatorially and otherwise p. 1/103 Modular forms, combinatorially and otherwise David Penniston Sums of squares Modular forms, combinatorially and otherwise p. 2/103 Modular forms, combinatorially
More informationMonstrous moonshine and monstrous Lie superalgebras.
Monstrous moonshine and monstrous Lie superalgebras. Invent. Math. 109, 405-444 (1992). Richard E. Borcherds, Department of pure mathematics and mathematical statistics, 16 Mill Lane, Cambridge CB2 1SB,
More informationModular Moonshine II. 24 July 1994, corrected 19 Sept 1995
Modular Moonshine II. 24 July 1994, corrected 19 Sept 1995 Duke Math. J. 83 (1996) no. 2, 435-459. Richard E. Borcherds, Mathematics department, University of California at Berkeley, CA 94720-3840 U. S.
More informationPeriods and generating functions in Algebraic Geometry
Periods and generating functions in Algebraic Geometry Hossein Movasati IMPA, Instituto de Matemática Pura e Aplicada, Brazil www.impa.br/ hossein/ Abstract In 1991 Candelas-de la Ossa-Green-Parkes predicted
More information(1 e r ) p24(1 r 2 /2) = det(w)τ(n)e w(nρ) e ρ
The monster Lie algebra. Adv. Math. Vol 83, No. 1, September 1990, p. 30-47. Richard E. Borcherds, Department of pure mathematics and mathematical statistics, 16 Mill Lane, Cambridge CB2 1SB, England.
More informationThree-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 information4 LECTURES ON JACOBI FORMS. 1. Plan
4 LECTURES ON JACOBI FORMS YOUNGJU CHOIE Abstract. 1. Plan This lecture series is intended for graduate students or motivated undergraduate students. We introduce a concept of Jacobi forms and try to explain
More informationREDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES
REDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES NOAM ELKIES, KEN ONO AND TONGHAI YANG 1. Introduction and Statement of Results Let j(z) be the modular function for SL 2 (Z) defined by
More informationAN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION
AN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION KATHRIN BRINGMANN AND KEN ONO 1 Introduction and Statement of Results A partition of a non-negative integer n is a non-increasing sequence of positive integers
More informationBinary codes related to the moonshine vertex operator algebra
Binary codes related to the moonshine vertex operator algebra Akihiro Munemasa 1 1 Graduate School of Information Sciences Tohoku University (in collaboration with K. Betsumiya, R. A. L. Betty, M. Harada
More informationREGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS
REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS KATHRIN BRINGMANN AND BEN KANE 1. Introduction and statement of results Hecke operators play a central role in the study of modular forms.
More informationQuantum Mock Modular Forms Arising From eta-theta Functions
Quantum Mock Modular Forms Arising From eta-theta Functions Holly Swisher CTNT 2016 Joint with Amanda Folsom, Sharon Garthwaite, Soon-Yi Kang, Stephanie Treneer (AIM SQuaRE) and Brian Diaz, Erin Ellefsen
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 informationarxiv:math/ v1 [math.nt] 6 Nov 2004
MORE ON SUPER-REPLICATION FORMULAE arxiv:math/043v [math.nt] 6 Nov 004 CHANG HEON KIM AND JA KYUNG KOO Abstract. We extend Norton-Borcherds-Koike s replication formulae to super-replicable ones by working
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 informationThe Leech Lattice. Balázs Elek. November 8, Cornell University, Department of Mathematics
The Leech Lattice Balázs Elek Cornell University, Department of Mathematics November 8, 2016 Consider the equation 0 2 + 1 2 + 2 2 +... + n 2 = m 2. How many solutions does it have? Okay, 0 2 + 1 2 = 1
More informationGeneralized Mathieu Moonshine and Siegel Modular Forms
Generalized Mathieu Moonshine and Siegel Modular Forms Daniel Persson Chalmers University of Technology Mock Modular Forms and Physics IMSc, Chennai, April 18, 2014 Talk based on: [arxiv:1312.0622] (w/
More informationMOCK THETA FUNCTIONS OF ORDER 2 AND THEIR SHADOW COMPUTATIONS
MOCK THETA FUNCTIONS OF ORDER AND THEIR SHADOW COMPUTATIONS SOON-YI KANG AND HOLLY SWISHER Abstract Zwegers showed that a mock theta function can be completed to form essentially a real analytic modular
More informationPARITY OF THE COEFFICIENTS OF KLEIN S j-function
PARITY OF THE COEFFICIENTS OF KLEIN S j-function CLAUDIA ALFES Abstract. Klein s j-function is one of the most fundamental modular functions in number theory. However, not much is known about the parity
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 informationA CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES. 1. Introduction
A CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES CHING HUNG LAM AND HIROSHI YAMAUCHI Abstract. In this article, we show that a framed vertex operator algebra V satisfying
More informationOn the zeros of certain modular forms
On the zeros of certain modular forms Masanobu Kaneko Dedicated to Professor Yasutaka Ihara on the occasion of his 60th birthday. The aim of this short note is to list several families of modular forms
More informationMath 259: Introduction to Analytic Number Theory Some more about modular forms
Math 259: Introduction to Analytic Number Theory Some more about modular forms The coefficients of the q-expansions of modular forms and functions Concerning Theorem 5 (Hecke) of [Serre 1973, VII (p.94)]:
More informationTHE ARITHMETIC OF BORCHERDS EXPONENTS. Jan H. Bruinier and Ken Ono
THE ARITHMETIC OF BORCHERDS EXPONENTS Jan H. Bruinier and Ken Ono. Introduction and Statement of Results. Recently, Borcherds [B] provided a striking description for the exponents in the naive infinite
More informationA Motivated Introduction to Modular Forms
May 3, 2006 Outline of talk: I. Motivating questions II. Ramanujan s τ function III. Theta Series IV. Congruent Number Problem V. My Research Old Questions... What can you say about the coefficients of
More 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 informationFOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2
FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued
More informationREGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS
REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS KATHRIN BRINGMANN AND BEN KANE 1. Introduction and statement of results For κ Z, denote by M 2κ! the space of weight 2κ weakly holomorphic
More informationAN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 135, Number 11, November 007, Pages 3507 3514 S 000-9939(07)08883-1 Article electronically published on July 7, 007 AN ARITHMETIC FORMULA FOR THE
More informationINFINITE PRODUCTS IN NUMBER THEORY AND GEOMETRY
INFINITE PRODUCTS IN NUMBER THEORY AND GEOMETRY JAN HENDRIK BRUINIER Abstract. We give an introduction to the theory of Borcherds products and to some number theoretic and geometric applications. In particular,
More informationFrames of the Leech lattice and their applications
Frames of the Leech lattice and their applications Akihiro Munemasa 1 1 Graduate School of Information Sciences Tohoku University August 6, 2009 The Leech lattice A Z-submodule L of rank 24 in R 24 with
More informationEXACT FORMULAS FOR COEFFICIENTS OF JACOBI FORMS
EXACT FORMULAS FOR COEFFICIENTS OF JACOBI FORMS KATHRIN BRINGMANN AND OLAV K. RICHTER Abstract. In previous work, we introduced harmonic Maass-Jacobi forms. The space of such forms includes the classical
More informationRANKIN-COHEN BRACKETS AND SERRE DERIVATIVES AS POINCARÉ SERIES. φ k M = 1 2
RANKIN-COHEN BRACKETS AND SERRE DERIVATIVES AS POINCARÉ SERIES BRANDON WILLIAMS Abstract. We give expressions for the Serre derivatives of Eisenstein and Poincaré series as well as their Rankin-Cohen brackets
More informationThe Leech lattice. 1. History.
The Leech lattice. Proc. R. Soc. Lond. A 398, 365-376 (1985) Richard E. Borcherds, University of Cambridge, Department of Pure Mathematics and Mathematical Statistics, 16 Mill Lane, Cambridge, CB2 1SB,
More informationSporadic & Exceptional
Sporadic & Exceptional YANG-HUI HE 何楊輝 Dept of Mathematics, City, University of London Merton College, University of Oxford School of Physics, NanKai University Geometry, Quantum Topology and Asymptotics,
More informationThe j-function, the golden ratio, and rigid meromorphic cocycles
The j-function, the golden ratio, and rigid meromorphic cocycles Henri Darmon, McGill University CNTA XV, July 2018 Reminiscences of CNTA 0 The 1987 CNTA in Quebec City was an exciting one for me personally,
More informationA MIXED MOCK MODULAR SOLUTION OF KANEKO ZAGIER EQUATION. k(k + 1) E 12
A MIXED MOCK MODULAR SOLUTION OF KANEKO ZAGIER EQUATION P. GUERZHOY Abstract. The notion of mixed mock modular forms was recently introduced by Don Zagier. We show that certain solutions of Kaneko - Zagier
More informationNotes on Borcherds Products
Notes on Borcherds Products Richard Hill These are the notes for a short course on Borcherds Products held in Aachen on 1st- 2nd August 2012. The lectures are intended for someone who does not know what
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 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 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 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 informationOn Kaneko Congruences
On Kaneko Congruences A thesis submitted to the Department of Mathematics of the University of Hawaii in partial fulfillment of Plan B for the Master s Degree in Mathematics. June 19 2012 Mingjing Chi
More informationSign changes of Fourier coefficients of cusp forms supported on prime power indices
Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de
More informationConformal field theory, vertex operator algebras and operator algebras
Conformal field theory, vertex operator algebras and operator algebras Yasu Kawahigashi the University of Tokyo/Kavli IPMU (WPI) Rio de Janeiro, ICM 2018 Yasu Kawahigashi (Univ. Tokyo) CFT, VOA and OA
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 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 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 informationSymmetries of K3 sigma models
Symmetries of K3 sigma models Matthias Gaberdiel ETH Zürich LMS Symposium New Moonshines, Mock Modular Forms and String Theory Durham, 5 August 2015 K3 sigma models Consider CFT sigma model with target
More informationShifted Convolution L-Series Values of Elliptic Curves
Shifted Convolution L-Series Values of Elliptic Curves Nitya Mani (joint with Asra Ali) December 18, 2017 Preliminaries Modular Forms for Γ 0 (N) Modular Forms for Γ 0 (N) Definition The congruence subgroup
More informationGROSS-ZAGIER ON SINGULAR MODULI: THE ANALYTIC PROOF
GROSS-ZAGIER ON SINGULAR MOULI: THE ANALYTIC PROOF EVAN WARNER. Introduction The famous results of Gross and Zagier compare the heights of Heegner points on modular curves with special values of the derivatives
More informationNotes for a course given at the Second EU/US Summer School on Automorphic Forms on SINGULAR MODULI AND MODULAR FORMS
Notes for a course given at the Second EU/US Summer School on Automorphic Forms on SINGULAR MODULI AND MODULAR FORMS LECTURERS: WILLIAM DUKE, PAUL JENKINS ASSISTANT: YINGKUN LI. Introduction Singular moduli
More informationAn Introduction to Supersingular Elliptic Curves and Supersingular Primes
An Introduction to Supersingular Elliptic Curves and Supersingular Primes Anh Huynh Abstract In this article, we introduce supersingular elliptic curves over a finite field and relevant concepts, such
More informationarxiv:math/ v1 [math.qa] 4 Dec 2003
arxiv:math/031106v1 [math.qa] 4 Dec 003 A natural construction of Borcherds Fake Baby Monster Lie Algebra Gerald Höhn and Nils R. Scheithauer 5 July 00 Abstract We use a Z -orbifold of the vertex operator
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 informationRIMS. Ibukiyama Zhuravlev. B.Heim
RIMS ( ) 13:30-14:30 ( ) Title: Generalized Maass relations and lifts. Abstract: (1) Duke-Imamoglu-Ikeda Eichler-Zagier- Ibukiyama Zhuravlev L- L- (2) L- L- L B.Heim 14:45-15:45 ( ) Title: Kaneko-Zagier
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 informationCounting problems in Number Theory and Physics
Counting problems in Number Theory and Physics Hossein Movasati IMPA, Instituto de Matemática Pura e Aplicada, Brazil www.impa.br/ hossein/ Encontro conjunto CBPF-IMPA, 2011 A documentary on string theory
More informationConstructing Majorana representations
Constructing Majorana representations Madeleine Whybrow, Imperial College London Joint work with M. Pfeiffer, St Andrews The Monster group The Monster group Denoted M, the Monster group is the largest
More informationarxiv: v1 [math.qa] 17 Oct 2016
Congruence Property in Orbifold Theory Chongying Dong 1 Department of Mathematics, University of California, Santa Cruz, CA 95064 USA Li Ren 2 School of Mathematics, Sichuan University, Chengdu 610064
More informationProjects on elliptic curves and modular forms
Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master
More informationMod p Galois representations attached to modular forms
Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended
More informationA Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms
A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms Jennings-Shaffer C. & Swisher H. (014). A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic
More informationQUANTUM MODULARITY OF MOCK THETA FUNCTIONS OF ORDER 2. Soon-Yi Kang
Korean J. Math. 25 (2017) No. 1 pp. 87 97 https://doi.org/10.11568/kjm.2017.25.1.87 QUANTUM MODULARITY OF MOCK THETA FUNCTIONS OF ORDER 2 Soon-Yi Kang Abstract. In [9] we computed shadows of the second
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 informationConstructing Majorana representations
Constructing Majorana representations Madeleine Whybrow, Imperial College London Joint work with M. Pfeiffer, University of St Andrews The Monster group The Monster group Denoted M, the Monster group is
More informationCYCLE INTEGRALS OF THE J-FUNCTION AND MOCK MODULAR FORMS
CYCLE INTEGRALS OF THE J-FUNCTION AND MOCK MODULAR FORMS W. DUKE, Ö. IMAMOḠLU, AND Á. TÓTH Abstract. In this paper we construct certain mock modular forms of weight 1/ whose Fourier coefficients are given
More informationMODULAR FORMS ARISING FROM Q(n) AND DYSON S RANK
MODULAR FORMS ARISING FROM Q(n) AND DYSON S RANK MARIA MONKS AND KEN ONO Abstract Let R(w; q) be Dyson s generating function for partition ranks For roots of unity ζ it is known that R(ζ; q) and R(ζ; /q)
More informationINDEFINITE THETA FUNCTIONS OF MORE GENERAL TYPE: NEW RESULTS AND APPLICATIONS
INDEFINITE THETA FUNCTIONS OF MORE GENERAL TYPE: NEW RESULTS AND APPLICATIONS LARRY ROLEN 1. Higher-type indefinite theta functions: Motivation and applications In the last two lectures, we described several
More informationMOCK MODULAR FORMS AS p-adic MODULAR FORMS
MOCK MODULAR FORMS AS p-adic MODULAR FORMS KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE Abstract. In this paper, we consider the question of correcting mock modular forms in order to obtain p-adic modular
More informationConic Theta Functions and their relations to classical theta functions
Conic Theta Functions and their relations to classical theta functions International Number Theory Conference in Memory of Alf Van der Poorten The University of Newcastle, Australia Sinai Robins Nanyang
More informationExplicit Maass forms.
Explicit Maass forms. Kevin Buzzard April 26, 2012 [version of 9 Nov 2007] 1 Classical modular forms. I m going to do this in a bit of a kooky way. If z is in the upper half plane and if n is a positive
More informationSupported by a Royal Society professorship and by NSF grant DMS
Automorphic forms and Lie algebras. 30 Sept 1996 Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge, CB2 1SB, England. e-mail: reb@pmms.cam.ac.uk home page: http://www.dpmms.cam.ac.uk/ reb 0. Introduction.
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 informationInfinite Products and Number Theory 1
Infinite Products and Number Theory We shall review the following subjects: Takashi Ichikawa 2 Abstract Basic theory of elliptic functions and modular forms; Relationship between infinite products and
More informationHolomorphic Bootstrap for Rational CFT in 2D
Holomorphic Bootstrap for Rational CFT in 2D Sunil Mukhi YITP, July 5, 2018 Based on: On 2d Conformal Field Theories with Two Characters, Harsha Hampapura and Sunil Mukhi, JHEP 1601 (2106) 005, arxiv:
More information