The mixed mock modularity of certain duals of generalized quantum modular forms of Hikami and Lovejoy

Eric T. Mortenson,Sander Zwegers

DOI: https://doi.org/10.1016/j.aim.2023.108944

2022-07-06

Abstract:We express a family of Hecke--Appell-type sums of Hikami and Lovejoy in terms of mixed mock modular forms; in particular, we express the sums in terms of Appell functions and theta functions. Hikami and Lovejoy's family of Hecke--Appell-type sums was obtained by considering certain duals of generalized quantum modular forms.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is related to the mixed mock modular form properties of the duals of certain generalized quantum modular forms. Specifically, the authors aim to express the Hecke - Appell - type sums proposed by Hikami and Lovejoy as mixed mock modular forms, especially by representing these sums through Appell functions and theta functions.

### Research Background

1. **Kontsevich - Zagier Series**
- The Kontsevich - Zagier series \(F(q)\) is an example of a quantum modular form, defined as:
\[
F(q):=\sum_{n = 0}^{\infty}(q)_n
\]
where \((q)_n\) is the q - Pochhammer symbol, defined as:
\[
(x;q)_n:=\prod_{i = 0}^{n - 1}(1 - q^i x),\quad(x;q)_{\infty}:=\prod_{i = 0}^{\infty}(1 - q^i x)
\]

2. **Functions Generating Strongly Unimodal Sequences**
- Bryson et al. studied the relationship with the generating functions of strongly unimodal sequences:
\[
U(x;q)=\sum_{n = 0}^{\infty}(-xq)^n(-q/x)^n q^{n + 1}
\]
They showed that there is a relationship at the roots of unity:
\[
F(\zeta_N^{-1})=U(-1;\zeta_N)
\]
where \(\zeta_N := e^{2\pi i/N}\).

3. **Generalized Quantum Modular Forms**
- Hikami generalized \(F(q)\) to obtain a family of quantum modular forms \(F_t(q)\):
\[
F_t(q):=q^t\sum_{k_t\geq\cdots\geq k_1\geq0}(q)_{k_t}\prod_{i = 1}^{t - 1}q^{k_i(k_i + 1)}\left[\frac{k_{i + 1}}{k_i}\right]_q
\]
where \(\left[\frac{n}{k}\right]_q\) is the q - binomial coefficient, defined as:
\[
\left[\frac{n}{k}\right]_q:=\frac{(q)_n}{(q)_k(q)_{n - k}}
\]

4. **Dual Functions**
- Hikami and Lovejoy generalized \(U(x;q)\) to a family of q - hyperbolic geometric series \(U_t(x;q)\) and proved a similar relationship:
\[
F_t(\zeta_N^{-1})=U_t(-1;\zeta_N)
\]

### Main Contributions

The main contribution of the authors is to represent these Hecke - Appell - type sums as mixed mock modular forms. Specifically, they defined some new functions and expressed these sums through Appell functions and theta functions. For example:

- Defined the functions \(g_{t,m}(x)\) and \(f_{t,m}(x)\):
\[
g_{t,m}(x):=\sum_{r\not\equiv s\pmod{2}}\text{sg}(r,s)(-1)^{\frac{r - s - 1}{2}}q^{\frac{1}{8}r^2+4t-\frac{1}{4}rs+\frac{1}{8}s^2+\frac{}{}