arXiv:2009.07236v2 [math.NT] 22 Feb 2021 n ahnd a a has node each and lysgicn oe ncmiaois ubrter,adreprese of and theory, theory number Bloch-Okounkov , in roles significant play h h otsrkn xmlsivleho numbers. hook involve examples striking most the Ferrers-Young say eodato sgaeu o h upr fteToa Jeffers Thomas the of support the Europe for the grateful programme is from innovation author and funding research second received 2020 has Horizon and Union’s European foundation Krupp the of ( IHE NERL FESNTI EISAS SERIES EISENSTEIN OF INTEGRALS EICHLER ,j ℓ, e od n phrases. and words Key functions For h eerho h rtato sspotdb h lre Krupp Alfried the by supported is author first the of research The A λ partition := ) ( = even Okounkov Abstract. where ubr.W aeueo oko ent a n i n Zagier. and Ji, and Han Berndt, of formula work new of use obtain zet make to Riemann We the results of numbers. values these involving expansions use asymptotic and We type, forms. modular quantum n amncMasfrs hl o odd for while forms, Maass harmonic and λ λ ℓ a 1 − H WEIGHTED λ , ≥ fannngtv integer non-negative a of t ℓ diagram ,w hwta these that show we 2, ( 2 λ λ , . . . , + q f stemlie fpriinho ubr htaemlilsof multiples are that numbers hook partition of multiset the is ) -brackets ecnie the consider We : λ AHI RNMN,KNOO N A WAGNER IAN AND ONO, KEN BRINGMANN, KATHRIN 7→ P j ′ 1. − oknumber hook m t j nrdcinadsaeeto results of statement and Introduction hos partitions, -hooks, ) C • • • , ← • · · · • • • 1 + . . . h f htsatisfies that q a,t nteitgrpriin,these partitions, integer the on bakt [ -brackets . . . , t . . . i HO UCIN NPARTITIONS ON FUNCTIONS -HOOK where q h f nld ihe nerl ftecasclEsnti eis For series. Eisenstein classical the of integrals Eichler include t i nfn eoyo ikAskey Dick of memory fond In . . . ho ucin npartitions on functions -hook q ← • q . . . f bakt r aua icso egt2 weight of pieces natural are -brackets := h oei row in node The . a,t λ ( j ′ 4 P λ ← • sasgicn diint hs ed,adsm of some and fields, these to addition significant a is ] stenme fndsi column in nodes of number the is := ) n q P λ | bakt,Eclrintegrals. Eichler -brackets, λ saynnnraigsqec fpstv integers, positive of sequence nonincreasing any is ∈P | λ t ∈P a f = a − 1 ( 1 − ≤ q λ h λ | ) λ ∈H λ λ λ 1 X q | m 2 1 | + λ t 1 ( | , aynodes many aynodes many aynodes many λ ) ∈ · · · eso htte r holomorphic are they that show we nFn n h S (DMS-1601306). NSF the and Fund on h 1 a C , ℓ + [[ q gatareetN.11019.The 101001179). No. agreement (grant f nRsac oni EC ne the under (ERC) Council Research an n column and λ q ]] a,t bakt r h oe series power the are -brackets rz o on nvriyTeachers University Young for Prize m , : → P = , -ucinadBernoulli and a-function tto hoy h recent The theory. ntation n fChowla-Selberg of s ahpriinhsa has partition Each . C − q BAKT OF -BRACKETS endby defined a j sesquiharmonic t h Bloch- The . a oknumber hook has j hs numbers These . 2 KATHRINBRINGMANN,KENONO,ANDIANWAGNER which represent a “weighted average” of f. Schneider [16] has developed a “multiplicative theory of partitions” based on q-brackets, which includes partition analogues of classical number theoretic facts such as M¨obius inversion, special values of zeta-functions, etc. In this note we add to the expanding role of q-brackets and hook numbers that bridges combinatorics and the theory of modular forms. Bloch and Okounkov defined q-brackets with the goal of generating spaces of modular forms. Interpreted as Fourier expansions in q := e2πiz, where z H, the upper-half of the complex plane, they proved that the ring of quasimodular forms is ge∈ nerated by the q-brackets of special functions f associated to shifted symmetric polynomials [4]. This work has been expanded and refined by Zagier [20], and Griffin, Jameson, and Trebat-Leder subsequently analyzed the p-adic aspects of these constructions [8]. Nekrasov and Okounkov later obtained striking identities for the modular forms that are 1 ∞ 24 n powers of Dedekind’s eta-function η(z) := q n=1(1 q )[13]. For α C, define the function − ∈ Q α D (λ) := 1 , α − h2 h∈HY(λ)   where (λ) denotes the multiset of hook numbers of the partition λ. A simple reformulation of (6.12)H of [13], using Euler’s partition generating function

