Macdonald Index in 4d SCFTs

• Macdonald index is a refined generating function that counts 1/4-BPS states in 4d N=2 SCFTs via the p→0 limit of the superconformal index.
• It connects distinct formalisms, including Macdonald-polynomial TQFTs, chiral-algebra characters, and fermionic q,t-series, to analyze protected operator spectra.
• Infrared methods such as refined Kontsevich-Soibelman operators and 3d twisted reductions highlight its versatility in encoding detailed scheme-theoretic structures.

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 (Gadde et al., 2011, Song, 2016, Andrews et al., 8 Jul 2025).

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 $p\to0$0 and $p\to0$1 (Gadde et al., 2011).

Chiral-algebra treatments often reparameterize the same refinement by $p\to0$2. One widely used expression is

$p\to0$3

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 $p\to0$4 (Song, 2016, Jiang, 31 Mar 2026).

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 $p\to0$5 is filtered by the number of generators appearing in monomials,

$p\to0$6

then the associated graded space

$p\to0$7

admits a refined character

$p\to0$8

and the conjecture is

$p\to0$9

The proposal works particularly cleanly for Virasoro and affine Kac-Moody examples, where null states and Sugawara relations can be treated explicitly (Song, 2016).

The proposal was tested further in $\mathcal S$0 Argyres-Douglas theories. In the large-$\mathcal S$1 limit, the Macdonald index was found to reproduce the refined vacuum character of the $\mathcal S$2 algebra,

$\mathcal S$3

At finite $\mathcal S$4, 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 (Watanabe et al., 2019).

A distinct VOA reconstruction was proposed for the special non-Schur limit

$\mathcal S$5

using graded unitarity. The construction forms a Hermitian Gram matrix

$\mathcal S$6

counts positive and negative eigenvalues, and defines

$\mathcal S$7

The key sign rule is

$\mathcal S$8

so the $\mathcal S$9-dependent grading is encoded in the signature of the Hermitian form rather than in an explicit $q,t$0-charge operator (Jiang, 31 Mar 2026).

This chiral-algebra perspective was also extended to $q,t$1 theories. For S-fold theories associated with crystallographic complex reflection groups, refined vacuum characters of $q,t$2 VOAs $q,t$3 were computed by brute force and conjecturally matched to Macdonald limits of the $q,t$4 index after the redefinition $q,t$5 (Agarwal et al., 2021).

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

A foundational development is the identification of the Macdonald limit of the $q,t$6 index with a correlator of a two-dimensional topological theory whose structure constants are diagonal in a basis of Macdonald polynomials. In class $q,t$7 $q,t$8-type theories, the relevant basis functions are

$q,t$9

and the index of a punctured surface is expressed as a sum over representations weighted by Macdonald-polynomial data (Gadde et al., 2011).

This framework was specialized to Argyres-Douglas theories in closed-form conjectures for $\mathcal S$0 and $\mathcal S$1: $\mathcal S$2

$\mathcal S$3

Here the irregular wavefunction $\mathcal S$4 is a simple deformation of an $\mathcal S$5 Macdonald-polynomial wavefunction, and the resulting indices were checked against symmetry enhancement, S-dualities, RG flows, and chiral-algebra null-state expectations (Buican et al., 2015).

A complementary line of work replaces bosonic TQFT sums by fermionic $\mathcal S$6-series with manifestly non-negative coefficients. For $\mathcal S$7, one proposal is

$\mathcal S$8

with the vacuum and next-to-vacuum modules interpreted as Macdonald indices of the corresponding Argyres-Douglas theories. Rank-two $\mathcal S$9 examples were treated analogously (Foda et al., 2019).

For $${\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},$$0, a fermionic-bosonic duality was later proved. The Macdonald index

$${\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},$$1

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 $${\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},$$2-Hermite and continuous $${\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},$$3-ultraspherical polynomials (Chern et al., 4 May 2026).

Related Macdonald-polynomial technology also appears outside the strict Macdonald limit. A two-parameter deformation of the Schur index of $${\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},$$4 $${\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},$$5 SYM was evaluated exactly through the Macdonald Cauchy identity and orthogonality, producing a partition sum over $${\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},$$6 of length at most $${\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},$$7 (Hatsuda, 5 Mar 2025). At the fully elliptic level, the $${\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},$$8 $${\mathcal I}_M = \mathrm{Tr}_{M}(-1)^F\, q^{E-2j_1-2R-r}\, t^{R+r},$$9 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 $\delta_{1+}=E+2j_1-2R-r=0.$0 and norms $\delta_{1+}=E+2j_1-2R-r=0.$1 (Ren et al., 1 Apr 2026).

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 $\delta_{1+}=E+2j_1-2R-r=0.$2 SCFTs whose Coulomb branch admits a source/sink chamber and satisfies a valency condition, the conjecture is

