APS $\eta$-invariant, path integrals, and mock modularity

We show that the Atiyah-Patodi-Singer $\eta$-invariant can be related to the temperature dependent Witten index of a noncompact theory and give a new proof of the APS theorem using scattering theory. We relate the $\eta$-invariant to a Callias index and compute it using localization of a supersymmetric path integral. We show that the $\eta$-invariant for the elliptic genus of a finite cigar is related to quantum modular forms obtained from the completion of a mock Jacobi form which we compute from the noncompact path integral.

"Any good theorem should have several proofs, the more the better."

Introduction
In this note, we establish a connection between three distinct sets of ideas-the Atiyah-Patodi-Singer η-invariant [1], mock Jacobi forms [2] and associated quantum modular forms [3], and supersymmetric path integrals. The link between these three is provided by the temperaturedependent Witten index of a noncompact theory. For a supersymmetric quantum field theory in a d-dimensional spacetime, the Witten index [4] is defined by where β is the inverse temperature, H is the Hamiltonian, F is the fermion number and H is the Hilbert space of the theory. As usual, this trace can be related to a supersymmetric Euclidean path integral over a d-dimensional Euclidean base space Σ with periodic boundary conditions for all fields in the Euclidean time direction. If the quantum field theory is compact in the sense that the spectrum of the Hamiltonian is discrete, then the Witten index is independent of the inverse temperature β. This follows from the observation that the states with nonzero energy come in Bose-Fermi pairs and do not contribute to the Witten index [4]. Only the zero energy states graded by (−1) F contribute and consequently, the Witten index is a topological invariant. This is the case, for example, for a supersymmetric sigma model with a compact target space. By an appropriate choice of the sigma model, the Witten index in the zero temperature (β → ∞) limit can be related to some of the classic topological invariants such as the Euler character or the Dirac index of the target manifold. Using temperature independence of the index, one can evaluate it in the much simpler high temperature (β → 0) limit using the heat kernel expansion to prove the Atiyah-Singer index theorem [5]. Evaluating the path integral corresponding to the Witten index in this high-temperature semiclassical limit gives another derivation of the index theorem [6,7].
If the field space is noncompact and the spectrum is continuous, then the above argument can fail because now instead of a discrete indexed sum, one has an integral over a continuum of scattering states. To define the noncompact Witten index properly, one needs a framework to incorporate the non-normalizable scattering states into the trace. We address this issue in §3.1 and give a suitable definition using the formalism of Gel'fand triplet. In general, the bosonic density of states in this continuum may not precisely cancel the fermionic density of states, and the noncompact Witten index can be temperature dependent. We relate this temperature dependence to the Atiyah-Patodi-Singer η-invariant and mock modularity and compute it using deformation invariance and localization of the supersymmetric path integral. The temperature dependent piece is no longer topological but is nevertheless 'semi-topological' in that it is independent of any deformations that do not change the asymptotic. Note that in a general non-compact situation, temperature independence and deformation invariance are logically distinct as will become clear later.
The relation to the APS η-invariant can be seen as follows. Consider a compact manifold M with a boundary N . One can define Atiyah-Patodi-Singer boundary conditions [1] for the Dirac operator assuming that M has a product form near the boundary M ∼ N × I where I is a finite interval. It is useful to introduce a noncompact manifold M obtained by a trivial extension of the manifold M by gluing it to a half-cylinder N × R + . One can define the Witten index W (β) where the hat is added as a reminder that it corresponds to the noncompact theory with M as the target space. By construction, the solutions to the Dirac operator on M with APS boundary conditions are in one-one correspondence with the solutions to the Dirac operator on the M with the square-integrable norm. However, the spectrum of the Dirac Hamiltonian on M also contains delta-function normalizable scattering states with continuous energies, in addition to the square-integrable bound states with discrete energies. We assume that the continuum is separated from the ground states by a gap. In the β → ∞ limit, only the ground states corresponding to the square-integrable solutions of the Dirac operator contribute and hence the APS index for the original compact manifold M equals W (∞). There is a bulk contribution to the APS index coming from the integral of a local index density which can be computed in the β → 0 limit as in the compact case. However, now there is a left-over piece coming from the contribution of the continuum. Using scattering theory on M we relate the continuum contribution to the η-invariant of N by the relation This yields a new proof of the APS theorem. The η-invariant is nonzero precisely because the noncompact Witten index is temperature dependent. The relation to mock modularity arises similarly as a consequence of noncompactness of the field manifold for a superconformal field theory on a base space Σ which is a 2-torus with a complex structure parameter τ . The elliptic genus of an SCFT is a generalization of the Witten index that counts the right-moving ground states with arbitrary left-moving excitations. It is a priori a function of τ andτ . For a compact SCFT, by an argument similar to the above, it is independent of the 'right-moving temperature' and hence ofτ , and is a (weakly) holomorphic Jacobi form. Once again, for a noncompact SCFT with M as the target space, this argument fails. There is a 'holomorphic anomaly' because the right-moving bosonic density of states does not precisely cancel the right-moving fermionic density of states. In this case, the elliptic genus is no longer a Jacobi form but is rather a completion of a mock Jacobi form-a new mathematical object introduced in [2]. The holomorphic anomaly is once again governed by the temperature dependence of the 'noncompact right-moving Witten index'.
An advantage of mapping the APS index to the Witten index on the noncompact manifold M is that it becomes easier to obtain its path integral representation. Defining a path integral measure in a target space with a boundary is in general rather complicated. Even for a very simple system like a particle in a box, the path integral formulation was achieved relatively recently [8][9][10][11][12][13]. For a path integral on a manifold M without a boundary, even if it is noncompact, one can use the canonical measure. The path integral facilitates computations using supersymmetric localization. We derive the APS result by relating it to a Callias-Bott-Seeley [14,15] index theorem as we explain in §4.2. A path integral representation also makes the modular invariance manifest making it easier to see the connection with mock modularity.
Apart from its intrinsic importance in differential topology, the η-invariant has a number of interesting physics applications, for example, in the analysis of global gravitational anomalies [16], in fermion fractionization [17,18] , in relation to spectral flow in quantum chromodynamics [19,20], and more recently in the description of symmetry-protected phases of topological insulators (see [21] for a recent review). Similarly, apart from their intrinsic interest in number theory [22,23], mock modular forms and their cousins have come to play an important role in the physics of quantum black holes and quantum holography [2], in umbral moonshine [24,25], in the context of WRT invariants [26][27][28][29] , and more generally in the context of elliptic genera of noncompact SCFTs [30][31][32][33][34][35]. We expect our results will have useful implications in these diverse contexts.
The paper is organized as follows. In §2.1 we review the supersymmetric quantum mechanics for index theory on a compact manifold without a boundary and in §2.2 we describe the Atiyah-Patodi-Singer construction for a compact manifold with a boundary. In §2.3 we present the definition of the elliptic genus of an SCFT and its relation to Jacobi forms. In §3.1 we define the noncompact Witten index using the Gel'fand triplet. Then we use this formalism to present a proof of the APS theorem in §3.2. In §4 we discuss the path integral representation of the η-invariant. In §4.2 we apply localization to reduce the path integral for the η-invariant to an ordinary super-integral evaluated in §4.1 and relate it to the Callias index. We use these results to compute the η-invariant of the finite cigar in §4.3 and to compute the elliptic genus for the infinite cigar in §5.2. We review the definitions of mock Jacobi forms in §5.1 and discuss the connection with the η-invariant and quantum modular forms in §5. 3.
The examples considered in this paper are simple but sufficiently nontrivial and illustrative. Our results indicate that these interesting connections are a rather general consequence of noncompactness. Supersymmetric methods have been used successfully to obtain a path integral derivation of the Atiyah-Singer index theorem for a compact target manifold, but to our knowledge, no such derivation exists for a manifold with a boundary 1 . Using our formulation in terms of a noncompact Witten index, it should be possible to obtain a more complete path integral derivation of the APS index theorem, for example, even for the manifolds that do not have product form near the boundary [37]. It would also be interesting to generalize the construction to elliptic genera of generic noncompact superconformal field theories. We will return to these problems in the future.

