---
title: False Theta Function Duality
url: https://www.emergentmind.com/topics/false-theta-function-duality
type: topic
---

# False Theta Function Duality

False theta function duality refers to a family of structural correspondences attached to theta-like \(q\)-series whose sign insertions, half-lattice truncations, or quadrant restrictions destroy the exact modular self-duality of ordinary theta functions. In the recent literature, the expression is used in several related senses rather than as the name of a single canonical theorem: modular completion can restore a Fourier self-duality-like transformation law; the formal inversion \(q\mapsto q^{-1}\) relates partial theta identities to Appell–Lerch sums; Hecke-type double sums exhibit opposite behavior in the false-theta and Appell–Lerch regimes according to the sign of the relevant quadratic-form discriminant; and radial limits of false theta series encode quantum modular forms and \(3\)-manifold invariants [1904.05377, 1208.6316, 2212.13236, 2212.09972].

## 1. Basic objects and the main senses of duality

A false theta function is theta-like but non-modular because the summand is altered by a sign factor or by a one-sided restriction. A representative example is
\[
\psi(z;\tau)\coloneqq i \sum_{n\in \mathbb Z} \left(n+\tfrac12\right)(-1)^n q^{\frac12\left(n+\frac12\right)^2}\zeta^{n+\frac12},
\qquad q=e^{2\pi i\tau},\ \zeta=e^{2\pi i z},
\]
to be compared with the ordinary Jacobi theta function
\[
\vartheta(z;\tau)\coloneqq i \sum_{n\in \mathbb Z} (-1)^n q^{\frac12\left(n+\frac12\right)^2}\zeta^{n+\frac12}.
\]
The extra factor \(\left(n+\tfrac12\right)\), or more generally a sign insertion, destroys the Fourier self-duality that underlies ordinary modularity [1904.05377].

The literature also distinguishes false theta functions from partial theta functions. A partial theta function is “half of a theta series,” typically unilateral, whereas a false theta function is a bilateral theta-type series with the “wrong signs.” One recurring observation is that a false theta function can sometimes be expressed as a sum of two partial theta functions, so the two notions are closely related but not identical [1208.6316].

| Sense of duality | Mechanism | Representative source |
|---|---|---|
| Fourier/modular completion | Error-function smoothing with auxiliary \(w\) restores Jacobi-type transformation | [1904.05377] |
| Partial theta/Appell–Lerch | Formal \(q\mapsto q^{-1}\) and bilateral extension | [1208.6316] |
| Discriminant-sign duality | \(b-ac<0\) gives theta \(\times\) false theta; \(b-ac>0\) gives Appell–Lerch \(+\) theta | [2212.13236] |
| Radial-limit duality | False theta \(q\)-series recover WRT invariants at roots of unity | [2212.09972] |
| Higher-rank/depth duality | Rank-two sign sums become iterated holomorphic Eichler-type integrals | [2101.02902] |

These meanings are compatible rather than interchangeable. Some papers explicitly present a duality principle, while others speak of “duality-like” behavior, “mirror” identities, or a structural contrast between false-theta and mock/Appell–Lerch regimes [1208.6316, 2101.02902].

## 2. Modular completion and restored Fourier self-duality

A central modern formulation of false theta duality is the modular-completion framework. In the positive-definite lattice setting, with bilinear form \(B\), quadratic form \(Q(\mathbf n)=\frac12 B(\mathbf n,\mathbf n)\), characteristic vector \(\boldsymbol\ell\), coset \(\boldsymbol\mu\in L^*\), and \(\boldsymbol c\in \mathbb R^N\) satisfying \(2Q(\boldsymbol c)=1\), the false theta series is
\[
\Psi_{Q,\boldsymbol\mu,\boldsymbol\ell,\boldsymbol c}(\boldsymbol z;\tau)
\coloneqq
\sum_{\boldsymbol n\in \boldsymbol\mu+\frac{\boldsymbol\ell}{2}+L}
B(\boldsymbol c,\boldsymbol n)\,
q^{Q(\boldsymbol n)}
e^{2\pi i B(\boldsymbol n,\boldsymbol z+\frac{\boldsymbol\ell}{2})}.
\]
Its completion is obtained by replacing the discontinuous sign-type factor with an error-function smoothing depending on \(w\in\mathbb H\):
\[
\Psi_{Q,\boldsymbol\mu,\boldsymbol\ell,\boldsymbol c}(\boldsymbol z;\tau,w)
\coloneqq
\sum_{\boldsymbol n\in \boldsymbol\mu+\frac{\boldsymbol\ell}{2}+L}
\Big(
-i\sqrt{\pi i(w-\tau)}\,
B\!\left(\boldsymbol c,\boldsymbol n+\frac{\operatorname{Im}(\boldsymbol z)}{\tau_2}\right)
\Big)
q^{Q(\boldsymbol n)}
e^{2\pi i B(\boldsymbol n,\boldsymbol z+\frac{\boldsymbol\ell}{2})}.
\]
The original false theta is recovered as a boundary value when \(w\to \tau+it\) with \(t\to\infty\) in the admissible range [1904.05377].

