---
title: Macdonald Index in 4d SCFTs
url: https://www.emergentmind.com/topics/macdonald-index-c5cafdea-8aff-4f7b-8082-0037083d6d53
type: topic
---

# Macdonald Index in 4d SCFTs

In the literature surveyed here, the term **Macdonald index** denotes a protected generating function attached primarily to four-dimensional superconformal field theories, especially \(4d\ \mathcal N=2\) SCFTs. It is the Macdonald-limit refinement of the superconformal index, obtained by the \(p\to0\) specialization in class-\(\mathcal S\) treatments and, in chiral-algebra language, by introducing an additional grading beyond the Schur index. The same body of work presents the Macdonald index through several mathematically distinct but convergent formalisms: Macdonald-polynomial TQFT expansions, refined chiral-algebra characters, fermionic \(q,t\)-series, three-dimensional half-indices, refined Kontsevich-Soibelman traces, and arc-space Hilbert series [1110.3740, 1612.08956, 2507.06294].

## 1. Definition in supersymmetric field theory

A standard class-\(\mathcal S\) convention writes the Macdonald index as
\[
{\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},
\]
with the trace restricted to states obeying
\[
\delta_{1+}=E+2j_1-2R-r=0.
\]
In this form, the Macdonald index is the \(p\to0\) slice of the full \(4d\ \mathcal N=2\) superconformal index and counts \(\frac14\)-BPS states annihilated by two supercharges \({\cal Q}_{1+}\) and \(\widetilde{\cal Q}_{1\dot-}\) [1110.3740].

Chiral-algebra treatments often reparameterize the same refinement by \(t=qT\). One widely used expression is
\[
I_M(q,t)=\operatorname{Tr}_{\mathcal H_{\text{Mac}}}(-1)^F q^{\Delta-R} T^{R-r},
\qquad t=qT,
\]
while SCFT/VOA analyses of Schur operators emphasize that the Macdonald index counts the same set of operators as the Schur index but with a finer grading by the additional charge \(R-r\) [1612.08956, 2603.29829].

This dual presentation is structurally important. In one language the Macdonald index is a special limit of the superconformal index; in the other it is a refinement of the Schur-sector counting. A plausible implication is that the object is best understood not as a different protected sector, but as a more finely graded avatar of the same protected subsector.

## 2. Chiral algebra, filtration, and refined character

The central proposal of Song is that the Macdonald index is recovered from the associated two-dimensional chiral algebra by refining the vacuum character. If the vacuum module \(\mathcal V\) is filtered by the number of generators appearing in monomials,
\[
\mathcal V_0 \subset \mathcal V_1 \subset \mathcal V_2 \subset \cdots,
\]
then the associated graded space
\[
V_{\mathrm{gr}}=\mathcal V_0\oplus \bigoplus_{i=1}^{\infty}\mathcal V_i/\mathcal V_{i-1}
\]
admits a refined character
\[
Z_{\mathrm{ref}}(\vec z;q,T)=\sum_{i\ge 0}\sum_h \mathrm{ch}\!\left(V_h^{(i)};\vec z\right)\, q^h T^i,
\]
and the conjecture is
\[
I_M(q,t;\vec z)\big|_{t=qT} = Z_{\mathrm{ref}}(\vec z;q,T).
\]
The proposal works particularly cleanly for Virasoro and affine Kac-Moody examples, where null states and Sugawara relations can be treated explicitly [1612.08956].

The proposal was tested further in \((A_{n-1},A_{m-1})\) Argyres-Douglas theories. In the large-\(m\) limit, the Macdonald index was found to reproduce the refined vacuum character of the \(W_n\) algebra,
\[
\lim_{m\to\infty} I^{(A_{n-1},A_{m-1})} = \prod_{i=2}^n \frac{1}{(T^{i-1}q^i;q)}.
\]
At finite \(m\), the vacuum module and some simple non-vacuum modules continue to agree with the Macdonald index, while mismatches appear for more complicated surface-operator sectors, especially when null states proliferate [1909.04074].

