Pith. sign in

REVIEW 2 major objections 3 minor 51 references

Type $B$ fermionic coinvariant rings

T0 review · 2 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For the two-fermion type B coinvariant ring, the paper proves that the bigraded multiplicity of every irreducible hyperoctahedral character is a single Schur polynomial, making the ring multiplicity-free as a GL_2×B_n-module.

desk verdict Solid self-contained results for the two- and three-fermion type B coinvariant rings, with a clearly flagged but real dependence on an unpublished preprint for the all-(k,j) character formulas. read the letter →

arxiv 2608.02881 v1 pith:J7BDZAWJ submitted 2026-08-03 math.CO math.RT

Yuhan Jiang , John Lentfer This is my paper · ORCID
classification math.COmath.RT MSC 05E1005E1813A5020C30
keywords coinvariantringhyperoctahedralgroupfermionicvariablesbigradedFrobeniusseriesSchurpolynomialsmultiplicity-freesuperfunctionsMackeytensorproduct
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper gives closed-form formulas for characters of certain type B coinvariant rings, which are quotients of polynomial rings in commuting and anticommuting variables by the ideal generated by diagonal invariants. Its central result is that in the two-fermion ring $R^{(0,2)}_{B_n}$, the bigraded multiplicity of every irreducible character of the hyperoctahedral group is a single Schur polynomial, so the ring decomposes without repetition as a $\operatorname{GL}_2\times B_n$-module. It also shows that the sign character of the three-fermion ring occurs with multiplicity $s_{(n)}(u,v,w)$, and, for every pair $(k,j)$, it determines the multiplicity of the standard character in type A and of two small characters in type B. These are the first nontrivial characters established for all $(k,j)$ in either type. The formulas are explicit and positive, and they connect to open dimension problems in the area.

What carries the argument

The two-fermion theorem is carried by the Mackey tensor product formula, applied to the exterior powers of the defining representation $V$ of $B_n$. The decomposition $\wedge^i V\otimes \wedge^j V^*$ is written as a direct sum of inductions from subgroups indexed by $2\times 2$ contingency tables; applying the type B Frobenius map and the Pieri rule renders each coefficient a Kostka number, and a counting argument collapses the sum to one Schur polynomial per bipartition. For the all-$(k,j)$ results, the machinery is the super Schur function basis from [28]: a universal theorem asserts that the multigraded Frobenius series of $R^{(k,j)}_n$ and $R^{(k,j)}_{B_n}$ decompose as $\sum_{\lambda,\mu} c_{\lambda,\mu} s_\lambda(q/u)\,s_\mu(z)$ with coefficients $c_{\lambda,\mu}$ independent of $(k,j)$, and the paper determines those coefficients in the three small-character cases.

What would settle it

One concrete check: compute the multigraded Frobenius series of $R^{(1,1)}_{B_3}$ (or $R^{(2,0)}_{B_4}$) by directly constructing the harmonic space of Appendix A and diagonalizing the group action. The universal coefficient theorem implies that the multiplicity of the character $((n-1),(1))$ must equal $s_{(1)}(q/u)+s_{(3)}(q/u)+\cdots+s_{(2n-1)}(q/u)$; any other polynomial would refute the $(k,j)$-independence on which the Section 6 formulas rest. For the two-fermion theorem, a second check is to verify that in $R^{(0,2)}_{B_4}$ every bipartition with $\lambda$ having more than two rows or $\mu$ having more than two columns has zero bigraded multiplicity.

Watch

Extended reading notes

Core claim

The paper's primary claim is the explicit bigraded Frobenius series $$\operatorname{Frob}($R^{{(0,2)}}$_{B_n};u,v)=\sum_{\$\lambda$=(\lambda_1,\lambda_2),\ \mu=(2^\ell,1^m)} s_{(n-\ell-\lambda_1,\ell+\lambda_2)}(u,v)\,s_\$\lambda$(x)s_\mu(y),$$ where the sum runs over bipartitions of $n$ with $\lambda$ of at most two rows, $\mu$ of the stated two-column form, and $m=n-\lambda_1-\lambda_2-2\ell$. It follows that every irreducible $B_n$-character appears with coefficient exactly one Schur polynomial in the two grading variables, that coefficients are always $0$ or $1$, and that $R^{(0,2)}_{B_n}$ is a multiplicity-free $\operatorname{GL}_2\times B_n$-module. For the three-fermion ring the paper proves that the sign character appears with multiplicity $s_{(n)}(u,v,w)$, a single irreducible $\operatorname{GL}_3$-character. The final main claim is an all-$(k,j)$ result: the multigraded multiplicity of the standard character of $S_n$ in $R^{(k,j)}_n$ is $s_{(1)}(q/u)+\cdots+s_{(n-1)}(q/u)$, and the multiplicities of the $B_n$-characters indexed by $((n-1),(1))$ and $((n-1,1),\varnothing)$ are given by the alternating sums $s_{(1)}+s_{(3)}+\cdots+s_{(2n-1)}$ and $s_{(2)}+s_{(4)}+\cdots+s_{(2n-2)}$.