The conceptual point is that the completion restores a self-duality-like Fourier property. The crucial lemma proves that the smoothed kernel satisfies
\[
\mathcal F(F_{\tau,w})(\mathbf x)
=
(-i)^{-N/2}\tau^{-(N-1)/2}w^{1/2}\,
F_{-1/\tau,-1/w}(\mathbf x),
\]
which is the precise duality-like mechanism underlying the modular \(S\)-transformation [1904.05377]. Ordinary theta functions are modular because the Gaussian is stable under Fourier transform; false theta functions are not modular because the sign factor is not; the completion replaces the sign by a smoothed object that is Fourier self-dual up to scalar factors.

The same framework yields an explicit obstruction-to-modularity formula. For
\[
f(\tau)=-\frac{i}{2}\frac{\psi(\tau)}{\eta(\tau)^2},
\qquad
g(\tau)=\frac{1}{\eta(\tau)^2},
\]
the modular defect is expressed by an Eichler-type integral involving \(\eta^3\). This makes the non-modularity computable rather than merely qualitative, and it is the analytic source of subsequent quantum-modular and Rademacher-type applications [1904.05377].

## 3. Inversion duality, Appell–Lerch sums, and discriminant-sign dichotomies

A second major meaning of false theta duality arises from formal inversion and bilateral extension. The guiding principle is that if an Eulerian \(q\)-series identity valid for \(|q|<1\) is formally transformed by \(q\mapsto q^{-1}\), then an Appell–Lerch expression on one side often turns into a partial theta function on the other, and conversely. In this sense Appell–Lerch sums and partial theta functions are treated as dual manifestations of the same \(q\)-series phenomenon, with the Appell–Lerch sum functioning as a kind of analytic completion or bilateral extension of a partial theta function [1208.6316].

This duality is not the same as modular Fourier duality. It is instead an identity-theoretic and analytic mirror principle. The paper develops it for classical mock theta functions, using Bailey pairs and conjugate Bailey pairs, and emphasizes that mixed identities often contain false-theta-type correction terms. The resulting picture places false theta functions inside a broader partial-theta/Appell–Lerch duality rather than outside it [1208.6316].

A related but distinct dichotomy appears for Hecke-type double sums
\[
f_{a,b,c}(x,y;q)
:=
\left(\sum_{r,s\ge 0}-\sum_{r,s<0}\right)
(-1)^{r+s}x^r y^s q^{a\binom r2+brs+c\binom s2}.
\]
When \(b-ac<0\), there is a general decomposition into finite sums of products of classical theta functions and false theta functions. This is the negative-discriminant regime. The same Hecke-type template behaves differently when \(b-ac>0\): in that regime one obtains Appell–Lerch sums plus theta functions. The sign of the quadratic-form discriminant therefore governs whether the non-theta part is false-theta-like or mock/Appell–Lerch-like [2212.13236].

This contrast reappears in admissible \(A_1^{(1)}\) string functions. For positive fractional level and the \(1/2\)-level case, the Hecke double sums lead to Appell–Lerch sums and mock theta functions; for negative admissible level, the same framework yields explicit false theta combinations. The paper explicitly emphasizes the structural contrast between the positive- and negative-discriminant regimes [2409.14834].