Supersymmetry and index theorems
We will be interested in supersymmetric path integrals for d-dimensional quantum field theories with d = 2, 1, 0. The Euclidean base space Σ in the three cases is a 2-torus T 2 , a circle S 1 , and a point which we will refer to as the worldsheet, worldline, and worldpoint respectively. All our examples are obtained by reductions of Euclidean Wick-rotated version of a 1 + 1 dimensional worldsheet with (1, 1) supersymmetry which we describe below. It is convenient to use the superspace sΣ with real superspace coordinates {σ α , θ A }. See §A.1 for the conventions. We write σ 1 = σ and σ 0 = t or σ 0 = τ in the Lorentzian or Euclidean version respectively.
Let {X i (σ, θ)} be real super-fields with expansion where {x i } are the coordinates of 2n dimensional real field manifold M, ψ i A are real Grassmann fields and F i are auxiliary fields. The components of the superfield can be thought of as the coordinates of a supermanifold sM. The Lorentzian action is where g ij (x) is the metric on M, h(X) is the superpotential, and D is the superspace covariant derivative on the (base) superspace. We have introduced α for easy comparison with other normalizations in the literature. The action is invariant under diffeomorphisms in the target space M. It is also invariant under translations of t generated by the Hamiltonian H and translations of σ generated by P as well as under the Z 2 action of (−1) F : Moreover, it is invariant under the (1, 1) supersymmetry generated by a real constant spinor A under which the superfield transforms as δX = (¯ Q)X and its components transform as With α = 1, the action (2.2) in superfield components is given by is defined using the Christoffel symbols Γ i jk (x) in the target space. When the superpotential is zero, eliminating the auxiliary fields yield the familiar quartic fermionic term involving the Riemann curvature tensor [38,39]. It is convenient to introduce an orthonormal basis of forms, e a = e a i dx i , using the vielbein e a i and the inverse vielbein e i a with 1 ≤ a, b ≤ 2n as the tangent space indices. The metric can then be expressed as g ij = e a i e b j δ ab , and one can define the spin connection ω a kb associated with the Christoffel symbols. The target space M may be compact with or without boundary, or noncompact. As explained in the introduction, each of these cases have to be treated differently with an appropriate definition of the Witten index.

Compact Witten index
To set the stage, we first consider a superparticle on compact M used in the famous [4,6,7] path-integral derivation of the Atiyah-Singer index theorem. The Lorentzian action is given by which can be obtained as a specialization of (2.2) by setting We have defined ψ a = e a i ψ i using the vielbein. The conjugate variables are where the dot refers to t-derivative. The nonvanishing canonical commutation relations are 2 (2.10) The Hilbert space H furnishes a Dirac representation of 2n-dimensional γ-matrices with √ 2ψ j = −iγ j . The chirality matrixγ for the Dirac representation can be identified with (−1) F . For a review see [40] which uses slightly different conventions. The worldline supersymmetry is now parametrized by a single Grassman parameter = − − The corresponding Noether supercharge is Upon quantization, we get which is the Dirac operator on manifold M. The canonical commutations imply the commutation relations where H is the worldline Hamiltonian. In the basis in whichγ is diagonal, the Dirac spinor Ψ(x) on field space can be written as where the ± denote the chiralities (not to be confused with the chirality of the Grassman field ψ A (σ) on the worldsheet). The Dirac operator and the Hamiltonian take the form Using (2.14) and (2.15), the Hamiltonian above can be identified with the Hamiltonian of supersymmetric quantum mechanics. The index I of the Dirac operator on the manifold M is then defined as: where n + is the number of zero modes of L with positive chirality and n − is the number of zero modes of L † with negative chirality, equivalently the number of zero modes of the Hamiltonians H + and H − respectively i.e.
Positive and negative chirality spinors on the field space correspond to positive and negative eigenstates of the operator (−1) F in the Hilbert space H and can thus be interpreted as bosonic and fermionic states in the worldline Hilbert space H and the index I is naturally identified with the Witten index of the supersymmetric quantum mechanics.
For a compact manifold the eigenvalues of H are discrete. It then follows from (2.15) that if |E, + is a bosonic eigenstate with energy eigenvalue E > 0, then Q|E, + := |E, − is a fermionic eigenstate with the same energy eigenvalue. Hence, eigenstates with non-zero eigenvalues of H come in Bose-Fermi pairs and cancel out of the trace. The Witten index in this case receives contribution only from the ground states and is a topological invariant [4,5]. The Witten index (1.1) of this worldline theory has a path integral representation where the path integral is over superfield configurations that are periodic in Euclidean time with period β, so the Euclidean base space Σ is a circle of radius β. The Euclidean time τ is related to the Lorentzian time t as usual by Wick rotation t = −iτ and the Euclidean action is: The measure [dX] is induced from the supermeasure 3 on the supermanifold sM introduced after (2.1). One can now use the deformation invariance of the supersymmetric path integral to obtain where α(x) is the topological index density given by the Dirac genus. or Neumann do define a self-adjoint Dirac operator. However, because of the reflection at the boundary, such local boundary conditions mix the positive and negative chirality and do not allow one to define the index. To preserve chirality, it is necessary to impose the nonlocal Atiyah-Patodi-Singer boundary conditions [1], assuming M has a product form in the 'collar' region N × I near the boundary ( Figure 1). In local coordinates {y m ; m = 1, 2, . . . , 2n − 1} on N and u ≤ 0 on the interval I with the boundary located at u = 0, the metric takes the form