Load-bearing premise

The load-bearing premise is the companion preprint's assertion that, once you fix the group and the number $n$, the same universal coefficients describe the multigraded Frobenius series for every choice of $k$ and $j$; the paper's own proof covers only the purely bosonic case $(k,0)$.

Editorial extensions

If this is right

  • The decomposition of Theorem 4.10 implies the $\operatorname{GL}_2\times B_n$-module structure of $R^{(0,2)}_{B_n}$ is multiplicity-free, with each bipartition contributing one irreducible polynomial $\operatorname{GL}_2$-representation.
  • The Hilbert series of $R^{(0,2)}_{B_n}$ can be written as an explicit finite sum of Kostka-weighted Schur polynomials (Corollary 4.14), giving a new proof of the modified Motzkin path formula.
  • In the three-fermion ring, the sign character is a single Schur function $s_{(n)}(u,v,w)$, in contrast to the type A case where two irreducible $\operatorname{GL}_3$-characters appear.
  • For every $k,j$, the standard character of $S_n$ has multiplicity $s_{(1)}(q/u)+\cdots+s_{(n-1)}(q/u)$ in $R^{(k,j)}_n$, and the two type B characters listed in Theorem 6.8 have multiplicities given by alternating sums of super Schur functions.
  • At $(k,j)=(1,0)$ the new formulas reduce to the classical graded Frobenius series of the ordinary coinvariant rings, confirming consistency with known results.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the universal coefficient theorem from [28] holds, the pattern here suggests that every irreducible character in both type A and B bosonic-fermionic coinvariant rings has a multigraded multiplicity that is a finite sum of super Schur functions with coefficients independent of $(k,j)$; the three new characters are the first evidence beyond the trivial character.
  • The multiplicity-free nature of the two-fermion type B ring is reminiscent of skew Howe duality and may indicate an underlying Howe-dual pair structure that could be tested for $k>0$ with $j=2$.
  • A direct analogue of Theorem 5.1 for $j\ge 4$ fermionic variables would likely involve several irreducible $\operatorname{GL}_j$-characters; the paper's Remark 5.8 already notes that $s_{(n)}$ is only a lower bound for $j\ge 4$.
  • Because the universal coefficients are independent of $(k,j)$, one could in principle compute them from a single convenient specialization (e.g., large $k$, $j=0$), which would make the full multigraded Frobenius series of these rings accessible for small $n$ with modest computation.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. This paper studies the type B bosonic-fermionic coinvariant rings R^{(k,j)}_{B_n}. Its main self-contained results are an explicit bigraded Frobenius series for R^{(0,2)}_{B_n} (Theorem 4.10), showing that the multiplicity of every irreducible B_n-character is a single Schur polynomial and yielding a multiplicity-free GL_2 × B_n decomposition (Corollary 4.11), and a formula for the trigraded multiplicity of the sign character of R^{(0,3)}_{B_n} as s_(n)(u,v,w) (Theorem 5.1). Section 6 then determines the standard character in the type A rings R^{(k,j)}_n and two characters in the type B rings R^{(k,j)}_{B_n} for all k and j, using a universal-coefficient decomposition imported from the authors' preprint [28].

Significance. The two-fermion formula is a genuine advance: it is manifestly positive, uniform in the bipartition, and gives a multiplicity-free GL_2 × B_n decomposition without passing through degree-by-degree data. The proof of Theorem 4.10 combines a transparent Mackey-theoretic computation (Proposition 4.6) with a clean Kostka-coefficient evaluation, and the proof of Theorem 5.1 is an elegant matching of an upper bound from a tensor-product surjection with a lower bound from an explicit harmonic highest-weight vector. The new proof of the Kim–Rhoades Motzkin-path Hilbert series is also valuable. The all-(k,j) character formulas in Section 6 are attractive and would be the first of their kind, but their status as theorems depends on the external universal-coefficient decomposition from [28].

