---
title: Refined Witten Index Overview
url: https://www.emergentmind.com/topics/refined-witten-index
type: topic
---

# Refined Witten Index Overview

The refined Witten index is not a single invariant with a uniform definition across the literature. In operator theory, it is a regularized extension of the Fredholm index to non-Fredholm operators, especially for the model operator \(D_A=d/dt+A(\cdot)\), and is expressed through spectral shift functions [1404.0740]. In two-dimensional \((0,1)\) supersymmetric quantum field theory, a torsion Witten index refines the ordinary Witten index or elliptic genus by detecting global anomalies and torsion data invisible to the free part of bordism [2207.13858]. In BPS counting on Calabi–Yau threefolds, the refined Witten or BPS index replaces numerical Euler characteristics by Poincaré or \(\chi_y\) data, thereby encoding the protected spin content of the BPS Hilbert space and leading to modular completions of mixed mock-Jacobi type [1910.03098].

## 1. Terminological scope

The phrase “refined Witten index” appears in at least three technically distinct settings represented by the literature below.

| Setting | Basic object | Refinement |
|---|---|---|
| Operator theory | \(W_r(T)\), \(W_s(T)\) | Regularizes the index for non-Fredholm \(T\) |
| 2d \((0,1)\) SQFT | \(J_{\mathcal Y}(q)\) | Detects torsion or global anomalies |
| BPS counting | \(\Omega(\gamma,z;y)\) | Replaces Euler characteristic by \(P(M,y)\) |

In the operator-theoretic setting, the ordinary Fredholm index is recovered whenever the relevant operator is Fredholm, but the refined object remains meaningful even when \(0\in \sigma(A_\pm)\) and \(D_A\) ceases to be Fredholm [1404.0740]. In the torsion-anomaly setting, the ordinary Witten index \(I(q)=\Tr(-1)^F q^{H_L}\bar q^{H_R}\) detects perturbative anomalies, whereas the torsion index detects global anomalies associated with torsion bordism classes [2207.13858]. In the BPS setting, the unrefined numerical invariant \(\Omega(\gamma,z)\) is replaced by \(\Omega(\gamma,z;y)\), which captures \(\Tr_{H_\gamma}(-y)^{2J_3}\) and hence refines the count by spin content [1910.03098].

A common misconception is that refinement merely means adding a fugacity. The literature here shows three different mechanisms: regularization by resolvents or semigroups, extraction of torsion data modulo modular ambiguities, and grading by \(SU(2)\) spin in BPS state counting.

## 2. Operator-theoretic refinement for \(D_A=d/dt+A(\cdot)\)

