---
title: Super Macdonald Polynomials and Supersymmetry
url: https://www.emergentmind.com/topics/super-macdonald-polynomials
type: topic
---

# Super Macdonald Polynomials and Supersymmetry

Super Macdonald polynomials are supersymmetric extensions of Macdonald polynomials in which the classical symmetric-function variables are replaced or supplemented by fermionic data, additional alphabets, or module-valued coefficients, while preserving Macdonald-type structures such as triangularity, orthogonality, and joint eigenfunction properties for commuting operators. The literature uses the term for several closely related but non-identical constructions: the Sergeev–Veselov family in two commuting alphabets, Macdonald polynomials in superspace with commuting \(x_i\) and anticommuting \(\theta_i\), half-box or super-Young-diagram polynomials in power sums \(p_k\) and Grassmann times \(\theta_k\), and vector-valued nonsymmetric superpolynomials attached to Hecke modules [2103.07400] [1202.3922] [2407.03301] [2011.05886].

## 1. Principal formalisms

Taken together, the literature presents several supersymmetric Macdonald theories rather than a single universally fixed definition. In the Sergeev–Veselov framework, super Macdonald polynomials are images of ordinary Macdonald symmetric functions under a homomorphism from the ring of symmetric functions to an algebra \(A_{N,M,q,t}\) of polynomials in two commuting alphabets \(x_1,\dots,x_N\) and \(y_1,\dots,y_M\) satisfying symmetry and \(q,t\)-shift constraints; for \(\lambda\in H_{N,M}\), one writes
\[
SP_\lambda(x_1,\dots,x_N;y_1,\dots,y_M;q,t)
=
\varphi_{q,t^{-1}}\bigl(P_\lambda(z;q,t)\bigr).
\]
These functions are the super Macdonald polynomials in the sense used in the deformed Macdonald–Ruijsenaars and quantum-corner-VOA literature [2103.07400] [2504.17326].

A second formalism, developed in the superspace literature, works with commuting variables \(x_1,\dots,x_N\) and anticommuting variables \(\theta_1,\dots,\theta_N\), and indexes symmetric superpolynomials by superpartitions \(\Lambda\). Macdonald superpolynomials \(P_\Lambda(x,\theta;q,t)\) are characterized by monomial triangularity together with orthogonality for a superspace Macdonald scalar product, and they admit a construction from nonsymmetric Macdonald polynomials via a non-standard combination of \(t\)-symmetrization, antisymmetrization, and Grassmann dressing [1202.3922] [1112.5188].

A third formalism, introduced through super-Young diagrams built from half-boxes, uses bosonic times \(p_k\) together with Grassmann times \(\theta_k\). In that setting, super-Macdonald polynomials \(\mathcal M_\lambda^{q,t}(p,\theta)\) are \(q,t\)-deformations of super-Schur polynomials, indexed by super-partitions with half-integer parts, and defined by super-Schur triangularity plus a \(q,t\)-deformed scalar product; a later spectral reformulation characterizes them as common eigenfunctions of four super-Hamiltonians [2407.03301] [2501.14714].

A fourth line of work studies nonsymmetric Macdonald superpolynomials as vector-valued objects. Here the polynomial variables are commuting \(x_i\), while the fermionic sector furnishes an explicit Hecke module. The resulting eigenfunctions \(M_{\alpha,E}(x;\theta)\) are indexed by a composition \(\alpha\) together with a hook-tableau label \(E\), and symmetric or antisymmetric super Macdonald polynomials are recovered by Hecke symmetrization and antisymmetrization [2011.05886].

| Formalism | Variables | Indexing data |
|---|---|---|
| Sergeev–Veselov | \(x_i\), \(y_j\) | partitions \(\lambda\in H_{N,M}\) |
| Superspace | \(x_i\), \(\theta_i\) | superpartitions \((\Lambda^a;\Lambda^s)\) |
| Half-box / super-Young | \(p_k\), \(\theta_k\) or \(p_k,\pi_k\) | half-integer super-partitions |
| Vector-valued nonsymmetric | \(x_i\) with fermionic Hecke-module coefficients | \((\alpha,E)\) |

This multiplicity of definitions is a structural feature of the subject, not a contradiction. The common theme is the replacement of the ordinary partition combinatorics of Macdonald theory by data carrying bosonic and fermionic sectors.

