Macdonald Dimensions Overview

• Macdonald Dimensions are refined evaluations of Macdonald polynomials that extend classical dimensions through (q,t)-deformations in various algebraic and physical contexts.
• They are computed via specialized techniques including refined Weyl evaluations, hook formulas, and factorization properties across symmetric functions, Lie theory, and 4d/2d correspondences.
• The concept unifies diverse settings by linking graded state counts, q,t-Kostka coefficients, and universal invariants, with applications in SCFTs and vertex operator algebras.

Searching arXiv for recent and foundational papers on Macdonald dimensions across representation theory, symmetric functions, and 4d/2d correspondences. arXiv search query: "Macdonald dimensions Vogel universality Macdonald index refined character chiral algebra". “Macdonald dimensions” denotes several closely related but context-dependent refined quantities built from Macdonald theory. In representation-theoretic and symmetric-function settings, the term refers to special evaluations of Macdonald polynomials at refined Weyl or topological loci, often yielding $q,t$-deformations of quantum or classical dimensions. In four-dimensional supersymmetric quantum field theory, it refers instead to refined graded degeneracies extracted from the Macdonald limit of the superconformal index and, via the $4\mathrm d$–$2\mathrm d$ correspondence, from refined vacuum characters of vertex operator algebras (VOAs). In bisymmetric and multi-symmetric extensions, the same phrase is used for $q,t$-Kostka coefficients that specialize to dimensions of irreducible representations of hyperoctahedral or wreath-product groups. The literature therefore uses a common label for structurally analogous, but not identical, notions of refined dimension (Bishler, 15 Jul 2025, Agarwal et al., 2021, Blondeau-Fournier et al., 2012, González et al., 2019).

1. Terminological scope and common structure

Across the cited literature, Macdonald dimensions are always tied to the passage from Schur-theoretic or ordinary character data to Macdonald-theoretic $(q,t)$-refinements. What changes from one context to another is the underlying object being counted or evaluated: highest-weight representations, symmetric polynomials, protected operator spaces in SCFTs, or Schur-expansion coefficients in bisymmetric and multi-symmetric theories.

Context	Object	Meaning of “Macdonald dimensions”
Root systems and Lie theory	$P^{(R,S)}_\lambda$	Evaluation at refined Weyl points
Topological-locus symmetric functions	$M_{q,t}(\lambda;A)$	$(q,t)$-refined dimension-like specialization
4d SCFT / VOA	Macdonald index or refined vacuum character	Graded degeneracies at fixed level and charge
Double and multi-Macdonald theory	$q,t$-Kostka coefficients	$q,t$-analogs of group-representation dimensions

A recurring structural feature is factorization. In the simply laced root-system setting, ordinary and dual Macdonald dimensions coincide and factorize (Bishler, 15 Jul 2025). At topological loci for ordinary Macdonald polynomials, the specialization also factorizes over boxes of a Young diagram (Kononov et al., 2016). In generalized Macdonald-polynomial settings, full factorization fails generically but survives on codimension-one slices (Kononov et al., 2016). In 4d/2d applications, the relevant refined series are not dimension formulas in the Lie-theoretic sense, but graded traces whose coefficients function as refined dimensions of protected state spaces (Agarwal et al., 2021, Watanabe et al., 2019).

This suggests that the term is best understood as a family resemblance: each usage encodes a refined, graded, or specialized notion of dimension, but the ambient category differs.

2. Root-system definition: Macdonald, dual Macdonald, and mixed Macdonald dimensions

For a crystallographic root system $4\mathrm d$0 with Weyl group $4\mathrm d$1 and an admissible pair $4\mathrm d$2 of root systems sharing the same $4\mathrm d$3, Macdonald–Cherednik theory provides $4\mathrm d$4-invariant symmetric polynomials $4\mathrm d$5 indexed by dominant weights $4\mathrm d$6, characterized by triangularity and orthogonality with respect to the Macdonald scalar product determined by the Macdonald density (Bishler, 15 Jul 2025). With Weyl and refined Weyl vectors