A distinct VOA reconstruction was proposed for the special non-Schur limit
\[
\mathcal I_R(q)=\mathcal I_M(qe^{\pi i},e^{\pi i}),
\]
using graded unitarity. The construction forms a Hermitian Gram matrix
\[
M_{h,f} = \big((\mathcal O_i^{h,f},\mathcal O_j^{h,f})\big),
\]
counts positive and negative eigenvalues, and defines
\[
I_S(q)=\sum_{h,f}(-1)^f q^h\big(x_{h,f}^+ + x_{h,f}^-\big),\qquad
I_R(q)=\sum_{h,f}(-1)^f q^h\big(x_{h,f}^+ - x_{h,f}^-\big).
\]
The key sign rule is
\[
(\mathcal O,\mathcal O)\propto (-1)^{R-r+h},
\]
so the \(SU(2)_R\)-dependent grading is encoded in the signature of the Hermitian form rather than in an explicit \(R\)-charge operator [2603.29829].

This chiral-algebra perspective was also extended to \(4d\ \mathcal N=3\) theories. For S-fold theories associated with crystallographic complex reflection groups, refined vacuum characters of \(\mathcal N=2\) VOAs \(\mathcal W_{\mathsf G}\) were computed by brute force and conjecturally matched to Macdonald limits of the \(4d\) index after the redefinition \(t\to \xi q\) [2103.00985].

## 3. Macdonald-polynomial TQFTs, exact formulas, and fermionic expansions

A foundational development is the identification of the Macdonald limit of the \(4d\ \mathcal N=2\) index with a correlator of a two-dimensional topological theory whose structure constants are diagonal in a basis of Macdonald polynomials. In class \(\mathcal S\) \(A\)-type theories, the relevant basis functions are
\[
f^\lambda_{q,t}(\mathbf a) = {\cal K}_{q,t}(\mathbf a)\,P^\lambda(\mathbf a|q,t),
\]
and the index of a punctured surface is expressed as a sum over representations weighted by Macdonald-polynomial data [1110.3740].

This framework was specialized to Argyres-Douglas theories in closed-form conjectures for \((A_1,A_{2n-3})\) and \((A_1,D_{2n})\):
\[
\mathcal{I}_{(A_1,A_{2n-3})}(q,t;x) = \sum_{\lambda=0}^\infty C_\lambda\, \tilde f_\lambda^{(n)}(q,t;x),
\]
\[
\mathcal{I}_{(A_1,D_{2n})}(q,t;x,y) = \sum_{\lambda=0}^\infty \tilde f_\lambda^{(n)}(q,t;x)\, f_\lambda(q,t;y).
\]
Here the irregular wavefunction \(\tilde f_\lambda^{(n)}\) is a simple deformation of an \(A_1\) Macdonald-polynomial wavefunction, and the resulting indices were checked against symmetry enhancement, S-dualities, RG flows, and chiral-algebra null-state expectations [1509.05402].

A complementary line of work replaces bosonic TQFT sums by fermionic \(q,t\)-series with manifestly non-negative coefficients. For \((A_1,A_{2k})\), one proposal is
\[
\chi_{a}^{(2,2k+3)}(q,T) =
\sum_{N_1,\dots,N_k\ge 0}
\frac{
q^{N_1^2+\cdots+N_k^2+N_a+\cdots+N_k}\, T^{N_1+\cdots+N_k}
}{
(q)_{N_1-N_2}\cdots (q)_{N_{k-1}-N_k}(q)_{N_k}
},
\]
with the vacuum and next-to-vacuum modules interpreted as Macdonald indices of the corresponding Argyres-Douglas theories. Rank-two \(W_3\) examples were treated analogously [1912.01896].

For \((A_1,D_{2k+1})\), a fermionic-bosonic duality was later proved. The Macdonald index
\[
I_{\mathrm{Mac}}^{(2k+1)}(z,t;q)
\]
was shown to admit both a known bosonic single-sum and a conjectural fermionic multi-sum representation, and the equality was derived via Bailey’s transform and a new conjugate Bailey pair constructed from continuous \(q\)-Hermite and continuous \(q\)-ultraspherical polynomials [2605.02251].