## 2. Combinatorics and indexing

In the superspace approach, a superpartition \(\Lambda\) is described either as a pair \((\Lambda^a;\Lambda^s)\), where \(\Lambda^a\) has \(m\) distinct parts and \(\Lambda^s\) is an ordinary partition, or as a pair \((\Lambda^\circledast,\Lambda^*)\) of ordinary partitions with \(\Lambda^*\subseteq \Lambda^\circledast\) and \(\Lambda^\circledast/\Lambda^*\) an \(m\)-rook strip. Diagrammatically, one draws the Ferrers diagram of \(\Lambda^*\) and marks the cells of \(\Lambda^\circledast/\Lambda^*\) by circles. The dominance order relevant for triangularity is the simultaneous dominance condition on \(\Lambda^*\) and \(\Lambda^\circledast\) [1202.3922].

In the half-box formalism, super-partitions are weakly decreasing sequences of half-integers,
\[
\lambda=[\lambda_1,\lambda_2,\dots,\lambda_{l(\lambda)}],\qquad \lambda_i\in\tfrac12\mathbb N,
\]
with the extra rule that adjacent half-integers must be strictly decreasing. These are represented by super-Young diagrams or crystal Young diagrams built from full boxes and half-boxes. Ordinary partitions are recovered as the special case with only integral parts. The supersymmetric polynomial algebra is generated by commuting \(p_k\) of degree \(k\) and anticommuting \(\theta_k\) of degree \(k-\tfrac12\), and basis monomials \(p_\Delta\theta_\Lambda\) are in bijection with super-Young diagrams [2407.03301].

The Sergeev–Veselov family uses a different combinatorial constraint. Super Macdonald polynomials \(SP_\lambda(x,y;q,t)\) are indexed by ordinary partitions in the fat hook
\[
H_{N,M}:=\{\lambda\in\mathrm{Par}\mid \lambda_{N+1}\le M\}.
\]
Their tableaux formula uses reverse semi-standard Young bitableaux filled by ordinary labels \(1,\dots,N\) and super labels \(N+1,\dots,N+M\), with weak row and column monotonicity plus strictness conditions separating the ordinary and super parts [2504.17326].

The stable-limit theory of double Macdonald polynomials replaces a superpartition by a pair of ordinary partitions \((\lambda,\mu)\). In the stable regime of fermionic degree \(m\ge |\lambda|+|\mu|\), the dependence on \(m\) disappears, and the Macdonald superpolynomials map to bisymmetric polynomials \(P_{\lambda,\mu}(x,y;q,t)\) indexed by this pair [1211.3186].

These indexing conventions are not interchangeable. A half-box superpartition, a circled Ferrers diagram, a fat-hook partition, and a pair \((\lambda,\mu)\) encode different supersymmetric extensions, even when the resulting functions play analogous roles.

## 3. Eigenoperators and Hamiltonian characterizations

A defining feature inherited from ordinary Macdonald theory is characterization by commuting operators. In the Sergeev–Veselov setting, the relevant operators are the deformed Macdonald–Ruijsenaars operators \(M_{n,m;q,t}\) acting on functions of two alphabets \(x\) and \(y\). They involve \(q\)-shifts in the \(x\)-variables and \(t^{-1}\)-shifts in the \(y\)-variables, and the homomorphism \(\mathcal Y_{n,m;q,t}\) intertwines the infinite-variable Macdonald operator with \(M_{n,m;q,t}\). Consequently,
\[
M_{n,m;q,t}\,SP_\lambda(x,y;q,t)=d_\lambda(q,t)\,SP_\lambda(x,y;q,t),
\]
so the super Macdonald polynomials are eigenfunctions of deformed Macdonald–Ruijsenaars operators [2103.07400].

In the superspace construction of Macdonald superpolynomials, commuting operator families \(D^*(u;q,t)\) and \(D^\circledast(u;q,t)\) are built from Cherednik operators and fermionic projection operators. Their common eigenfunctions are the superpolynomials \(P_\Lambda\), with eigenvalues determined separately by \(\Lambda^*\) and \(\Lambda^\circledast\). This yields a spectral proof of existence and uniqueness compatible with the orthogonality–triangularity definition [1202.3922].