$4\mathrm d$7

and the corresponding coroot data

$4\mathrm d$8

the Macdonald dimension of highest weight $4\mathrm d$9 is defined by evaluation at the refined Weyl point

$2\mathrm d$0

In general these do not factorize (Bishler, 15 Jul 2025).

The dual Macdonald dimensions are defined by evaluation at the dual refined point

$2\mathrm d$1

with $2\mathrm d$2, and they do factorize: $2\mathrm d$3 Here $2\mathrm d$4 and $2\mathrm d$5, with $2\mathrm d$6 depending only on root length (Bishler, 15 Jul 2025).

For simply laced types $2\mathrm d$7, one has $2\mathrm d$8 and $2\mathrm d$9, hence $q,t$0; factorization then already holds at $q,t$1 (Bishler, 15 Jul 2025). This is the setting in which the 2025 literature formulates a Vogel-universal adjoint expression. With Vogel parameters $q,t$2 and $q,t$3, the adjoint Macdonald dimension is given universally for simply laced series by

$q,t$4

equivalently in the longer five-factor form stated in the paper (Bishler, 15 Jul 2025).

The same paper also defines mixed Macdonald dimensions for pairs $q,t$5 with $q,t$6, such as $q,t$7 or $q,t$8, where length-dependent parameters split and only the dual quantity enjoys a product formula (Bishler, 15 Jul 2025). A central limitation is explicit: no universal Vogel expression is presently known beyond simply laced types, and for non-simply-laced root systems only the dual quantity factorizes in general (Bishler, 15 Jul 2025).

3. Topological loci, hook formulas, and generalized polynomial settings

In the symmetric-function literature, Macdonald dimensions are also realized as principal or character-like specializations of Macdonald polynomials. For ordinary Macdonald polynomials, the topological locus is

$q,t$9

and the specialization factorizes as

$(q,t)$0

When $(q,t)$1, this specialization is referred to as the Macdonald dimension of $(q,t)$2 (Kononov et al., 2016).

This is the direct $(q,t)$3-refinement of the Schur-level hook formula for quantum dimensions of $(q,t)$4 representations. For example,

$(q,t)$5

and setting $(q,t)$6 produces the corresponding Macdonald dimensions (Kononov et al., 2016).

The same source distinguishes this ordinary factorization from the more subtle behavior of generalized Macdonald polynomials associated with the toroidal Ding–Iohara–Miki algebra. For first-coproduct generalized Macdonald polynomials $(q,t)$7 depending on two sets of times and an additional deformation parameter $(q,t)$8, full topological-locus factorization does not persist generically. Instead, the paper identifies a weak factorization on codimension-one slices, notably

$(q,t)$9

where the plethystic logarithm becomes linear in $P^{(R,S)}_\lambda$0 and factorized in a nontrivial sense; the conjecture is checked up to $P^{(R,S)}_\lambda$1 (Kononov et al., 2016). The paper is explicit that this weak factorization is conjectural and that a full two-parameter topological-locus factorization fails away from these slices (Kononov et al., 2016).

A related but distinct framework appears in generalized Macdonald polynomials for 5d AGT. There, “dimension-like” quantities arise from character-like specializations or Selberg averages that reduce to product-over-box expressions built from the Nekrasov factors

$P^{(R,S)}_\lambda$2

and

$P^{(R,S)}_\lambda$3

with $P^{(R,S)}_\lambda$4 (Zenkevich, 2014). In that literature, Macdonald dimensions are the specialization values that function as refined character or instanton weights rather than root-theoretic dimensions proper (Zenkevich, 2014).

4. Double and multi-Macdonald theories: dimensions of $P^{(R,S)}_\lambda$5 and $P^{(R,S)}_\lambda$6

In the stable limit of Macdonald superpolynomials, double Macdonald polynomials indexed by bipartitions $P^{(R,S)}_\lambda$7 arise as bisymmetric polynomials and obey a factorization theorem: $P^{(R,S)}_\lambda$8 This factorization immediately yields norms, kernels, duality, and evaluation formulas (Blondeau-Fournier et al., 2012).