major comments (2)
  1. [§6.1, Theorems 6.1–6.2, 6.6, 6.8] The universal-coefficient decomposition is stated without proof and is taken from [28], an unpublished preprint by one of the authors. This is load-bearing for the advertised 'for all (k,j)' results: the proof of Theorem 6.6 uses it to pass from the k≥n case to all (k,j), and the proof of Theorem 6.8 uses it both for the coefficient-sum constraint in equation (109) and for the global coefficient identification after the parity separation. If the coefficient-independence assertion in [28] failed, the all-(k,j) conclusions would not follow. The authors should either provide a proof of Theorems 6.1–6.2 in an appendix, or explicitly present Theorems 6.6 and 6.8 as conditional on [28] and adjust the abstract and introduction accordingly.
  2. [Corollary 4.11] The proof of the GL_2 × B_n decomposition invokes [28, Theorem 1.1], but this external result is not needed. The natural GL_2 action on the two fermionic variable sets commutes with the B_n action, and Theorem 4.10 already shows that the bigraded multiplicity of each irreducible B_n-character is the character of a single irreducible GL_2-representation. A direct argument from Theorem 4.10 would remove this unnecessary dependency from a central structural claim.
minor comments (3)
  1. [Proposition 5.7] The heading 'The triagonal fermionic type B harmonics' contains a typo; it should be 'trigraded' or 'triply graded'.
  2. [Appendix B] The notation in equations (130)–(133), such as 's_(3,3)s_{∅,(4)}(x,y)', is terse: the first factor is a super Schur function in u,v,w and the second is a type B Frobenius basis element. A one-sentence worked example would help readers parse the data.
  3. [Equation (86)] The summation index after the first equality is slightly non-obvious: the nonzero terms pair [r+1]_{u,v} with w^{n-r}, and writing i=n-r yields the displayed [n-i+1]_{u,v} w^i. This is correct, but a short explanatory phrase would improve readability.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central (0,2) and (0,3) results are self-contained; the all-(k,j) results depend on co-author Lentfer's preprint [28] as a cited theorem, but not on a fitted parameter or definitional equivalence.

full rationale

The bigraded Frobenius formula for R^{(0,2)}_{B_n} (Theorem 4.10) is derived from Kim–Rhoades' Grothendieck-group formula (Theorem 4.1), an explicit Mackey tensor-product computation (Proposition 4.6), and Kostka-number bookkeeping; no parameter is fitted and no cited result is equivalent to the conclusion. The sign-character formula for R^{(0,3)}_{B_n} (Theorem 5.1) is proved by a coefficient-wise upper bound obtained from the surjection R^{(0,2)}\otimes R^{(0,1)} \twoheadrightarrow R^{(0,3)} and a harmonic-space lower bound exhibiting \theta_1\cdots\theta_n as a highest weight vector; both halves are self-contained. The only load-bearing dependence on the authors' own prior work is in Section 6: Theorems 6.1 and 6.2 are imported from Lentfer's unpublished preprint [28], and the all-(k,j) character formulas (Theorems 6.6 and 6.8) are obtained by computing the pure-bosonic (k,0) coefficients via Proposition 6.5 and then invoking the coefficient-independence asserted in those imported theorems. This is a notable verifiability risk — the advertised 'for all (k,j)' results are conditional on [28] being correct — but it is not circularity in the sense of an equation reducing to its own input: the coefficients are computed from an independent (k,0) calculation, and no fitted parameter is relabeled as a prediction. Corollary 4.11 cites [28, Theorem 1.1] for the GL_2\times B_n decomposition, but that citation is not actually needed, since the natural GL_2 action and Theorem 4.10 already determine the GL_2-isotypic pieces. Overall, the central (0,2) and (0,3) results are self-contained, and the self-citation carries real mathematical content rather than being an ansatz or uniqueness argument. Score 1 reflects the low circularity and the non-circular but notable preprint dependency.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No numbers are fitted to data; the formulas are exact identities in symmetric functions, with n, k, j as inputs rather than fitted constants. No new algebraic or physical entities are postulated. The paper works within the existing framework of coinvariant rings, diagonal harmonics, and super Schur functions.