∞ ∞ 1 p(n)qn = q|λ| = , 1 qn n=0 λ n=1 X X∈P Y − α α 24 α asserts that q Dα q = η(z) . For integers α, these are weight 2 modular forms (see Chapter 1 of [14]).·h i It is natural to ask whether further modular objects arise from q-brackets. In this note we obtain a comprehensive framework of nearly modular q-brackets, which includes an earlier example by the second author [15], that correspond to Eisenstein series. Namely, we make use of work of Han and Ji [9, 10] to define a natural infinite family of weighted t-hook functions whose q-brackets naturally give rise to harmonic Maass forms, sesquiharmonic Maass forms, and holomorphic quantum modular forms. To motivate our results, we first recall the beautiful realization of the Eisenstein series as q-brackets. For a partition λ =(λ ,...λ ) and k N, let S (λ) := m λ2k−1. Note that 1 m ∈ 2k j=1 j S (λ)= λ is the “size” function. In [20] it was shown that 2 | | P |λ| ∞ S2k(λ)q B (1 E (z)) S = λ∈P = σ (n)qn = 2k − 2k , h 2kiq q|λ| 2k−1 4k P λ∈P n=1 X ℓ P where σℓ(n) := 1≤d|n d , Bn is the n-th Bernoulli number, and

P ∞ 4k n E2k(z) := 1 σ2k−1(n)q − B k 2 n=1 X is the weight 2k Eisenstein series. Recall that E (z) is a when 2k 4. 2k ≥ q-BRACKETS OF t-HOOKFUNCTIONS 3

We realize the Eichler integrals of these (and other) forms in terms of q-brackets of func- tions involving partition hook lengths. For a C, we define ∈ ∞ qn ∞ (z) := = σ (n)qn. E2−a na−1(1 qn) 1−a n=1 n=1 X − X If 2k 4 is even, then 2−2k(z) is the usual Eichler integral of E2k(z). Although E2(z) is not a modular≥ form, it is well-knownE that 3 E∗(z) := E (z) 2 2 − π Im(z) · is a non-holomorphic weight two modular form (for example, see Chapter 6 of [5]). Therefore, it is natural to consider its Eichler integral ∞ (z) := σ (n)qn. E0 −1 n=1 X These Eichler integrals enjoy certain modularity properties that were determined by Berndt in the 1970s [1]. Moreover, Bettin and Conrey [3] considered the modularity in the general case where k C. We now turn∈ to the goals of this note. The first goals are to realize these Eichler integrals as q-brackets, which we then use to obtain various types of modular forms. This work extends an example by the second author corresponding to the case of 0(z). To make this precise, we make use of t-hooks, the hook numbers which are multiplesE of t. To this end, for each a C and t N, we define f : C by ∈ ∈ a,t P 7→ 1 f (λ) := ta−1 , a,t ha h∈HXt(λ) where (λ) is the multiset of hook numbers which are multiples of t. Ht Example. We consider the partition λ =4+3+1, which has Ferrers-Young diagram

•6 •4 •3 •1 •4 •2 •1 •1 (the subscripts denote the the hook numbers). We find that (λ) = 1, 1, 1, 2, 3, 4, 4, 6 , (λ)= 2, 4, 4, 6 , and (λ)= 3, 6 . Therefore, we find thatH { } H2 { } H3 { } 1 1 1 1 1 307 f (λ)=1+1+1+ + + + + = , 3,1 8 27 64 64 216 96 1 1 1 1 139 f (λ)=22 + + + = , 3,2 8 64 64 216 216   1 1 3 f (λ)=32 + = . 3,3 27 216 8   For convenience, we define the generating function |λ| Ha,t(z) := fa,t(λ)q . λ X∈P 4 KATHRINBRINGMANN,KENONO,ANDIANWAGNER

