pith. sign in

arxiv: 2605.16773 · v1 · pith:LFTKWJWKnew · submitted 2026-05-16 · 🧮 math.QA · hep-th· math-ph· math.MP

Shifted quantum toroidal algebra of type mathfrak{gl}_(1|1) and the Pieri rule of the super Macdonald polynomials

Hiroaki Kanno , Ryo Ohkawa , Jun'ichi Shiraishi This is my paper

Pith reviewed 2026-05-19 19:40 UTC · model grok-4.3

classification 🧮 math.QA hep-thmath-phmath.MP
keywords super Macdonald polynomialsPieri rulequantum toroidal algebrasuper Fock moduleshifted algebrasupersymmetric Hamiltoniansdifferential operatorspower sums
0
0 comments X

The pith

The action of super charges from the shifted quantum toroidal algebra of type gl_{1|1} implies the Pieri rule for super Macdonald polynomials.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that super Macdonald polynomials indexed by super partitions form a basis of the level zero super Fock module of the quantum toroidal algebra U_{q,t}(widehat{widehat{gl}}_{1|1}). The super charges of this algebra act on the module to generate the Pieri rule for these polynomials. The rule is then written as differential operators in ordinary power sums p_k and fermionic power sums π_k, which act naturally on the Fock space built from one free boson and one free fermion. The supersymmetric Hamiltonians emerge directly as anti-commutators of the super charges, reproducing earlier results. A sympathetic reader cares because the construction supplies an algebraic source for combinatorial multiplication rules that govern supersymmetric symmetric functions.

Core claim

The super Macdonald polynomials indexed by the super partitions form a basis of the level zero super Fock module (combinatorial representation) of the quantum toroidal algebra U_{q,t}(widehat{widehat{gl}}_{1|1}). The action of the super charges of U_{q,t}(widehat{widehat{gl}}_{1|1}) implies the Pieri rule of the super Macdonald polynomials. We can express the Pieri rule in terms of differential operators in the power sums p_k and the fermionic power sums π_k, which leads to the operators on the Fock space of a free boson and a free fermion. From the Pieri rule we compute the supersymmetric Hamiltonians given by the anti-commutator of the super charges and recover the results previously 얻 in

What carries the argument

The shifted quantum toroidal algebra of type gl_{1|1} together with its super charges, which act on the super Fock module to produce the Pieri rule for super Macdonald polynomials.

If this is right

  • The Pieri rule for super Macdonald polynomials is a direct consequence of the super-charge action on the module.
  • Supersymmetric Hamiltonians are recovered as anti-commutators of the super charges.
  • The rule is realized by concrete differential operators in the power sums p_k and fermionic power sums π_k.
  • The algebra must be taken in its shifted form to accommodate the super structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same algebraic mechanism may generate Pieri-type rules for other families of super-symmetric functions.
  • The free boson-fermion realization could connect the construction to vertex-operator techniques in conformal field theory.
  • Explicit low-degree checks would give an independent verification of the differential-operator expressions.

Load-bearing premise

The super Macdonald polynomials indexed by super partitions form a basis of the level zero super Fock module of the quantum toroidal algebra.

What would settle it

Apply one or two super charges to a low-degree super Macdonald polynomial labeled by a small super partition and check whether the resulting linear combination exactly matches the coefficients in the known Pieri expansion for that polynomial.

read the original abstract

The super Macdonald polynomials indexed by the super partitions form a basis of the level zero super Fock module (combinatorial representation) of the quantum toroidal algebra $\mathcal{U}_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_{1|1})$. The action of the super charges of $\mathcal{U}_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_{1|1})$ implies the Pieri rule of the super Macdonald polynomials. We can express the Pieri rule in terms of differential operators in the power sums $p_k$ and the fermionic power sums $\pi_k$, which leads to the operators on the Fock space of a free boson and a free fermion. From the Pieri rule we compute the supersymmetric Hamiltonians given by the anti-commutator of the super charges and recover the results previously obtained in the literature. It is remarkable that we have to deal with a shifted quantum toroidal algebra.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims that the super Macdonald polynomials indexed by super partitions form a basis of the level-zero super Fock module of the shifted quantum toroidal algebra U_{q,t}(widehat{widehat{gl}}_{1|1}). The action of the super charges on this module is shown to imply the Pieri rule for these polynomials, which is then expressed via differential operators in the power sums p_k and fermionic power sums π_k acting on the Fock space of a free boson and fermion. From the Pieri rule the supersymmetric Hamiltonians are recovered as anti-commutators of the super charges, matching previously known results in the literature.