assumptions (5)
  • standard math Diagonal S_n and B_n invariants are generated by polarized power sums p_{r;s} (Propositions 2.1 and 2.2, following Weyl [48] and Zabrocki [50]).
    Used throughout Section 6 to reduce the defining ideals and to derive the congruence p_r(x_{n-1}) ≡ -monomial in x_n (mod I) in Proposition 6.5.
  • standard math Kim-Rhoades Grothendieck group formula: [(R^{(0,2)}_W)_{i,j}] = [∧^i V]·[∧^j V^*] - [∧^{i-1}V]·[∧^{j-1}V^*] for i+j ≤ n (Theorem 4.1, citing [26]).
    Starting point of Section 4; combined with Proposition 4.6 it yields Proposition 4.8, from which Theorem 4.10 is derived.
  • domain assumption Universal coefficient decomposition of the type A and type B multigraded Frobenius series (Theorems 6.1 and 6.2 of [28], cited in Section 6.1).
    Load-bearing for Theorems 6.6 and 6.8 in extending the (k,0) computations to all k and j; the preprint is by a co-author and is not proven in this paper.
  • standard math Mackey tensor product formula for induced representations (Theorem 4.4, citing Mackey [33] and Curtis-Reiner [18]).
    Used in the proof of Proposition 4.6 to decompose ∧^i V ⊗ ∧^j V^* into sums of inductions indexed by contingency tables.
  • standard math Standard facts about exterior powers of B_n representations: ∧^i V((n-1),(1)) ≅ V((n-i),(1^i)) and V ≅ V^* (Section 2.4, citing Geck-Pfeiffer [19]).
    Used throughout, especially in Proposition 4.6 and Proposition 3.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Type $B$ fermionic coinvariant rings." pith.science (2026). https://pith.science/paper/J7BDZAWJ

@misc{pith2026260802881,
  author       = {Pith},
  title        = {Pith review of: Type $B$ fermionic coinvariant rings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/J7BDZAWJ}},
  note         = {Machine review of arXiv:2608.02881}
}
abstract

Let $\mathfrak{B}_n$ denote the hyperoctahedral group. The type $B$ coinvariant rings $R_{\mathfrak{B}_n}^{(k,j)}$ are quotients of the ring of polynomials in $k$ sets of $n$ commuting variables and $j$ sets of $n$ anticommuting variables by the ideal generated by the diagonal $\mathfrak{B}_n$-invariants without constant term. Building upon the work of Kim--Rhoades (2022), we give an explicit formula for the bigraded Frobenius series of $R_{\mathfrak{B}_n}^{(0,2)}$: the bigraded multiplicity of each irreducible $\mathfrak{B}_n$-character is a single Schur polynomial, so $R_{\mathfrak{B}_n}^{(0,2)}$ is multiplicity-free as a $\operatorname{GL}_2 \times \mathfrak{B}_n$-module. We then determine that the trigraded multiplicity of the sign character of $R_{\mathfrak{B}_n}^{(0,3)}$ is given by a single Schur function. Finally, for all $k$ and $j$, we determine the multiplicity of the standard character in the type $A$ coinvariant ring $R_{n}^{(k,j)}$, as well as the multiplicities of the characters indexed by the bipartitions $((n-1),(1))$ and $((n-1,1),\varnothing)$ in $R_{\mathfrak{B}_n}^{(k,j)}$. These are the first nontrivial characters established for all $(k,j)$ in either of types $A$ or $B$.

Figures

Figures reproduced from arXiv: 2608.02881 by the authors.