Work of Han and Ji [9, 10] shows that the Eichler integrals (z) are the q-brackets of f . E2−a a,t Theorem 1.1. If t N and a C, then we have ∈ ∈ ∞ f = (1 qn) H (z)= (tz). h a,tiq − · a,t E2−a n=1 Y Using the properties of Eichler integrals, we find that many of the fa,t q are natural parts of various types of modular forms, which we now recall. A weight kh harmonici Maass form (for example, see [5]) is a real-analytic modular form that is annihilated by the weight k ∂ k hyperbolic Laplacian ∆k := ξ2−k ξk, where ξk := 2iy ∂z and that grows at most linear exponentially towards the− cusps.◦ A weight k sesquiharmonic Maass form is a real– analytic modular form that is annihilated instead by ∆k,2 := ξk ξ2−k ξk. We require the ∞ −t s−1 − ◦ ◦ ∗ incomplete Gamma function Γ(s, z) := z e t dt, which we normalize to define Γ (s, z) := Γ(s, z)/Γ(s). R Theorem 1.2. If k N, then the following are true. ∈ (1) If k =1, then E0(tz) is a weight zero sesquiharmonic Maass form on Γ0(t), where 6 log(ty) 6ζ′(2) ∞ E (tz) := ty + γ log(2) + f + σ (n)qtn . 0 π − − 2 − π2 h 2,tiq −1 n=1 ! X (2) If k 2, then E (tz) is a weight 2 2k harmonic Maass form on Γ (t), where ≥ 2−2k − 0 E2−2k(tz) ∞ 2k−1 2 (2k)! ∗ −tn := (ty) + · 2k−1 ζ(2k 1) + f2k,t q + σ1−2k(n)Γ (2k 1, 4πtny)q . B k(4π) − h i − 2 n=1 ! X Remark. Theorem 1.2 (1) is a reformulation of an earlier result by the second author in [15]. For completeness, we describe the modularity properties of these q-brackets. For k N, we define ∈ k 1 +1 B B P (z) := (2πi)2k+1 2m 2k+2−2m z2m−1, −2k −2 (2m)! (2k +2 2m)! · m=0 X − which we use to define 1 1 M (z) := f P (tz)+ ζ(2k + 1). (1.1) −2k,t h 2k+2,tiq − 2 −2k 2 These functions enjoy negative weight 2k modularity properties under z z + 1 and z 1 . − 7→ 7→ − t2z Theorem 1.3. If k, t N, then the following are true for z H. ∈ ∈ (1) We have that M (z + 1) M (z) −2k,t − −2k,t k m 1 +1 2 −1 B B 2m 1 = (2πi)2k+1 2m 2k+2−2m t2m−1 − z2m−1−r. 4 (2m)! (2k +2 2m)! r m=0 r=1 X X −   q-BRACKETS OF t-HOOKFUNCTIONS 5

(2) We have that 1 M (z)=(tz)2kM . −2k,t −2k,t −t2z   Remark. The case where k = 0 in (1.1) was obtained previously in [15]. Theorem 1.3 implies certain simple modularity properties for the Fourier series