$\delta_{1+}=E+2j_1-2R-r=0.$3

The operator $\delta_{1+}=E+2j_1-2R-r=0.$4 is built from refined quantum dilogarithms $\delta_{1+}=E+2j_1-2R-r=0.$5 and $\delta_{1+}=E+2j_1-2R-r=0.$6, and explicit evidence was given for $\delta_{1+}=E+2j_1-2R-r=0.$7 Argyres-Douglas theories with simply-laced $\delta_{1+}=E+2j_1-2R-r=0.$8 (Andrews et al., 10 Nov 2025).

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 $\delta_{1+}=E+2j_1-2R-r=0.$9 theory flowing to an $p\to0$0 SCFT. The distinguished refinement is the axial symmetry

$p\to0$1

and the A-twisted half-index is

$p\to0$2

This construction gives fermionic sum formulas for several $p\to0$3-type Argyres-Douglas theories and, whenever possible, reproduces the refined-character prescription of the associated VOA (Kim et al., 14 Nov 2025).

An earlier and influential observation concerns the Hall-Littlewood specialization. For $p\to0$4 and $p\to0$5, the Hall-Littlewood limits of the conjectured Macdonald indices coincide with the Higgs-branch Hilbert series. The explanation proceeds through $p\to0$6 reduction and an inequality on monopole quantum numbers in the $p\to0$7 theory; this removes unwanted monopole contributions and leaves precisely the Higgs-branch scalar counting (Buican et al., 2015).

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 $p\to0$8 half-index approach is organized around the identification of a distinguished $p\to0$9 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 $4d\ \mathcal N=2$0, the refined character at trivial flavor fugacity is identified with the Hilbert series of the arc space of the Zhu algebra: $4d\ \mathcal N=2$1 Assuming Song’s conjecture, this yields

$4d\ \mathcal N=2$2

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 $4d\ \mathcal N=2$3 theories, with Schur-limit checks and RG-flow checks (Andrews et al., 8 Jul 2025).

A broader algebro-geometric proposal replaces the Higgs branch by a possibly nonreduced affine scheme $4d\ \mathcal N=2$4. The Schur index is obtained from the Hilbert series of the arc space $4d\ \mathcal N=2$5, while the Macdonald index is obtained from an associated graded algebra: $4d\ \mathcal N=2$6 In this picture the nilpotent structure of $4d\ \mathcal N=2$7 is essential, because it encodes decoupling or vanishing relations among protected operators that are invisible after passing to the reduced variety (Kang et al., 16 Jul 2025).

Examples are particularly transparent for point-like Argyres-Douglas theories. For $4d\ \mathcal N=2$8, the reduced Higgs branch is trivial, but the Zhu $4d\ \mathcal N=2$9-algebra is

$\frac14$0

so the scheme is a fat point rather than an ordinary point. The nilpotency relation $\frac14$1 captures missing short multiplets in operator products, and its jet expansion generates the tower of relations whose Hilbert series reproduces the index data (Kang et al., 16 Jul 2025).

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 $\frac14$2 currents and moment maps, and these descend to null states in the associated chiral algebras (Buican et al., 2015). 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 $\frac14$3, and its “index” is the order $\frac14$4. Work on the zeros of $\frac14$5 studies how these zeros move as $\frac14$6 varies, with structural changes at

$\frac14$7

and proves that the zeros vary continuously with $\frac14$8 while bifurcating at the special half-integers (Hamana et al., 2013). A related paper introduced the Macdonald-type companion

$\frac14$9

together with index transforms involving $p\to0$00 and $p\to0$01 (Yakubovich, 3 Jun 2026).

In integrable probability, Macdonald processes are measures on partitions built from Macdonald symmetric functions $p\to0$02 and $p\to0$03. 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 (Barraquand et al., 2018). 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 (Koshida, 2019).

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 $p\to0$04, queue inversion $p\to0$05, and quadruple coinversion $p\to0$06 in formulas for $p\to0$07 and $p\to0$08 obtained by superization (Jin et al., 13 Feb 2026).

Accordingly, the dominant contemporary meaning of Macdonald index in the cited literature is the protected $p\to0$09-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.