Atiyah-Patodi-Singer η-invariant
The Dirac operator near the boundary becomes It can be expressed as γ u (∂ u +γB) (2.26) where B = γ m D m is the boundary Dirac operator with γ m defined by 3 It is well-known that the supermeasure is flat even if the manifold M is curved because the factor of √ g in the bosonic measure dx := d 2n x √ g cancels against a similar factor in the fermionic measure dψ := d 2n ψ 1 √ g .
which satisfy the same Clifford algebra as the original γ matrices: The eigenvalue equation for the Dirac operator near the boundary takes the form The eigenfunctions can be written as where {e λ (y)} are the complete set of eigenmodes of B. For each mode we obtain tained by gluing a semi-infinite cylinder N × R + where R + is the half line u ≥ 0 ( Figure 2). Near the boundary, the zero energy solutions on M have the form One can ask which of these solutions can be extended to square-integrable or L 2 -normalizable solutions on the noncompact manifold M. Since u is positive on the semi-infinite cylinder, the solutions are normalizable if the argument of the exponent is negative. This is consistent with the APS boundary condition [41]. One sets the exponentially growing mode to zero which amounts to Dirichlet boundary condition for half the modes: For the remaining half, one uses Robin boundary conditions which are consistent with supersymmetry as one sees from (2.32). By construction, imposing the APS boundary condition on M is equivalent to requiring L 2 -normalizability for the solutions of Dirac equation on the noncompact extension M.
The APS index theorem states that the index of Dirac operator with APS boundary conditions on the compact Riemannian manifold M with boundary N is given by There is an ambiguity in defining the sign for λ = 0 but one can consistently define (see the discussion before Figure 5) This infinite sum can be regularized in many ways. A natural regularization that arises from the path integral derivation is (3.15) η(β) := λ sgn(λ) erfc |λ| β . (2.39) Another regularization used in the original APS paper [1] is the ζ-function regularization The two regularization schhemes are related by a Mellin transform One can prove [41] that η APS (s) is analytic near s = 0, so the η-invariant is given by It is expected that the answer is independent of the regularization up to local counter-terms that are implicit in the definition of a path integral. The factor of half in front of η in (2.36) has the following consequence. As one varies the metric on N , the eigenvalues of B can pass through a zero and η would change by ±2. The index then changes by ∓1 as expected for an integer. It also shows that neither the index nor the η-invariant are strictly topological and can change under smooth deformations. They are nevertheless semi-topological in the sense they change only if the asymptotic data near the boundary is changed so as to alter the spectrum of B to cause level crossing.

Elliptic genera and Jacobi forms
If the target space M is Kähler, then the worldsheet action in (2.2) has (2, 2) supersymmetry. We assume that the theory is Weyl-invariant. The nonlinear sigma model then defines a (2, 2) superconformal field theory with left-moving and right-moving super Virasoro algebras. The elliptic genus of an SCFT is defined by where L 0 andL 0 are the left and right-moving Virasoro generators respectively, c andc are the central charges, and J andJ are the R-symmetry generators. In our normalization H = L 0 +L 0 − (c+c) 24 generates time translations on the cylindrical worldsheet, P = L 0 −L 0 generates the space translations, andJ can be identified with the right-moving fermion number. Since J commutes with the right-moving fermion numberJ, the elliptic genus can be thought of as a right-moving Witten index. Writing τ = τ 1 + iτ 2 , one can identity β = 2πτ 2 and think of 2πτ 1 and 2πz as the chemical potentials for the operators P and J respectively. In the path integral representation, the presence of additional insertions has the effect of twisting the boundary conditions along the time direction for the fields charged under P and J.
For a compact SCFT with central charge c, the elliptic genus is a weak Jacobi form of weight w = 0 and index m = c/6. Recall that a Jacobi form 4 φ(τ, z) of weight w and index m is a holomorphic function of both τ and z which is 'modular in τ ' and 'elliptic in z'. Thus, under modular transformation it transforms as and under translations of z it transforms as A Jacobi form can be expanded in terms of ϑ-functions i.e.
where h l (τ ) is a modular form and ϑ m,l (τ, z) is the index m theta function The modular invariance of the elliptic genus follows from its path integral representation. The path integral is diffeomorphism invariant when regulated covariantly using a covariant regulator such as a short proper time cutoff. It is also Weyl invariant for a conformal field theory on the flat worldsheet 5 . Consequently it is invariant under the mapping class group SL(2, Z) which is the group of global diffeomorphisms of the torus worldsheet modulo Weyl transformations. Similarly, the elliptic transformation properties of the elliptic genus follow from the spectral flow [42] of the left-moving superconformal field theory, and the theta expansion can be understood [43] physically by bosonizing the U (1) R-symmetry current J. For a compact SCFT, the spectrum ofL 0 is discrete and is paired by supersymmetry. Hence, only the right-moving ground states contribute to the elliptic genus and the elliptic genus is independent ofτ . This is essentially the same argument we used to show that the Witten index is independent of β. The holomorphic elliptic genus thus counts right-moving ground states with arbitrary left-moving oscillators.
For a non-compact target space, this argument fails. Therefore, the noncompact elliptic genus need not be holomorphic. However, it is clear from its path integral representation that it must nevertheless have modular and elliptic transformation properties of a Jacobi form. As we explain in §5 it is given instead by the completion of mock Jacobi form.

Witten index and the η-invariant
At zero temperature, only the ground states contribute to the Witten index. Thus, by definition, the index I of the Dirac operator equals W (∞): For a compact manifold M without boundary or with a boundary and APS boundary conditions, the Dirac Hamiltonian is self-adjoint. It has a discrete spectrum and its eigenvectors span the Hilbert space H. As a result, the Witten index is independent of β and, in particular, This equality is the essential step in the proofs of both the Atiyah-Singer and the Atiyah-Patodi-Singer index theorems because one can then evaluate the Witten index in the much simpler β → 0 limit using the high temperature expansion of heat kernels. For a compact target space without a boundary, the index of a supersymmetric quantum mechanics (1.1) has a path integral representation, which is the starting point to obtain a derivation of the AS theorem using localization. One would like to similarly apply localization when M has a boundary, but there is an obvious difficulty. In general, path integral formulation is much more subtle for a target space with a boundary because one cannot use the canonical measure. For this reason, it is convenient to map the problem to computation of the Witten index W of a noncompact manifold M without boundary. It will also lead to a 'spectral theoretic' reformulation of the APS theorem.