Related Macdonald-polynomial technology also appears outside the strict Macdonald limit. A two-parameter deformation of the Schur index of \(U(N)\) \(\mathcal N=4\) SYM was evaluated exactly through the Macdonald Cauchy identity and orthogonality, producing a partition sum over \(\lambda\) of length at most \(N\) [2503.03952]. At the fully elliptic level, the \(\mathcal N=4\) \(U(N)\) superconformal index was reorganized in terms of elliptic Macdonald polynomials and the elliptic Ruijsenaars-Schneider system, yielding a compact sum over generalized partitions with coefficients \(B_\lambda(p,q,t)\) and norms \(\mathcal N_\lambda(p,q,t)\) [2604.00924].

## 4. Infrared, three-dimensional, and monodromy descriptions

One major development is the proposal of an infrared formula for the Macdonald index based on a refined Kontsevich-Soibelman operator. For a restricted class of \(4d\ \mathcal N=2\) SCFTs whose Coulomb branch admits a source/sink chamber and satisfies a valency condition, the conjecture is
\[
\mathcal I_{\mathrm M}(q,T,z_1,\dots,z_{N_f})
=(q)_\infty^{r}(qT)_\infty^{r}\,\mathrm{Tr}\,\mathcal O(q,T).
\]
The operator \(\mathcal O(q,T)\) is built from refined quantum dilogarithms \(E_{q,T}\) and \(\widetilde E_{q,T}\), and explicit evidence was given for \((A_1,\mathfrak g)\) Argyres-Douglas theories with simply-laced \(\mathfrak g\) [2511.07521].

A conceptually related but distinct derivation uses twisted dimensional reduction to three dimensions. In this picture the Macdonald index becomes a refined half-index of a \(3d\) theory flowing to an \(\mathcal N=4\) SCFT. The distinguished refinement is the axial symmetry
\[
U(1)_A=U(1)_H-U(1)_C,
\]
and the A-twisted half-index is
\[
I^A(q,T)=\mathrm{tr}_B(-1)^F\, q^{J+R_H}\, T^{R_H-R_C}.
\]
This construction gives fermionic sum formulas for several \((A_1,G)\)-type Argyres-Douglas theories and, whenever possible, reproduces the refined-character prescription of the associated VOA [2511.11186].

An earlier and influential observation concerns the Hall-Littlewood specialization. For \((A_1,A_{2n-3})\) and \((A_1,D_{2n})\), the Hall-Littlewood limits of the conjectured Macdonald indices coincide with the Higgs-branch Hilbert series. The explanation proceeds through \(S^1\) reduction and an inequality on monopole quantum numbers in the \(3d\) theory; this removes unwanted monopole contributions and leaves precisely the Higgs-branch scalar counting [1509.05402].

These infrared descriptions are not identical in scope. The refined KS operator is presently chamber-dependent and only defined in the source/sink chamber as written, whereas the \(3d\) half-index approach is organized around the identification of a distinguished \(U(1)_A\) symmetry. This suggests that the Macdonald index may admit several complementary infrared realizations rather than a single universal one.

## 5. Arc spaces, Zhu algebras, and algebro-geometric reformulations

A mathematically sharp reconstruction of the unflavored Macdonald index was proposed through the arc space of the Zhu algebra. For a strongly finitely generated VOA \(\mathcal V\), the refined character at trivial flavor fugacity is identified with the Hilbert series of the arc space of the Zhu algebra:
\[
Z_{\mathcal V}^{\rm ref}(\boldsymbol z=1;q,t)=H_{(A(\mathcal V))_\infty}(q,t).
\]
Assuming Song’s conjecture, this yields
\[
\mathcal I_M(1;q,t)=H_{(A(\mathcal V))_\infty}(q,t).
\]
The same work used Gröbner bases of jet ideals to make the Hilbert series computationally explicit and then conjectured a simple closed form for the Macdonald index of \((A_1,D_{2n+1})\) theories, with Schur-limit checks and RG-flow checks [2507.06294].

