Dual Macdonald Dimensions in Macdonald Theory

• The paper establishes that evaluating Macdonald polynomials at the dual refined Weyl vector yields factorized dual Macdonald dimensions, contrasting with the non-factorized ordinary dimensions.
• Dual Macdonald dimensions are refined analogues defined via root-product formulas that capture invariant properties and facilitate universal expressions in simply laced cases.
• They reveal structural differences in non-simply-laced and mixed settings, delineating precise boundaries where refined Vogel universality holds.

Searching arXiv for the cited works to ground the article in current literature. to=arxiv_search เดิมพันฟรี 夫妻性生活影片 code {"^^^^^^^^3query3 OR \3^^^^^^^^"Vogel's universality and Macdonald dimensions\"^^^^^^^^3 OR \3^^^^^^^^"Dual Macdonald dimensions\""} to=arxiv_search 派奖中 code {"^^^^^^^^3query3 OR \3^^^^&&&) OR (&&&^^^^3 OR \3^^^^&&&) OR (Orr et al., 2024) OR (González et al., 2019) OR (Kononov et al., 2016) OR (Blondeau-Fournier et al., 2012)"} Dual Macdonald dimensions are refined analogues of dual quantum dimensions defined by evaluating Macdonald polynomials at a distinguished “dual refined Weyl vector,” rather than at the refined Weyl vector used for ordinary Macdonald dimensions. In the formulation of “Vogel’s universality and Macdonald dimensions” (&&&^^^^3query3^^^^&&&), this distinction is structural: ordinary Macdonald dimensions do not, in general, factorize into a simple root-product, whereas dual Macdonald dimensions do. For simply laced root systems, the two evaluations coincide, and this coincidence is precisely what makes possible a Vogel-universal formula for the adjoint refined dimension in the ADE series (&&&^^^^3query3^^^^&&&).

^^^^3(Bishler, 15 Jul 2025) OR \3^^^^. Definition within Macdonald theory

For an admissible pair of root systems PRESERVED_PLACEHOLDER_^^^^3query3^^^^ with the same Weyl group, Macdonald polynomials are denoted

PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \3^^^^

where PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^ is a dominant weight of $R$, $t_\alpha=q_\alpha^{k_\alpha}$, and $q_\alpha=q^{u_\alpha}$ is determined by the correspondence $\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$. They are characterized by triangularity in the monomial basis and orthogonality with respect to the Macdonald density $\Delta$ (&&&^^^^3query3^^^^&&&).

The relevant Weyl-type vectors are

$$\rho=\frac12\sum_{\alpha>0}\alpha,\qquad \rho_k=\frac12\sum_{\alpha>0}k_\alpha\,\alpha,\qquad r_k=\frac12\sum_{\alpha>0}k_\alpha\,\alpha^\vee.$$

For general admissible pairs one further introduces

$$r_k^*=\frac12\sum_{\alpha>0}k_\alpha\,\alpha^*,\qquad \alpha^*=(\alpha_*)^\vee=u_\alpha\,\alpha^\vee.$$

The ordinary Macdonald dimension is defined by evaluation at the refined Weyl vector,

PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \3query3^^^^

while the dual Macdonald dimension is defined by evaluation at the dual refined Weyl vector,

PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \3(Bishler, 15 Jul 2025) OR \3^^^^

This use of “dual” is specific. It is not the PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \3 OR \3^^^^ symmetry of Macdonald theory, and it is not ordinary Langlands duality. Rather, it is the passage from evaluation at PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \33^^^^ to evaluation at PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \3^^^^4 or PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \3^^^^5, mirroring the distinction between quantum dimensions and dual quantum dimensions (&&&^^^^3query3^^^^&&&).

^^^^3 OR \3^^^^. Factorization at the dual refined Weyl vector

The defining feature of dual Macdonald dimensions is the factorization of Macdonald’s evaluation formula at PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \3^^^^6. In the symmetric-quantum-number conventions used in (&&&^^^^3query3^^^^&&&), one has

PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \3^^^^7

with PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \3^^^^8 if PRESERVED_PLACEHOLDER_^^^^3(Bishler, 15 Jul 2025) OR \3^^^^9 and PRESERVED_PLACEHOLDER_^^^^3 OR \3query3^^^^ (&&&^^^^3query3^^^^&&&).

In the non-mixed case PRESERVED_PLACEHOLDER_^^^^3 OR \3(Bishler, 15 Jul 2025) OR \3^^^^, one has PRESERVED_PLACEHOLDER_^^^^3 OR \3 OR \3^^^^, hence PRESERVED_PLACEHOLDER_^^^^3 OR \33^^^^, and the formula becomes

PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^4

The contrast with ordinary Macdonald dimensions is central. The paper states that for general PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^5, the quantities

PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^6

do not factorize into a simple product. The dual evaluation at PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^7 restores the product-over-roots structure (&&&^^^^3query3^^^^&&&).

This factorization explains why dual Macdonald dimensions are the natural refined counterparts of factorized quantum quantities. At the specialization PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^8, and with the additional length-dependent parameters specialized appropriately, dual Macdonald dimensions reduce to dual quantum dimensions (&&&^^^^3query3^^^^&&&).

3. Simply laced coincidence and Vogel universality

For simply laced root systems, PRESERVED_PLACEHOLDER_^^^^3 OR \3^^^^9 and there is a single $R$^^^^3query3^^^^, so

$R$^^^^3(Bishler, 15 Jul 2025) OR \3^^^^

Hence

$R$^^^^3 OR \3^^^^

This identity is the decisive mechanism behind universality in the refined setting (&&&^^^^3query3^^^^&&&).

Vogel’s universality parametrizes simple Lie algebras by projective triples $R$3, with $R$4. A quantity is universal if it can be written as a rational function of these parameters for all simple Lie algebras simultaneously. In the unrefined case, the adjoint quantum dimension has such a universal expression. The paper proves that an analogous universal Macdonald-dimension formula exists for the adjoint representation of simply laced algebras $R$5, and because $R$6 in that setting, the same formula simultaneously describes the dual Macdonald dimension (&&&^^^^3query3^^^^&&&).

This universality survives only in the simply laced case. For non-simply-laced systems, the refined theory depends on additional root-length parameters such as $R$7, which exceed the information contained in Vogel’s three parameters. The paper therefore treats the ADE universal formula as both a positive result and a boundary statement: the refined universal framework closes exactly where Macdonald and dual Macdonald dimensions coincide (&&&^^^^3query3^^^^&&&).

In the Schur limit $R$8, the simply laced universal Macdonald formula reduces to the universal quantum-dimension formula, so the refined construction genuinely extends the unrefined one rather than replacing it (&&&^^^^3query3^^^^&&&).

4. Non-simply-laced and mixed cases

Outside the simply laced case, the asymmetry between ordinary and dual Macdonald dimensions becomes explicit. For $R$9, ordinary Macdonald dimensions at $t_\alpha=q_\alpha^{k_\alpha}$^^^^3query3^^^^ are generally non-factorized, while dual Macdonald dimensions at $t_\alpha=q_\alpha^{k_\alpha}$^^^^3(Bishler, 15 Jul 2025) OR \3^^^^ remain factorized (&&&^^^^3query3^^^^&&&).

The paper makes this concrete for the adjoint representation. For $t_\alpha=q_\alpha^{k_\alpha}$^^^^3 OR \3^^^^, the dual adjoint Macdonald dimension is given by a factorized product depending on the short-root parameter $t_\alpha=q_\alpha^{k_\alpha}$3, whereas the ordinary adjoint Macdonald dimension is a lengthy non-factorized expression involving sums of products and terms such as $t_\alpha=q_\alpha^{k_\alpha}$4 and $t_\alpha=q_\alpha^{k_\alpha}$5 (&&&^^^^3query3^^^^&&&). A parallel phenomenon holds for $t_\alpha=q_\alpha^{k_\alpha}$6, with the long-root parameter $t_\alpha=q_\alpha^{k_\alpha}$7.

The same formalism extends to mixed Macdonald dimensions attached to admissible pairs $t_\alpha=q_\alpha^{k_\alpha}$8 with $t_\alpha=q_\alpha^{k_\alpha}$9. In that setting,

$q_\alpha=q^{u_\alpha}$^^^^3query3^^^^

and the dual mixed Macdonald dimension is always factorized by the general product formula. The ordinary mixed dimension at $q_\alpha=q^{u_\alpha}$^^^^3(Bishler, 15 Jul 2025) OR \3^^^^ need not be factorized (&&&^^^^3query3^^^^&&&).

The paper works out the main mixed families $q_\alpha=q^{u_\alpha}$^^^^3 OR \3^^^^, $q_\alpha=q^{u_\alpha}$3, $q_\alpha=q^{u_\alpha}$4, and $q_\alpha=q^{u_\alpha}$5. For $q_\alpha=q^{u_\alpha}$6, the short roots have $q_\alpha=q^{u_\alpha}$7, $q_\alpha=q^{u_\alpha}$8, $q_\alpha=q^{u_\alpha}$9, while long roots have $\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$^^^^3query3^^^^, $\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$^^^^3(Bishler, 15 Jul 2025) OR \3^^^^, $\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$^^^^3 OR \3^^^^. Then

$\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$3

so the factorization point is $\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$4 (&&&^^^^3query3^^^^&&&).

Every dual Macdonald dimension is therefore a special case of a dual mixed Macdonald dimension with $\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$5. This places the dual construction in a broader family of evaluations associated with root systems sharing a Weyl group (&&&^^^^3query3^^^^&&&).

5. Relation to adjacent dual constructions

The terminology surrounding “dual” in the Macdonald literature is heterogeneous, and the notion of dual Macdonald dimension defined above should be distinguished from several adjacent constructions.

In the type-$\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$6 Baxter formalism, there is a dual pair of commuting Baxter operators, one acting on the $\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$7-variables and the other on partitions $\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$8; Macdonald polynomials are their common eigenfunctions, and the corresponding eigenvalues furnish spectral invariants on opposite sides of the variable-label duality (&&&^^^^3(Bishler, 15 Jul 2025) OR \3^^^^&&&). That framework develops a dual structure internal to integrability, but it does not define dual Macdonald dimensions as evaluations at $\alpha\mapsto \alpha_*=\alpha/u_\alpha\in S$9.

Generalized Macdonald polynomials in the AGT and refined topological-string context exhibit a different notion of duality, namely spectral duality between alternative expansions of the same conformal block or Nekrasov partition function (&&&^^^^3 OR \3^^^^&&&). Related work on generalized Macdonald polynomials also studies factorization on topological loci and interprets the resulting product formulas as generalized dimension-like quantities, again in a distinct sense from the Weyl-vector evaluation defining dual Macdonald dimensions (Kononov et al., 2016).

Stable bisymmetric and multipartition versions of Macdonald theory provide further examples of dimension-like refinements. Double Macdonald polynomials yield $\Delta$^^^^3query3^^^^-analogs of the dimensions of irreducible representations of the hyperoctahedral group $\Delta$^^^^3(Bishler, 15 Jul 2025) OR \3^^^^ (Blondeau-Fournier et al., 2012), while multi-Macdonald polynomials yield $\Delta$^^^^3 OR \3^^^^-analogs of dimensions of irreducible representations of $\Delta$3 (González et al., 2019). These are genuine Macdonald-type dimension theories, but they live in stable bisymmetric and multi-alphabet settings rather than in the root-system evaluation theory of (&&&^^^^3query3^^^^&&&).

A different duality also appears in the geometry of parabolic flag Hilbert schemes, where modified partially symmetric Macdonald functions are identified with normalized fixed-point classes, and an involution $\Delta$4 acts diagonally on the resulting basis (Orr et al., 2024). This suggests another notion of dual spectral data obtained by $\Delta$5-conjugation, but again not the dual refined Weyl-vector evaluation of dual Macdonald dimensions.

These neighboring constructions show that “dual” and “dimension” recur throughout Macdonald theory, yet the specific object called a dual Macdonald dimension is the one attached to the factorization point $\Delta$6 (&&&^^^^3query3^^^^&&&).

6. Conceptual role, misconceptions, and scope

Dual Macdonald dimensions refine dual quantum dimensions. Their principal significance is that they identify the evaluation point at which Macdonald polynomials retain a root-product formula after refinement. This matters algebraically because factorization is lost at the ordinary refined Weyl vector in general, and physically because refined Chern–Simons theory replaces Schur functions by Macdonald polynomials, so the natural factorized building blocks are the dual rather than the ordinary refined dimensions (&&&^^^^3query3^^^^&&&).

A recurrent misconception is to treat dual Macdonald dimensions as merely another name for ordinary Macdonald dimensions. That identification is valid only for simply laced root systems, where $\Delta$7. Outside ADE, the difference is essential: ordinary Macdonald dimensions do not generally factorize, dual Macdonald dimensions do, and the divergence between the two obstructs any straightforward extension of Vogel universality beyond the simply laced case (&&&^^^^3query3^^^^&&&).

Another misconception is to read the adjective “dual” as indicating $\Delta$8 symmetry. The paper explicitly frames the duality instead as evaluation at $\Delta$9 or $$\rho=\frac12\sum_{\alpha>0}\alpha,\qquad \rho_k=\frac12\sum_{\alpha>0}k_\alpha\,\alpha,\qquad r_k=\frac12\sum_{\alpha>0}k_\alpha\,\alpha^\vee.$$^^^^3query3^^^^, in direct analogy with the passage from quantum dimensions to dual quantum dimensions (&&&^^^^3query3^^^^&&&).

The current scope is also sharply delimited. The universal refined formula established in the paper concerns the adjoint representation, and the paper argues that non-simply-laced universality is already obstructed at the level of dual quantum dimensions because of the behavior on the $$\rho=\frac12\sum_{\alpha>0}\alpha,\qquad \rho_k=\frac12\sum_{\alpha>0}k_\alpha\,\alpha,\qquad r_k=\frac12\sum_{\alpha>0}k_\alpha\,\alpha^\vee.$$^^^^3(Bishler, 15 Jul 2025) OR \3^^^^- and $$\rho=\frac12\sum_{\alpha>0}\alpha,\qquad \rho_k=\frac12\sum_{\alpha>0}k_\alpha\,\alpha,\qquad r_k=\frac12\sum_{\alpha>0}k_\alpha\,\alpha^\vee.$$^^^^3 OR \3^^^^-lines, including the coincidence of adjoint dual quantum dimensions with different Vogel parameters (&&&^^^^3query3^^^^&&&). A plausible implication is that future universal formulas, if they exist, will have to respect the same asymmetry: dual Macdonald dimensions are the factorized objects, but global Vogel-universality is not expected outside the simply laced regime.

In this sense, dual Macdonald dimensions occupy a precise conceptual position. They are not merely an auxiliary evaluation, but the refined quantities singled out by Macdonald’s factorization formula; in ADE they coincide with ordinary Macdonald dimensions and thereby support Vogel universality, while in the non-simply-laced and mixed settings they reveal exactly where refined factorization persists and where refined universality breaks down (&&&^^^^3query3^^^^&&&).