Noncompact Witten index
The APS boundary conditions imply that for every solution of the Dirac Hamiltonian H on M, there is an L 2 -normalizable solution of the extended Dirac Hamiltonian H on M. One can therefore aim to express the Dirac index in terms of the noncompact Witten index W (∞) at zero temperature, which admits a simpler path integral representation. One immediate problem with this idea is that the spectrum of H is expected to contain delta-function normalizable scattering states with a continuous spectrum in addition to the L 2 -normalizable states. It is not clear then that the operator (−1) F e −β H is 'trace class' in the conventional sense because it may not have a convergent trace after including the scattering states. Thus, even before trying to develop the path integral for W (β), it is necessary to first give a proper definition for it in the canonical formulation that correctly generalizes (1.1).
A natural formalism for this purpose is provided by 'rigged Hilbert space' or 'Gel'fand triplet' which generalizes the Von Neumann formulation of quantum mechanics based on a Hilbert space [44,45]. An advantage of this formalism is that one can discuss spectral theory of operators with a continuous spectrum with 'generalized' eigenvectors which may not be squareintegrable. We review some of the relevant concepts as they apply in the present context.
The first Von Neumann axiom states that every physical system is represented (up to a phase) by a vector in a Hilbert space H with unit norm. This is essential for the Born interpretation because the total probability of outcomes of measurements for any physical system must be unity. The second axiom requires that every physical observable corresponds to a self-adjoint operator on H. This, however, is not always possible. A simple counterexample is a free particle on a line R with the Hamiltonian H = p 2 . The self-adjoint operator corresponding to H on H has no normalizable eigenvectors, so the set of eigenvalues of this operator is empty. On the other hand, on physical grounds one expects the free particle to have continuous energy with a sensible classical limit. To deal with such more general physical situations, it is necessary to relax the second axiom and represent physical observables by operators defined on a domain in a rigged Hilbert space using a Gel'fand triplet rather than on a domain in a Hilbert space.
For a quantum particle on a real line, the Gel'fand triplet consists of a Hilbert space H, the Schwartz space S, and the conjugate Schwartz space S × . The Hilbert space H is isomorphic to the space L 2 (dx, R) of square-integrable wave functions on R: The Schwartz space is the space of infinitely differentiable 'test functions' with exponential fall off. The conjugate Schwartz space S × is the set {|φ } such that The Gel'fand triplet provides a rigorous way to define the bra and ket formulation of Dirac and offers a way to discuss the spectral theory of operators with continuous eigenvalues [44,45]. The notion of the Schwartz space is motivated by the fact that it is left invariant by unbounded operators like the position operator x. The conjugate Schwartz space S × is where objects like the Dirac delta distribution δ(x) and plane waves e ipx reside. The elements of S × need not have finite inner product with themselves and hence may not be square-integrable, but they have finite overlap with 'test functions' belonging to S. Consider now a self-adjoint Hamiltonian H defined on a domain S ⊂ H. One can define the conjugate Hamiltonian H × acting on |φ ∈ S × by the equation With this definition, the eigenvalue equation for H × should be interpreted in terms of the overlap with test functions: A 'generalized eigenvector' |E may lie outside the Hilbert space H and may not be normalizable. This means that it cannot be prepared in any experimental setup. Nevertheless, the set {|E } provides a complete basis in the sense that any state in H can be expanded in terms of {|E }. This is the content of the Gel'fand-Maurin spectral theorem [44,46]. For the example of a free particle discussed earlier, the operator H × has the same formal expression as H as a differential operator: However, the domain D(H × ) is much larger than the domain D(H). This extension of the Hamiltonian is diagonalizable in the larger space S × with generalized eigenfunctions {e ipx } and eigenvalues {p 2 }. In any lab with finite extent, one can never experimentally realize an exact plane wave but only a wave packet that is sufficiently close to the energy eigenfunction. Nevertheless, the plane waves form a complete basis in the sense that a square-integrable function in H can be Fourier-expanded in terms of plane waves. We denote the total space of generalized eigenvectors of H × by Sp which may contain both the square-integrable bound states with discrete energies as well as nonnormalizable scattering states with continuous energies. Normally, one can gloss over these niceties essentially because of locality. A particle on an infinite line is an extreme idealization in a universe which may be finite. One expects that measurements of local quantities such as scattering cross-sections in a particle physics experiment in a lab should not be affected by boundary conditions imposed at the end of the universe. One should arrive at the same physical conclusions whether one uses periodic or Dirichlet boundary conditions in a large box, as one indeed finds in textbook computations.
In the present situation, we are interested in global properties that depend sensitively on the boundary conditions. For example, one cannot impose Dirichlet boundary condition while preserving supersymmetry. The Gel'fand triplet provides an appropriate formulation so that one can discuss the scattering states without the need to put any boundary conditions to 'compactify' space. With these preliminaries, one can define the noncompact Witten index by On the face of it, this definition is still not completely satisfactory. Even though the spectrum Sp over which one traces now has a precise meaning, it is not clear that the trace thus defined actually converges. For example, for a free particle, the heat kernel is well-defined 6 However, if we try to define a trace then there is the usual 'volume' divergence: One might worry that the noncompact Witten index is also similarly divergent. Fortunately, the Witten index is a supertrace or equivalently a trace over the difference between two heat kernels corresponding to the bosonic and fermionic Hamiltonians H + and H − respectively. If there is a gap between the ground states and the scattering states, then the two Hamiltonians differ from each other only over a region with compact support in R. As a result, the volume divergent contribution cancels in the supertrace. In the path integral representation, this corresponds to the fact that the supertrace involves integrals over the 'fermionic zero modes' in addition to the 'bosonic zero mode' x. Under suitable conditions, the fermionic Berezin integration localizes the bosonic integral to a compact region on the real line to yield a finite answer. In particular, the path integral receives vanishing contribution from the asymptotic infinity in field space. We elaborate on this point in §4.1 and use it for applying localization using (4.19).
Within this framework, one can now express the index of the Dirac operator on the original manifold M with a boundary in terms of a noncompact Witten index W (β) on M. Assuming that the continuum states in Sp are separated from the ground states by a gap, at zero temperature only the L 2 -normalizable ground states contribute to W (∞). Since these states are in one-one correspondence with the ground states in the original Hilbert space H on M with APS boundary conditions, we conclude (3.12) In the limit of β → 0, one can evaluate the Witten index by using the short proper time expansion of the heat kernels to obtain a local expression. It must correspond to the Atiyah-Singer term but now evaluated over M: where the second equality follows from the fact that the topological index density vanishes on the half-cylinder N × R + . We can therefore write The term in the parantheses is no longer zero and is in fact related to the η-invariant as will show in §3.2. It is convenient to consider a regularized quantity which in the limit β → 0 reduces to the bracket in (3.14). This provides a natural regularization described earlier in (2.39). With these identifications, equation (3.14) can be viewed as the statement of the APS theorem; the discussion above together with §3.2 can be viewed as a rederivation of the APS result. The noncompact Witten index is in general β-dependent because at finite temperature the scattering states also contribute. The bosonic and fermionic density of states in this continuum may not be exactly equal and need not cancel precisely. The η-invariant of the boundary manifold N thus measures the failure of the Witten index of the noncompact manifold W to be temperature independent 7 .