Hecke–Rogers double-sum identities supply another duality-like correspondence. In the “plus-sign-flipped” setting, combinations of shifted two-dimensional Hecke–Rogers sums collapse to one-dimensional false theta series, so that a double-lattice object is transformed into a sign-weighted unary theta-type object by symmetry, shift, and sign cancellation [2010.09699].

## 4. Higher-rank duality and iterated Eichler-type integrals

For higher-rank false theta functions, duality is formulated through depth and iterated Eichler integrals. A generic rank-two false theta function is
\[
\Phi(\tau)
=
\sum_{n\in\mathbb Z^2+\alpha}
\operatorname{sgn}(n_1)\operatorname{sgn}(n_2)\,
q^{\frac12\left(a n_1^2+2b n_1n_2+c n_2^2\right)},
\qquad
\Delta:=ac-b^2>0.
\]
The fundamental lemma converts the product of sign functions into a double integral with square-root kernels and an explicit \(\arctan\)-correction term. As a consequence, \(\Phi(\tau)\) is represented as a sum of a modular theta contribution and an iterated holomorphic Eichler-type integral [2101.02902].

This realizes rank-two false theta functions as depth-two analogues of the rank-one situation. The associated completion \(\widehat{\Phi}(\tau,w)\) depends on two variables \((\tau,w)\in\mathbb H\times\mathbb H\) and transforms under simultaneous modular action on both variables. Differentiation in \(w\) lowers the depth, producing lower-rank pieces in the same way that higher-depth mock modular forms reduce to lower-depth objects under suitable differential operators. The paper uses this structure for generic parafermion characters of type \(A_2\) and \(B_2\), for superconformal Schur indices, and for \(\hat Z\)-invariants of certain plumbing \(H\)-graphs [2101.02902].

False-indefinite theta functions extend the same idea to quadratic forms of signature \((1,1)\). In that setting the holomorphic object is an Eichler-type integral associated to a vector-valued Maass form, and the modular defect is a controlled Mordell-type integral rather than an arbitrary error term. This provides the analytic control needed for precision asymptotics and circle-method arguments, while preserving the same dual organization: a sign-weighted Lorentzian-lattice \(q\)-series on one side and a modular or Maass-theoretic completion on the other [2409.17818].

A recurrent theme is that false theta duality at higher rank is not an involutive self-reciprocity in the classical theta sense. It is a correspondence between a holomorphic sign-sum presentation and a modular-completion or Eichler-integral presentation, with explicit boundary terms and depth reduction [2101.02902, 2409.17818].

## 5. Quantum modularity, radial limits, and \(3\)-manifold invariants

A major domain of false theta function duality is the radial-limit correspondence with quantum modular and topological invariants. In the unary family
\[
F_{j,N}(\tau)
=
\sum_{\substack{n\in\mathbb Z\\ n\equiv j\!\!\!\pmod{2N}}}
\operatorname{sgn}(n)\,q^{n^2/(4N)},
\]
the completion \(\widehat F_{j,N}(\tau,w)\) satisfies an Eichler-integral relation, and the modular transformation law shows that the obstruction to modularity extends to a real-analytic function on \(\mathbb R\setminus\{-d/c\}\). The conclusion is that \(F_{j,N}\) is a vector-valued quantum modular form [1904.05377].

For plumbed \(3\)-manifolds beyond the weakly negative definite regime, indefinite false theta functions become candidates for homological blocks. In the case of certain plumbing indefinite \(H\)-graphs, the candidate block \(\widehat Z_\Gamma(q)\) is an explicit sign-weighted quadrant sum attached to an indefinite quadratic form, and its radial limits recover normalized Witten–Reshetikhin–Turaev invariants:
\[
\lim_{q\to \zeta_k^{\varepsilon_\Gamma}}\widehat Z_\Gamma(q)
=
\frac{1}{2(\zeta_{2k}-\zeta_{2k}^{-1})}\,\WRT_k(M(\Gamma)).
\]
The paper stresses that ordinary Zwegers-type indefinite theta functions are not the correct objects in this setting because their radial limits vanish; the indefinite false theta correction is essential [2212.09972].

The Poincaré homology sphere is the decisive worked example. For a suitable \(6\)-vertex \(H\)-graph, the construction yields
\[
\widehat Z_{\Gamma}(q)
=
q^{-3/2}\sum_{n=-1}^{\infty}\chi_{60}(n)\,q^{(n^2-1)/120},
\]
and the paper proves that this coincides with the original GPPV homological block [2212.09972].