A broader algebro-geometric proposal replaces the Higgs branch by a possibly nonreduced affine scheme \(X\). The Schur index is obtained from the Hilbert series of the arc space \(J_\infty(\mathbb C[X])\), while the Macdonald index is obtained from an associated graded algebra:
\[
I_{\mathrm{Mac}}(q,T)=\operatorname{HS}_{p_i,q}\!\left(\mathrm{gr}(J_\infty(R))\right)\Big|_{p_i\to q^{d_i}T^{w_i}},
\qquad R=\mathbb C[X].
\]
In this picture the nilpotent structure of \(X\) is essential, because it encodes decoupling or vanishing relations among protected operators that are invisible after passing to the reduced variety [2507.12510].

Examples are particularly transparent for point-like Argyres-Douglas theories. For \((A_1,A_{2n})\), the reduced Higgs branch is trivial, but the Zhu \(C_2\)-algebra is
\[
R_V=\mathbb C[x]/(x^{n+1}),
\]
so the scheme is a fat point rather than an ordinary point. The nilpotency relation \(x^{n+1}=0\) captures missing short multiplets in operator products, and its jet expansion generates the tower of relations whose Hilbert series reproduces the index data [2507.12510].

The geometric viewpoint dovetails with the operator-relation analysis extracted from Macdonald indices. In low-rank Argyres-Douglas theories, the index implies specific relations involving composites of \(SU(2)_R\) currents and moment maps, and these descend to null states in the associated chiral algebras [1509.05402]. A plausible implication is that the Macdonald index is sensitive not only to graded dimensions but also to the scheme-theoretic structure of protected operator algebras.

## 6. Terminological scope and adjacent meanings

The phrase **Macdonald index** is not uniform across all areas where “Macdonald” appears. In special-function theory, the Macdonald function is the modified Bessel function of the second kind \(K_\nu(z)\), and its “index” is the order \(\nu\). Work on the zeros of \(K_\nu\) studies how these zeros move as \(\nu\) varies, with structural changes at
\[
\nu_n = 2n+\frac32,
\]
and proves that the zeros vary continuously with \(\nu\) while bifurcating at the special half-integers [1302.5154]. A related paper introduced the Macdonald-type companion
\[
M_{\nu}(x)= \int_{0}^\infty e^{-x\cosh u}\sinh(\nu u)\,du,
\]
together with index transforms involving \(M_{i\tau}\) and \(K_{i\tau}\) [2606.05329].

In integrable probability, Macdonald processes are measures on partitions built from Macdonald symmetric functions \(P_\lambda\) and \(Q_\lambda\). Half-space Macdonald processes replace the Cauchy identity by a generalized Littlewood identity and lead to observables for half-space polymer, stochastic six-vertex, and ASEP models [1802.08210]. A free-field formulation identifies the ring of symmetric functions with a Heisenberg Fock space and realizes Macdonald-process observables as matrix elements of vertex operators, making their determinantal structure manifest [1905.07087].

In algebraic combinatorics, recent work on symmetric Macdonald polynomials does not define a formal object called the Macdonald index. Instead it uses “index-like” statistics such as the major index \(maj\), queue inversion \(quinv\), and quadruple coinversion \(quadcoinv\) in formulas for \(P_\lambda(X;q,t)\) and \(J_\lambda(X;q,t)\) obtained by superization [2602.12672].

Accordingly, the dominant contemporary meaning of **Macdonald index** in the cited literature is the protected \(q,t\)-graded index of supersymmetric field theory. The same phrase can, however, sit beside other Macdonald-theoretic objects—Macdonald polynomials, Macdonald processes, Macdonald functions, and index transforms—whose “index” has a different technical meaning.

Source: https://www.emergentmind.com/topics/macdonald-index-c5cafdea-8aff-4f7b-8082-0037083d6d53