English

The Eichler integral of $E_2$ and $q$-brackets of $t$-hook functions

Number Theory 2020-08-05 v2

Abstract

For functions f:PCf: \mathcal{P}\rightarrow \mathbb{C} on partitions, Bloch and Okounkov defined a power series fq\langle f\rangle_q that is the "weighted average" of ff. As Fourier series in q=e2πizq=e^{2\pi i z}, such qq-brackets generate the ring of quasimodular forms, and the modular forms that are powers of Dedekind's eta-function. Using work of Berndt and Han, we build modular objects from ft(λ):=thHt(λ)1h2, f_t(\lambda):= t\sum_{h\in \mathcal{H}_t(\lambda)}\frac{1}{h^2}, weighted sums over partition hook numbers that are multiples of tt. We find that ftq\langle f_t \rangle_q is the Eichler integral of (1E2(tz))/24,(1-E_2(tz))/24, which we modify to construct a function Mt(z)M_t(z) that enjoys weight 0 modularity properties. As a consequence, the non-modular Fourier series Ht(z):=λPft(λ)qλ124H_t^*(z):=\sum_{\lambda \in \mathcal{P}} f_t(\lambda)q^{|\lambda|-\frac{1}{24}} inherits weight 1/2-1/2 modularity properties. These are sufficient to imply a Chowla-Selberg type result, generalizing the fact that weight kk algebraic modular forms evaluated at discriminant D<0D<0 points τ\tau are algebraic multiples of ΩDk,\Omega_D^k, the kkth power of the canonical period. If we let Ψ(τ):=πi(τ23τ+112τ)log(τ)2,\Psi(\tau):=-\pi i \left(\frac{\tau^2-3\tau+1}{12\tau}\right)-\frac{\log(\tau)}{2}, then for t=1t=1 we prove that H1(1/τ)1iτH1(τ)QΨ(τ)ΩD. H_1^*(-1/\tau)-\frac{1}{\sqrt{-i\tau}}\cdot H_1^*(\tau)\in \overline{\mathbb{Q}}\cdot \frac{\Psi(\tau)}{\sqrt{\Omega_D}}.

Keywords

Cite

@article{arxiv.2007.15142,
  title  = {The Eichler integral of $E_2$ and $q$-brackets of $t$-hook functions},
  author = {Ken Ono},
  journal= {arXiv preprint arXiv:2007.15142},
  year   = {2020}
}

Comments

10 pages: . Note for the Lance Littlejohn Conference Proceedings This version includes a reference to work of B. W. Westbury who we learned discovered the Nekrasov-Okounkov product formula concurrently