1 ∗ − 24 Ha,1(z) := q Ha,1(z), (i.e., when we choose t = 1). To further ease notation, we define 1 1 Ψ (z) := P 1 z−2k ζ(2k + 1). −2k − −2k −z − 2 −    Corollary 1.4. If z H and k N, then the following are true. ∈ ∈ (1) We have that πi ∗ − 12 ∗ H2k+2,1(z +1)= e H2k+2,1(z). (2) We have that 1 1 Ψ (z) H∗ H∗ (z)= −2k . 2k+2,1 −z − z2k√ iz 2k+2,1 η 1   − − z Thanks to such transformation laws, we are able to employ the Chow la-Selberg formula (see [6, 17]) to obtain a simple extension of the classical fact that weight k algebraic modular forms evaluated at discriminant D < 0 points τ are algebraic multiples of the kth power of the canonical period ΩD. To make this precise, let Q denote the algebraic closure of Q. Suppose D< 0 is a fundamental discriminant of the imaginary quadratic field Q(√D) with class number h(D). Furthermore, define 1 if D = 3, 3 − h′(D) := 1 if D = 4,  2 − h(D) if D < 4. − With χ ( ) := ( D ), we can then define the canonical period by D · ·  1 ′ |D| 2h (D) 1 j χD(j) Ω := Γ . D  D  2π D j=1 | | Y | | We can now state our generalization.p   Corollary 1.5. If k N and τ Q(√D) H, where D < 0 is a fundamental discriminant, then ∈ ∈ ∩ 1 1 Ψ (τ) H∗ H∗ (τ) Q −2k . 2k+2,1 2k 2k+2,1 −τ − τ √ iτ ∈ · √ΩD   − Remark. The second author obtained the k = 0 extension of Corollary 1.5 in [15]. As noted in [15], these results can be extended to t> 1. 6 KATHRINBRINGMANN,KENONO,ANDIANWAGNER