Scattering theory and the APS theorem
There is a simpler way to compute W (0) that makes this connection with the bulk Atiyah-Singer term (3.13) more manifest and easier to relate it to a path integral. One can simply double the manifold to M by gluing its copy as in Figure 3 as was suggested in [1]. Since M is a manifold without a boundary, there is no contribution from the η-invariant. Moreover, by the reasoning before (3.13) the β → 0 expansion is local and gives the Atiyah-Singer index density. In summary, Figure 3: The doubled compact manifold M without boundary.
To prove the APS theorem, we would like to show that the term in the parantheses in (3.14) equals the η-invariant. We note that the spectrum Sp(H) of the Hamiltonian on M is a direct sum of the discrete spectrum of bound states Sp b (H) and the continuum spectrum of scattering states Sp s (H). Therefore the Witten index admits a spectral decomposition Since the continuum of states is separated from the zero energy states, it is clear that the first term can be identified with the index I and hence with W (∞). To prove (3.15), we thus need to show that the contribution from the continuum equals the η-invariant: where δ λ ± (k) are the phase shifts. The trace (3.18) over scattering states can be expressed as where ρ λ + (k) and ρ λ − (k) are the density of bosonic and fermionic states of the theory for the λ subsector. Using a standard result (A.31) from scattering theory, which we review in §A.3, we can relate the difference in the density of states to the difference in phase shifts In general the individual phase shifts and density of states are nontrivial functions of k that depend on the details of the manifold M. After all, they contain all the information about the S-matrix. The exact form of the scattering states similarly has a complicated functional dependence on u. Generically, it would be impossible to compute any of them exactly. Remarkably, the difference between the phase shifts is determined entirely by the asymptotic data as a consequence of supersymmetry relation (2.32) in the asymptotic region. By substituting the asymptotic wave-functions (3.19) into (2.32) we obtain and therefore, in each eigensubspace with eigenvalue λ. Now we use the formula (3.24) in (A.31) to get After summing over all λ we obtain This is precisely the regulated expression (3.15) for the η-invariant of the boundary operator. We have thus proven which is the Atiyah-Patodi-Singer index theorem.

The η-invariant and path integrals
Given the definition of the noncompact Witten index in §3.1 one can use its path-integral representation and use localization methods to compute it. In §4.3 we show how this works for the two-dimensional surface of a finite cigar with a boundary by relating its index to the Witten index of the infinite cigar. In this simple example, one can explicitly evaluate the Witten index using localization and compare with the η-invariant obtained from operator methods. Can one find a way to formulate a path integral that directly computes the η-invariant without the bulk Atiyah-Singer piece? This can be achieved as follows. As we have observed in §3.2, given a manifold with boundary M such that metric is of the product form near the boundary we can trivially extend the manifold to a non-compact manifold M. In M, the ηinvariant gets contribution only from the scattering states of M. Now the scattering states of M are the same as the scattering states of R + × N with APS boundary condition at the origin. We use this physical picture to find a path integral representation to compute η invariant. First we will explain the space-time picture and then we will map it to a world-line computation.
The Dirac operator on the half line is given by / D = γ u (∂ u +γB). We can diagonalize the boundary operator as in (2.30), (2.31). Effectively, for each eigenvalue λ of the boundary operator B, we have a supersymmetric quantum mechanics on a half line. The APS boundary condition is essentially Dirichlet boundary condition for one chirality and Robin boundary condition for the other chirality. To obtain a path integral representation with these boundary conditions, it is more convenient to 'double' the manifold R + × N to obtain a noncompact cylinder M := R × N (see Figure 4) without any boundary. We extend it in a manner that is consistent with the APS boundary conditions. The manifold M := R × N has parity symmetry P : that is consistent with supersymmetry and leaves the supercharge invariant. The path integral on the original manifold R + × N with APS boundary conditions can be obtained by considering the path integral on the manifold M := R×N projected onto P invariant states. This is effected by the insertion of the following operator where P is the parity operator. Invariance under the reflection of u keeps only parity-even wave functions in the trace for one chirality, effectively imposing Dirichlet boundary condition on the half line. Supersymmetry ensures that the other chirality satisfies the Robin boundary condition as required by the APS boundary conditions. See, for example, [10,51] for a more detailed discussion.
Since we are interested in the operator / D = γ u (∂ u +γB) on the half-line, the extension of this operator should transform as an eigen-operator under parity. Given u transform as in This ensures that Dirac operator as a whole is invariant. The extended Dirac operator on the doubled cylinder thus takes the form instead of (2.25) where ε(u) is a step function with a discontinuity at u = 0. One can also take ε(u) to be a smooth smearing function which interpolates between −1 to 1 as u varies from −∞ to +∞ to obtain a smooth Dirac operator. One example of such function is tanh(u). This does not change the conclusions because the η-invariant does not change under deformations that do not change the asymptotics. Now we return to the world-line picture. For each eigenvalue of B we can map this problem to a world-line path integral problem. The effect of the eigenvalue of the boundary operator can be incorporated by adding a super-potential h. It reduces the problem to computing Witten index W (β) in the presence of a super-potential with a target space being half-line appropriately extended to the full line. The Witten index can be computed using path integral. The corresponding supersymmetric quantum mechanics will have a superpotential h(u) = ε(u)λ determined by the eigenvalue λ. With this construction, we conclude It is straightforward to write a path integral representation for η(β) on the non-compact cylinder M which is much simpler than the path integral on M. In §4.2, we compute it using localization and relate it to Callias index [14,15].