The half-box theory makes the spectral viewpoint primary. Super-Macdonald polynomials \(\mathcal M_\lambda^{q,t}(p,\theta)\) are common eigenfunctions of four super-Hamiltonians
\[
\hat{\mathcal H}^{,\pm}_\uparrow,\qquad \hat{\mathcal H}^{,\pm}_\downarrow,
\]
whose eigenvalues are sums over upper or lower half-boxes weighted by \(q^{\pm 2j}t^{\mp 2i}\). For even diagrams the first two Hamiltonians reduce to the ordinary Macdonald Hamiltonian, while for generic odd diagrams the four eigenvalues are independent. The explicit operators are vertex-operator-type difference–differential operators in \(p_k,\theta_k\) coupled to auxiliary fermions, and an infinite commuting hierarchy is generated from Pieri-type half-box creation and annihilation operators by anticommutators [2501.14714].

In the shifted quantum toroidal \(\mathfrak{gl}_{1|1}\) approach, super Macdonald polynomials form a basis of the level-zero super Fock module of \(\mathcal U_{q,t}(\widehat{\widehat{\mathfrak{gl}_{1|1}}})\). The action of the supercharges implies the Pieri rule, and the corresponding supersymmetric Hamiltonians are recovered as anticommutators of those supercharges. The paper emphasizes that a shifted quantum toroidal algebra is required in this realization [2605.16773].

Across these frameworks, the analogue of the Macdonald–Ruijsenaars commuting family survives, but the operator content is enriched by fermionic grading, extra alphabets, or explicit supercharges.

## 4. Orthogonality, scalar products, and norms

The superspace theory attaches a Macdonald scalar product directly to the power-sum superfunctions. For superpartitions \(\Lambda,\Omega\),
\[
\langle p_\Lambda,p_\Omega\rangle_{q,t}
=
(-1)^{\binom m2}z_\Lambda(q,t)\,\delta_{\Lambda\Omega},
\]
with \(z_\Lambda(q,t)\) involving the bosonic partition \(\Lambda^s\) and the factor \(q^{|\Lambda^a|}\). The operators used in the spectral construction are self-adjoint for this scalar product, and the resulting \(P_\Lambda(x,\theta;q,t)\) are orthogonal. The same paper also introduces a second constant-term-type scalar product and computes norms matching, up to a \(q\)-power, the conjectured norm in the original scalar product [1202.3922].

In the Sergeev–Veselov theory, orthogonality is proved by a Hermitian form defined by integration over a product of tori with weight
\[
\Delta_{n,m}(x,y;q,t)
=
\Delta_n(x;q,t)\,\Delta_m(y;t,q)\,
\prod_{i,j}\bigl(1-q^{-1/2}t^{1/2}x_i/y_j\bigr)\bigl(1-q^{-1/2}t^{1/2}y_j/x_i\bigr).
\]
The super-Macdonald polynomials \(SP_\lambda\) are orthogonal, but their norms may vanish. More precisely, the norm is nonzero exactly when the diagram \(\lambda\) contains the rectangle \((m^n)\), and in that case the norm factorizes through two ordinary Macdonald norms attached to the east and south components \(e(\lambda)\) and \(s(\lambda)\):
\[
N_{n,m}(\lambda;q,t)
=
\left(\frac tq\right)^{|s(\lambda)|}
b_{e(\lambda)}(q,t)b_{s(\lambda)}(t,q)
N_n(e(\lambda);q,t)N_m(s(\lambda);t,q).
\]
Passing to the quotient by the kernel yields a Hilbert space with orthonormal basis given by the nonzero super-Macdonald polynomials [2103.07400].

The half-box approach defines super-Macdonald polynomials by orthogonality with respect to a \(q,t\)-deformed scalar product on the basis \(p_\Delta\theta_\Lambda\),
\[
\big\langle p_\Delta\theta_\Lambda \mid p_{\Delta'}\theta_{\Lambda'}\big\rangle_{q,t}
=
\delta_{\Delta,\Delta'}\delta_{\Lambda,\Lambda'}
\,z_\Delta
\prod_{k=1}^{\ell(\Delta)}\frac{q^{2\Delta_k}-1}{t^{2\Delta_k}-1}
\prod_{k=1}^{\ell(\Lambda)} q^{2\Lambda_k},
\]
and the associated Cauchy kernel is written explicitly. This reproduces the ordinary Macdonald scalar product on the purely bosonic sector [2407.03301].

