Quantum modular forms
Kontsevich's strange function
- definition
- <math>
F(q)=\sum_{n=0}^{\infty}(q)_n </math>
- originated from quantum invariants of trefoil knot
- if <math>F(x)=F(e^{2\pi i x})</math>, then
- <math>
\zeta_{24k}^{-1}F(\frac{-1}{k})\sim \sqrt{-i}k^{3/2}\zeta_{24}^kF(k)+g(k) </math>
- theorem (Zagier)
Let
- <math>
\phi(x)=e^{\pi i x /12}F(e^{2\pi i x}) </math> <math>\phi : \mathbb{Q} \to \mathbb{C}</math> satisfies
- <math>
\phi(-x)+(-ix)^{-3/2}\phi(1/x)=g(x) </math> where <math>g:\mathbb{R}\to \mathbb{C}</math> is a <math>C^{\infty}</math> function
- Strange identity
- <math>
F(q^{-1})=-\frac{1}{2}\sum_{n=1}^{\infty}n \left(\frac{12}{n}\right)q^{-\frac{n^2-1}{24}} </math> with <math>q=e^{2\pi i x}</math>
- related to the partial theta function <math>\tilde{\eta}(q)</math>
generating function of unimodal sequences
- generating function of unimodal sequences
- <math>
U(w;q)=\sum_{n=0}^{\infty}(wq;q)_{n}(w^{-1}q;q)_{n}q^{n+1} </math>
- <math>R(w;q)=\sum_{n=0}^\infty \frac{q^{n^2}}{(wq;q)_n(w^{-1}q;q)_n}</math>
- <math>C(w;q)=\frac{(q)_{\infty}}{(wq;q)_{\infty}(w^{-1}q;q)_{\infty}}</math>
- limit formula <math>\zeta_b=e^{2\pi i/b}</math>, <math>1\le a <b</math>, for every root of unity <math>\zeta</math>, there exists an integer <math>c</math> such that
- <math>
\lim_{q\to \zeta} R(\zeta_{b}^{a};q)-\zeta_{b^2}^{c} C(\zeta_{b}^{a};q)=-(1-\zeta_{b}^{a})(1-\zeta_{b}^{-a})U(\zeta_{b}^{a};\zeta) </math>
special case
- If <math>b=2</math> and <math>a=1</math>, then <math>\zeta_{b}^{a}=-1</math>
- <math>U(-1;\zeta)</math> becomes a finite sum if <math>\zeta</math> is a root of unity
- <math>
U(-1;\zeta)=\sum_{n=0}^{k-1} (1+\zeta)^2(1+\zeta^2)^2\cdots (1+\zeta^n)^2\zeta^{n+1} </math>
- <math>R(-1;q)=f(q)</math> and <math>C(-1;q)=b(q)</math> in 3rd order mock theta functions
- Thus if <math>\zeta</math> be even <math>2k</math> order root of unity
- <math>
\lim_{q\to \zeta} f(q)-(-1)^k b(q)=-4\sum_{n=0}^{k-1} (1+\zeta)^2(1+\zeta^2)^2\cdots (1+\zeta^n)^2\zeta^{n+1} </math>
Kontsevich's strange function
- Bryson-Ono-Pitman-Rhoades
- <math>U(q)=F(q^{-1})</math>
non-holomorphic modular form
- thm (Andrews-Rhoades-Zwegers)
- <math>
q^{-1/24}U(q)+\int +\int </math> is a non-holomorphic modular form of weight 3/2
<math>\sigma</math> and <math>\sigma^{*}</math>
- <math>\sigma(q)=2\sum_{n=0}^{\infty}(-1)^n (q;q)_n</math>
- (Cohen) <math>\sigma(q)=-\sigma^{*}(q^{-1})</math> for every root of unity
- let <math>f(x)=q^{1/24}\sigma(q)</math> where <math>q=e^{2\pi i x}</math>
- (Lewis-Zagier) <math>f : \mathbb{Q} \to \mathbb{C}</math> satisfies
- <math>
\frac{1}{2x+1}f(\frac{x}{2x+1})=e^{\pi i/12}f(x)+h(x) </math> where <math>h</math> is <math>C^{\infty}</math> on <math>\mathbb{R}</math> and real analytic except at <math>x=-1/2</math>
WRT invariant of the Poincare sphere
computational resource
expositions
articles
- Kathrin Bringmann, Jeremy Lovejoy, Larry Rolen, On some special families of <math>q</math>-hypergeometric Maass forms, http://arxiv.org/abs/1603.01783v1
- Dimofte, Tudor, and Stavros Garoufalidis. “Quantum Modularity and Complex Chern-Simons Theory.” arXiv:1511.05628 [hep-Th], November 17, 2015. http://arxiv.org/abs/1511.05628.
- Bringmann, Kathrin, and Larry Rolen. “Half-Integral Weight Eichler Integrals and Quantum Modular Forms.” arXiv:1409.3781 [math], September 12, 2014. http://arxiv.org/abs/1409.3781.
- Rolen, Larry, and Robert P. Schneider. 2013. “A ‘Strange’ Vector-Valued Quantum Modular Form.” arXiv:1304.1210 (April 3). http://arxiv.org/abs/1304.1210.
- Bryson, Jennifer, Ken Ono, Sarah Pitman, and Robert C. Rhoades. 2012. “Unimodal Sequences and Quantum and Mock Modular Forms.” Proceedings of the National Academy of Sciences 109 (40) (October 2): 16063–16067. doi:10.1073/pnas.1211964109.
- Zagier, Don. 2010. “Quantum Modular Forms.” In Quanta of Maths, 11:659–675. Clay Math. Proc. Providence, RI: Amer. Math. Soc. http://www.ams.org/mathscinet-getitem?mr=2757599.