On a modularity conjecture of Andrews, Dixit, Schultz, and Yee for a variation of Ramanujan's \(\omega\)(\(q\)) (Q1688640): Difference between revisions

\textit{G. E. Andrews} et al. [Acta Arith. 181, No. 3, 253--286 (2017; Zbl 1422.11210)] defined \(\overline{p}_{\omega}(n)\) to be the number of overpartitions of \(n\) such that all odd parts are less than twice the smallest part, and in which the smallest part is always overlined. They go on to ask: ``Is the generating function of \(\overline{p}_{\omega}(n)\), namely \[ \overline{P}_{\omega}(n) := \sum_{n=1}^\infty \overline{p}_{\omega}(n) q^n = \sum_{n=1}^\infty \frac {q^n (-q^{n+1};q)_n (-q^{2n+2};q^2)_\infty}{(1-q^n)(q^{n+1};q)_n (q^{2n+2};q^2)_\infty}, \] representable in terms of some more important functions, say for example, mock theta functions or more generally, mock modular forms or mixed mock modular forms?'' The main result of this paper provides an affirmative answer to this question of Andrews, Dixit, Schultz, and Yee on the modularity properties on \(\overline{P}_{\omega}(n)\). More exactly, the authors rewrite \(\overline{P}_{\omega}(n)\) as an indefinite theta function and then they express \(\overline{P}_{\omega}(n)\) in terms of known mock modular forms.