ramanujan's last prophecy: quantum modular formsnakamura/nakanoshima2013/... · 2014-01-09 ·...
TRANSCRIPT
![Page 1: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/1.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s last prophecy:quantum modular forms
Ken Ono (Emory University)
![Page 2: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/2.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
“Death bed letter”
Dear Hardy,
“I am extremely sorry for not writing you a single letter up to now.I discovered very interesting functions recently which I call “Mock”ϑ-functions. Unlike the “False” ϑ-functions (partially studied byRogers), they enter into mathematics as beautifully as the ordinarytheta functions. I am sending you with this letter some examples.”
Ramanujan, January 12, 1920.
![Page 3: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/3.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
What are mock theta functions?
In his Ph.D. thesis under Zagier (’02), Zwegers investigated:
“Lerch-type” series and Mordell integrals.
Resembling q-series of Andrews and Watson on mock thetas.
Stitched them together give non-holomorphic Jacobi forms.
“Theorem” (Zwegers, 2002)
Ramanujan’s mock theta functions are holomorphic parts of weight1/2 harmonic Maass forms.
![Page 4: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/4.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
What are mock theta functions?
In his Ph.D. thesis under Zagier (’02), Zwegers investigated:
“Lerch-type” series and Mordell integrals.
Resembling q-series of Andrews and Watson on mock thetas.
Stitched them together give non-holomorphic Jacobi forms.
“Theorem” (Zwegers, 2002)
Ramanujan’s mock theta functions are holomorphic parts of weight1/2 harmonic Maass forms.
![Page 5: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/5.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
What are mock theta functions?
In his Ph.D. thesis under Zagier (’02), Zwegers investigated:
“Lerch-type” series and Mordell integrals.
Resembling q-series of Andrews and Watson on mock thetas.
Stitched them together give non-holomorphic Jacobi forms.
“Theorem” (Zwegers, 2002)
Ramanujan’s mock theta functions are holomorphic parts of weight1/2 harmonic Maass forms.
![Page 6: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/6.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
What are mock theta functions?
In his Ph.D. thesis under Zagier (’02), Zwegers investigated:
“Lerch-type” series and Mordell integrals.
Resembling q-series of Andrews and Watson on mock thetas.
Stitched them together give non-holomorphic Jacobi forms.
“Theorem” (Zwegers, 2002)
Ramanujan’s mock theta functions are holomorphic parts of weight1/2 harmonic Maass forms.
![Page 7: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/7.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
What are mock theta functions?
In his Ph.D. thesis under Zagier (’02), Zwegers investigated:
“Lerch-type” series and Mordell integrals.
Resembling q-series of Andrews and Watson on mock thetas.
Stitched them together give non-holomorphic Jacobi forms.
“Theorem” (Zwegers, 2002)
Ramanujan’s mock theta functions are holomorphic parts of weight1/2 harmonic Maass forms.
![Page 8: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/8.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
What are mock theta functions?
In his Ph.D. thesis under Zagier (’02), Zwegers investigated:
“Lerch-type” series and Mordell integrals.
Resembling q-series of Andrews and Watson on mock thetas.
Stitched them together give non-holomorphic Jacobi forms.
“Theorem” (Zwegers, 2002)
Ramanujan’s mock theta functions are holomorphic parts of weight1/2 harmonic Maass forms.
![Page 9: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/9.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Defining Maass forms
Notation. Throughout, let z = x + iy ∈ H with x , y ∈ R.
Hyperbolic Laplacian.
∆k := −y2
(∂2
∂x2+
∂2
∂y2
)+ iky
(∂
∂x+ i
∂
∂y
).
![Page 10: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/10.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Defining Maass forms
Notation. Throughout, let z = x + iy ∈ H with x , y ∈ R.
Hyperbolic Laplacian.
∆k := −y2
(∂2
∂x2+
∂2
∂y2
)+ iky
(∂
∂x+ i
∂
∂y
).
![Page 11: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/11.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Harmonic Maass forms
“Definition”
A harmonic Maass form is any smooth function f on H satisfying:
1 For all A =(a bc d
)∈ Γ ⊂ SL2(Z) we have
f
(az + b
cz + d
)= (cz + d)k f (z).
2 We have that ∆k f = 0.
Remark
Modular forms are holomorphic functions which satisfy (1).
![Page 12: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/12.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Harmonic Maass forms
“Definition”
A harmonic Maass form is any smooth function f on H satisfying:
1 For all A =(a bc d
)∈ Γ ⊂ SL2(Z) we have
f
(az + b
cz + d
)= (cz + d)k f (z).
2 We have that ∆k f = 0.
Remark
Modular forms are holomorphic functions which satisfy (1).
![Page 13: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/13.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Harmonic Maass forms
“Definition”
A harmonic Maass form is any smooth function f on H satisfying:
1 For all A =(a bc d
)∈ Γ ⊂ SL2(Z) we have
f
(az + b
cz + d
)= (cz + d)k f (z).
2 We have that ∆k f = 0.
Remark
Modular forms are holomorphic functions which satisfy (1).
![Page 14: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/14.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Harmonic Maass forms
“Definition”
A harmonic Maass form is any smooth function f on H satisfying:
1 For all A =(a bc d
)∈ Γ ⊂ SL2(Z) we have
f
(az + b
cz + d
)= (cz + d)k f (z).
2 We have that ∆k f = 0.
Remark
Modular forms are holomorphic functions which satisfy (1).
![Page 15: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/15.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
HMFs have two parts (q := e2πiz)
Fundamental Lemma
If f ∈ H2−k and Γ(a, x) is the incomplete Γ-function, then
f (z) =∑
n�−∞c+f (n)qn +
∑n<0
c−f (n)Γ(k − 1, 4π|n|y)qn.
l lHolomorphic part f + Nonholomorphic part f −
Remark
The mock theta functions are examples of f +.
![Page 16: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/16.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
HMFs have two parts (q := e2πiz)
Fundamental Lemma
If f ∈ H2−k and Γ(a, x) is the incomplete Γ-function, then
f (z) =∑
n�−∞c+f (n)qn +
∑n<0
c−f (n)Γ(k − 1, 4π|n|y)qn.
l lHolomorphic part f + Nonholomorphic part f −
Remark
The mock theta functions are examples of f +.
![Page 17: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/17.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
So many recent applications
q-series and partitions
Modular L-functions (e.g. BSD numbers)
Eichler-Shimura Theory
Probability models
Generalized Borcherds Products
Moonshine for affine Lie superalgebras and M24
Donaldson invariants
Black holes
. . .
![Page 18: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/18.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
What did Ramanujan have in mind?
Question (Ramanujan)
Must Eulerian series with “similar asymptotics” be the sum of amodular form and a function which is O(1) at all roots of unity?
![Page 19: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/19.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
What did Ramanujan have in mind?
Question (Ramanujan)
Must Eulerian series with “similar asymptotics” be the sum of amodular form and a function which is O(1) at all roots of unity?
![Page 20: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/20.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Ramanujan’s Speculation
![Page 21: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/21.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Ramanujan’s “Example”
![Page 22: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/22.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Strange Conjecture
Conjecture (Ramanujan)
Consider the mock theta f (q) and the modular form b(q):
f (q) := 1 +∞∑n=1
qn2
(1 + q)2(1 + q2)2 · · · (1 + qn)2,
b(q) := (1− q)(1− q3)(1− q5) · · · ×(1− 2q + 2q4 − 2q9 + · · ·
).
If q approaches an even order 2k root of unity, then
f (q)− (−1)kb(q) = O(1).
![Page 23: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/23.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Strange Conjecture
Conjecture (Ramanujan)
Consider the mock theta f (q) and the modular form b(q):
f (q) := 1 +∞∑n=1
qn2
(1 + q)2(1 + q2)2 · · · (1 + qn)2,
b(q) := (1− q)(1− q3)(1− q5) · · · ×(1− 2q + 2q4 − 2q9 + · · ·
).
If q approaches an even order 2k root of unity, then
f (q)− (−1)kb(q) = O(1).
![Page 24: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/24.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Numerics
As q → −1, we have
f (−0.994) ∼ −1·1031, f (−0.996) ∼ −1·1046, f (−0.998) ∼ −6·1090,
![Page 25: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/25.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Numerics
As q → −1, we have
f (−0.994) ∼ −1·1031, f (−0.996) ∼ −1·1046, f (−0.998) ∼ −6·1090,
![Page 26: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/26.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Numerics continued...
Amazingly, Ramanujan’s guess gives:
q −0.990 −0.992 −0.994 −0.996 −0.998
f (q) + b(q) 3.961 . . . 3.969 . . . 3.976 . . . 3.984 . . . 3.992 . . ..
This suggests that
limq→−1
(f (q) + b(q)) = 4.
![Page 27: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/27.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Numerics continued...
Amazingly, Ramanujan’s guess gives:
q −0.990 −0.992 −0.994 −0.996 −0.998
f (q) + b(q) 3.961 . . . 3.969 . . . 3.976 . . . 3.984 . . . 3.992 . . ..
This suggests that
limq→−1
(f (q) + b(q)) = 4.
![Page 28: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/28.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
Numerics continued...
Amazingly, Ramanujan’s guess gives:
q −0.990 −0.992 −0.994 −0.996 −0.998
f (q) + b(q) 3.961 . . . 3.969 . . . 3.976 . . . 3.984 . . . 3.992 . . ..
This suggests that
limq→−1
(f (q) + b(q)) = 4.
![Page 29: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/29.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
As q → i
q 0.992i 0.994i 0.996if (q) 2 · 106 − 4.6 · 106i 2 · 108 − 4 · 108i 1.0 · 1012 − 2 · 1012i
f (q)− b(q) ∼ 0.05 + 3.85i ∼ 0.04 + 3.89i ∼ 0.03 + 3.92i
This suggests that
limq→i
(f (q)− b(q)) = 4i .
![Page 30: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/30.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
As q → i
q 0.992i 0.994i 0.996if (q) 2 · 106 − 4.6 · 106i 2 · 108 − 4 · 108i 1.0 · 1012 − 2 · 1012i
f (q)− b(q) ∼ 0.05 + 3.85i ∼ 0.04 + 3.89i ∼ 0.03 + 3.92i
This suggests that
limq→i
(f (q)− b(q)) = 4i .
![Page 31: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/31.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
As q → i
q 0.992i 0.994i 0.996if (q) 2 · 106 − 4.6 · 106i 2 · 108 − 4 · 108i 1.0 · 1012 − 2 · 1012i
f (q)− b(q) ∼ 0.05 + 3.85i ∼ 0.04 + 3.89i ∼ 0.03 + 3.92i
This suggests that
limq→i
(f (q)− b(q)) = 4i .
![Page 32: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/32.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
This talk is about two topics
I. Ramanujan’s Speculation (with M. Griffin and L. Rolen).
II. O(1) numbers and Quantum Modular Forms(with A. Folsom and R. Rhoades)
![Page 33: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/33.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
This talk is about two topics
I. Ramanujan’s Speculation (with M. Griffin and L. Rolen).
II. O(1) numbers and Quantum Modular Forms(with A. Folsom and R. Rhoades)
![Page 34: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/34.jpg)
Ramanujan’s last prophecy:quantum modular forms
Introduction
Maass forms
This talk is about two topics
I. Ramanujan’s Speculation (with M. Griffin and L. Rolen).
II. O(1) numbers and Quantum Modular Forms(with A. Folsom and R. Rhoades)
![Page 35: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/35.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Ramanujan’s last words
“it is inconceivable to construct a ϑ-function to cut out thesingularities of a mock theta function...”
Srinivasa Ramanujan
“...it has not been proved that any of Ramanujan’s mock thetafunctions really are mock theta functions according to hisdefinition.” Bruce Berndt (2012)
![Page 36: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/36.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Ramanujan’s last words
“it is inconceivable to construct a ϑ-function to cut out thesingularities of a mock theta function...”
Srinivasa Ramanujan
“...it has not been proved that any of Ramanujan’s mock thetafunctions really are mock theta functions according to hisdefinition.” Bruce Berndt (2012)
![Page 37: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/37.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Resolution
Theorem (Griffin-O-Rolen (2012))
Ramanujan’s examples satisfy his own definition. More precisely, amock theta function and a modular form never cut out exactly thesame singularities.
![Page 38: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/38.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Resolution
Theorem (Griffin-O-Rolen (2012))
Ramanujan’s examples satisfy his own definition.
More precisely, amock theta function and a modular form never cut out exactly thesame singularities.
![Page 39: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/39.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Resolution
Theorem (Griffin-O-Rolen (2012))
Ramanujan’s examples satisfy his own definition. More precisely, amock theta function and a modular form never cut out exactly thesame singularities.
![Page 40: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/40.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Sketch of the Proof
• A harmonic Maass form satisfies F (z) = F−(z) + F+(z).
• The function F+(z) is the holomorphic part.
• Ramanujan’s alleged mock thetas are examples of F+(z).
• ...and F−(z) is a period integral of a unary theta function.
![Page 41: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/41.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Sketch of the Proof
• A harmonic Maass form satisfies F (z) = F−(z) + F+(z).
• The function F+(z) is the holomorphic part.
• Ramanujan’s alleged mock thetas are examples of F+(z).
• ...and F−(z) is a period integral of a unary theta function.
![Page 42: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/42.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Sketch of the Proof
• A harmonic Maass form satisfies F (z) = F−(z) + F+(z).
• The function F+(z) is the holomorphic part.
• Ramanujan’s alleged mock thetas are examples of F+(z).
• ...and F−(z) is a period integral of a unary theta function.
![Page 43: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/43.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Sketch of the Proof
• A harmonic Maass form satisfies F (z) = F−(z) + F+(z).
• The function F+(z) is the holomorphic part.
• Ramanujan’s alleged mock thetas are examples of F+(z).
• ...and F−(z) is a period integral of a unary theta function.
![Page 44: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/44.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Sketch of the Proof
• A harmonic Maass form satisfies F (z) = F−(z) + F+(z).
• The function F+(z) is the holomorphic part.
• Ramanujan’s alleged mock thetas are examples of F+(z).
• ...and F−(z) is a period integral of a unary theta function.
![Page 45: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/45.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Big Fact
Remark
Bruinier and Funke extended Petersson’s scalar product to{•, •} : Mk × H2−k → C by
{g ,F}k := (g , ξ(F ))k .
Here ξ : H2−k → Sk .
Fundamental Fact
If F (z) = F−(z) + F+(z) ∈ H2−k with F−(z) 6≡ 0, then F+(z)has infinitely many exponential singularities at roots of unity.
![Page 46: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/46.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Big Fact
Remark
Bruinier and Funke extended Petersson’s scalar product to{•, •} : Mk × H2−k → C by
{g ,F}k := (g , ξ(F ))k .
Here ξ : H2−k → Sk .
Fundamental Fact
If F (z) = F−(z) + F+(z) ∈ H2−k with F−(z) 6≡ 0, then F+(z)has infinitely many exponential singularities at roots of unity.
![Page 47: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/47.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Big Fact
Remark
Bruinier and Funke extended Petersson’s scalar product to{•, •} : Mk × H2−k → C by
{g ,F}k := (g , ξ(F ))k .
Here ξ : H2−k → Sk .
Fundamental Fact
If F (z) = F−(z) + F+(z) ∈ H2−k with F−(z) 6≡ 0, then F+(z)has infinitely many exponential singularities at roots of unity.
![Page 48: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/48.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Big Fact
Remark
Bruinier and Funke extended Petersson’s scalar product to{•, •} : Mk × H2−k → C by
{g ,F}k := (g , ξ(F ))k .
Here ξ : H2−k → Sk .
Fundamental Fact
If F (z) = F−(z) + F+(z) ∈ H2−k with F−(z) 6≡ 0, then F+(z)has infinitely many exponential singularities at roots of unity.
![Page 49: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/49.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Proof of the Fundamental Fact
Proof.
• We can prove that
{ξ(F ),F} = (ξ(F ), ξ(F )) 6= 0 ⇐⇒ F−(z) 6= 0.
• Bruinier and Funke prove a combinatorial formula for thispairing in terms of principal parts at cusps.
• The nonvanishing above and this combinatorial formula impliesthat F+(z) has some poles at some cusp.
• Exponential decay of F−(z) at cusps and modularity applied toF (z) gives infinitely many exponential singularities for F+(z).
![Page 50: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/50.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Proof of the Fundamental Fact
Proof.
• We can prove that
{ξ(F ),F} = (ξ(F ), ξ(F )) 6= 0 ⇐⇒ F−(z) 6= 0.
• Bruinier and Funke prove a combinatorial formula for thispairing in terms of principal parts at cusps.
• The nonvanishing above and this combinatorial formula impliesthat F+(z) has some poles at some cusp.
• Exponential decay of F−(z) at cusps and modularity applied toF (z) gives infinitely many exponential singularities for F+(z).
![Page 51: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/51.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Proof of the Fundamental Fact
Proof.
• We can prove that
{ξ(F ),F} = (ξ(F ), ξ(F )) 6= 0 ⇐⇒ F−(z) 6= 0.
• Bruinier and Funke prove a combinatorial formula for thispairing in terms of principal parts at cusps.
• The nonvanishing above and this combinatorial formula impliesthat F+(z) has some poles at some cusp.
• Exponential decay of F−(z) at cusps and modularity applied toF (z) gives infinitely many exponential singularities for F+(z).
![Page 52: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/52.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Proof of the Fundamental Fact
Proof.
• We can prove that
{ξ(F ),F} = (ξ(F ), ξ(F )) 6= 0 ⇐⇒ F−(z) 6= 0.
• Bruinier and Funke prove a combinatorial formula for thispairing in terms of principal parts at cusps.
• The nonvanishing above and this combinatorial formula impliesthat F+(z) has some poles at some cusp.
• Exponential decay of F−(z) at cusps and modularity applied toF (z) gives infinitely many exponential singularities for F+(z).
![Page 53: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/53.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Proof of the Fundamental Fact
Proof.
• We can prove that
{ξ(F ),F} = (ξ(F ), ξ(F )) 6= 0 ⇐⇒ F−(z) 6= 0.
• Bruinier and Funke prove a combinatorial formula for thispairing in terms of principal parts at cusps.
• The nonvanishing above and this combinatorial formula impliesthat F+(z) has some poles at some cusp.
• Exponential decay of F−(z) at cusps and modularity applied toF (z) gives infinitely many exponential singularities for F+(z).
![Page 54: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/54.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples
• Suppose that M(z) =: F+(z) is one of Ramanujan’s examples.
• Suppose that g(z) is a weight k modular form which cuts outthe singularities of F+(z).
• Since F−(z) arises from a theta function, we can use quadraticand trivial twists to KILL F−(z).
• We can then obtain nonzero modular forms F (z) and g(z)which cut out the same singularities.
•∗ Using Kloostermania, we find that a positive proportion ofthe coefficients of M(z) and F (z) agree and are nonzero, and soF (z) has singularities.
![Page 55: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/55.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples
• Suppose that M(z) =: F+(z) is one of Ramanujan’s examples.
• Suppose that g(z) is a weight k modular form which cuts outthe singularities of F+(z).
• Since F−(z) arises from a theta function, we can use quadraticand trivial twists to KILL F−(z).
• We can then obtain nonzero modular forms F (z) and g(z)which cut out the same singularities.
•∗ Using Kloostermania, we find that a positive proportion ofthe coefficients of M(z) and F (z) agree and are nonzero, and soF (z) has singularities.
![Page 56: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/56.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples
• Suppose that M(z) =: F+(z) is one of Ramanujan’s examples.
• Suppose that g(z) is a weight k modular form which cuts outthe singularities of F+(z).
• Since F−(z) arises from a theta function, we can use quadraticand trivial twists to KILL F−(z).
• We can then obtain nonzero modular forms F (z) and g(z)which cut out the same singularities.
•∗ Using Kloostermania, we find that a positive proportion ofthe coefficients of M(z) and F (z) agree and are nonzero, and soF (z) has singularities.
![Page 57: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/57.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples
• Suppose that M(z) =: F+(z) is one of Ramanujan’s examples.
• Suppose that g(z) is a weight k modular form which cuts outthe singularities of F+(z).
• Since F−(z) arises from a theta function, we can use quadraticand trivial twists to KILL F−(z).
• We can then obtain nonzero modular forms F (z) and g(z)which cut out the same singularities.
•∗ Using Kloostermania, we find that a positive proportion ofthe coefficients of M(z) and F (z) agree and are nonzero, and soF (z) has singularities.
![Page 58: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/58.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples
• Suppose that M(z) =: F+(z) is one of Ramanujan’s examples.
• Suppose that g(z) is a weight k modular form which cuts outthe singularities of F+(z).
• Since F−(z) arises from a theta function, we can use quadraticand trivial twists to KILL F−(z).
• We can then obtain nonzero modular forms F (z) and g(z)which cut out the same singularities.
•∗ Using Kloostermania, we find that a positive proportion ofthe coefficients of M(z) and F (z) agree and are nonzero, and soF (z) has singularities.
![Page 59: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/59.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples
• Suppose that M(z) =: F+(z) is one of Ramanujan’s examples.
• Suppose that g(z) is a weight k modular form which cuts outthe singularities of F+(z).
• Since F−(z) arises from a theta function, we can use quadraticand trivial twists to KILL F−(z).
• We can then obtain nonzero modular forms F (z) and g(z)which cut out the same singularities.
•∗ Using Kloostermania, we find that a positive proportion ofthe coefficients of M(z) and F (z) agree and are nonzero, and soF (z) has singularities.
![Page 60: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/60.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples cont.
• The new modular form F (z)− g(z) is O(1) at all roots of unity.
• By modularity, this forces g(z) to also have weight 1/2.
• Consider the wgt 1/2 harm. Maass form h(z) := F (z)− g(z).
• By hypothesis, F+(z)− g(z) is O(1) at all roots of unity.
• The nonholomorphic part of h(z) is F−(z) 6≡ 0.
• Fundamental Fact implies that F+(z)− g(z) has infinitelymany exponential singularities at roots of unity.
• Contradiction!
![Page 61: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/61.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples cont.
• The new modular form F (z)− g(z) is O(1) at all roots of unity.
• By modularity, this forces g(z) to also have weight 1/2.
• Consider the wgt 1/2 harm. Maass form h(z) := F (z)− g(z).
• By hypothesis, F+(z)− g(z) is O(1) at all roots of unity.
• The nonholomorphic part of h(z) is F−(z) 6≡ 0.
• Fundamental Fact implies that F+(z)− g(z) has infinitelymany exponential singularities at roots of unity.
• Contradiction!
![Page 62: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/62.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples cont.
• The new modular form F (z)− g(z) is O(1) at all roots of unity.
• By modularity, this forces g(z) to also have weight 1/2.
• Consider the wgt 1/2 harm. Maass form h(z) := F (z)− g(z).
• By hypothesis, F+(z)− g(z) is O(1) at all roots of unity.
• The nonholomorphic part of h(z) is F−(z) 6≡ 0.
• Fundamental Fact implies that F+(z)− g(z) has infinitelymany exponential singularities at roots of unity.
• Contradiction!
![Page 63: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/63.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples cont.
• The new modular form F (z)− g(z) is O(1) at all roots of unity.
• By modularity, this forces g(z) to also have weight 1/2.
• Consider the wgt 1/2 harm. Maass form h(z) := F (z)− g(z).
• By hypothesis, F+(z)− g(z) is O(1) at all roots of unity.
• The nonholomorphic part of h(z) is F−(z) 6≡ 0.
• Fundamental Fact implies that F+(z)− g(z) has infinitelymany exponential singularities at roots of unity.
• Contradiction!
![Page 64: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/64.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples cont.
• The new modular form F (z)− g(z) is O(1) at all roots of unity.
• By modularity, this forces g(z) to also have weight 1/2.
• Consider the wgt 1/2 harm. Maass form h(z) := F (z)− g(z).
• By hypothesis, F+(z)− g(z) is O(1) at all roots of unity.
• The nonholomorphic part of h(z) is F−(z) 6≡ 0.
• Fundamental Fact implies that F+(z)− g(z) has infinitelymany exponential singularities at roots of unity.
• Contradiction!
![Page 65: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/65.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples cont.
• The new modular form F (z)− g(z) is O(1) at all roots of unity.
• By modularity, this forces g(z) to also have weight 1/2.
• Consider the wgt 1/2 harm. Maass form h(z) := F (z)− g(z).
• By hypothesis, F+(z)− g(z) is O(1) at all roots of unity.
• The nonholomorphic part of h(z) is F−(z) 6≡ 0.
• Fundamental Fact implies that F+(z)− g(z) has infinitelymany exponential singularities at roots of unity.
• Contradiction!
![Page 66: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/66.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples cont.
• The new modular form F (z)− g(z) is O(1) at all roots of unity.
• By modularity, this forces g(z) to also have weight 1/2.
• Consider the wgt 1/2 harm. Maass form h(z) := F (z)− g(z).
• By hypothesis, F+(z)− g(z) is O(1) at all roots of unity.
• The nonholomorphic part of h(z) is F−(z) 6≡ 0.
• Fundamental Fact implies that F+(z)− g(z) has infinitelymany exponential singularities at roots of unity.
• Contradiction!
![Page 67: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/67.jpg)
Ramanujan’s last prophecy:quantum modular forms
Ramanujan’s Speculation
Application to Ramanujan’s examples cont.
• The new modular form F (z)− g(z) is O(1) at all roots of unity.
• By modularity, this forces g(z) to also have weight 1/2.
• Consider the wgt 1/2 harm. Maass form h(z) := F (z)− g(z).
• By hypothesis, F+(z)− g(z) is O(1) at all roots of unity.
• The nonholomorphic part of h(z) is F−(z) 6≡ 0.
• Fundamental Fact implies that F+(z)− g(z) has infinitelymany exponential singularities at roots of unity.
• Contradiction!
![Page 68: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/68.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s “Strange Conjecture”
R(w ; q) :=∞∑n=0
qn2
(wq; q)n(w−1q; q)n(Dyson’s Mock ϑ-function)
C (w ; q) :=(q; q)∞
(wq; q)∞(w−1q; q)∞(Weierstrass MF)
U(w ; q) :=∞∑n=0
(wq; q)n(w−1q; q)nqn+1 (Unimodal Gen. Function)
Here we use that
(a; q)n := (1− a)(1− aq)(1− aq2) · · · (1− aqn−1).
![Page 69: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/69.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s “Strange Conjecture”
R(w ; q) :=∞∑n=0
qn2
(wq; q)n(w−1q; q)n(Dyson’s Mock ϑ-function)
C (w ; q) :=(q; q)∞
(wq; q)∞(w−1q; q)∞(Weierstrass MF)
U(w ; q) :=∞∑n=0
(wq; q)n(w−1q; q)nqn+1 (Unimodal Gen. Function)
Here we use that
(a; q)n := (1− a)(1− aq)(1− aq2) · · · (1− aqn−1).
![Page 70: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/70.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s “Strange Conjecture”
R(w ; q) :=∞∑n=0
qn2
(wq; q)n(w−1q; q)n(Dyson’s Mock ϑ-function)
C (w ; q) :=(q; q)∞
(wq; q)∞(w−1q; q)∞(Weierstrass MF)
U(w ; q) :=∞∑n=0
(wq; q)n(w−1q; q)nqn+1 (Unimodal Gen. Function)
Here we use that
(a; q)n := (1− a)(1− aq)(1− aq2) · · · (1− aqn−1).
![Page 71: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/71.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
General “Near Misses”
Theorem (F-O-R)
If ζb = e2πib and 1 ≤ a < b, then for every suitable root of unity ζ
there is an explicit integer c for which
limq→ζ
(R(ζab ; q)− ζcb2C (ζab ; q)
)= −(1− ζab)(1− ζ−ab )U(ζab ; ζ).
Remark
Ramanujan’s “Strange Conjecture” is when a = 1 and b = 2.
![Page 72: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/72.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
General “Near Misses”
Theorem (F-O-R)
If ζb = e2πib and 1 ≤ a < b, then for every suitable root of unity ζ
there is an explicit integer c for which
limq→ζ
(R(ζab ; q)− ζcb2C (ζab ; q)
)= −(1− ζab)(1− ζ−ab )U(ζab ; ζ).
Remark
Ramanujan’s “Strange Conjecture” is when a = 1 and b = 2.
![Page 73: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/73.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
General “Near Misses”
Theorem (F-O-R)
If ζb = e2πib and 1 ≤ a < b, then for every suitable root of unity ζ
there is an explicit integer c for which
limq→ζ
(R(ζab ; q)− ζcb2C (ζab ; q)
)= −(1− ζab)(1− ζ−ab )U(ζab ; ζ).
Remark
Ramanujan’s “Strange Conjecture” is when a = 1 and b = 2.
![Page 74: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/74.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
What is going on?
Loosely speaking, these theorems say that
limq→ζ
(Mock ϑ− εζMF) = Quantum MF.
Two questions
1 What special properties do these mock ϑs enjoy?
2 What is a quantum modular form?
![Page 75: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/75.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
What is going on?
Loosely speaking, these theorems say that
limq→ζ
(Mock ϑ− εζMF) = Quantum MF.
Two questions
1 What special properties do these mock ϑs enjoy?
2 What is a quantum modular form?
![Page 76: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/76.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
What is going on?
Loosely speaking, these theorems say that
limq→ζ
(Mock ϑ− εζMF) = Quantum MF.
Two questions
1 What special properties do these mock ϑs enjoy?
2 What is a quantum modular form?
![Page 77: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/77.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
What is going on?
Loosely speaking, these theorems say that
limq→ζ
(Mock ϑ− εζMF) = Quantum MF.
Two questions
1 What special properties do these mock ϑs enjoy?
2 What is a quantum modular form?
![Page 78: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/78.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
What is going on?
Loosely speaking, these theorems say that
limq→ζ
(Mock ϑ− εζMF) = Quantum MF.
Two questions
1 What special properties do these mock ϑs enjoy?
2 What is a quantum modular form?
![Page 79: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/79.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Upper and lower half-planes
Example
For Ramanujan’s f (q), amazingly we have
f (q−1) =∞∑n=0
q−n2
(1 + q−1)2(1 + q−2)2 · · · (1 + q−n)2
=∞∑n=0
qn
(−q; q)2n= 1 + q − q2 + 2q3 − 4q4 + . . .
Remark
Under z ↔ q = e2πiz , this means that f (q) is defined on both H±.
![Page 80: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/80.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Upper and lower half-planes
Example
For Ramanujan’s f (q), amazingly we have
f (q−1) =∞∑n=0
q−n2
(1 + q−1)2(1 + q−2)2 · · · (1 + q−n)2
=∞∑n=0
qn
(−q; q)2n= 1 + q − q2 + 2q3 − 4q4 + . . .
Remark
Under z ↔ q = e2πiz , this means that f (q) is defined on both H±.
![Page 81: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/81.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Upper and lower half-planes
Example
For Ramanujan’s f (q), amazingly we have
f (q−1) =∞∑n=0
q−n2
(1 + q−1)2(1 + q−2)2 · · · (1 + q−n)2
=∞∑n=0
qn
(−q; q)2n= 1 + q − q2 + 2q3 − 4q4 + . . .
Remark
Under z ↔ q = e2πiz , this means that f (q) is defined on both H±.
![Page 82: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/82.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
We have the following....
Remark
At rationals z = h/2k these “meet” thanks to U(−1; q).
![Page 83: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/83.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
We have the following....
Remark
At rationals z = h/2k these “meet” thanks to U(−1; q).
![Page 84: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/84.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Quantum modular forms
Definition (Zagier)
A weight k quantum modular form is a complex-valued functionf on Q \ S for some set S , such that for all γ =
(a bc d
)∈ SL2(Z)
the function
hγ(x) := f (x)− ε(γ)(cx + d)−k f
(ax + b
cx + d
)satisfies a “suitable” property of continuity or analyticity.
![Page 85: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/85.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Quantum modular forms
Definition (Zagier)
A weight k quantum modular form is a complex-valued functionf on Q \ S for some set S , such that
for all γ =(a bc d
)∈ SL2(Z)
the function
hγ(x) := f (x)− ε(γ)(cx + d)−k f
(ax + b
cx + d
)satisfies a “suitable” property of continuity or analyticity.
![Page 86: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/86.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Quantum modular forms
Definition (Zagier)
A weight k quantum modular form is a complex-valued functionf on Q \ S for some set S , such that for all γ =
(a bc d
)∈ SL2(Z)
the function
hγ(x) := f (x)− ε(γ)(cx + d)−k f
(ax + b
cx + d
)satisfies a “suitable” property of continuity or analyticity.
![Page 87: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/87.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Quantum modular forms
Definition (Zagier)
A weight k quantum modular form is a complex-valued functionf on Q \ S for some set S , such that for all γ =
(a bc d
)∈ SL2(Z)
the function
hγ(x) := f (x)− ε(γ)(cx + d)−k f
(ax + b
cx + d
)satisfies a “suitable” property of continuity or analyticity.
![Page 88: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/88.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
History of quantum modular forms
Remark
Zagier defined them in his 2010 Clay Prize lecture at Harvard.
Zagier offered a few examples related to:
Dedekind sums.
q-series defined by Andrews, Dyson, and Hickerson.
Quadratic polynomials of fixed discriminant.
Jones polynomials in knot theory.
Kontsevich’s strange function F (q).
![Page 89: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/89.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
History of quantum modular forms
Remark
Zagier defined them in his 2010 Clay Prize lecture at Harvard.
Zagier offered a few examples related to:
Dedekind sums.
q-series defined by Andrews, Dyson, and Hickerson.
Quadratic polynomials of fixed discriminant.
Jones polynomials in knot theory.
Kontsevich’s strange function F (q).
![Page 90: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/90.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
History of quantum modular forms
Remark
Zagier defined them in his 2010 Clay Prize lecture at Harvard.
Zagier offered a few examples related to:
Dedekind sums.
q-series defined by Andrews, Dyson, and Hickerson.
Quadratic polynomials of fixed discriminant.
Jones polynomials in knot theory.
Kontsevich’s strange function F (q).
![Page 91: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/91.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
A new quantum modular form
“Theorem” (2012, Bryson-O-Pitman-R)
The functionφ(x) := e−
πix12 · U(1; e2πix)
is a weight 3/2 quantum modular form, which is defined on H ∪R.
Question
We have observed the phenomenon
limq→ζ
(Mock ϑ-function− εζMF) = QMF.
How do QMFs arise naturally from mock ϑ-functions?
![Page 92: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/92.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
A new quantum modular form
“Theorem” (2012, Bryson-O-Pitman-R)
The functionφ(x) := e−
πix12 · U(1; e2πix)
is a weight 3/2 quantum modular form, which is defined on H ∪R.
Question
We have observed the phenomenon
limq→ζ
(Mock ϑ-function− εζMF) = QMF.
How do QMFs arise naturally from mock ϑ-functions?
![Page 93: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/93.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
A new quantum modular form
“Theorem” (2012, Bryson-O-Pitman-R)
The functionφ(x) := e−
πix12 · U(1; e2πix)
is a weight 3/2 quantum modular form, which is defined on H ∪R.
Question
We have observed the phenomenon
limq→ζ
(Mock ϑ-function− εζMF) = QMF.
How do QMFs arise naturally from mock ϑ-functions?
![Page 94: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/94.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Rogers-Fine q-hypergeometric function
Definition (Rogers-Fine q-hypergeometric function)
F (α, β, t; q) :=∞∑n=0
(αq; q)ntn
(βq; q)n.
Lemma (EZ)
We have the “half” theta functions:
1
1 + w· F (wq−1,−w ,w ; q) :=
1
1 + w·∞∑n=0
(w ; q)nwn
(−wq; q)n
=∞∑n=0
(−1)nw2nqn2 .
![Page 95: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/95.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Rogers-Fine q-hypergeometric function
Definition (Rogers-Fine q-hypergeometric function)
F (α, β, t; q) :=∞∑n=0
(αq; q)ntn
(βq; q)n.
Lemma (EZ)
We have the “half” theta functions:
1
1 + w· F (wq−1,−w ,w ; q) :=
1
1 + w·∞∑n=0
(w ; q)nwn
(−wq; q)n
=∞∑n=0
(−1)nw2nqn2 .
![Page 96: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/96.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Two families of specializations
Definition
We define G (a, b; z) and H(a, b; z) by
G (a, b; z) :=q
a2
b2
1− qab
· F(−q
ab−1, q
ab ,−q
ab ; q),
H(a, b; z) := q18 · F
(ζ−ab q−1, ζ−ab , ζ−ab q; q2
).
![Page 97: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/97.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Two families of specializations
Definition
We define G (a, b; z) and H(a, b; z) by
G (a, b; z) :=q
a2
b2
1− qab
· F(−q
ab−1, q
ab ,−q
ab ; q),
H(a, b; z) := q18 · F
(ζ−ab q−1, ζ−ab , ζ−ab q; q2
).
![Page 98: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/98.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
q-identities
Lemma
We have the following non-modular q-identities:
G (a, b; z) =∞∑n=0
(−1)nq(n+ ab)2 ,
H(a, b; z) =∞∑n=0
ζ−anb q12(n+ 1
2)2
.
![Page 99: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/99.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
q-identities
Lemma
We have the following non-modular q-identities:
G (a, b; z) =∞∑n=0
(−1)nq(n+ ab)2 ,
H(a, b; z) =∞∑n=0
ζ−anb q12(n+ 1
2)2
.
![Page 100: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/100.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
QMFs arising from Rogers-Fine
Theorem (F-O-R)
For a, b ∈ Z+ with b even, we define a set of rationals Qa,b.
The following are true:
1 The functions G (a, b; z) and H(a, b; z) converge forz ∈ H+ ∪H−.
2 For x ∈ Qa,b ∪H+, we have that
G (a, b;−x) +e−
πiab
√2ix· H(
a, b;1
2x
)= “integral of a theta function”.
![Page 101: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/101.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
QMFs arising from Rogers-Fine
Theorem (F-O-R)
For a, b ∈ Z+ with b even, we define a set of rationals Qa,b.
The following are true:
1 The functions G (a, b; z) and H(a, b; z) converge forz ∈ H+ ∪H−.
2 For x ∈ Qa,b ∪H+, we have that
G (a, b;−x) +e−
πiab
√2ix· H(
a, b;1
2x
)= “integral of a theta function”.
![Page 102: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/102.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
QMFs arising from Rogers-Fine
Theorem (F-O-R)
For a, b ∈ Z+ with b even, we define a set of rationals Qa,b.
The following are true:
1 The functions G (a, b; z) and H(a, b; z) converge forz ∈ H+ ∪H−.
2 For x ∈ Qa,b ∪H+, we have that
G (a, b;−x) +e−
πiab
√2ix· H(
a, b;1
2x
)= “integral of a theta function”.
![Page 103: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/103.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
QMFs arising from Rogers-Fine
Theorem (F-O-R)
For a, b ∈ Z+ with b even, we define a set of rationals Qa,b.
The following are true:
1 The functions G (a, b; z) and H(a, b; z) converge forz ∈ H+ ∪H−.
2 For x ∈ Qa,b ∪H+, we have that
G (a, b;−x) +e−
πiab
√2ix· H(
a, b;1
2x
)= “integral of a theta function”.
![Page 104: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/104.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
QMFs arising from Rogers-Fine
Theorem (F-O-R)
For a, b ∈ Z+ with b even, we define a set of rationals Qa,b.
The following are true:
1 The functions G (a, b; z) and H(a, b; z) converge forz ∈ H+ ∪H−.
2 For x ∈ Qa,b ∪H+, we have that
G (a, b;−x) +e−
πiab
√2ix· H(
a, b;1
2x
)= “integral of a theta function”.
![Page 105: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/105.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
In particular....
Corollary (F-O-R)
Assuming the notation above, G (a, b; x) and H(a, b; x) are weight1/2 quantum modular forms on Qa,b ∪H+.
![Page 106: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/106.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
In particular....
Corollary (F-O-R)
Assuming the notation above, G (a, b; x) and H(a, b; x) are weight1/2 quantum modular forms on Qa,b ∪H+.
![Page 107: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/107.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
L-function corollaries
Corollary (F-O-R)
Assuming the notation above, there are L-functions for which
G
(a, b;
−h
k+
it
2π
)∼∞∑r=0
L(−2r , cG ) · (−t)r
r ! · b2r,
H
(a, b;
k
2h+
it
2π
)∼∞∑r=0
L(−2r , cH) · (−t)r
r ! · 8r,
Remark
The L-functions L(s, cG ) and L(s, cH) are explicit linearcombinations of Hurwitz zeta-functions.
![Page 108: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/108.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
L-function corollaries
Corollary (F-O-R)
Assuming the notation above, there are L-functions for which
G
(a, b;
−h
k+
it
2π
)∼∞∑r=0
L(−2r , cG ) · (−t)r
r ! · b2r,
H
(a, b;
k
2h+
it
2π
)∼∞∑r=0
L(−2r , cH) · (−t)r
r ! · 8r,
Remark
The L-functions L(s, cG ) and L(s, cH) are explicit linearcombinations of Hurwitz zeta-functions.
![Page 109: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/109.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
L-function corollaries
Corollary (F-O-R)
Assuming the notation above, there are L-functions for which
G
(a, b;
−h
k+
it
2π
)∼∞∑r=0
L(−2r , cG ) · (−t)r
r ! · b2r,
H
(a, b;
k
2h+
it
2π
)∼∞∑r=0
L(−2r , cH) · (−t)r
r ! · 8r,
Remark
The L-functions L(s, cG ) and L(s, cH) are explicit linearcombinations of Hurwitz zeta-functions.
![Page 110: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/110.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
L-function corollaries
Corollary (F-O-R)
Assuming the notation above, there are L-functions for which
G
(a, b;
−h
k+
it
2π
)∼∞∑r=0
L(−2r , cG ) · (−t)r
r ! · b2r,
H
(a, b;
k
2h+
it
2π
)∼∞∑r=0
L(−2r , cH) · (−t)r
r ! · 8r,
Remark
The L-functions L(s, cG ) and L(s, cH) are explicit linearcombinations of Hurwitz zeta-functions.
![Page 111: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/111.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s deathbed letter revisited...
“I discovered... “Mock” ϑ-functions.
Unlike the “False” ϑ-functions (studied... by Rogers) they enterinto mathematics as beautifully as ordinary theta functions...”
Remarks
1 We prove that the RF false ϑ-functions specialize to QMFs.
2 These QMFs arise from mock ϑ-functions.
3 Therefore, the “False” ϑ-functions do enter intomathematics as beautifully.
4 ...and Ramanujan’s own mock ϑs make it happen :-) !
![Page 112: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/112.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s deathbed letter revisited...
“I discovered... “Mock” ϑ-functions.
Unlike the “False” ϑ-functions (studied... by Rogers) they enterinto mathematics as beautifully as ordinary theta functions...”
Remarks
1 We prove that the RF false ϑ-functions specialize to QMFs.
2 These QMFs arise from mock ϑ-functions.
3 Therefore, the “False” ϑ-functions do enter intomathematics as beautifully.
4 ...and Ramanujan’s own mock ϑs make it happen :-) !
![Page 113: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/113.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s deathbed letter revisited...
“I discovered... “Mock” ϑ-functions.
Unlike the “False” ϑ-functions (studied... by Rogers) they enterinto mathematics as beautifully as ordinary theta functions...”
Remarks
1 We prove that the RF false ϑ-functions specialize to QMFs.
2 These QMFs arise from mock ϑ-functions.
3 Therefore, the “False” ϑ-functions do enter intomathematics as beautifully.
4 ...and Ramanujan’s own mock ϑs make it happen :-) !
![Page 114: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/114.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s deathbed letter revisited...
“I discovered... “Mock” ϑ-functions.
Unlike the “False” ϑ-functions (studied... by Rogers) they enterinto mathematics as beautifully as ordinary theta functions...”
Remarks
1 We prove that the RF false ϑ-functions specialize to QMFs.
2 These QMFs arise from mock ϑ-functions.
3 Therefore, the “False” ϑ-functions do enter intomathematics as beautifully.
4 ...and Ramanujan’s own mock ϑs make it happen :-) !
![Page 115: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/115.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s deathbed letter revisited...
“I discovered... “Mock” ϑ-functions.
Unlike the “False” ϑ-functions (studied... by Rogers) they enterinto mathematics as beautifully as ordinary theta functions...”
Remarks
1 We prove that the RF false ϑ-functions specialize to QMFs.
2 These QMFs arise from mock ϑ-functions.
3 Therefore, the “False” ϑ-functions do enter intomathematics as beautifully.
4 ...and Ramanujan’s own mock ϑs make it happen :-) !
![Page 116: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/116.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s deathbed letter revisited...
“I discovered... “Mock” ϑ-functions.
Unlike the “False” ϑ-functions (studied... by Rogers) they enterinto mathematics as beautifully as ordinary theta functions...”
Remarks
1 We prove that the RF false ϑ-functions specialize to QMFs.
2 These QMFs arise from mock ϑ-functions.
3 Therefore, the “False” ϑ-functions do enter intomathematics as beautifully.
4 ...and Ramanujan’s own mock ϑs make it happen :-) !
![Page 117: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/117.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s deathbed letter revisited...
“I discovered... “Mock” ϑ-functions.
Unlike the “False” ϑ-functions (studied... by Rogers) they enterinto mathematics as beautifully as ordinary theta functions...”
Remarks
1 We prove that the RF false ϑ-functions specialize to QMFs.
2 These QMFs arise from mock ϑ-functions.
3 Therefore, the “False” ϑ-functions do enter intomathematics as beautifully.
4 ...and Ramanujan’s own mock ϑs make it happen :-) !
![Page 118: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/118.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan’s deathbed letter revisited...
“I discovered... “Mock” ϑ-functions.
Unlike the “False” ϑ-functions (studied... by Rogers) they enterinto mathematics as beautifully as ordinary theta functions...”
Remarks
1 We prove that the RF false ϑ-functions specialize to QMFs.
2 These QMFs arise from mock ϑ-functions.
3 Therefore, the “False” ϑ-functions do enter intomathematics as beautifully.
4 ...and Ramanujan’s own mock ϑs make it happen :-) !
![Page 119: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/119.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Rogers-Fine and Quantum Modularity
“Theorem”
The Rogers-Fine functions G (a, b; z) and H(a, b; z) are weight 1/2quantum modular forms on H+ ∪ Qa,b.
![Page 120: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/120.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Rogers-Fine and Quantum Modularity
“Theorem”
The Rogers-Fine functions G (a, b; z) and H(a, b; z) are weight 1/2quantum modular forms on H+ ∪ Qa,b.
![Page 121: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/121.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ideas behind the (not simple) proof
1 Elementary q-series manipulations give convergence on H±.
2 The 2008 JAMS paper by Bringmann and O-R gives 2 specialinfinite familes of mock ϑ-functions.
3 q-manipulations to relate these to G (a, b; z) and H(a, b; z).
4 Quantum modularity follows by lengthy direct calculations...
![Page 122: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/122.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ideas behind the (not simple) proof
1 Elementary q-series manipulations give convergence on H±.
2 The 2008 JAMS paper by Bringmann and O-R gives 2 specialinfinite familes of mock ϑ-functions.
3 q-manipulations to relate these to G (a, b; z) and H(a, b; z).
4 Quantum modularity follows by lengthy direct calculations...
![Page 123: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/123.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ideas behind the (not simple) proof
1 Elementary q-series manipulations give convergence on H±.
2 The 2008 JAMS paper by Bringmann and O-R gives 2 specialinfinite familes of mock ϑ-functions.
3 q-manipulations to relate these to G (a, b; z) and H(a, b; z).
4 Quantum modularity follows by lengthy direct calculations...
![Page 124: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/124.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ideas behind the (not simple) proof
1 Elementary q-series manipulations give convergence on H±.
2 The 2008 JAMS paper by Bringmann and O-R gives 2 specialinfinite familes of mock ϑ-functions.
3 q-manipulations to relate these to G (a, b; z) and H(a, b; z).
4 Quantum modularity follows by lengthy direct calculations...
![Page 125: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/125.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ideas behind the (not simple) proof
1 Elementary q-series manipulations give convergence on H±.
2 The 2008 JAMS paper by Bringmann and O-R gives 2 specialinfinite familes of mock ϑ-functions.
3 q-manipulations to relate these to G (a, b; z) and H(a, b; z).
4 Quantum modularity follows by lengthy direct calculations...
![Page 126: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/126.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
L-values
Corollary (F-O-R)
Assuming the notation above, there are L-functions for which
G
(a, b;
−h
k+
it
2π
)∼∞∑r=0
L(−2r , cG ) · (−t)r
r ! · b2r,
H
(a, b;
k
2h+
it
2π
)∼∞∑r=0
L(−2r , cH) · (−t)r
r ! · 8r,
Proof.
1 The RF gives “asymptotic” expansions at roots of unity.
2 Lemma of Lawrence and Zagier also gives asymptotics.
![Page 127: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/127.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
L-values
Corollary (F-O-R)
Assuming the notation above, there are L-functions for which
G
(a, b;
−h
k+
it
2π
)∼∞∑r=0
L(−2r , cG ) · (−t)r
r ! · b2r,
H
(a, b;
k
2h+
it
2π
)∼∞∑r=0
L(−2r , cH) · (−t)r
r ! · 8r,
Proof.
1 The RF gives “asymptotic” expansions at roots of unity.
2 Lemma of Lawrence and Zagier also gives asymptotics.
![Page 128: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/128.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
L-values
Corollary (F-O-R)
Assuming the notation above, there are L-functions for which
G
(a, b;
−h
k+
it
2π
)∼∞∑r=0
L(−2r , cG ) · (−t)r
r ! · b2r,
H
(a, b;
k
2h+
it
2π
)∼∞∑r=0
L(−2r , cH) · (−t)r
r ! · 8r,
Proof.
1 The RF gives “asymptotic” expansions at roots of unity.
2 Lemma of Lawrence and Zagier also gives asymptotics.
![Page 129: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/129.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
L-values
Corollary (F-O-R)
Assuming the notation above, there are L-functions for which
G
(a, b;
−h
k+
it
2π
)∼∞∑r=0
L(−2r , cG ) · (−t)r
r ! · b2r,
H
(a, b;
k
2h+
it
2π
)∼∞∑r=0
L(−2r , cH) · (−t)r
r ! · 8r,
Proof.
1 The RF gives “asymptotic” expansions at roots of unity.
2 Lemma of Lawrence and Zagier also gives asymptotics.
![Page 130: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/130.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
L-values
Corollary (F-O-R)
Assuming the notation above, there are L-functions for which
G
(a, b;
−h
k+
it
2π
)∼∞∑r=0
L(−2r , cG ) · (−t)r
r ! · b2r,
H
(a, b;
k
2h+
it
2π
)∼∞∑r=0
L(−2r , cH) · (−t)r
r ! · 8r,
Proof.
1 The RF gives “asymptotic” expansions at roots of unity.
2 Lemma of Lawrence and Zagier also gives asymptotics.
![Page 131: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/131.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
L-values
Corollary (F-O-R)
Assuming the notation above, there are L-functions for which
G
(a, b;
−h
k+
it
2π
)∼∞∑r=0
L(−2r , cG ) · (−t)r
r ! · b2r,
H
(a, b;
k
2h+
it
2π
)∼∞∑r=0
L(−2r , cH) · (−t)r
r ! · 8r,
Proof.
1 The RF gives “asymptotic” expansions at roots of unity.
2 Lemma of Lawrence and Zagier also gives asymptotics.
![Page 132: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/132.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan Hit Parade(Andrews, Berndt: Notices AMS, 2008)
1 Dyson’s Ranks.
2 Mock ϑ-functions.
3 Andrews-Garvan Crank.
4 Continued fraction with three limit points.
5 Early QMFs: “Sums of Tails” of Euler’s Products.
Amusing Remarks
1 Four of the top 5 involve ranks, cranks, mock ϑs, and QMFs.
2 The importance of each instrument was found independently.
3 We show they form a harmonious quantum orchestra.
![Page 133: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/133.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan Hit Parade(Andrews, Berndt: Notices AMS, 2008)
1 Dyson’s Ranks.
2 Mock ϑ-functions.
3 Andrews-Garvan Crank.
4 Continued fraction with three limit points.
5 Early QMFs: “Sums of Tails” of Euler’s Products.
Amusing Remarks
1 Four of the top 5 involve ranks, cranks, mock ϑs, and QMFs.
2 The importance of each instrument was found independently.
3 We show they form a harmonious quantum orchestra.
![Page 134: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/134.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan Hit Parade(Andrews, Berndt: Notices AMS, 2008)
1 Dyson’s Ranks.
2 Mock ϑ-functions.
3 Andrews-Garvan Crank.
4 Continued fraction with three limit points.
5 Early QMFs: “Sums of Tails” of Euler’s Products.
Amusing Remarks
1 Four of the top 5 involve ranks, cranks, mock ϑs, and QMFs.
2 The importance of each instrument was found independently.
3 We show they form a harmonious quantum orchestra.
![Page 135: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/135.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan Hit Parade(Andrews, Berndt: Notices AMS, 2008)
1 Dyson’s Ranks.
2 Mock ϑ-functions.
3 Andrews-Garvan Crank.
4 Continued fraction with three limit points.
5 Early QMFs: “Sums of Tails” of Euler’s Products.
Amusing Remarks
1 Four of the top 5 involve ranks, cranks, mock ϑs, and QMFs.
2 The importance of each instrument was found independently.
3 We show they form a harmonious quantum orchestra.
![Page 136: Ramanujan's last prophecy: quantum modular formsnakamura/NakanoShima2013/... · 2014-01-09 · Srinivasa Ramanujan \...it has not been proved that any of Ramanujan’s mock theta](https://reader030.vdocuments.site/reader030/viewer/2022040523/5e826bceec86a34129215b01/html5/thumbnails/136.jpg)
Ramanujan’s last prophecy:quantum modular forms
Quantum Modular Forms
Ramanujan Hit Parade(Andrews, Berndt: Notices AMS, 2008)
1 Dyson’s Ranks.
2 Mock ϑ-functions.
3 Andrews-Garvan Crank.
4 Continued fraction with three limit points.
5 Early QMFs: “Sums of Tails” of Euler’s Products.
Amusing Remarks
1 Four of the top 5 involve ranks, cranks, mock ϑs, and QMFs.
2 The importance of each instrument was found independently.
3 We show they form a harmonious quantum orchestra.