Abstract
We employ a variant of Wright’s Circle Method to determine the bivariate asymptotic behavior of Fourier coefficients for a wide class of eta-theta quotients with simple poles in \(\mathbb {H}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Jacobi forms (see e.g., [14]) are ubiquitous throughout number theory and beyond. For example, they appear in string theory [19, 24], the theory of black holes [11], and the combinatorics of partition statistics [6]. The Fourier coefficients of Jacobi forms often encode valuable arithmetic information. To describe a motivating example, let \(\lambda \) be a partition of a positive integer n, i.e., a list of non-increasing positive integers \(\lambda _j\) with \(1\le j \le s\) that sum to n. We will denote the number of partitions of n by p(n), as usual. One of the most famous results in partition theory is due to Ramanujan, who proved in [23] that for \(n\ge 0\) the following congruences hold
The rank [13] of \(\lambda \) is given by the largest part minus the number of parts. It offers a combinatorial explanation for the first and second congruence as conjectured by Dyson [13] and later proved by Atkin and Swinnerton-Dyer [5], since the partitions of \(5n+4\) (respectively, \(7n+5\)) form 5 (respectively, 7) equal-sized groups when sorted by their ranks modulo 5 (respectively, 7). Dyson additionally conjectured the existence of another statistic, which he called the crank and which should explain all Ramanujan congruences. The crank of \(\lambda \) was later found by Andrews and Garvan [3, 15] and is given by
Here, \(\omega (\lambda )\) denotes the number of ones in \(\lambda \), and \(\mu (\lambda )\) denotes the number of parts greater than \(\omega (\lambda )\). We denote by M(m, n) (resp. N(m, n)) the number of partitions of n with crank m (resp. rank m). Throughout the rest of the paper we let \(\zeta {:}{=}e^{2 \pi i z}\) for \(z \in \mathbb {C}\), and \(q {:}{=}e^{2 \pi i \tau }\) with \(\tau \in \mathbb {H}\), the upper half-plane. It is well known that the generating function of M is given by (see [6, equation (2.1)])
which is a weak Jacobi form (up to rational powers of \(\zeta \) and q). Here, the Dedekind \(\eta \)-function is given by
and the Jacobi theta function is defined by
Note that a similar formula can be found for the generating function of N as a mock Jacobi form involving an eta-theta quotient. In general Jacobi forms have a Fourier expansion of the form
Many interesting examples of Jacobi forms arise as quotients of \(\eta \)- and \(\vartheta \)-functions. As an illuminating example, for \(a_k, b_j \in \mathbb {N}\) and \(n \in \mathbb {Z}\), consider the study of theta quotients [16, equation (13)],
which provide new constructions of (not necessarily holomorphic) Jacobi and Siegel modular forms. As highlighted by Gritsenko, Skoruppa, and Zagier, theta quotients also have deep applications to areas such as Fourier analysis over infinite-dimensional Lie algebras and the moduli spaces in algebraic geometry. In the present paper, we obtain the bivariate asymptotic behavior of the coefficients of a prototypical family of such theta quotients, while the steps presented here also offer a pathway to obtain similar results for more general families. Our framework covers theta quotients for \(k=j=1\), \(a_1=1, b_1 \in \mathbb {N}\), and \(n \in \mathbb {Z}\).
In [6] Bringmann and Dousse pioneered the use of new techniques in the study of the bivariate asymptotic behavior of the Fourier coefficients and applied them to the partition crank function. In [12] Dousse and Mertens used these techniques to study the rank function. In particular, each of these papers used an extension of Wright’s Circle Method [26, 27] to obtain bivariate asymptotics of N(m, n) and M(m, n), with m in a certain range depending on n.
Recently, the second author of the present paper extended these techniques to an example appearing in the partition function for entanglement entropy in string theory. In particular, [19, 20] considered the eta-theta quotient
with a simple pole at \(z= \frac{1}{2}\). Then bivariate asymptotic behavior of the coefficients b(m, n) is given by [20, Theorem 1.1].
Theorem 1.1
For \(\beta {:}{=}\pi \sqrt{\frac{2}{n}}\) and \(|m| \le \frac{1}{6 \beta } \log (n)\) we have that
as \(n \rightarrow \infty \). Here, \(\delta {:}{=}1\) if \(m <0\) and \(\delta = 0\) otherwise.
The present paper serves to extend these results to a large family of eta-theta quotients with multiple simple poles.Footnote 1 Such eta-theta quotients appear in numerous places. For example, investigations into Vafa–Witten invariants [1, equation (2.5)] involve the functions
which also appear in investigations into the counting of BPS states via wall-crossing [25, equation (5.114)]. The asymptotics of this family of functions was studied in [8]. Other examples of similar shapes also arise as natural pieces of functions in investigations into BPS states, see e.g., [25, Section 5.6.2 ]. Similar functions also appear prominently in Watson’s well-known quintuple product formula
which has a plethora of applications in number theory and combinatorics, and our main theorem gives a bivariate asymptotic for the coefficients of \(\vartheta ^*(z;\tau )^{-1}\). Such asymptotics for inverse theta functions are a topic currently in vogue in the literature, see e.g., [8, 18] and the references contained therein.
Throughout, we consider an eta-theta quotient of the form
where \(a_j, b, c \in \mathbb {N}\), \(N\in \mathbb {N}_{>1}\), and \(\alpha _j \in \mathbb {Z}\). Since we require asymptotic growth, we assume that \(\sum _{j=1}^N\frac{\alpha _j}{a_j} < 0\). We omit the dependency on these parameters for notational ease. We assume that b is even, \(b\ne c\), and \(b^2>c\), and indicate the differences that would occur if b were odd. In the language of [16], this is a family of theta quotients.
Remarks
-
(1)
Note that by the conditions from above we assume that we have exponential growth toward the cusp 0 and therefore ensure that the Circle Method works by choosing the major arc around \(q=1\).
-
(2)
The exposition presented here may be easily generalized to include products of theta functions in both the numerator and denominator of f, although this becomes lengthy to write out for the general case.
-
(3)
We include a theta function in the numerator to allow us to assume that there are no poles of f at the lattice points 0 or 1. However, using the techniques presented here and shifting integrals to not have end-points at 0 or 1, a similar method holds for functions without a theta function in the numerator.
We define the coefficients c(m, n) by
for some z in a small neighborhood of 0 that is pole-free, and investigate their bivariate asymptotic behavior. To this end, we employ and extend the techniques of [6], which also appear in [12, 19, 20], using Wright’s Circle Method to arrive at the following theorem.
Theorem 1.2
Define \(\beta =\beta (n){:}{=}\pi \sqrt{\frac{2}{n}}\) and \(w{:}{=}\frac{1}{2}\sum _{j=1}^{N}\alpha _j\in \frac{1}{2}\mathbb {Z}\), which is the weight of the eta quotient part of our function f, along with
and
Assume that \(0<1-\sum _{j=1}^{N} \frac{\alpha _j}{12 a_j }<\sqrt{\Lambda _2 }\), \(\sum _{j=1}^N\frac{\alpha _j}{a_j} < 0\), b even with \(b\ne c\), \(b^2>c\), and \(m=m(n)\) with \(|m|\le \frac{1}{6\beta }n^{-\delta } \log (n)\) for some \(0<\delta < \frac{1}{2}\) such that \(m\rightarrow \infty \) as \(n\rightarrow \infty \). Then
as \(n\rightarrow \infty \).
Remark
Note that the restriction on \(\Lambda _2 \) still leaves infinitely many choices.
The paper is structured as follows. We begin in Sect. 2 by recalling results that are relevant to the rest of the paper. Section 3 deals with defining the Fourier coefficients of \(\zeta ^m\) of f. In Sect. 4 we investigate the behavior of f toward the dominant pole \(q = 1\). We follow this in Sect. 5 by bounding the contribution away from the pole at \(q = 1\). In Sect. 6 we obtain the asymptotic behavior of c(m, n) and hence prove Theorem 1.2.
2 Preliminaries
Here, we recall relevant definitions and results which will be used throughout the rest of the paper.
2.1 Properties of \(\vartheta \) and \(\eta \)
When determining the asymptotic behavior of f we require the modular properties of both \(\vartheta \) and \(\eta \). We will from now on define the square-root using the principal branch, which means that we exclude the negative reals and impose positive square roots for positive real numbers.
It is well known that \(\vartheta \) is a Jacobi form (see e.g., [22]).
Lemma 2.1
The function \(\vartheta \) satisfies
We also have the well-known triple product formula (see e.g., [28, Proposition 1.3] for this explicit formulation) that yields
Furthermore, we have the following modular transformation formula of \(\eta \) (see e.g., [17]).
Lemma 2.2
We have that
2.2 Integrals over segments of circles
Let \(U_r(z_0){:}{=}\{z: |z-z_0|<r\}\) be the open disc around \(z_0 \in \mathbb {C}\) with radius \(r>0\). Then we have the following result [10, page 263].
Lemma 2.3
Let \(g: U_r(z_0)\backslash \{z_0\} \rightarrow \mathbb {C}\) be analytic and have a simple pole at \(z_0\). Let \(\gamma (\delta )\) be a circular arc with parametric equation \(z=z_0+\delta e^{i\theta }\), for \(-\pi <\theta _1\le \theta \le \theta _2\le \pi \) and \(0<\delta < r\). Then
where \({\text {Res}}_{z_0}(g)\) denotes the residue of g at \(z_0\).
2.3 A particular bound
We require a bound on the size of
away from the pole at \(q=1\). For this we use [6, Lemma 3.5].
Lemma 2.4
Let \(M>0\) be a fixed constant. Let \(\tau = u +iv \in \mathbb {H}\) with \(Mv \le u \le \frac{1}{2}\) for \(u>0\) and \(v \rightarrow 0\). Then
In particular, with \(v = \frac{\beta }{2\pi }\), \(u=\frac{\beta m^{-\frac{1}{3}} x}{2 \pi }\) and \(M = m^{-\frac{1}{3}}\) this gives for \(1 \le x \le \frac{\pi m^{\frac{1}{3}}}{\beta }\) the bound
2.4 I-Bessel functions
Here, we recall relevant results on the I-Bessel function which for \(x>0\) may be written as (see e.g., [4, 6])
where \(\Gamma \) is a contour which starts in the lower half-plane at \(-\infty \), surrounds the origin counterclockwise, and returns to \(-\infty \) in the upper half-plane. We are particularly interested in the asymptotic behavior of \(I_\ell \), given in the following lemma (see e.g., [2, (4.12.7)]).
Lemma 2.5
For fixed \(\ell \) we have
as \(x \rightarrow \infty \).
3 Fourier coefficients of f
Note that \(f(-z;\tau )=f(z;\tau )\) by Lemma 2.1, and so \(c(-m,n)=c(m,n)\). For the case \(m=0\) one can use classical results (see e.g., [7, Theorem 15.10]) to calculate the Fourier coefficients. We therefore restrict our attention to the case \(m> 0\).
We first define the Fourier coefficients of \(\zeta ^m\) of f. Since we focus only on the case \(z \in [0,1]\), we let \(h_1,...,h_s\in \mathbb {Q}\) denote the poles of f in this range. Note that the distribution of the poles is symmetric on the interval in question.
Define the path of integration \(\Gamma _{\ell ,r}\) by
for some \(r>0\) sufficiently small. Following the framework of [11, 19, 20], we define
where
for a fixed pole \(h_\ell \) (\(1\le \ell \le s\)). Here, \(\gamma _{\ell ,r}^+\) is the semi-circular path of radius r passing above the pole \(h_\ell \) and \(\gamma _{\ell ,r}^-\) is the semi-circular path passing below the pole \(h_\ell \), see Figs. 1 and 2.
Following [11] the Fourier coefficient of \(\zeta ^m\) of f, for fixed m, is given by
For fixed \(\ell \) we use Lemma 2.3 to see that
since we only have simple poles.
The substitution \(z\mapsto 1-z\) gives us
since b is even and using that \(f(1-z;\tau )=(-1)^{b+1} f(z;\tau )\) by Lemma 2.1. Thus, (3.1) simplifies to
Remark
For odd b one would obtain a similar formula with the integrand replaced by
\(f(z;\tau ) \cos (2\pi mz)\).
In the following two sections, we determine the asymptotic behavior of f toward and away from the dominant pole at \(q=1\), respectively. From now on we will let \(\tau =\frac{i\varepsilon }{2\pi }\), \(\varepsilon {:}{=}\beta (1+ix m^{-\frac{1}{3}})\), \(\beta = \pi \sqrt{\frac{2}{n}}\), and \(|m|\le \frac{1}{6\beta }n^{-\delta } \log (n)\) for some \(0<\delta < \frac{1}{2}\) such that \(m\rightarrow \infty \) as \(n\rightarrow \infty \).
4 Bounds toward the dominant pole
In this section, we consider the behavior of \(f_m\) toward the dominant pole at \(q=1\). Remember that we have \(w\in \frac{1}{2}\mathbb {Z}\) by definition (see Theorem 1.2).
Lemma 4.1
Let \(\tau =\frac{i\varepsilon }{2\pi }\), with \(0<{\text {Re}}(\varepsilon )\ll 1\), let z be away from the poles, let \(\mathcal {M}(z)\) be the function defined in (4.2) which is positive for all \(z\in (0,1)\), and let
Then we have that
as \(n \rightarrow \infty \).
Proof
Using Lemmas 2.1 and 2.2, the definition of \(\eta \), and (2.1), a lengthy but straightforward calculation shows that
In order to find a bound we inspect the asymptotic behavior of the product over \(\kappa \). Splitting \(\alpha _j\) into positive and negative powers, labeled by \(\gamma _j,\delta _j\in \mathbb {N}\) and \(a_j\), into \(x_j\) and \(y_j\), respectively, we first rewrite this as
since \(| e^{-\frac{4\pi ^2\kappa }{y_k\varepsilon }}|<1 \) for all \(\kappa \ge 1\). We also have that \(| e^{-\frac{4\pi ^2\kappa }{c\varepsilon }}|<1\) and \(| e^{-\frac{4\pi ^2 }{c\varepsilon }(\kappa + bz)}|<1\) for all \(\kappa \ge 1\) since \(b,c\in \mathbb {N}\). Therefore, we have that
Up to this point our calculations are independent of the size of z. The remaining term is
Let \(\kappa _0\) be the smallest \(\kappa \ge 1\) such that \((\kappa -bz)\ge 0\). We may rewrite
The first product is
Let
running over all \(1\le j\le N_1\) and \(1\le k\le N_2\). Note that for \(0<{\text {Re}}(\varepsilon )\ll 1\), and \(z\in (0,1)\) we have \(\mathcal {M}(z)>0\), so the product in (4.1) is of order
which finishes the proof. \(\square \)
Remark
By separating into cases, one is able to obtain more precise asymptotics. However, this is not required for what follows and we leave the details for the interested reader.
Theorem 4.2
Let \(\Lambda _1\) and \(\Lambda _2\) be defined as in Theorem 1.2. For \(|x|\le 1\) we have that
as \(n\rightarrow \infty \).
Proof
Plugging Lemma 4.1 into (3.2) yields
We have that
using \(|e^{-\frac{4\pi ^2 bz}{c\varepsilon }}|<1\). Additionally we see that
Defining
we can then rewrite (4.3) as
where \(\mathcal {N}(z){:}{=}\min (z,\mathcal {M}(z))\).
We immediately see that this splits up into two integrals
and
Let \({\text {erf}} (z){:}{=}\frac{2}{\sqrt{\pi }} \int _{0}^{z} e^{-t^2}dt\) denote the error function and note that \(\frac{d}{dz} {\text {erf}}(z) = \frac{2e^{-z^2}}{\sqrt{\pi }}\). For arbitrary \(\mathcal {H}_1,\mathcal {H}_2\in \mathbb {C}\), with \(\mathcal {H}_2\ne 0\) a straightforward calculation, using the identity \(\frac{1}{2 i}(e^{2\pi imz}-e^{-2\pi imz})= \sin (2\pi mz) \), gives us that
Therefore the following formula holds
For arbitrary \(\mathcal {H}_1,\mathcal {H}_2\in \mathbb {C}\), with \(\mathcal {H}_2\ne 0\) we thus obtain
since all the other terms cancel. If \(|{\text {Arg}}(\pm z)| <\frac{\pi }{4}\), we have that (see e.g., [9, page 10])
as \(|z|\rightarrow \infty \). Note that taking the limit \(|z|\rightarrow \infty \) is equivalent to taking the limit \(n\rightarrow \infty \) in our setting.
Consider the integral (4.4), so set \(\mathcal {H}_1=\frac{2\pi ^2}{\varepsilon } \left( 1-\frac{b}{c}\right) \) and \(\mathcal {H}_2=\frac{2\pi ^2}{\varepsilon } \left( \frac{b^2}{c}-1\right) \). In this case, since \(\frac{b^2}{c}>1\), we obtain
respectively,
Using \(\varepsilon =\beta (1+ixm^{-\frac{1}{3}})\) and \(\sqrt{z} = \sqrt{|z|}\cos (\frac{1}{2} {\text {Arg}}(z))+ i \sqrt{|z|}\sin (\frac{1}{2} {\text {Arg}}(z))\) a straightforward calculation shows that
respectively,
Since \(|x|<1\) we see that \(|{\text {Arg}}(1-ixm^{-\frac{1}{3}})|<\frac{\pi }{4}\) and thus we have
From the assumption \(|m|\le \frac{1}{6\beta } n^{-\delta }\log (n)\) for some \(0<\delta < \frac{1}{2}\) we not only ensure that \(m\rightarrow \infty \) as \(n\rightarrow \infty \) but additionally that \(\beta m\rightarrow 0\) and \(\beta m^{\frac{2}{3}}\rightarrow 0\) as \(n\rightarrow \infty \). Thus, together with (4.8), we see that \(|{\text {Re}}(z_1)| > |{\text {Im}}(z_1)|\), respectively, \(|{\text {Re}}(z_2)|>|{\text {Im}}(z_2)|\) for n sufficiently large.
Therefore the arguments of the error functions in (4.6) satisfy the condition of (4.7). Plugging in yields
We thus obtain that (4.4) equals
Combining this, along with the fact that \(\mathcal {N}(z)>0\) and recycling the same arguments for (4.5), yields
Plugging in \(\Omega (m,n)\) yields the claim. The main term here simplifies to
since \(4\pi m\varepsilon \rightarrow 0\) as \(n\rightarrow \infty \). \(\square \)
5 Bounds away from the dominant pole
In this section, we investigate the contribution of \(f_m\) away from the dominant pole at \(q=1\), and show that it forms part of the error term. Recall that from (3.2) we have
One immediately sees that
Consider
away from the dominant pole. We begin with the term \(\prod _{j=1}^{N} \eta (a_j \tau )^{\alpha _j}\). As in [19] we write
Using Lemma 2.2 we see that
By (2.2) we also obtain that
Therefore we find
and thus we obtain
Plugging in (1.1), using Lemma 2.1, and rearranging leads to
Define
Then equations (5.1) and (5.2) imply that for \(r\rightarrow 0^+\)
Hence, away from the dominant pole at \(q=1\) we have shown the following proposition.
Proposition 5.1
For \(1\le x\le \frac{\pi m^\frac{1}{3}}{\beta }\) we have that
as \(n\rightarrow \infty \).
6 The circle method
In this section, we use Wright’s variant of the Circle Method to complete the proof of Theorem 1.2. Cauchy’s Theorem implies that
where \(C {:}{=}\{ q \in \mathbb {C}: |q| = e^{-\beta } \}\) is a circle centered at the origin of radius less than 1 with the path taken in the counterclockwise direction, traversing the circle exactly once. Making a change of variables, reversing the direction of the path of integration, and recalling that \(\varepsilon = \beta (1+ixm^{-\frac{1}{3}})\) we have
Splitting this integral into two pieces, we have \(c(m,n) = M + E\), where
and
Next we determine the contributions of each of the integrals M and E, and see that M contributes to the main asymptotic term, while E is part of the error term.
6.1 The major arc
Considering the contribution of M, we obtain the following proposition.
Proposition 6.1
We have that
as \(n\rightarrow \infty \).
Proof
By definition we have that
Making the change of variables \(v = 1 +ixm^{-\frac{1}{3}}\) and then \(v \mapsto \sqrt{\Lambda _2 }v\), we obtain that the first term equals
where
One may relate \(P_{s,k}\) to I-Bessel functions in exactly the same way as in [6, Lemma 4.2], making the adjustment for \(\sqrt{\Lambda _2 }\) where necessary, to obtain that
Using the asymptotic behavior of the I-Bessel function given in Lemma 2.5 we obtain
and therefore (6.2) becomes
Analogously, the second term of (6.1) is
This yields
This finishes the proof. \(\square \)
6.2 The error arc
Finally, we bound E as follows.
Proposition 6.2
We have \(E \ll M\) as \(n\rightarrow \infty \).
Proof
By Proposition 5.1 we have
where we trivially estimate the final integral. Using \(1-\sum _{j=1}^{N} \frac{\alpha _j}{12 a_j }<2\sqrt{\Lambda _2 }\) the result follows immediately by comparing to M and therefore also finishes the proof of Theorem 1.2. \(\square \)
7 Further questions
We end by briefly commenting on some related questions that could be the subject of further research.
-
(1)
Here, we only discussed the case of eta-theta quotients with simple poles. A natural question to ask is: does a similar story hold for functions with higher order poles? The situation is of course expected to be more complicated, in particular finding Fourier coefficients with the method presented here seems to be much more difficult. One could attempt to build a framework by following the definitions of Fourier coefficients given in [11, Section 8].
For example, in [21] Manschot and Zapata Rolón studied a Jacobi form with a double pole related to \(\chi _y\)-genera of Hilbert schemes on K3. They obtain bivariate asymptotic behavior in a similar flavor to those here. Can one extend this family?
-
(2)
Although the functions considered in the present paper provide a wide family of results, it should be possible to extend the method to other related families of functions. In particular, it would be instructive to consider similar approaches for prototypical examples of mock Jacobi forms.
References
Alexandrov, S.: Vafa-Witten invariants from modular anomaly. Commun. Number Theory Phys. 15(1), 149–219 (2021)
Andrews, G., Askey, R., Roy, R.: Special Functions, vol. 71. Cambridge University Press, Cambridge (1999)
Andrews, G., Garvan, F.: Dyson’s crank of a partition. Bull. Amer. Math. Soc. (N.S.) 18(2), 167–171 (1988)
Arfken, G.: Modified Bessel functions, Mathematical Methods for Physicists, 3rd edn., pp. 610–616. Academic Press, Orlando, FL (1985)
Atkin, A., Swinnerton-Dyer, P.: Some properties of partitions. Proc. London Math. Soc. (3) 4, 84–106 (1954)
Bringmann, K., Dousse, J.: On Dyson’s crank conjecture and the uniform asymptotic behavior of certain inverse theta functions. Trans. Am. Math. Soc. 368(5), 3141–3155 (2016)
Bringmann, K., Folsom, A., Ono, K., Rolen, L.: Harmonic Maass Forms and Mock Modular Forms: Theory and Applications. American Mathematical Society Colloquium Publications, vol. 64. American Mathematical Society, Providence, RI (2017)
Bringmann, K., Manschot, J.: Asymptotic formulas for coefficients of inverse theta functions. Commun. Number Theory Phys. 7(3), 497–513 (2013)
Bringmann, K., Nazaroglu, C.: A framework for modular properties of false theta functions. Res. Math. Sci. 6(3), 1–23 (2019)
Curtiss, J.: Introduction to Functions of a Complex Variable, vol. 44. CRC Press, Boca Raton (1978)
Dabholkar, A., Murthy, S., Zagier, D.: Quantum black holes, wall crossing, and mock modular forms (2012). preprint
Dousse, J., Mertens, M.: Asymptotic formulae for partition ranks. Acta Arith. 168(1), 83–100 (2015)
Dyson, F.: Some guesses in the theory of partitions. Eureka 8, 10–15 (1944)
Eichler, M., Zagier, D.: The Theory of Jacobi Forms, vol. 55. Springer, New York (1985)
Garvan, F.: New combinatorial interpretations of Ramanujan’s partition congruences mod 5, 7, and 11. Trans. Am. Math. Soc. 305, 47–77 (1988)
Gritsenko, V., Skoruppa, N., Zagier, D.: Theta blocks (2019). preprint
Koecher, M., Krieg, A.: Elliptische Funktionen und Modulformen. Springer, Berlin (2007)
Liu, Z., Zhou, N.: Uniform asymptotic formulas for the Fourier coefficients of the inverse of theta functions. Ramanujan J. 57(3), 1085–1123 (2022)
Males, J.: The asymptotic profile of an eta-theta quotient related to entanglement entropy in string theory. Res. Number Theory 6(1), Article No. 15 (2020)
Males, J.: Corrigendum to “The asymptotic profile of an eta-theta quotient related to entanglement entropy in string theory.” Res. Number Theory 7(1), Article No. 36 (2021)
Manschot, J., Zapata Rolón, J.: The asymptotic profile of \(\chi _{y}\)-genera of Hilbert schemes of points on K3 surfaces. Commun. Number Theory Phys. 9(2), 413–436 (2015)
Mumford, D., Nori, M., Norman, P.: Tata Lectures on Theta III, vol. 43. Springer, New York (2007)
Ramanujan, S.: Congruence properties of partitions. Math. Z. 9, 147–153 (1921)
Russo, J., Tseytlin, A.: Magnetic flux tube models in superstring theory. Nucl. Phys. B 461(1), 131–154 (1996)
Wotschke, T.: BPS state counting using wall-crossing, holomorphic anomalies and modularity. Ph.D. Thesis, Rheinische Friedrich-Wilhelms-Universität Bonn, (2013). http://hdl.handle.net/20.500.11811/5723
Wright, E.: Asymptotic partition formulae:(II) weighted partitions. Proc. Lond. Math. Soc. 2(1), 117–141 (1934)
Wright, E.: Stacks (II). Q. J. Math. 22(1), 107–116 (1971)
Zwegers, S.: Mock theta functions, Ph.D. Thesis. Universiteit Utrecht (2002)
Acknowledgements
The authors would like to thank Kathrin Bringmann, Andreas Mono, and Larry Rolen for many helpful comments on an earlier version of the paper. The authors would also like to thank the anonymous referee for their helpful comments which helped to improve the exposition.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research of the second author conducted for this paper is supported by the Pacific Institute for the Mathematical Sciences (PIMS). The research and findings may not reflect those of the Institute.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cesana, G., Males, J. Bivariate asymptotics for eta-theta quotients with simple poles. Ramanujan J 62, 47–67 (2023). https://doi.org/10.1007/s11139-023-00746-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-023-00746-w