The operator-theoretic construction begins with a separable Hilbert space \(\mathcal H\), a self-adjoint background operator \(A_-\), and a family of symmetric perturbations \(B(t)\) such that
\[
A(t)=A_-+B(t), \qquad \operatorname{dom}(A(t))=\operatorname{dom}(A_-), \qquad t\in\mathbb R.
\]
The hypotheses stated in [1404.0740] require that \(B(t)(|A_-|+I)^{-1}\) be weakly locally absolutely continuous in \(t\), with weak derivative \(B'(t)(|A_-|+I)^{-1}\) in the trace-class ideal \(\mathcal B_1(\mathcal H)\), and
\[
\int_{\mathbb R}\|B'(t)(|A_-|+I)^{-1}\|_1\,dt<\infty.
\]
As \(t\to \pm\infty\), the operators \(A(t)\) converge in norm-resolvent sense to bounded self-adjoints \(A_\pm\), and \((A_+-zI)^{-1}-(A_--zI)^{-1}\in \mathcal B_1(\mathcal H)\) for \(z\notin \mathbb R\) [1404.0740].

One then forms the model operator on \(L^2(\mathbb R;\mathcal H)\),
\[
D_A=\frac{d}{dt}+A(\cdot),
\]
with adjoint
\[
D_A^*=-\frac{d}{dt}+A(\cdot),
\]
and the associated nonnegative self-adjoint operators
\[
H_1=D_A^*D_A,\qquad H_2=D_A D_A^*.
\]
The survey “The Spectral shift function and the Witten index” [1505.04895] emphasizes that this setup permits \(A(t)\) to be an unbounded relatively trace class perturbation of the unbounded self-adjoint operator \(A_-\), with no discrete spectrum assumptions on the asymptotes \(A_\pm\).

For a closed densely defined operator \(T\), the two regularized indices are
\[
W_r(T)=\lim_{\lambda\to 0^-}(-\lambda)\,\Tr\big[(T^*T-\lambda I)^{-1}-(TT^*-\lambda I)^{-1}\big],
\]
and
\[
W_s(T)=\lim_{t\to\infty}\Tr\big[e^{-tT^*T}-e^{-tTT^*}\big],
\]
whenever the trace-class conditions hold and the limits exist [1404.0740]. The consistency theorem states that if \(T\) is Fredholm, then
\[
W_r(T)=W_s(T)=\operatorname{ind}(T),
\]
and, in the formulation quoted in [1404.0740], these also equal the value of the spectral shift function at \(0\).

This refinement is significant because it enlarges index theory beyond the Fredholm regime without abandoning spectral formulas or trace identities. It is therefore an extension, not a replacement, of the ordinary index theorem.

## 3. Spectral shift functions and the averaging formula at zero

The central mechanism behind the refined operator-theoretic Witten index is the spectral shift function. For the pair \((A_+,A_-)\) of bounded self-adjoints with \(A_+-A_-\in \mathcal B_1(\mathcal H)\), [1404.0740] defines
\[
\xi(\lambda;A_+,A_-)=\frac{1}{\pi}\lim_{\varepsilon\downarrow 0}\Im \ln \det[(A_+-\lambda-i\varepsilon)(A_--\lambda-i\varepsilon)^{-1}],
\]
normalized so that \(\xi(\lambda)=0\) below \(\min \sigma(A_+,A_-)\), and one has \(\xi\in L^1(\mathbb R)\).

The relevant boundary behavior is formulated in terms of one-sided Lebesgue point values. A point \(\lambda_0\) is a right-Lebesgue point of \(\xi\) if
\[
\lim_{h\downarrow 0}\frac{1}{h}\int_{\lambda_0}^{\lambda_0+h}|\xi(\lambda)-\xi_L(\lambda_0+)|\,d\lambda=0,
\]
with an analogous definition on the left. These one-sided values enter the refined index formula because the non-Fredholm case is precisely the case in which a pointwise value at \(0\) may not be available in the naive sense [1404.0740].

A key input is Pushnitski’s formula, which relates the spectral shift function for \((H_2,H_1)\) to that for \((A_+,A_-)\):
\[
\xi(\mu;H_2,H_1)=\frac{1}{\pi}\int_{|v|\ge \sqrt{\mu}}
\big[\xi(v;A_+,A_-)-\xi(-v;A_+,A_-)\big](v^2-\mu)^{-1/2}\,dv
\]
for almost every \(\mu\in (0,\infty)\) [1404.0740]. Together with the resolvent trace-difference identity,
\[
\Tr[(H_2-zI)^{-1}-(H_1-zI)^{-1}]
=
\int_0^\infty \xi(\lambda;H_2,H_1)(\lambda-z)^{-2}\,d\lambda,
\]
analytic and growth estimates, Abelian–Tauberian arguments for Laplace transforms, and Lebesgue-point stability under Abel-type transforms, this yields the principal refined formula [1404.0740]:
\[
W_r(D_A)=W_s(D_A)=\xi_L(0_+;H_2,H_1)
=
\frac{\xi_L(0_+;A_+,A_-)+\xi_L(0_-;A_+,A_-)}{2}.
\]

The survey [1505.04895] presents the same non-Fredholm conclusion in the form that when \(0\in \sigma(A_\pm)\) and \(0\) is a right- and left-Lebesgue point of \(\xi(\cdot;A_+,A_-)\), the resolvent-regularized and semigroup-regularized Witten indices coincide with the average of the one-sided spectral-shift values at \(0\). This is the sense in which the refined index is “refined”: it depends on boundary behavior of the spectral shift function at threshold, rather than only on a discrete kernel-cokernel difference.

## 4. Fredholm reduction, quantization issues, and explicit examples

When \(0\in \rho(A_+)\cap \rho(A_-)\), the operator \(D_A\) is Fredholm, and the survey [1505.04895] states that
\[
\operatorname{ind}(D_A)=\xi(0;A_+,A_-)=\xi(0;|D_A^*|^2,|D_A|^2).
\]
In this regime the refined index collapses to the ordinary Fredholm index. The non-Fredholm theory is therefore continuous with the classical theory rather than disjoint from it.

The finite-dimensional case \(\dim \mathcal H<\infty\) is especially transparent. Then all spectra are purely discrete, \(\xi(\lambda;A_+,A_-)\) is piecewise constant, and \(0\) is automatically a Lebesgue point [1404.0740]. One has
\[
\xi(0+;A_+,A_-)=\#\{\text{positive eigenvalues of }A_+\}-\#\{\text{positive eigenvalues of }A_-\},
\]
and
\[
\xi(0-;A_+,A_-)=\#\{\text{negative eigenvalues of }A_-\}-\#\{\text{negative eigenvalues of }A_+\}.
\]
Consequently,
\[
W_r(D_A)=W_s(D_A)
=
\frac{\xi(0+;A_+,A_-)+\xi(0-;A_+,A_-)}{2},
\]
and the resulting values are either integer or half-integer [1404.0740]. This rules out the misconception that refinement in this setting necessarily preserves integrality.

The survey [1505.04895] then exhibits a one-dimensional example beyond relative trace class:
\[
A_-=-i\frac{d}{dx},\qquad A(t)=A_-+\theta(t)M_f,
\]
on \(L^2(\mathbb R)\), where \(M_f\) is multiplication by a bounded real \(f\in W^{1,1}\cap C_0\), \(f'\in L^\infty\), and \(\theta(+\infty)=1\), \(\theta(-\infty)=0\). In this example \((A_+,A_-)\) is not relatively trace class, but resolvent-comparable. Explicit Fourier analysis gives a constant spectral shift function,
\[
\xi(\nu;A_+,A_-)=\frac{1}{2\pi}\int_{\mathbb R}f(x)\,dx,\qquad \nu\in \mathbb R,
\]
and hence
\[
W_r(D_A)=W_s(D_A)=\xi(0;A_+,A_-)=\frac{1}{2\pi}\int_{\mathbb R}f(x)\,dx.
\]
The refined Witten index is therefore a nonquantized real number in this example [1505.04895]. A plausible implication is that quantization properties of the refined index depend strongly on the spectral and perturbative hypotheses, not merely on the formal supersymmetric structure.

## 5. Torsion Witten index in \((0,1)\) supersymmetric field theory

In two-dimensional \((0,1)\) SQFT, the torsion Witten index introduced by Yonekura refines the ordinary Witten index by detecting global, torsion-valued information [2207.13858]. The ordinary index or elliptic genus
\[
I(q)=\Tr\,(-1)^F\,q^{H_L}\bar q^{H_R}
\]
is used to forbid spontaneous supersymmetry breaking in the infinite-volume limit, but the paper emphasizes that some noncompact or “wrong” theories admit further obstructions to supersymmetry breaking which are invisible to \(I(q)\) and are needed to rule out certain target-space global anomalies in heterotic strings [2207.13858].

The construction starts from a compact \((0,1)\) SQFT \(\mathcal Y\) with even pure-gravitational anomaly \(\nu(\mathcal Y)=\nu-1\in 2\mathbb Z\), and forms a mildly noncompact theory
\[
\mathcal X=\sigma(\mathbb R_{\ge 0})\otimes \mathcal Y
\]
with anomaly \(\nu(\mathcal X)=\nu\). On \(\mathcal X\) there are two notions of zero modes of the supercharge \(Q\): \(\ker_{L^2}Q\), consisting of normalizable solutions, and \(\ker_{\mathrm{bdry}}Q\), consisting of bounded-at-infinity solutions. After decomposing by momentum \(P=n-\nu/24\) and \((-1)^F=\pm 1\), one defines the APS-type indices
\[
I_{\mathcal X}(q)=\sum_{n\in \mathbb Z}\Index^{L^2}_{n-\nu/24}\,q^{n-\nu/24},
\qquad
\widetilde I_{\mathcal X}(q)=\sum_{n\in \mathbb Z}\Index^{\mathrm{bdry}}_{n-\nu/24}\,q^{n-\nu/24}.
\]
If \(N\) copies of \(\mathcal Y\) appear as the boundary theory of some noncompact \(\mathcal X\), then the gluing law implies that \(I_{\mathcal X}(q)/N\) depends only on \(\mathcal Y\) up to weakly holomorphic modular forms of weight \(\nu/2\) and a free multiple of \(q^{-\nu/24}\mathbb Z((q))\), the latter arising from Kramers degeneracy when \(\nu\equiv 4\pmod 8\) [2207.13858].

The torsion index is then defined by
\[
J_{\mathcal Y}(q)
=
\frac{1}{N}I_{\mathcal X}(q)
\;\bmod\;
\eta(\tau)^{-\nu}\,\mathrm{MF}[\Delta^{-1}]_{\nu/2}
\;\oplus\;
\mathsf m\,q^{-\nu/24}\,\mathbb Z((q)),
\]
where \(\mathsf m=2\) if \(\nu\equiv 4\pmod 8\), and \(\mathsf m=1\) otherwise. The paper states that \(J_{\mathcal Y}(q)\) is independent of \((N,\mathcal X)\) and invariant under continuous deformations of \(\mathcal Y\) [2207.13858].

The physical interpretation is explicit. Perturbative anomalies correspond to the ordinary part of the Witten genus, whereas global anomalies come from torsion in the bordism group \(\Omega^\mathcal B_{D+1}(pt)\) and are measured by evaluating the torsion index \(J_{\mathcal Y}(q)\) on torsion classes [2207.13858]. The conjectural relation to \(\mathrm{TMF}\) is
\[
\pi_0\,\mathrm{TMF}_{-\nu}\cong \mathrm{TMF}^{-\nu}(pt),
\]
and \(J_{\mathcal Y}(q)\) realizes some of the finite invariants in \(\mathrm{TMF}^{-\nu}(pt)\). For heterotic strings one has
\[
\nu=-20\;\Longrightarrow\;\mathrm{TMF}^{21}(pt)=0,
\]
so \(J_{\mathcal Y}(q)\) must vanish and there are no global anomalies [2207.13858].

The examples are correspondingly torsion-sensitive. For the \(S^3_k\)-sigma model, one obtains an order-24 invariant and \(J_{\sigma(S^3_k)}=-k\,J_{\sigma(S^3_{-1})}\); for torus sigma models, \(J_{\sigma(S^1)}\) and \(J_{\sigma(T^3)}\) are order-2 invariants; and nonzero \(J\) obstructs spontaneous supersymmetry breaking [2207.13858]. Here the refinement is not a spectral threshold effect but a torsion refinement of anomaly detection.

## 6. Refined BPS indices, modular completion, and Vafa–Witten theory

In the Calabi–Yau and BPS-counting literature, the refined Witten index is a refinement of the numerical BPS index. For a polarization \(z^{(a)}\), an effective divisor class \([D]=p^a\omega_a\), and the moduli space \(M_{\gamma,z}\) of semistable coherent sheaves of charge
\[
\gamma=(0,p^a,q_a,q_0)\in H_{\mathrm{even}}(Y),
\]
the unrefined numerical index \(\Omega(\gamma,z)\) is \((-1)^{d_C}\) times the Euler characteristic of \(M_{\gamma,z}\). The refined index replaces \(\chi(M)\) by the Poincaré or \(\chi_y\) polynomial
\[
P(M,y)=\sum_{p=0}^{2d_C} y^{p-d_C}b_p(M),
\]
and sets
\[
\Omega(\gamma,z;y)=P(M_{\gamma,z},-y).
\]
It captures the spin content \(\Tr_{H_\gamma}(-y)^{2J_3}\) of the BPS Hilbert space [1910.03098].

In the large-volume “MSW” chamber, one further decomposes the invariants under spectral-flow symmetry acting on D2–D0 charges and writes the rational MSW invariants as \(\bar \Omega_{p,\mu}(\hat q_0;y)\), where \(\mu\in \Lambda^*/\Lambda\) labels the residue of \(q_a\) mod shifts and \(\hat q_0=q_0-\frac12\kappa^{ab}q_aq_b\) is the invariant D0-charge [1910.03098]. The corresponding generating functions are
\[
h_{p,\mu}(\tau,w)
=
\sum_{\hat q_0\le \hat q_0^{\max}}
\frac{\bar\Omega_{p,\mu}(\hat q_0;y)}{y-y^{-1}}\,q^{-\hat q_0},
\]
with \(q=e^{2\pi i\tau}\) and \(y=e^{2\pi i w}\). After completion, these assemble into a multivariate Jacobi form of weight \(-\frac12 b_2(Y)\) and index \(m(p)\), and one may equivalently form the modified elliptic genus
\[
Z_p(\tau,\zeta,w)=\sum_{\mu\in \Lambda^*/\Lambda}\widehat h_{p,\mu}(\tau,w)\,\Theta_{p,\mu}(\tau,\zeta,w)
\]
[1910.03098].

For divisor classes \(p=\sum_{i=1}^n p_i\) decomposing into \(n\) irreducible pieces, the \(h_{p,\mu}\) are mixed mock-Jacobi forms of depth \(n-1\). The modular completion is
\[
\widehat h_{p,\mu}(\tau,w)
=
\sum_{n=1}^\infty
\sum_{p_1+\cdots+p_n=p\atop \mu_1+\cdots+\mu_n=\mu}
R_n(\{p_i,\mu_i\};\tau_2,y)\,e^{\pi i\tau Q_n}\,\prod_{i=1}^n h_{p_i,\mu_i}(\tau,w),
\]
with \(R_n\) built from generalized error-functions \(E_n\). The completed functions transform under \(SL(2,\mathbb Z)\) as vector-valued Jacobi forms of weight \((-\frac{b_2}{2},0)\) and index
\[
m(p)=-\frac16\,p^3+\rho_a p^a
\]
up to a linear ambiguity \(\rho_a\) [1910.03098].

The non-holomorphic completion satisfies a holomorphic anomaly equation. In the special case where all \(p_i\) are proportional to a fixed one-dimensional class, such as \(b_2=1\) or the local limit \(p=Np_0\), the kernels \(J_n\) vanish for all \(n>2\), and the anomaly truncates to quadratic order [1910.03098]. The same paper shows that the refined deformation \(y\neq 1\) naturally endows the classical Darboux coordinates on twistor space with a non-commutative star product,
\[
f\star g
=
f\exp\!\Big[\frac{1}{2\pi i}\big(\overleftarrow D_a\,\overrightarrow \theta^a-\overleftarrow \theta^a\,\overrightarrow D_a\big)\Big]g,
\]
leading to a non-commutative analogue of the TBA equations and a functional relation characterizing a quantum dilogarithm. In the paper’s interpretation, turning on the refinement quantizes the integrable TBA hierarchy while preserving S-duality [1910.03098].

For a local Calabi–Yau threefold \(Y=\mathrm{Tot}(K_S)\), an \(SU(2)_R\) symmetry restores protection of the refined index, and
\[
\Omega_{D4}(\gamma;y)=VW_N(F_S;y),
\]
so the refined BPS invariants coincide with the \(\chi_{y^2}\)-genus of the moduli of \(U(N)\) instantons on \(S\) [1910.03098]. The full partition function is
\[
\widehat Z_N^{VW,\mathrm{ref}}(\tau,v,w)=\sum_{\mu\in \Lambda_S/N\Lambda_S} h_{N,\mu}(\tau,w)\,\vartheta^{VW}_{N,\mu}(\tau,v),
\]
and on \(S=\mathbb P^2\) the explicit rank-2, rank-3, and rank-4 completions reproduce the known Vafa–Witten completions, up to a harmless overall sign [1910.03098].

Taken together, these results show that “refined Witten index” ranges from a threshold-sensitive spectral invariant of non-Fredholm operators to a torsion anomaly invariant of \((0,1)\) SQFTs and a spin-sensitive BPS counting invariant with modular and non-commutative structures. The common thread is not a single formula, but a shared strategy: each refinement preserves the organizing role of the Witten index while enlarging the class of phenomena that the ordinary index can detect.

Source: https://www.emergentmind.com/topics/refined-witten-index