Theorems 1.2 and 1.3, and Corollaries 1.4 and 1.5 above pertain to the t-hook functions fa,t, where a 2 is even. There is a theory for negative odd a. These cases give rise to quantum modular≥ forms. Introduced by Zagier in [18], a weight k quantum modular form is vaguely defined as a function f : Q S C, for some finite set S, where \ → ax + b h (x) := f(x) (cx + d)−kf , f,γ − cx + d   a b with γ = ( c d ) SL2(Z), is “better behaved” analytically than f. Recently, Zagier [19] defined the notion∈ of a weight k holomorphic quantum modular form. These are holomor- phic functions f : H C, where the “better behaved” condition means that hf,γ (z) is holomorphic on a larger→ domain than H. By applying mutatis mutandis a method introduced by Zagier in [19], who considered (z), we have the following infinite family of holomorphic quantum modular forms. E3 Theorem 1.6. If a 1 is odd, then the following are true. ≤ − (1) We have that fa,t q is a holomorphic weight 2 a quantum modular form. In particular, we have the modularh i transformations − (z) (z +1)=0, E2−a −E2−a a−2 1 1 Γ(s)ζ(s)ζ(s + a 1) −s 2−a(z) z 2−a = − z ds a s πs E − E −z 2π Re(s)=1− (2π) sin   Z 2 2 ′ 1 =2 ,  (mz + n)2−a m,n≥0 X where the ′ denotes that the terms where m or n (but not both) equal zero are weighted 1 by 2 . (2) As t 0+, we have the asymptotic expansion → it Γ(2 a)ζ(2 a) ζ(a) ∞ B B ( t)n − − + + n+1 n+2−a − . E2−a 2π ∼ t2−a t n +1 n +2 a n! n=0   X − Remark. Part (2) is already known by work of Zagier. To be more precise he showed (2) in [21], using the Euler–Maclaurin summation formula. However, for the readers convenience, we include a different (and instructive) proof here, which is also an adaptation of an argument of Zagier. Remark. For a =1, similar results hold. Namely, we have it 2γ ∞ B2 ( t)n + n+1 − , E1 2π ∼ t (n + 1)2 n! n=0   X where γ is the Euler-Mascheroni constant. One can also use similar methods to find an asymptotic expansion for (α + it ) with α Q. E2−a 2π ∈ Remark. This new kind of quantum modularity was also noted by Bettin and Conrey in −k 1 [3] where they computed k(z) z k( z ) for any k C. Folsom has recently extended their work in [7], where itE was− shownE that− a new family∈ of “twisted Eisenstein series” are q-BRACKETS OF t-HOOKFUNCTIONS 7 holomorphic quantum modular forms, which were then used to show that certain cotangent- zeta sums are quantum modular forms in the original sense. Zagier’s presentation in [19] a b shows that for any γ = ( c d ) SL2(Z) that hEk,γ(z) extends to a holomorphic function on the cut plane ∈ d C , c c> 0, Cγ := \ −∞ − C d , c< 0. ( \ − c ∞  In Section 2 we recall essential q-identity preliminaries, and in Section 3 we prove the theorems. In the last section we offer numerical examples of these results.

Acknowledgements The authors thank and Wei-Lun Tsai for their comments on preliminary versions of this paper. Moreover we thank the referees for helpful comments.

2. Nuts and Bolts We recall work of Han and Ji that is integral to the proof of Theorem 1.1. Theorem 2.1 (Theorem 7.5 of [10]). For an k C and positive integer t we have ∈ 1 ∞ (1 qtn)t ∞ xnqtn tk−1 q|λ|x|Ht(λ)| = − . hk (1 xnqtn)t(1 qn) nk−1(1 xnqtn) λ t n=1 n=1 X∈P h∈HX(λ) Y − − X − We now recall a theorem of Berndt which is used to prove Theorem 1.3. Theorem 2.2 (Theorem 2.2 of [1]). For z H and k N we have ∈ ∈ 1 1 (z) z2k = 1 z2k ζ(2k + 1) P (z). E−2k − E−2k −z −2 − − −2k    3. Proofs of the Theorems Proof of Theorem 1.1. We set x = 1 in Theorem 2.1 to obtain 1 ∞ 1 ∞ qtn tk−1 q|λ| = . hk 1 qn nk−1(1 qtn) λ t n=1 n=1 X∈P h∈HX(λ) Y − X − The statement is then immediate from the definition of the q-bracket. 

∗ Proof of Theorem 1.2. (1) Note that E2 (z) is a limit of an Eisenstein series ∗ s E2 (z) = lim y M(z). s→0 2 M∈Γ∞\SL (Z) X 2 For Re(s) > 1, we recall the Eisenstein series 1 ys E(z,s) := = ys M(z). 2 cz + d 2s 0 gcd(c,d)=1 M∈Γ∞\SL (Z) X | | X 2

8 KATHRINBRINGMANN,KENONO,ANDIANWAGNER

Then E(z,s) has a meromorphic continuation to the whole s-plane again denoted by E(z,s) 3 with a simple pole with residue π at s = 1. We now define 3 E(z,s) := E(z,s) and E0(z) := lim E(z,s). − π(s 1) s→1 − Below we show that E0 = E0. A direct calculation showse that 1 D E = E∗. e 0 −4π 2   Clearly, E0(z) has weight zero, since E(z,se ) does. Moreover, recalling that ∆ (E(z,s)) = s(1 s)E(z,s), e 0 − we obtain that 3 ∆ E (z)= . 0 0 −π   Therefore, the function is sesquiharmonic.e We now compute its Fourier expansion. We have

∗ ∞ ζ (2s 1) 4√y 1 s 1−s s− 2 E(z,s)= y + − y + m σ1−2s(m)Ks− 1 (2πmy) cos(2πmx), ζ∗(2s) ζ∗(2s) 2 m=1 X where s ∗ − s ζ (s) := π 2 Γ ζ(s). 2 We need to take s 1 and subtract 3 from the constant term. First note that in the → π(s−1) sum on m, we can just plug in s = 1 to evaluate 6 ∞ σ (m)(qm + qm) , π −1 m=1 X π −x using K 1 (x)= e . Finally, we directly compute 2 2x pζ∗(2s 1) 3 6γ 6 log(2) 3 log(y) 36 lim − y1−s = ζ′(2). s→1 ζ∗(2s) − π(s 1) π − π − π − π3  −  Therefore, we obtain 6γ 6 log(2) 3 log(y) 36 6 ∞ E (z)= y + ζ′(2) + σ (m)(qm + qm)= E (z). 0 π − π − π − π3 π −1 0 m=1 X Thee linear exponential growth in i follows directly from the Fourier expansion; the other cusps can be treated in a similar manner.∞ (2) The proof is well-known (for example, see Corollary 6.16 of [5]).  Proof of Theorem 1.3. By Theorem 1.1, we have 1 1 M (z)= (tz) P (tz)+ ζ(2k + 1). −2k,t E−2k − 2 −2k 2 q-BRACKETS OF t-HOOKFUNCTIONS 9

Letting z tz in Theorem 2.2, we obtain 7→ 1 1 (tz) (tz)2k = (tz)2k 1 ζ(2k +1)+ P (tz). E−2k − E−2k −tz 2 − −2k   By a direct calculation, we find that (tz)2kP ( 1 )= P (tz), and thus −2k − tz − −2k 1 M (z) (tz)2kM −2k,t − −2k,t −t2z   1 1 1 = (tz) (tz)2k P (tz) (tz)2kP E−2k − E−2k −tz − 2 −2k − −2k −tz      1 + 1 (tz)2k ζ(2k + 1) 2 − 1 1 = ((tz)2k 1)ζ(2k +1)+ P (tz) P (tz)+ 1 (tz)2k ζ(2k +1)=0. 2 − −2k − −2k 2 − This gives part (2).  Because −2k(tz) is invariant under z z + 1 part (1) follows from computing P−2k(tz + t) P (tzE). 7→  − −2k ∗ E−2k(z) Proof of Corollary 1.4. We have that H2k+2,1(z)= η(z) , and so the corollary follows from the fact that 1 z−2k (z)=Ψ (z), E−2k −z − E−2k −2k   and the transformation properties of the Dedekind eta-function.  Proof of Corollary 1.5. By the classical Chowla-Selberg Theorem (see [6, 17]), we have that 1 η Q Ω . −τ ∈ · D   Corollary 1.5 is now a consequence of Corollary 1.4p.  Proof of Theorem 1.6. For odd k 1, we define ≥ B ∞ G (z) := k + σ (n)qn. (3.1) k − 2k k−1 n=1 X This is a slight abuse of notation as Gk(z)= k(z) in these cases (except for k = 1) because B = 0 for k 3 and odd. We let E k ≥ ∞ B Γ(s) G (s) := G (iy)+ k ys−1dy = ζ(s)ζ(s k + 1). k k 2k (2π)s − Z0   Before we provee the quantum modularity, we address the claimed asymptotic expansions. The idea, which is well-known (for example, see [11] or the proof of Theorem 21.4 in [5]), is to relate the product of zeta functions on the right to the Mellin integral representation involving Gk(z). The following argument follows almost mutatis mutandis as in pages 99-100 it of [11]. To compute these expansions, we write Gk( 2π ) as a contour integral 1 Γ(s)ζ(s)ζ(s k + 1)t−sds, 2πi − ZC 10 KATHRINBRINGMANN,KENONO,ANDIANWAGNER where the contour encircles the negative imaginary axis. Moving the contour across the simple poles of Γ(s)ζ(s)ζ(s k + 1) gives the desired expansions due to the poles at s = 1 and k for the zeta function− factor, and the poles at each nonpositive integer for the gamma function. In this way we obtain the formula it Γ(k)ζ(k) ζ(2 k) ∞ B B ( t)n + − + n+1 n+k − . Ek 2π ∼ tk t n +1 n + k n! n=0   X Namely, the first two summands correspond to the residues at s = k and s = 1, while the remaining sums involving Bernoulli numbers correspond the poles arising to the gamma function and the special values of the zeta function at negative integers. In order to prove Theorem 1.6 (1), we adapt the proof of Proposition 10 in [12] which pertained to a similar function. We first note that we can extend G (z) to C R by defining k \ Bk ∞ n 2k + n=1 σk−1(n)q if Im(z) > 0, Gk(z) := − Bk ∞ σ (n)q−n if Im(z) < 0. ( 2k − Pn=1 k−1 Then we define the period function P 1 ψ (z) := G (z) z−kG . k k − k −z   The Mellin transforms of Gk and ψk restricted to the positive or negative imaginary axis are given by ∞ B Γ(s) G (s) := G ( iy) k ys−1dy = ζ(s)ζ(s k + 1), k,± k ± ± 2k ±(2π)s − 0   Z ∞ ∞ k e s−1 i i s−1 ψk,±(s) := ψk( iy)y dy = Gk( iy) k Gk y dy 0 ± 0 ± ± y ±y Z Z  πis πis   − e k e 2 + e 2 = Gk,±(s) i Gk,±(k s)= 1 πis πis Gk,±(s) − ± − ∓ e 2 e 2 ! s − ∓πi iee 2 Γ(s)ζ(es)ζ(s k + 1) e = . s πs− (2π) sin 2 Using the Mellin inversion formula, we obtain

1 Γ(s)ζ(s)ζ(s k + 1) −s ψk( iy)= − ( iy) ds k s πs ± 2π Re(s)= (2π) sin ± Z 2 2 for y > 0. As in [12], by analytic continuation from iR 0 to C R, we have \{ } \ 1 Γ(s)ζ(s)ζ(s k + 1) −s ψk(z)= − z ds k s πs 2π Re(s)= (2π) sin Z 2 2 for z C R. We note that the fraction is bounded by a power of s times e−πs, as s on vertical∈ \ strips. Therefore, by writing z−s = e−s Log(z), we see that the integral converges| |→∞ for Arg(z) < π. Therefore, it is holomorphic on the cut plane C′ := C R− . | | \ q-BRACKETS OF t-HOOKFUNCTIONS 11

Zagier noted in [19] that for odd k 3, that we can also write ≥ 1 Gk(z)= k , + (mz + n) (m,nX)∈Λ where Λ+ := (m, n) Z2 : m> 0 or m = 0 and n> 0 . ∈ + Determining Gk Gk γ then boils down to a determination of the action of γ on Λ . The − 0 |−1  case of γ = S = ( 1 0 ) is straightforward as it is merely a 90 degree counterclockwise rotation of Λ+. This corresponds to the second and third quadrants instead of the first and second. The difference then cancels the terms in the second quadrant while summing over the third quadrant is the same as the first quadrant just with a sign change. Combining these observations then gives 1 ′ 1 G (z) z−kG =2 Hol(C′). k − k −z (mz + n)k ∈ m,n≥0   X The holomorphicity of this expression follows from the fact that poles cannot be introduced by choosing z C′, but if z R− then mz + n can be arbitrarily small causing the sum to diverge. ∈ ∈ 

4. Examples Example. We now illustrate Corollary 1.5 using z = τ = i and z = τ = 2i. Ramanujan proved (see p. 326 of [2]) that

i 1 η =2 8 Ω 0.8377. 2 · −4 ≈   By direct calculation we find p 37π3 5ζ(3) π5 15ζ(5) Ψ (2i)= 0.04540, Ψ (2i)= 0.04522. −2 1440 − 8 ≈ −4 576 − 32 ≈ We therefore have Ψ−2(2i) Ψ−4(2i) i 0.05420, i 0.05398. η 2 ≈ η 2 ≈ By direct calculation, we find that  i H∗ (2i) 5.887 10−6, H∗ 0.05420, 4,1 ≈ · 4,1 2 ≈   i H∗ (2i) 5.887 10−6, H∗ 0.05398. 6,1 ≈ · 6,1 2 ≈   Combining these calculations gives us

∗ i 1 ∗ Ψ−2(2i) 1 Ψ−2(2i) H4,1 + 5 H4,1(2i)= i = 1 , 2 2 η 8 · √Ω   2 2 2 −4 ∗ i 1 ∗ Ψ−4(2 i) 1 Ψ−4(2i) H6,1 9 H6,1(2i)= i = 1 2 − 2 η 8 · √Ω   2 2 2 −4  12 KATHRINBRINGMANN,KENONO,ANDIANWAGNER

− 1 so the algebraic factor is 2 8 in both cases. Example. We now illustrate Theorems 1.1 and 1.6. We recall that Theorem 1.1 implies that ∞ f = (1 qn) H (z)= (z). h a,1iq − · a,1 E2−a n=1 Y Therefore, if k =2 a, where a 1 is odd, then Theorem 1.6 (2) asserts that the functions − ≤ − ∞ it G (t) := σ (n)e−nt = , k k−1 E2−a 2π n=1 X   and b Γ(k)ζ(k) ζ(2 k) ∞ B B ( t)n G (t) := + − + n+1 n+k − . k tk t n +1 n + k n! n=0 X have the same asymptotice behavior as t 0+. The table below illustrates this when a = 1. → − t G3(t) G3(t) G3(t)/G3(t) 2 0.2602861623 0.2602864321 0.9999989634 ≈ b ≈ e ≈ b e 1.5 0.6578359053 0.6578359052 0.9999999998 ≈ ≈ ≈ 1 2.3214805734 2.3214805734 1.0000000000 ≈ ≈ ≈ 0.5 19.0665916994 19.0665916994 1.0000000000 ≈ ≈ ≈ 0.1 2403.2805424358 2403.2805424358 1.0000000000 ≈ ≈ ≈ References [1] B. Berndt, Modular transformations and generalizations of several formulae of Ramanujan, Rocky Mountain J. Math. 7 (1977), 147-189. [2] B. Berndt, Ramanujan’s Notebooks, Part V, Springer-Verlag, New York, 1998. [3] S. Bettin and B. Conrey, Period functions and cotangent sums, Algebra and 7 (2013), no. 1, 215-242. [4] S. Bloch and A. Okounkov, The character of the infinite wedge representation, Adv. Math. 149 (2000), 1-60. [5] K. Bringmann, A. Folsom, K. Ono, and L. Rolen, Harmonic Maass forms and mock modular forms: theory and applications, Amer. Math. Soc. Colloquium Series, Vol. 64, Providence, RI., 2017. [6] S. Chowla and A. Selberg, On Epstein’s zeta-function, J. Reine Angew. Math. 227 (1967), 86-110. [7] A. Folsom. Twisted Eisenstein series, cotangent-zeta sums, and quantum modular forms, Trans. London Math. Soc., accepted for publication. [8] M. Griffin, M. Jameson, and S. Trebat-Leder, p-adic modular forms and the Bloch-Okounkov theorem, Res. Math. Sci. 3 (2016), Art. 11. [9] G.-N. Han, The Nekrasov-Okounkov hook length formula: refinement, elementary proof, extension and applications, Ann. Inst. Fourier (Grenoble) 60 (2010), 1-29. [10] G.-N. Han and K. Ji, Combining hook length formulas and BG-ranks for partitions via the Littlewood decomposition, Trans. Amer. Math. Soc., 2009, 24 p. hal-00438487. [11] R. Lawrence and D. Zagier. Modular forms and quantum invariants of 3-manifolds, Asian J. Math. 3 (1999), 93-108. [12] J. Lewis and D. Zagier. Cotangent sums, quantum modular forms, and the generalized Riemann hypoth- esis, Res. Math. Sci. 6, 4 (2019). q-BRACKETS OF t-HOOKFUNCTIONS 13

[13] N. Nekrasov and A. Okounkov, Seiberg-Witten theory and random partitions, The unity of , Vol 244, Prog. Math., Birkhauser, Boston, 2006, 525-596. [14] K. Ono, The web of modularity: Arithmetic of the coefficients of modular forms and q-series, Amer. Math. Soc., Providence, 2004. [15] K. Ono, The Eichler integral of E2 and q-brackets of t-hook functions, arXiv:2007.15142, submitted for publication. [16] R. Schneider, Arithmetic of partitions and the q-bracket operator, Proc. Amer. Math. Soc. 145 (2017), 1953-1968. [17] A. van der Poorten and K. Williams, Values of Dedekind’s eta-function at quadratic irrationalities, Canadian J. Math. 51 (1999), 176-224. [18] D. Zagier, Quantum modular forms, Clay Math. Proc., Amer. Math. Soc., Providence 11 (2010), 659- 675. [19] D. Zagier Holomorphic quantum modular forms lecture, Special Program “Dynamics: Topology and Numbers at the Hausdorff Center for Mathematics”, Spring 2020. [20] D. Zagier, Partitions, quasimodular forms, and the Bloch-Okounkov theorem, Ramanujan J. 41 (2016), 345-368. [21] D. Zagier, The Mellin transform and other useful analytic techniques, Appendix to E.Zeidler, Quantum Field Theory I: Basics in Mathematics and Physics. A Bridge between Mathematicians and Physicists, Springer-Verlag, Berlin-Heidelberg-New York (2006), 305-323.

Department of Mathematics and Computer Science, Division of Mathematics, University of Cologne, Weyertal 86-90, 50931 Cologne, Germany Email address: [email protected] Department of Mathematics, , Charlottesville, VA 22904 Email address: [email protected] Department of Mathematics, Vanderbilt University, Nashville, TN 37212 Email address: [email protected]