Supersymmetric worldpoint integral
Some of the essential points about a noncompact path integral can be illustrated by a 'worldpoint' path integral where the base space Σ is a point and the target space M is a the real line −∞ < u < ∞. We discuss this example first before proceeding to localization. The supersymmetric worldpoint action is given by The action can be obtained from the euclidean continuation 9 of (2.6) by setting The path integral is now just an ordinary superintegral with flat measure The normalization factor −i can be understood as follows. For 2n real fermions we havē Moreover, Trγ 2 = 2 n which is the dimension of the spinor representation for real λ. Integrating out the fermions and the auxiliary field F gives One can change variables As u goes from −∞ to ∞, y(u) is monotonically increasing or decreasing depending on if λ is positive or negative; the inverse function u(y) is single-valued, and the integral reduces to The worldpoint integral illustrates a number of important points.
1. Without the fermionic integrations, the integral has a volume divergence because h (u) is bounded above for large |u|. Inclusion of fermions effectively limits the integrand to the region close to the origin where h (u) varies, and makes the integral finite.
2. In the limit λ → 0, the action reduces to that of a free superparticle. In this case, the integral is of the form ∞×0 and is ill-defined. Regularizing with λ yields different answers depending on whether we approach 0 from positive or negative side. This is related to the jump in the η-invariant when an eigenvalue of the boundary operator B crosses a zero in a spectral flow as explained before figure 5.
3. The answer depends only the asymptotic behavior of h (u) at ±∞ and is independent of any deformations that do not change the asymptotics. In particular, one would obtain the same result in the limit a → ∞ in (4.10), when h (u) can be expressed in terms of the Heaviside step function: (4.14) 4. The error function (4.13) which appears naturally in this integral makes its appearance in the proof of the APS theorem [1,41] and also in the definition of the completion (5.13) of a mock modular form and, in particular, in (5.6). This is not a coincidence. The two turn out to be related through a path integral which localizes precisely to the ordinary superintegral considered above. For this reason, this example is particulary important for our discussions of the η-invariant and its connection to mock modularity.
The worldpoint integral does not have an operator interpretation in terms of a trace over a Hilbert space. To see the connection with the canonical formalism, we consider in §4.2 the worldline version corresponding to the path integral for a supersymmetric quantum mechanics, and relate it to Callias-Seeley-Bott index theorem [14,15] . After localization, the worldline path integral will reduce to the worldpoint integral considered above.

Callias index theorem and the η-invariant
In this section we compute the η invariant by computing path intergal for supersymmetric quantum mechanics with target space M. As discussed in §3.2 we can use separation of variables to first diagonalize the operator B on N with eigenvalues {λ} but now for the entire manifold M. For each eigenvalue λ, the problem reduces to a supersymmetric quantum mechanics with a one-dimensional target space and a superpotential h(u). The path integral for this problem can be readily written down and has been considered earlier in [52]. The action for SQM can be obtained as a specialization of (2.2) with target space as R by setting The Euclidean action for the components of the superfield U is with h (u) = λ tanh u. To compute the η-invariant we need to have to evaluate the projected Witten index (4.2) The path integral for the first term is the same as before with periodic boundary conditions for bosons and fermions. In the path integral for the second term both the bosons and the fermions have anti-periodic because of the insertion of P (−1) F . Given a path integral representation for the Witten index (3.9), one can apply localization methods by deforming it by a Q-exact term: (4.18) The integral is over the supermanifold {X(σ)} of maps from Σ to the supermanifold sM with a Q-invariant supersymmetric measure. The functional V is chosen such that QV ≥ 0 (so that adding QV to the action does not blow up the path integral) and Q 2 V = 0. This implies The supercharge Q is a fermionic vector field on this supermanifold so one can use Stokes theorem to show that the above integral vanishes. Usually one use the compactness of the manifold M to argue that there are no boundary terms. In the noncompact case, there can be a contribution from the asymptotics in the field space but it can still vanish by the arguments outlined in our discussion of the noncompact Witten index. Hence W (β, ξ) is independent of ξ. This implies that one can perform the integral W (β, ξ) for any value of ξ and in particular for ξ → ∞. In this limit, the functional integral localizes onto the critical points of the functional where SDet(µ) is the superdeterminant of the quadratic fluctuation operator coming from QV action expanded around X 0 (µ). See [53] for a recent review.
For the problem at hand, we choose where Q + is a real supercharge. The path integral localizes to constant modes of u and ψ + . Fluctuations around the constant modes are given by withũ and η satisfying periodic boundary conditions. So we have, Expanding the ψ − in modes and after evaluating the non-zero mode integrals we obtain The factor of 1 √ 2πβ comes from the determinants computed in §A.4. The integral (4.23) is identical to the worldpoint superintegral (4.11). Hence we obtain It remains to compute the other piece due to insertion of P (−1) F . In this case, the path-integral localizes to u = 0 = ψ + . Small fluctuations around the saddle point is given by Hereū andη satisfy anti-periodic boundary condition.
So the full answer is given by (4.17) We have performed the computation for a single eigenvalue λ. We get (4.27) for each eigenvalue. From (4.5) we get the η invariant to be which reproduces the expression (3.26) for η(β) obtained from scattering theory. Hence In conclusion, the Witten index for the worldline quantum mechanics is temperature-dependent as a consequence of the noncompactness of the target manifold.

The η-invariant of a finite cigar
It is instructive to apply the general considerations in earlier sections to an explicit computation for a simple and illustrative example where M is a two dimensional finite cigar with metric where θ is a periodic with period 2π and 0 ≤ r ≤ r c . The manifold has a boundary at r = r c with a product form N × I where N is the circle parametrized by θ with radius √ k. The non-zero Christoffel symbols are The orthonormal forms and the nonzero vielbeins are The cigar has a Killing isometry under translations of θ with the Killing vector The N = (0, 1) supersymmetric action can be obtained from (2.5) by setting The Lorentzian action is given by: We dimensionally reduce along the worldsheet σ direction to convert the action on the 2-torus to a collection of actions on a circle. Scherk-Schwarz reduction [54] along the sigma direction using the Killing vector gives where w is the winding number. We have where the derivative of ψ i is deduced from the transformation of the superfield X i = x i +θψ i + θθF i under the Killing symmetry. Using (4.37) in action (4.35) and integrating over the σ direction we get the Euclidean action after a Wick rotation: Plugging (4.30) in the action (4.38) we get: S[β; k, w] = β 0 dτ 1 2 kṙ 2 + k tanh 2 rθ 2 + w 2 k tanh 2 r + kψ rψ r − kψ r ∂ r (tanh 2 r)θψ θ +k tanh 2 rψ θψ θ − iwψ θ ∂ r (k tanh 2 r)ψ r (4.39) Our goal is to evaluate the path integral on the infinite cigar using localization and then connect it to the η-invariant for a finite cigar. To deform the action we choose V = G rr ψ r δψ r = kψ rṙ (4.40) This localizes the integral to constant modes of r and ψ r . We have: To compute the quadratic fluctuations QV [2] we set so that the quadratic fluctuations are given by The transformation (4.42) has unit Jacobian. We can now mode expand θ and ψ θ and we have After integrating out the fluctuations and non-zero modes of θ and ψ θ , we have The factor of 1 2πβ from the determinants as before. Substituting y = 1 2 βk tanh 2 r 0 , we obtain After Poisson resummation with respect to p (see equation (A.18)) we obtain, Now we can take the limit 10 β → 0 .
It is easy to check that W (∞) vanishes. Using (3.15), we obtain It is instructive to compare this result with a target space computation of the spectral asymmetry of the boundary operator B on a boundary located at r = r c . Using the inverse vielbeins from (4.32), the Dirac operator near the boundary takes the form For large r c , the boundary manifold is a circle S 1 . Identifying r with u and comparing with (2.25) we find the boundary operator The η-invariant of this operator can be computed readily. Since θ direction is periodic, the eigenfunctions are given by the set {e −inθ |n ∈ Z} (4.52) with eignevalues {wk − n|n ∈ Z} (4.53) The radius of the cigar is √ k. As long as k is not an integer, the boundary operator B has no zero modes. The η invariant is then given by: where in the last step we have used the fact that k is positive. This matches with the η invariant computed from the path integral (4.49).
In the infinite sum, one can absorb the integer part wk of wk into n, and hence the η invariant is expected to depend only on the fractional part wk of wk defined by where wk is the greatest integer less that wk. The regularized version of the η-invariant is (4.55) The η-invariant can now be expressed in terms of the modified ζ function Note that for k and w both integers, the η-invariant vanishes. As one varies k the η-invariant changes and everytime k crosses, an integer it jumps by −2. This is as expected from levelcrossing because precisely when k is an integer, the boundary operator has a zero eigenvalue.
We also see that the case of a zero eigenvalue can be treated by slightly deforming the boundary operator but the answer depends on the direction in which one approaches zero. This ambiguity is present also in the APS theorem and can be accounted for by assigning sgn(0) = 1 as in (2.38). This behavior is plotted in Figure 5 with η on the y-axis and wk on the x-axis.