Significance. If the central claims hold, the work supplies an algebraic route from the representation theory of the shifted quantum toroidal algebra to the Pieri rule and Hamiltonians of the super Macdonald polynomials. It underscores that the shifted version of the algebra is required for the gl_{1|1} case and recovers known operators on the boson-fermion Fock space.

major comments (2)
  1. [Abstract and §1] Abstract and §1: the assertion that the super Macdonald polynomials indexed by super partitions form a basis of the level-zero super Fock module is stated for the shifted algebra U_{q,t}(widehat{widehat{gl}}_{1|1}), yet no independent verification is supplied that the modified commutation relations and central elements preserve this basis property or the faithfulness of the representation. This step is load-bearing for the subsequent implication that super-charge action yields the Pieri rule.
  2. [Fock module and super-charge action] The derivation of the Pieri rule from the super-charge action (presumably in the section defining the action on the Fock module) assumes the combinatorial basis carries over unchanged; if the shift introduces a non-trivial kernel or additional relations, the explicit action-to-Pieri implication does not follow directly.
minor comments (2)
  1. [Introduction] Notation for the shifted versus unshifted algebra should be introduced earlier and used consistently to prevent reader confusion when comparing with prior literature on the unshifted case.
  2. [Hamiltonians section] The recovery of the Hamiltonians is presented as matching earlier results; a brief side-by-side comparison table of the recovered operators would strengthen the claim.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying these two load-bearing points concerning the shifted algebra. We address each comment directly below and indicate the revisions we will make to strengthen the exposition.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and §1: the assertion that the super Macdonald polynomials indexed by super partitions form a basis of the level-zero super Fock module is stated for the shifted algebra U_{q,t}(widehat{widehat{gl}}_{1|1}), yet no independent verification is supplied that the modified commutation relations and central elements preserve this basis property or the faithfulness of the representation. This step is load-bearing for the subsequent implication that super-charge action yields the Pieri rule.

    Authors: We agree that the manuscript would benefit from an explicit check that the shifted commutation relations and adjusted central elements preserve the combinatorial basis and act faithfully. In the present text the super Fock module is defined combinatorially by super partitions, and the generators of the shifted algebra are defined to act on this basis by explicit formulas that were chosen precisely so that the shift compensates for the super case. Nevertheless, a direct verification that no non-trivial kernel appears is not written out. We will add a short paragraph (or short appendix) in Section 2 that verifies the action of the central elements and the key commutation relations on a general basis vector labeled by a super partition; this will make the faithfulness statement self-contained and remove the load-bearing gap. revision: yes

  2. Referee: [Fock module and super-charge action] The derivation of the Pieri rule from the super-charge action (presumably in the section defining the action on the Fock module) assumes the combinatorial basis carries over unchanged; if the shift introduces a non-trivial kernel or additional relations, the explicit action-to-Pieri implication does not follow directly.

    Authors: The shift is introduced exactly to ensure that the super-charge operators map the combinatorial basis into itself without collapse or extra relations. The explicit formulas for the super-charge action on a super partition are given in the section on the Fock module; these formulas are written so that each term remains a linear combination of basis vectors labeled by super partitions. To make this transparent we will insert a brief remark immediately after the definition of the action, together with a low-degree example, confirming that the resulting operators produce no kernel on the basis and that the passage from the algebraic action to the Pieri rule therefore remains valid. revision: yes

Circularity Check

0 steps flagged

Algebraic derivation of Pieri rule from super-charge action is self-contained

full rationale