A related phenomenon appears in Hikami’s observations on Habiro’s unified WRT invariant. For the Poincaré sphere,
\[
H(e^{2\pi i/N})
=
\frac12 \lim_{\substack{q=e^{2\pi i/N}e^{-t}\\ t\to 0^+}} H(q),
\]
so the value at a root of unity is one-half of the radial limit from inside the unit disc. The explanation is a decomposition into two false-theta-type contributions: one has a convergent radial limit and reproduces the root-of-unity value, while the other generally diverges. In the special case \(p=1\) the two contributions coincide, producing the factor \(1/2\) [2212.06337].

These results give a precise meaning to “radial-limit duality”: the false theta series is not merely analogous to the topological invariant but encodes it through analytically controlled root-of-unity limits [2212.09972, 2212.06337].

## 6. Representation theory, combinatorics, arithmetic, and conceptual scope

In logarithmic and nonrational CFT, regularized partial and false theta functions occur directly as characters. For the singlet vertex algebra \(W(2,2p-1)\), atypical module characters are expressed by differences of partial theta functions, hence by false-theta-type objects after antisymmetrization. Regularization by \(\varepsilon\) yields modular-like \(S\)- and \(T\)-transformations with an explicit integral kernel and a theta correction, and these formulas support a Verlinde-type fusion rule [1309.6037]. This is a duality-like structure in which the false theta character is related to its inverse-modulus transform not by a finite matrix alone but by an integral transform plus a correction term.

False theta duality also appears as representation duality between single-variable false theta series and fermionic multisums. Infinite families of identities rewrite false theta functions as constrained multi-\(q\)-hypergeometric sums motivated by characters of vertex operator superalgebras. A particularly sharp phenomenon is parity splitting: an odd number of summation variables yields a false theta identity, whereas the even-variable companion yields a modular product identity [2001.11368].

Partition theory supplies further examples of modular/false-modular complementarity. Companions to Capparelli’s identities express refined partition generating functions as a Jacobi theta core plus false theta corrections \(\Theta_1(t;q)\) and \(\Theta_2(t;q)\); the two companions exchange these correction terms in a complementary way [1404.3113]. Ramanujan’s false theta identities also admit bijective interpretations in which a sign-reversing involution cancels all weighted overpartition data except a fixed-point family, so the false theta coefficients arise as a residual combinatorial set rather than as a modular transform [1806.04791].

Arithmetic manifestations persist even when no direct modularity is available. For reciprocals of false theta functions, congruence families for the coefficients \(c_5(n)\) are proved modulo \(4\) and \(8\), and the authors state that the generalized theorem suggests a family-level phenomenon for primes \(p\equiv 7\pmod 8\), hinting at a kind of “arithmetic duality” in the reciprocal false theta setting [2508.01532].

Several common confusions are ruled out by the literature. First, false theta duality is not the classical functional equation of Riemann’s theta function: the algebraic functional equation for the theta multiplier and determinant bundles concerns classical theta only and does not address false theta functions [1512.04415]. Second, false theta duality is not a single universal involution. Depending on context, it may mean Fourier-restored modularity after completion, inversion duality with Appell–Lerch sums, discriminant-sign bifurcation of Hecke-type sums, or radial-limit correspondence with quantum invariants [1904.05377, 1208.6316, 2212.13236, 2212.09972]. Third, indefinite theta and indefinite false theta are not interchangeable: for the plumbing \(H\)-graphs considered in the homological-block setting, the naive indefinite theta object has vanishing radial limits, whereas the indefinite false theta function gives the nontrivial invariant [2212.09972].

Taken together, these developments show that false theta function duality is best understood as a structural principle organizing non-modular theta-like \(q\)-series. The principle links sign-truncated lattice sums to modular completions, Eichler integrals, Appell–Lerch mirrors, fermionic multisums, quantum modular defects, and topological radial limits, while preserving the defining feature of the subject: the false theta function remains holomorphic, but its modular failure is explicit, computable, and often itself the source of the duality.

Source: https://www.emergentmind.com/topics/false-theta-function-duality