Mock modularity and the η-invariant
In this section, we take k to be a positive integer and consider a worldsheet path integral for the superconformal field theory for an infinite cigar. The SCFT has a representation as a coset conformal field theory 11 of SL(2, R)/U (1) WZW model at level k. The elliptic genus for the Z N -orbifold of this theory was computed in [30,55] using the path integral for the coset theory where ϑ 1 (τ, z) is the odd Jacobi theta function We display theτ dependence explicitly to emphasize the nonholomorphicity. The cigar elliptic genus was a computed in [31] using free field calculation and modular properties and was shown to be given by (in a notation slightly different from [31]) where η(τ ) is the Dedekind eta function. The completionÂ 1,k of the Appel-Lerch sum A 1,k is given by It was shown in [30] that (5.1) agrees with (5.3) for N = 1. The same result was obtained in [33,34] using localization of the generalized linear sigma model that flows to the cigar geometry. The cigar elliptic genus was re-derived in [35,51] using canonical methods.
Our aim is to re-re derive the elliptic genus of an infinite cigar using localization of the path integral directly in the nonlinear sigma model connecting the computation to the earlier discussion of the η-invariant for the boundary of the finite cigar. For this purpose, it is convenient to re-express [2] the Appell-Lerch sum in the range |q| < |y| < 1 as where the asterisk in the sum indicates that the term = 0 is counted with multiplicity 1/2. This is the form in which we will encounter it in §5.2.

Mock Jacobi forms
In §2.3 we defined the elliptic genus of a compact SCFT. One can generalize the definition to a noncompact SCFT by generalizing the trace to include the scattering states as for the noncompact Witten index One can then write a path integral representation of the elliptic genus which can be a starting point for using localization methods. Even in the noncompact case, the path integral of the SCFT with a covariant regulator is manifestly diffeomorphism and Weyl invariant. Hence it is expected to be modular. Moreover, the spectral flow symmetry for the current J guarantees that it will be elliptic. Consequently, by the arguments outlined in §(2.3), we expect the elliptic genus to transform as a Jacobi form of weight 0 and index m as in the compact case. However, unlike in the compact case, it need not be independent ofτ . The elliptic genus for the cigar turns out to be a completion of a mixed mock Jacobi form which is nonholomorphic but transforms like a Jacobi form.
We recall a few definitions about (mixed) mock Jacobi forms and their completions 12 . A completion of a mixed mock Jacobi form admits the following theta expansion: where f (τ, z) is a jacobi form of weight u and index α. The theta expansion can once again be seen by bosonizing the current J as in the compact case. The theta coefficients are the completion of a vector valued mock modular form of weight (w − u − 1 2 ). The nonholomorphic sum h (τ,τ ) := h (τ ) + g * (τ,τ ) transforms like a vector-valued modular form where g * (τ,τ ) is a solution of the following differential equation.
where v = w−u− 1 2 . The holomorphic modular form g l (τ ) of weight 2−v. Using the completion ofĥ , (5.9) can be written as Given that g (τ ) has the Fourier expansion g(τ ) = n≥0 b ,n q n , we fix the choice of g * by setting 12 Our definitions are a slight variant of the definitions in [2], better suited to the problem at hand.
where τ 2 = Im(τ ) and Γ(1 − v, x) denotes the incomplete gamma function defined as in (A. 16), and where the first term must be replaced by −b 0 log(4πτ 2 ) if v = 1.
Note that the series in (5.13) converges despite the exponentially large factor q −n because . If we assume either that v > 1 or that b 0 = 0, then we can define g * alternatively by the integral (The integral is independent of the path chosen because the integrand is holomorphic in z.) Since φ(τ, z) is holomorphic, (5.10) implies that the completion of h is related to its shadow by We will apply these definitions in the next section to the special case of our interest.