The term “Macdonald dimensions” enters here through the modified double Macdonald polynomials and their double $P^{(R,S)}_\lambda$9-Kostka coefficients. Writing

$M_{q,t}(\lambda;A)$0

the coefficients $M_{q,t}(\lambda;A)$1 are positive and specialize at $M_{q,t}(\lambda;A)$2 to the dimensions of irreducible representations of the hyperoctahedral group $M_{q,t}(\lambda;A)$3: $M_{q,t}(\lambda;A)$4 Equivalently,

$M_{q,t}(\lambda;A)$5

where $M_{q,t}(\lambda;A)$6 is the hook-length dimension of the irreducible $M_{q,t}(\lambda;A)$7-module indexed by $M_{q,t}(\lambda;A)$8 (Blondeau-Fournier et al., 2012).

The paper also defines a type-$M_{q,t}(\lambda;A)$9 Nabla operator whose action on a certain bisymmetric Schur function yields a Frobenius series with total dimension $(q,t)$0 (Blondeau-Fournier et al., 2012). This does not redefine Macdonald dimensions themselves, but it locates them inside a broader type-$(q,t)$1 combinatorial and representation-theoretic apparatus.

An $(q,t)$2-fold generalization is developed in the theory of multi-Macdonald polynomials indexed by multipartitions

$(q,t)$3

These polynomials factor as products of ordinary Macdonald polynomials evaluated at recursively defined alphabets: $(q,t)$4 with

$(q,t)$5

Their modified forms define multi $(q,t)$6-Kostka coefficients

$(q,t)$7

and these satisfy

$(q,t)$8

In this context, the paper explicitly states that “Macdonald Dimensions” refers to the coefficients $(q,t)$9 as $q,t$0-analogs of the dimensions of irreducible representations of the wreath product $q,t$1 (González et al., 2019).

A common misconception is that these coefficients are merely evaluation formulas. The paper distinguishes them from principal specializations: in the multi-Macdonald setting, “Macdonald Dimensions” specifically refers to the $q,t$2-Kostka coefficients, not to the evaluation map itself (González et al., 2019).

5. Four-dimensional SCFTs and VOAs: Macdonald dimensions as refined graded operator counts

In the 4d $q,t$3 SCFT literature, Macdonald dimensions are not evaluations of symmetric functions but refined graded degeneracies of protected operator spaces. For a 4d $q,t$4 SCFT, the superconformal index is

$q,t$5

and the Macdonald limit is obtained by $q,t$6, yielding

$q,t$7

on the subsector obeying $q,t$8 (Agarwal et al., 2021).

Via the 4d–2d correspondence, the Macdonald-limit index is identified with a refined vacuum character of the associated VOA. In the conventions used for $q,t$9 S-fold theories, one sets $q,t$0, so that

$q,t$1

and

$q,t$2

with $q,t$3 (Agarwal et al., 2021).

In this setting, the coefficients in the expansion

$q,t$4

are the Macdonald dimensions: graded degeneracies of Schur operators at fixed level $q,t$5 and charge $q,t$6 (and flavor $q,t$7 if $q,t$8 is retained) (Agarwal et al., 2021). In the Schur limit, $q,t$9 and $4\mathrm d$00, they reduce to

$4\mathrm d$01

The paper computes these quantities by brute force for $4\mathrm d$02 VOAs labeled by crystallographic complex reflection groups. For $4\mathrm d$03 and $4\mathrm d$04, the VOAs are realized as subalgebras of free $4\mathrm d$05 ghost systems and identified as kernels of screening operators (Agarwal et al., 2021). The resulting refined vacuum characters encode the Macdonald-limit data. Representative results include:

• For $4\mathrm d$06, with central charge $4\mathrm d$07, the Schur expansion begins

$4\mathrm d$08

so low-order Macdonald dimensions include $4\mathrm d$09, $4\mathrm d$10, $4\mathrm d$11, $4\mathrm d$12, $4\mathrm d$13 (Agarwal et al., 2021).