Figure 1
Figure 1. The modified Motzkin paths in Π(2)≥0 (top), grouped by the un￾derlying path in the alphabet {U, D, H} from which they are obtained by labeling each H step as Hθ or Hξ (bottom). There are n i  Kλ,(1i) underlying paths with λ1 up-steps and λ2 down-steps, and each admits 2n−i labelings. Now we extract the weights from the paths. There are λ2 down-steps, each of weight θiξi , contributing (uv) λ2 . By equation (9), (71… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 45 canonical work pages

  1. [28]

    Diagonal supersymmetry for coinvariant rings.Preprint, 2025.https://arxiv.org/abs/ 2505.14885

    John Lentfer. Diagonal supersymmetry for coinvariant rings.Preprint, 2025.https://arxiv.org/abs/ 2505.14885

    arXiv 2025

  2. [1]

    Adin, Christos A

    Ron M. Adin, Christos A. Athanasiadis, Sergi Elizalde, and Yuval Roichman. Character formulas and descents for the hyperoctahedral group.Adv. in Appl. Math., 87:128–169, 2017

    work page 2017

  3. [2]

    Representation theory and the diagonal coinvariant ring of the type B Weyl group.Journal of Pure and Applied Algebra, 228(6):107592, June 2024

    Carlos Ajila and Stephen Griffeth. Representation theory and the diagonal coinvariant ring of the type B Weyl group.Journal of Pure and Applied Algebra, 228(6):107592, June 2024

    work page 2024

  4. [3]

    Superspace coinvariants and hyperplane arrangements.Adv

    Robert Angarone, Patricia Commins, Trevor Karn, Satoshi Murai, and Brendon Rhoades. Superspace coinvariants and hyperplane arrangements.Adv. Math., 467:36, 2025

    work page 2025

  5. [4]

    Emil Artin.Galois theory. 2nd ed. Edited and supplemented with a section on applications by Arthur N. Milgram, volume 2 ofNotre Dame Math. Lect.Univ. of Notre Dame Press, Notre Dame, IN, 1944

    work page 1944

  6. [5]

    Berele and A

    A. Berele and A. Regev. Hook Young diagrams with applications to combinatorics and to representations of Lie superalgebras.Adv. Math., 64:118–175, 1987

    work page 1987

  7. [6]

    Symmetric functions in Sage

    Fran¸ cois Bergeron. Symmetric functions in Sage. Jupyter notebook

    work page

  8. [7]

    Multivariate diagonal coinvariant spaces for complex reflection groups.Adv

    Fran¸ cois Bergeron. Multivariate diagonal coinvariant spaces for complex reflection groups.Adv. Math., 239:97–108, 2013

    work page 2013

Show all 51 references
  1. [8]

    The bosonic-fermionic diagonal coinvariant modules conjecture.Preprint, 2020

    Fran¸ cois Bergeron. The bosonic-fermionic diagonal coinvariant modules conjecture.Preprint, 2020. https://arxiv.org/abs/2005.00924

    2020 arXiv

  2. [9]

    (GLk×S n)-modules of multivariate diagonal harmonics

    Fran¸ cois Bergeron. (GLk×S n)-modules of multivariate diagonal harmonics. In Christine Berkesch, Benjamin Brubaker, Gregg Musiker, Pavlo Pylyavskyy, and Victor Reiner, editors,Open Problems in Algebraic Combinatorics, volume 110 ofProc. Symp. Pure Math., pages 1–22. Providenc...

    2024

  3. [10]

    Bergeron and A

    N. Bergeron and A. M. Garsia. On certain spaces of harmonic polynomials. InHypergeometric functions on domains of positivity, Jack polynomials, and applications. Proceedings of an AMS special session held March 22-23, 1991 in Tampa, FL, USA, pages 51–86. Providence, RI: Americ...

    1991

  4. [11]

    Tensor products of representations of the symmetric groups and related groups

    Christine Bessenrodt. Tensor products of representations of the symmetric groups and related groups. RIMS Kokyuroku (Proceedings of Research Institute for Mathematical Sciences), 1149:1–15, 2000

    2000

  5. [12]

    The superspace coinvariant ring of type B.Preprint, 2025.https://arxiv.org/ abs/2505.24122

    Sutanay Bhattacharya. The superspace coinvariant ring of type B.Preprint, 2025.https://arxiv.org/ abs/2505.24122

    2025 arXiv

  6. [13]

    Superspace coinvariants for wreath products.Preprint, 2026.https://arxiv.org/abs/2606.30977

    Sutanay Bhattacharya and Brendon Rhoades. Superspace coinvariants for wreath products.Preprint, 2026.https://arxiv.org/abs/2606.30977

    2026 arXiv

  7. [14]

    Sur la cohomologie des espaces fibr´ es principaux et des espaces homog` enes de groupes de Lie compacts.Ann

    Armand Borel. Sur la cohomologie des espaces fibr´ es principaux et des espaces homog` enes de groupes de Lie compacts.Ann. Math. (2), 57:115–207, 1953

    1953

  8. [15]

    Elements of mathematics

    Nicolas Bourbaki.Algebra I. Elements of mathematics. Springer-Verlag, Berlin, 1989

    1989

  9. [16]

    American Mathematical Society, Providence, RI, 2012

    Shun-Jen Cheng and Weiqiang Wang.Dualities and representations of Lie superalgebras, volume 144 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2012

    2012

  10. [17]

    Invariants of finite groups generated by reflections.American Journal of Mathematics, 77(4):778–782, 1955

    Claude Chevalley. Invariants of finite groups generated by reflections.American Journal of Mathematics, 77(4):778–782, 1955

    1955

  11. [18]

    Curtis and Irving Reiner.Representation theory of finite groups and associative algebras

    Charles W. Curtis and Irving Reiner.Representation theory of finite groups and associative algebras. AMS Chelsea Publishing, Providence, RI, 2006. Reprint of the 1962 original

    2006

  12. [19]

    Meinolf Geck and G¨ otz Pfeiffer.Characters of finite Coxeter groups and Iwahori-Hecke algebras, vol- ume 21 ofLond. Math. Soc. Monogr., New Ser.Oxford: Clarendon Press, 2000

    2000

  13. [20]

    On the quotient ring by diagonal invariants.Invent

    Iain Gordon. On the quotient ring by diagonal invariants.Invent. Math., 153(3):503–518, 2003

    2003

  14. [21]

    Universitext

    Caroline Gruson and Vera Serganova.A journey through representation theory. Universitext. Springer, Cham, 2018. From finite groups to quivers via algebras

    2018

  15. [22]

    Schedules and the Delta conjecture.Annals of Combinatorics, 25(1):1–31, November 2020

    James Haglund and Emily Sergel. Schedules and the Delta conjecture.Annals of Combinatorics, 25(1):1–31, November 2020

    2020

  16. [23]

    Conjectures on the quotient ring by diagonal invariants.J

    Mark Haiman. Conjectures on the quotient ring by diagonal invariants.J. Algebr. Comb., 3(1):17–76, 1994

    1994

  17. [24]

    Vanishing theorems and character formulas for the Hilbert scheme of points in the plane

    Mark Haiman. Vanishing theorems and character formulas for the Hilbert scheme of points in the plane. Invent. Math., 149(2):371–407, 2002. 32

    2002

  18. [25]

    Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond

    Roger Howe. Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond. In The Schur lectures (1992), pages 1–182. Ramat-Gan: Bar-Ilan University; Providence, RI: American Mathematical Society (Distrib.), 1995

    1992

  19. [26]

    Lefschetz theory for exterior algebras and fermionic diagonal coinvariants.Int

    Jongwon Kim and Brendon Rhoades. Lefschetz theory for exterior algebras and fermionic diagonal coinvariants.Int. Math. Res. Not. IMRN, 2022(4):2906–2933, 2022

    2022

  20. [27]

    A conjectural basis for the (1,2)-bosonic-fermionic coinvariant ring.Algebr

    John Lentfer. A conjectural basis for the (1,2)-bosonic-fermionic coinvariant ring.Algebr. Comb., 8(3):711–743, 2025

    2025

  21. [29]

    PhD thesis, University of Cali- fornia, Berkeley, 2026

    John Lentfer.Combinatorics of Bosonic-Fermionic Coinvariant Rings. PhD thesis, University of Cali- fornia, Berkeley, 2026

    2026

  22. [30]

    The sign character of the triagonal fermionic coinvariant ring.Electron

    John Lentfer. The sign character of the triagonal fermionic coinvariant ring.Electron. J. Comb., 33(2):Paper P2.3, 22, 2026

    2026

  23. [31]

    Sur l’homologie des groupes de Lie, des espaces homog` enes et des espaces fibr´ es principaux

    Jean Leray. Sur l’homologie des groupes de Lie, des espaces homog` enes et des espaces fibr´ es principaux. Centre Belge Rech. Math., Colloque Topologie, Bruxelles, pages 101–115, 1951

    1951

  24. [32]

    edition, 1995

    Ian Grant Macdonald.Symmetric functions and Hall polynomials.Oxford: Clarendon Press, 2nd ed. edition, 1995

    1995

  25. [33]

    George W. Mackey. Induced representations and the applications of harmonic analysis. InHarmonic analysis (Luxembourg, 1987), volume 1359 ofLecture Notes in Math., pages 16–51. Springer, Berlin, 1988

    1987

  26. [34]

    A proof of the Fields conjectures.Preprint, 2025

    Satoshi Murai, Brendon Rhoades, and Andy Wilson. A proof of the Fields conjectures.Preprint, 2025. https://arxiv.org/abs/2505.24027

    2025 arXiv

  27. [35]

    A combinatorial model for the decomposition of multivariate polynomial rings asS n-modules.Electron

    Rosa Orellana and Michael Zabrocki. A combinatorial model for the decomposition of multivariate polynomial rings asS n-modules.Electron. J. Comb., 27(3):18, 2020. Id/No p3.24

    2020

  28. [36]

    Orellana

    Rosa C. Orellana. On the algebraic decomposition of a centralizer algebra of the hyperoctahedral group. InAlgebraic structures and their representations. Proceedings of ‘XV coloquio Latinoamericano de ´ algebra’, Cocoyoc, Morelos, M´ exico, July 20–26, 2003., pages 345–357. Pr...

    2003

  29. [37]

    K. Pearson. On the theory of contingency and its relation to association and normal correlation. London: Draper’s research memoirs. Biometric series. Nrs. 1-2, 1904/5 (1904,1905)., 1904

    1904

  30. [38]

    The Hilbert series of the superspace coinvariant ring

    Brendon Rhoades and Andrew Timothy Wilson. The Hilbert series of the superspace coinvariant ring. Forum Math. Pi, 12:35, 2024. Id/No e16

    2024

  31. [39]

    Sagan and Joshua P

    Bruce E. Sagan and Joshua P. Swanson.q-Stirling numbers in typeB.European J. Combin., 118:Paper No. 103899, 35, 2024

    2024

  32. [40]

    G. C. Shephard and J. A. Todd. Finite unitary reflection groups.Canad. J. Math., 6:274–304, 1954

    1954

  33. [41]

    Richard P. Stanley. Invariants of finite groups and their applications to combinatorics.Bull. Amer. Math. Soc. (N.S.), 1(3):475–511, 1979

    1979

  34. [42]

    Stanley.Enumerative combinatorics

    Richard P. Stanley.Enumerative combinatorics. Volume 2, volume 62 ofCamb. Stud. Adv. Math.Cam- bridge: Cambridge University Press, 1999

    1999

  35. [43]

    Stembridge

    John R. Stembridge. On the eigenvalues of representations of reflection groups and wreath products. Pacific J. Math., 140(2):353–396, 1989

    1989

  36. [44]

    Christian Stump.q,t-Fuß-Catalan numbers for finite reflection groups.Journal of algebraic combina- torics, 32(1):67–97, 2010

    2010

  37. [45]

    Joshua P. Swanson. Alternating super-polynomials and super-coinvariants of finite reflection groups. preprint, pagehttps://arxiv.org/pdf/1908.00196, 2019

    1908 arXiv

  38. [46]

    Swanson and Nolan R

    Joshua P. Swanson and Nolan R. Wallach. Harmonic differential forms for pseudo-reflection groups I. Semi-invariants.Journal of Combinatorial Theory, Series A, 182:Paper no. 105474, August 2021

    2021

  39. [47]

    Swanson and Nolan R

    Joshua P. Swanson and Nolan R. Wallach. Harmonic differential forms for pseudo-reflection groups. II: Bi-degree bounds.Comb. Theory, 3(3):43, 2023. Id/No 17

    2023

  40. [48]

    Ser.Princeton, NJ: Princeton University Press, 2nd edition, 1946

    Hermann Weyl.The classical groups, their invariants and representations, volume 1 ofPrinceton Math. Ser.Princeton, NJ: Princeton University Press, 2nd edition, 1946

    1946

  41. [49]

    Jupyter notebook.http://garsia.math.yorku.ca/ ~zabrocki/delta_conj.ipynb

    Mike Zabrocki. Jupyter notebook.http://garsia.math.yorku.ca/ ~zabrocki/delta_conj.ipynb

  42. [50]

    A module for the Delta conjecture, 2019.https://arxiv.org/abs/1902.08966

    Mike Zabrocki. A module for the Delta conjecture, 2019.https://arxiv.org/abs/1902.08966. 33

    2019 arXiv

  43. [51]

    Coinvariants and harmonics, 2020.https://realopacblog.wordpress.com/2020/01/ 26/coinvariants-and-harmonics/

    Mike Zabrocki. Coinvariants and harmonics, 2020.https://realopacblog.wordpress.com/2020/01/ 26/coinvariants-and-harmonics/. Department of Mathematics, University of California, Berkeley, CA, USA Email address:jyh@math.berkeley.edu Department of Mathematics, University of Calif...

    2020

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.