Elliptic genus of an infinite cigar
The computation of η-invariant for a finite cigar can be used to compute the full elliptic genus for a N = (2, 2) SCFT on an infinite cigar 13 . Notice that for the cigar case, the R-symmetry generator J appearing in the definition of elliptic genus (5.8) commutes with the right moving supercharge. Hence for the right movers the computation reduces to computing the non-compact Witten index computed in §4.3. The full elliptic genus is given by χ(τ,τ |z) = Tr H (−1)J e −2πτ 2 (L 0 +L 0 ) e 2πiτ 1 (L 0 −L 0 ) e 2πizJ = W (2πτ 2 ) · Z oscill e 2πiτ 1 mw e 2πizJ (5.17) where W (2πτ 2 ) is the Witten index with β = 2πτ 2 , Z oscill is the contribution coming from left-moving oscillators and n, w are KK momenta and winding respectively along the cigar θ direction. The contribution coming from the oscillators is given by We get a contribution of (2i sin πz) from the zero modes of left moving fermions since they are charged under U (1) R . Now we can substitute the contribution. Using equation (4.47) and the 13 The SL(2, R)/U (1) coset has is a non-trivial background 'spacetime' dilaton Φ d (r) = Φ d0 − log cosh r (5. 16) which ensures that the theory is conformal even though the target space is not Ricci flat. Since the dilaton couples to the worldsheet curvature, it plays no role if the worldsheet is a torus as in our case.
contribution from left movers, we conclude that the elliptic genus for the cigar is given by To obtain the above expression we have dropped the last term in (4.47) using the following reasoning. At the tip of the cigar an infinite number of winding modes become massless leading to a divergence for this term. This is a consequence of the fact that winding number is strictly not a conserved quantum number at r = 0 as we have assumed. We can deal with it by regularizing the Witten index W (2πτ 2 ) near r = 0 by putting an cutoff in the r 0 integral in (4.45) and then taking → 0 in the end. With this regularization, the contribution from the last term in (4.47) vanishes and we get (somewhat surprisingly) the correct answer by this slightly heuristic procedure. In any case, this affects only the holomorphic piece and not the holomorphic anomaly which is our main interest. Since the holomorphic anomaly is determined by the scattering states, winding-number in the asymptotic region is a good quantum number for our purposes. As a result the holomorphic anomaly is not affected by this regularization. Note that on the cigar, the R-current is given by and as a consequence not only the fermions but bosons are also charged under R-symmetry.
With this normalization 14 [31], the left-moving fermions have charge −1 and the bosons have charge 1/k. In terms of the left moving momenta, the R-current is given by J = 1/k p L . The left and right moving momentas are given by: The expression for the elliptic genus is non-holomorphic but it is modular if k is an integer. More precisely, it transforms as a completion of a mock Jacobi form of weight 0 and index m.
The holomorphic piece is given by: We can replace the sum in (5.19) over by n and w by the sum over s and s by noting that = (n + wk) = (n − wk) mod 2k . Or equivalently n − wk = + 2ks , n + wk = + 2ks . (5.24) 14 We use α = 1 so that asymptotic radius R of the cigar is √ k while [31] uses α = √ 2.
Hence the holomorphic piece can be written as which matches with the result obtained in [31].
To find the shadow, let us focus only on the non-holomorphic piece χ nh (τ,τ |z) which equals Combining the holomorphic (5.25) and non-holomorphic (5.26) contribution, the elliptic genus of cigar is given by Comparing (5.26) and (5.11) we conclude that our elliptic genus is a mixed mock Jacobi form with and with w = 0 u = −1 and hence v = 1/2. The total index is m = 1 2 + 1 k which matches 15 with the expected index m = c/6 where c is the central charge of the coset. We can now compute the holomorphic anomaly using (5.15) where ϑ (1) k,l is the unary theta function which is defined as Comparing (5.15) and (5.29) we find that shadow vector is The shadow vector {g l (τ )} is an unary theta series as in (5.30). In this case with v = 1 2 , the incomplete gamma function in (5.13) can be expressed in terms of the complementary error function erfc(x) using (A.17).
In an interesting recent paper [56] the holomorphic anomaly was related to a one-point function on the torus, which by our analysis should be determined by the scattering states. 15 Note that A 1,k (τ, z) is a Jacobi form with index k but A 1,k τ, z k has index 1 k because of the rescaling of z. The theta function ϑ 1 (τ, z) transforms with index 1 2 .

The η-invariant and quantum modular forms
We consider the radial limit (τ 2 → 0 + ) of the non-holomophic part g (τ,τ ) in (5.6) to obtain The characteristic sgn(r) that appears in the η-invariant appears here too but now in a sum weighted with a phase. This infinite sum is not convergent but can be regularized to get a finite answer at rational points on the real line. Thus, the function is defined only over Q and not over R. However, the difference between the function and its modular transform has 'nice' properties over R. More precisely, the vector f (τ 1 ) transforms as where γ = a b c d ∈ SL(2, Z) and the 'period integral' h γ (τ 1 ) has some property of continuity and analyticity for every element γ and τ 1 ∈ R. In the terminology of [3], {f (τ 1 )} transform as (vector-valued) 'quantum modular forms' of weight 1 2 and are naturally regarded as the theta-coefficients of a 'quantum Jacobi form' [57].
We obtained the quantum modular form as a limit of the completion of a mock modular form defined on the upper half τ plane H + (τ 2 > 0) but it can equally well be obtained as a limit of a false theta function defined on the lower half plane H − (τ 2 < 0). Consider the false theta function [58,59] defined by With r = + 2kn, one can rewrite the f (τ 1 ) as which can be viewed as a τ 2 → 0 − limit of the false theta function for a = k and b = l using the fact that sgn ( + 2kn) = sgn(n) for positive k and 0 ≤ l < 2k. In this limit, the functions f (τ 1 ) have appeared in the computation of topological invariants of Seifert manifolds with three singular fibers [29]. See [29] for a discussion of quantum modular forms and the relation to mock and false theta functions in the context of Chern-Simons theory and WRT invariants [26-28, 60, 61]. Further discussion of quantum modular forms can be found in [22,61]. It would be interesting the explore further these connections with the nonholomorphic elliptic genus.
space, we use 1 ≤ i, j, . . . ≤ 2n as the coordinate indices 1 ≤ a, b, . . . ≤ 2n as the tangent space indices. We use the worldsheet metric to be η αβ = diag(−, +). A convenient basis for the two dimensional Dirac matrices is which satisfy {ρ α , ρ β } = −2η αβ . The worldsheet chiralityρ and charge conjugation matrix C areρ A Majorana spinor we mean a two-component real spinor The usual definition of Majorana spinor is thatψ = ψ † C. In this case, C = ρ 0 and hence you get the above condition.
We use the superspace sΣ with real superspace coordinates {σ α , θ A } to write down the supersymmertic lagrangian. We use the following convention for superspace derivatives and integrals In superspace, the supercharge is given by which satisfy the N = (1, 1) supersymmetry algebra To write actions invariant under the supersymmetry, one needs a supercovariant derivative. Supercovariant derivative is invariant under supersymmetry and it is defined by It satisfies the following anticommutations In presence of central charge the super-charge and the covariant derivative are modified as The presence of the killing vector in the target space allows a central term in the supersymmetry algebra. The central charge is related to the killing vector as K i = Zx i . The action (2.5) modifies to where D j is a covariant derivative on M [38]. For an off-shell formulation see [39]. A special case that we encounter is

A.2 Error function and incomplete Gamma function
One of the integrals (involving error function) which is useful in our computation is the following

A.3 Scattering theory
We review how the density of states can be related to the phase shifts in scattering theory. Consider the scattering problem for the Hamiltonian (See for example [62]) where we have added an adiabatic switching factor for the interaction V so that in the far past and and in the far future one obtains the free Hamiltonian H 0 . The time evolution operator in the Dirac picture is given by The field x(τ ) can be expanded in terms of the modes of the operator A on the base circle: x(τ ) = It follows from the fact that the measure for this integral involves only the local metric on the base (and not its derivatives). Hence, it can be normalized to unity by an ultralocal counterterm corresponding to the 'cosmological constant'. We then obtain