For vector-valued nonsymmetric superpolynomials \(M_{\alpha,E}\), the inner product extends the fermionic Hecke-module form and makes both the Demazure–Lusztig operators and the Cherednik operators self-adjoint. Distinct \(M_{\alpha,E}\) are orthogonal, and explicit norm formulas are available, including a closed product formula in the dominant case and a concise norm formula for the minimal symmetric polynomial [2011.05886].

The norm problem is therefore resolved differently in different branches of the subject: explicitly in the Sergeev–Veselov, superspace, and vector-valued theories, and by direct \(p_k,\theta_k\)-orthogonality in the half-box theory.

## 5. Pieri rules, symmetrization, and higher hierarchies

Pieri-type operators play an organizing role throughout super Macdonald theory. In the half-box formalism, multiplication by \(\theta_1\) and differentiation \(\partial/\partial\theta_1\) add or remove a half-box:
\[
\theta_1\cdot \mathcal M^{q,t}_\lambda
=
\sum_{\Box\in\mathrm{Add}(\lambda)}
C^{q,t}_{\lambda,\lambda+\Box}\,
\mathcal M^{q,t}_{\lambda+\Box},
\qquad
\frac{\partial}{\partial\theta_1}\mathcal M^{q,t}_\lambda
=
\sum_{\Box\in\mathrm{Rem}(\lambda)}
C^{q,t}_{\lambda,\lambda-\Box}\,
\mathcal M^{q,t}_{\lambda-\Box}.
\]
By commuting these operators with the basic super-Hamiltonians, one obtains higher creation and annihilation operators \(E_k\) and \(F_k\), and then a commuting family of Hamiltonians \(\mathcal H'_{a+b}=\{E_a,F_b\}\). The appearance of anticommutators, rather than commutators, is specific to the Grassmann-odd nature of the half-box operators [2501.14714].

In the shifted quantum toroidal \(\mathfrak{gl}_{1|1}\) realization, the supercharges \(E_{1,0}\) and \(E_{2,0}\) act on the superpartition basis by changing the parity of a row endpoint, and the resulting coefficients are exactly the Pieri coefficients of the super Macdonald polynomials after the substitution \((q,t)\mapsto(q^2,t^2)\). The paper also expresses the Pieri rule in terms of differential operators in the bosonic power sums \(p_k\) and fermionic power sums \(\pi_k\), providing free-boson/free-fermion operators on Fock space [2605.16773].

A geometric realization of the same mechanism appears in BPS state counting on the blow-up of \(\mathbb P^2\). There, torus fixed points are labeled by super partitions \(\Lambda=(Y,S)\), and the equivariant character of the tangent space defines a super Nekrasov factor \(\mathsf N_{\Lambda_\alpha,\Lambda_\beta}(u\mid q,t)\). Ratios of these Nekrasov factors, together with a diagonal normalization \(\widetilde c_\Lambda\), reproduce the Pieri coefficients of super Macdonald polynomials and therefore match the action of the super DIM currents on the fixed-point basis [2506.01415].

In the vector-valued Hecke-module theory, the nonsymmetric eigenfunctions \(M_{\alpha,E}\) are the basic objects, and the symmetric and antisymmetric super Macdonald polynomials are constructed by applying explicit Hecke symmetrization and antisymmetrization operators \(S^{(N-1)}\) and \(A^{(N-1)}\). Existence of Hecke-symmetric vectors is governed by column-strictness of the associated hook tableau, and the labels of the symmetric objects are naturally identified with superpartitions [2011.05886].

The Pieri problem is therefore not auxiliary. It is the mechanism through which super Macdonald bases interact with integrable hierarchies, toroidal superalgebras, and geometric correspondences.

## 6. Geometric, VOA, and integrable-system realizations

A representation-theoretic realization of the Sergeev–Veselov polynomials is provided by the quantum corner VOA \(qY_{L,0,N}[\Psi]\). In this setting, properly normalized and specialized vacuum correlators of the Miura currents \(T^{(\ell)}(z)\) coincide with the super Macdonald polynomials \(SP_\lambda(x,y;q,t)\). The proof passes through a sum over reverse semi-standard Young bitableaux whose weights match the Sergeev–Veselov combinatorial formula exactly [2504.17326].

A geometric realization arises in the BPS counting problem on the blow-up of \(\mathbb P^2\), modeled by framed stable perverse coherent sheaves. Torus fixed points are labeled by super partitions, and the resulting \(K\)-theoretic fixed-point basis carries an action of the quantum toroidal algebra of type \(\mathfrak{gl}_{1|1}\). The super Nekrasov factor extracted from the tangent-space character controls both localization formulas and the matrix elements of this toroidal action, with the super Macdonald Pieri rule emerging as the compatibility condition [2506.01415].

The integrable-systems interpretation is sharpest in the Sergeev–Veselov branch. There the deformed Macdonald–Ruijsenaars operators admit a Hilbert-space realization, and the super-Macdonald polynomials provide orthogonal wave functions for a relativistic model with two kinds of excitations. The paper proposes that the two alphabets \(x\) and \(y\) should be interpreted as particles and anti-particles, thereby extending the trigonometric Ruijsenaars model to a setting with two species [2103.07400].

These realizations connect super Macdonald theory to quantum toroidal algebras, VOAs, gauge theory, BPS algebras, and supersymmetric integrable systems. A plausible implication is that the various super Macdonald families should be regarded not only as deformations of symmetric functions but also as preferred bases in several different representation categories.

## 7. Limits, stable sectors, and scope of the subject

Several degeneration patterns organize the subject. In the half-box theory, super-Macdonald polynomials reduce to super-Schur polynomials in the \(q=t\) limit followed by \(q\to1\), and they reduce to ordinary Macdonald polynomials on the purely integral sector. The paper also records explicit low-level examples showing that some lowest elements in each block remain undeformed, just as ordinary Macdonald polynomials coincide with Schur polynomials on single-column diagrams [2407.03301].

In the superspace theory of 2011, the limits \(q=0\) and \(q=\infty\) lead to two Hall–Littlewood families in superspace, and the specializations \(q=t=0\) and \(q=t=\infty\) produce two Schur-type superbases \(s_\Lambda\) and \(\bar s_\Lambda\). The paper formulates positivity conjectures for the corresponding Hall–Littlewood–Schur transition coefficients and for the superspace \(q,t\)-Kostka coefficients defined from a modified Schur superbasis [1112.5188].

A major structural simplification occurs in the stable regime of Macdonald superpolynomials when the fermionic degree is sufficiently large. Then the superspace theory maps to bisymmetric polynomials indexed by pairs \((\lambda,\mu)\), called double Macdonald polynomials, and these factorize as
\[
P_{\lambda,\mu}(x,y;q,t)
=
P_\lambda^{(q,qt)}\!\Bigl[X+\frac{q(1-t)}{1-qt}Y\Bigr]\,
P_\mu^{(qt,t)}[Y].
\]
From this factorization follow explicit norms, kernels, duality, and positivity results, as well as a connection to irreducible representations of the hyperoctahedral group \(B_n\) and a type-\(B\) Nabla operator [1211.3186].

A recurring source of confusion is the scope of the phrase “super Macdonald polynomials.” The term does not denote a single universally standardized object. It can refer to superspace polynomials indexed by superpartitions, to Sergeev–Veselov polynomials in two commuting alphabets, to half-box super-Young-diagram polynomials in \(p_k,\theta_k\), or to vector-valued nonsymmetric constructions. Closely related extensions also exist outside this terminology: for example, the four-parameter family \(P_\lambda(x;q,t;u,v)\) reduces to ordinary Macdonald polynomials at \(u=v=0\) and to Borodin–Petrov functions at \(q=0,u=v=s\), but that paper does not explicitly use the terminology “super Macdonald polynomials” [1605.07200].

The subject is therefore best understood as a cluster of supersymmetric Macdonald theories sharing common Macdonald features—triangularity, orthogonality, Pieri rules, commuting Hamiltonians, and rich representation theory—while differing substantially in variables, indexing objects, and ambient algebraic structures.

Source: https://www.emergentmind.com/topics/super-macdonald-polynomials