• For $4\mathrm d$14, with central charge $4\mathrm d$15, bosonic states appear at integer $4\mathrm d$16 and fermionic states at half-integer $4\mathrm d$17, implying no boson–fermion cancellation within a fixed level; the Schur series begins

$4\mathrm d$18

(Agarwal et al., 2021).

• For $4\mathrm d$19, with central charge $4\mathrm d$20, the refined Macdonald character at $4\mathrm d$21 begins

$4\mathrm d$22

so, for example, at $4\mathrm d$23 one has $4\mathrm d$24 and $4\mathrm d$25 (Agarwal et al., 2021).

The significance of these quantities is operational: null-state relations subtract from naive free-field degeneracies, producing the nontrivial signs and cancellations visible in the refined series (Agarwal et al., 2021). In this usage, “Macdonald dimensions” is therefore a protected-sector counting notion rather than an evaluation formula.

6. Refined characters, Argyres–Douglas theories, universality, and open issues

A closely related SCFT usage appears in the study of $4\mathrm d$26 Argyres–Douglas theories with $4\mathrm d$27. There, Song’s proposal identifies the 4d Macdonald index with a refined character of the dual chiral algebra,

$4\mathrm d$28

where

$4\mathrm d$29

counts the number of basic chiral-algebra generators in a PBW-like basis after removing nulls (Watanabe et al., 2019). In this framework, “Macdonald dimensions” are the coefficients in the $4\mathrm d$30 expansion of the refined character, equivalently the $4\mathrm d$31-refined multiplicities of 2d states per level (Watanabe et al., 2019).

A key result is the large-$4\mathrm d$32 product formula

$4\mathrm d$33

which directly encodes refined generator multiplicities in the $4\mathrm d$34 VOA (Watanabe et al., 2019). Explicit low-rank examples show agreement between Macdonald indices and refined characters for vacuum modules and some simple defect modules, but the paper also reports mismatches for larger defect labels, especially for rank-1 defects with $4\mathrm d$35, where naive Higgsing strip-off factors lead to indices that cannot be interpreted cleanly as refined characters (Watanabe et al., 2019). This is one of the clearest controversies in the SCFT usage: the proposal works well in many simple and large-$4\mathrm d$36 cases, but not uniformly.

A different kind of limitation appears in the Vogel-universality literature. For simply laced ADE root systems, the adjoint Macdonald dimension admits a single universal Vogel expression (Bishler, 15 Jul 2025). However, the 2025 extension to link hyperpolynomials argues that Macdonald dimensions themselves are not universal on Vogel’s plane; rather, universality emerges for products of Macdonald dimensions with $4\mathrm d$37-deformed Littlewood–Richardson coefficients in the adjoint sector (Bishler et al., 22 May 2025). In that setting, the universal objects are the six “uirreps” in

$4\mathrm d$38

and the relevant universal combinations are

$4\mathrm d$39

rather than $4\mathrm d$40 alone (Bishler et al., 22 May 2025). The paper further uses these combinations to write universal refined Hopf and $4\mathrm d$41 torus-link hyperpolynomials in the adjoint sector for ADE (Bishler et al., 22 May 2025).

Taken together, these developments show that the phrase “Macdonald dimensions” has stabilized around a common theme—$4\mathrm d$42-refined dimension data—but not around a single formal definition. In Lie theory it is an evaluation of Macdonald polynomials; in topological-locus and AGT settings it is a factorized specialization; in double and multi-Macdonald theory it is a $4\mathrm d$43-Kostka refinement of representation-theoretic dimensions; and in SCFT/VOA applications it is a refined graded count of protected states (Bishler, 15 Jul 2025, Kononov et al., 2016, Blondeau-Fournier et al., 2012, González et al., 2019, Agarwal et al., 2021, Watanabe et al., 2019). A plausible implication is that the durability of the term comes less from a single definition than from a shared algebraic pattern: Macdonald theory repeatedly turns ordinary dimensions, characters, or graded multiplicities into two-parameter refined invariants that preserve substantial factorization and representation-theoretic structure.