The paper states that super Macdonald polynomials form a basis of the level-zero super Fock module and then derives the Pieri rule directly from the action of the super charges of the shifted quantum toroidal algebra. This constitutes an algebraic implication within the representation rather than any reduction of the output to the input by definition or fitting. Recovery of previously known Hamiltonians via the anti-commutator serves only as a consistency verification with external literature and does not function as a load-bearing premise. No self-definitional loops, fitted predictions renamed as results, or uniqueness theorems imported from the authors' prior work appear in the chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction rests on standard definitions from quantum toroidal algebras and super symmetric function theory; the load-bearing premise is the basis property of the super Macdonald polynomials in the Fock module.

axioms (1)
  • domain assumption Super Macdonald polynomials indexed by super partitions form a basis of the level zero super Fock module
    Invoked at the outset to allow the super charges to act and produce the Pieri rule.

pith-pipeline@v0.9.0 · 5715 in / 1364 out tokens · 52231 ms · 2026-05-19T19:40:42.269394+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 9 internal anchors

  1. [1]

    Symmetric functions in superspace: a compendium of results and open problems (including a SageMath worksheet)

    L. Alarie-V´ ezina, O. Blondeau-Fournier, P. Desrosiers, L. Lapointe and P. Mathieu, “Symmetric functions in superspace: a compendium of results and open problems (including a SageMath worksheet),” [arXiv:1903.07777 [math-ph]]

    work page internal anchor Pith review Pith/arXiv arXiv 1903

  2. [2]

    Quantum Algebraic Approach to Refined Topological Vertex

    H. Awata, B. Feigin and J. Shiraishi, “Quantum Algebraic Approach to Refined Topological Vertex,” JHEP03(2012), 041 [arXiv:1112.6074 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  3. [3]

    Collective fields, Calogero-Sutherland model and generalized matrix models

    H. Awata, Y. Matsuo, S. Odake and J. Shiraishi, “Collective field theory, Calogero- Sutherland model and generalized matrix models,” Phys. Lett. B347(1995), 49-55 [arXiv:hep-th/9411053 [hep-th]]. 65

    work page internal anchor Pith review Pith/arXiv arXiv 1995

  4. [4]

    Quantum W(N) algebras and Macdonald polynomials,

    H. Awata, H. Kubo, S. Odake and J. Shiraishi, “Quantum W(N) algebras and Macdonald polynomials,” Commun. Math. Phys.179(1996), 401-416 [arXiv:q- alg/9508011 [math.QA]]

    work page arXiv 1996

  5. [5]

    Macdonald polynomials in superspace: conjectural definition and positivity conjectures

    O. Blondeau-Fournier, P. Desrosiers, L. Lapointe and P. Mathieu, “Macdonald polynomials in superspace: conjectural definition and positivity conjectures,” Lett. Math. Phys.101(2012), 27-47 [arXiv:1112.5188 [math-ph]]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  6. [6]

    Macdonald polynomials in superspace as eigenfunctions of commuting operators

    O. Blondeau-Fournier, P. Desrosiers, L. Lapointe and P. Mathieu, “Macdonald poly- nomials in superspace as eigenfunctions of commuting operators,” J. Comb.3(2012), 495-561 [arXiv:1202.3922 [math-ph]]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  7. [7]

    Quantum corner VOA and the super Macdonald polynomials,

    P. Cheewaphutthisakun, J. Shiraishi and K. Wiboonton, “Quantum corner VOA and the super Macdonald polynomials,” JHEP10(2025), 064 [arXiv:2504.17326 [hep-th]]

    work page arXiv 2025

  8. [8]

    Quantum Corner Poly- nomials: A Generalization of Super Macdonald Polynomials and Their VOA Corre- spondence,

    P. Cheewaphutthisakun, J. Shiraishi and K. Wiboonton, “Quantum Corner Poly- nomials: A Generalization of Super Macdonald Polynomials and Their VOA Corre- spondence,” [arXiv:2508.12267 [hep-th]]

    work page arXiv

  9. [9]

    Quantum continuous $\mathfrak{gl}_\infty$: Semi-infinite construction of representations

    B. Feigin, E. Feigin, M. Jimbo, T. Miwa and E. Mukhin, “Quantum continuousgl ∞: Semi-infinite construction of representations,” Kyoto J. Math.51(2011), 337–364, [arXiv:1002.3100 [math.QA]]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  10. [10]

    Heisenberg action in the equivariant K-theory of Hilbert schemes via Shuffle Algebra

    B. Feigin and A. I. Tsymbaliuk, “Equivariant K-theory of Hilbert schemes via shuffle algebra,” Kyoto J. Math.51(2011), 831–854, [arXiv:0904.1679 [math.RT]]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  11. [11]

    Wall-crossing of Instantons on the Blow-up

    B. Filoche, S. Hohenegger and T. Kimura, “Wall-crossing of Instantons on the Blow- up,” [arXiv:2604.20674 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    Shifted quiver Yangians and representations from BPS crystals,

    D. Galakhov, W. Li and M. Yamazaki, “Shifted quiver Yangians and representations from BPS crystals,” JHEP08(2021), 146 [arXiv:2106.01230 [hep-th]]

    work page arXiv 2021

  13. [13]

    Toroidal and elliptic quiver BPS algebras and beyond,

    D. Galakhov, W. Li and M. Yamazaki, “Toroidal and elliptic quiver BPS algebras and beyond,” JHEP02(2022), 024 [arXiv:2108.10286 [hep-th]]

    work page arXiv 2022

  14. [14]

    Macdonald polynomials for super- partitions,

    D. Galakhov, A. Morozov and N. Tselousov, “Macdonald polynomials for super- partitions,” Phys. Lett. B856(2024), 138911 [arXiv:2407.03301 [hep-th]]. 66

    work page arXiv 2024

  15. [15]

    Supersymmetric polynomials and algebro-combinatorial duality,

    D. Galakhov, A. Morozov and N. Tselousov, “Supersymmetric polynomials and algebro-combinatorial duality,” SciPost Phys.17(2024), 119 [arXiv:2407.04810 [hep- th]]

    work page arXiv 2024

  16. [16]

    Super-Hamiltonians for super- Macdonald polynomials,

    D. Galakhov, A. Morozov and N. Tselousov, “Super-Hamiltonians for super- Macdonald polynomials,” Phys. Lett. B865(2025), 139481 [arXiv:2501.14714 [hep- th]]

    work page arXiv 2025

  17. [17]

    Super Macdonald polynomials and BPS state counting on the blow-up,

    H. Kanno, R. Ohkawa and J. Shiraishi, “Super Macdonald polynomials and BPS state counting on the blow-up,” Lett. Math. Phys.115(2025) no.6, 138 [arXiv:2506.01415 [hep-th]]

    work page arXiv 2025

  18. [18]

    A new class of symmetric functions,

    I. G. Macdonald, “A new class of symmetric functions,” S´ eminaire Lotharingien de Combinatoire 20, B20a-41 (1988)

    work page 1988

  19. [19]

    I. G. Macdonald,Symmetric functions and Hall polynomials, 2nd ed., Oxford Math- ematical Monographs, Oxford University Press (1995)

    work page 1995

  20. [20]

    Shifted quiver quantum toroidal algebra and sub- crystal representations,

    G. Noshita and A. Watanabe, “Shifted quiver quantum toroidal algebra and sub- crystal representations,” JHEP05(2022), 122 [arXiv:2109.02045 [hep-th]]

    work page arXiv 2022

  21. [21]

    Complete integrability of relativistic Calogero-Moser systems and elliptic function identities,

    S.N.M. Ruijsenaars, “Complete integrability of relativistic Calogero-Moser systems and elliptic function identities,” Commun. Math. Phys.110(1987), 191–213

    work page 1987

  22. [22]

    Deformed quantum Calogero-Moser systems and Lie superalgebras,

    A.N. Sergeev and A.P. Veselov, “Deformed quantum Calogero-Moser systems and Lie superalgebras,” Commun. Math. Phys.245(2004), 249-278 [arXiv:math- ph/0303025]

    work page arXiv 2004

  23. [23]

    Deformed Macdonald-Ruijsenaars operators and super Macdonald polynomials

    A.N. Sergeev and A.P. Veselov, “Deformed Macdonald-Ruijsenaars operators and super Macdonald polynomials,” Commun. Math. Phys.288(2009), 653-675 [arXiv:0707.3129 [math.QA]]. 67

    work page internal anchor Pith review Pith/arXiv arXiv 2009