pith. sign in

arxiv: 2501.09920 · v2 · submitted 2025-01-17 · 🧮 math.CO · math.RT

The sign character of the triagonal fermionic coinvariant ring

John Lentfer This is my paper

Pith reviewed 2026-05-23 04:55 UTC · model grok-4.3

classification 🧮 math.CO math.RT
keywords fermionic coinvariant ringssign charactermultiplicitytriagonalBergeron conjectureFibonacci numberssymmetric group representations
0
0 comments X

The pith

The multiplicity of the sign character of the triagonal fermionic coinvariant ring R_n^{(0,3)} is n^2 - n + 1.

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

This paper computes the trigraded multiplicity of the sign character in the triagonal fermionic coinvariant ring R_n^{(0,3)}. The resulting formula shows that the total multiplicity equals n squared minus n plus one. The calculation proves a conjecture stated by Bergeron in 2020. It supplies an explicit formula for double hook characters in the related diagonal fermionic coinvariant ring R_n^{(0,2)} and outlines methods for the next case R_n^{(0,4)}. A multigraded refinement is also given for a separate conjecture on the mixed (1,3)-bosonic-fermionic ring whose sign multiplicity is conjectured to be half the 3n-th Fibonacci number.

Core claim

We determine the trigraded multiplicity of the sign character of the triagonal fermionic coinvariant ring R_n^{(0,3)}. As a corollary, this proves a conjecture of Bergeron (2020) that the multiplicity of the sign character of R_n^{(0,3)} is n^2-n+1. We also give an explicit formula for double hook characters in the diagonal fermionic coinvariant ring R_n^{(0,2)}, and discuss methods towards calculating the sign character of R_n^{(0,4)}. Finally, we give a multigraded refinement of a conjecture of Bergeron (2020) that the multiplicity of the sign character of the (1,3)-bosonic-fermionic coinvariant ring R_n^{(1,3)} is 1/2 F_{3n}, where F_n is a Fibonacci number.

What carries the argument

The triagonal fermionic coinvariant ring R_n^{(0,3)} together with algebraic or combinatorial extraction of its trigraded sign character multiplicity.

If this is right

  • The multiplicity of the sign character of R_n^{(0,3)} equals n^2 - n + 1.
  • Double hook characters in the diagonal fermionic coinvariant ring R_n^{(0,2)} admit an explicit formula.
  • Methods are available for calculating the sign character of R_n^{(0,4)}.
  • A multigraded refinement holds for the sign multiplicity conjecture on the (1,3)-bosonic-fermionic coinvariant ring R_n^{(1,3)}.

Where Pith is reading between the lines

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

  • Similar multiplicity formulas may hold for other parameter pairs in fermionic coinvariant rings.
  • The Fibonacci connection could reflect a recursive structure visible in higher mixed bosonic-fermionic cases.
  • Direct computer verification of the multiplicity for small n would test the main formula independently of the paper's methods.
  • The results may connect to broader questions on graded characters of symmetric group representations in coinvariant quotients.

Load-bearing premise

The algebraic or combinatorial methods used to extract the trigraded sign multiplicity from the definition of the triagonal fermionic coinvariant ring are free of calculation or structural errors.

What would settle it

Direct enumeration of a basis for the ring at n=3 or n=4 followed by computation of the sign character multiplicity and comparison to the predicted values 7 or 13.

read the original abstract

We determine the trigraded multiplicity of the sign character of the triagonal fermionic coinvariant ring $R_n^{(0,3)}$. As a corollary, this proves a conjecture of Bergeron (2020) that the multiplicity of the sign character of $R_n^{(0,3)}$ is $n^2-n+1$. We also give an explicit formula for double hook characters in the diagonal fermionic coinvariant ring $R_n^{(0,2)}$, and discuss methods towards calculating the sign character of $R_n^{(0,4)}$. Finally, we give a multigraded refinement of a conjecture of Bergeron (2020) that the multiplicity of the sign character of the $(1,3)$-bosonic-fermionic coinvariant ring $R_n^{(1,3)}$ is $\frac{1}{2}F_{3n}$, where $F_n$ is a Fibonacci number.

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

0 major / 2 minor

Summary. The paper determines the trigraded multiplicity of the sign character in the triagonal fermionic coinvariant ring R_n^{(0,3)}, proving Bergeron's conjecture that this multiplicity equals n^2 - n + 1. It also supplies an explicit formula for the double-hook characters in the diagonal fermionic coinvariant ring R_n^{(0,2)}, sketches methods for the (0,4) case, and states a multigraded refinement of Bergeron's conjecture on the sign multiplicity in the (1,3)-bosonic-fermionic coinvariant ring R_n^{(1,3)} being (1/2)F_{3n}.

Significance. If the derivations hold, the work resolves a concrete open conjecture in the representation theory of fermionic coinvariant rings and supplies explicit, verifiable formulas that can serve as test cases for broader programs on multigraded characters. The explicit algebraic/combinatorial arguments for the sign multiplicity and the double-hook formula constitute reproducible, parameter-free results.

minor comments (2)
  1. The introduction would benefit from a brief comparison table of the known sign multiplicities for the (0,1), (0,2), and (0,3) cases to orient readers before the main theorem.
  2. Notation for the triagonal ideal generators in §2 could be cross-referenced to the earlier Bergeron paper to avoid any ambiguity in the definition of R_n^{(0,3)}.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and their recommendation to accept. We are pleased that the results on the sign multiplicity in R_n^{(0,3)} and the explicit formulas for R_n^{(0,2)} were viewed as resolving the conjecture and providing verifiable test cases.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states that it determines the trigraded sign multiplicity directly from the definition of the triagonal fermionic coinvariant ring R_n^{(0,3)} via algebraic and combinatorial methods, with the total multiplicity n^2-n+1 obtained as a corollary. No equations or steps are shown that reduce the claimed result to a fitted parameter, a self-referential definition, or a load-bearing self-citation chain. The Bergeron conjecture is external (2020) and the derivation is presented as independent of the target multiplicity. This is the common case of a self-contained explicit proof.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Paper operates inside established representation theory of the symmetric group and graded coinvariant rings; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • standard math Standard properties of the symmetric group action on polynomial and exterior algebras and the resulting coinvariant quotients
    The entire construction of R_n^{(0,3)} and its characters rests on these background facts from algebraic combinatorics.

pith-pipeline@v0.9.0 · 5678 in / 1292 out tokens · 51760 ms · 2026-05-23T04:55:13.671560+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · 2 internal anchors

  1. [1]

    Fran¸ cois Bergeron, Jim Haglund, Alessandro Iraci, and M arino Romero, Bosonic-fermionic diagonal coinvariants and theta operators , preprint (2023), https://www2.math.upenn.edu/~jhaglund/preprints/BF2.pdf

    work page 2023

  2. [2]

    Fran¸ cois Bergeron, The bosonic-fermionic diagonal coinvariant modules conje cture, preprint (2020), https://arxiv.org/abs/2005.00924

    work page arXiv 2020

  3. [3]

    , ( GLk × Sn)-modules of multivariate diagonal harmonics , Open Problems in Algebraic Combinatorics (Christine Berkesch, Benjamin Brubaker, Gregg Musiker, Pa vlo Pylyavskyy, and Victor Reiner, eds.), Proc. Symp. Pure Math., vol. 110, Providence, RI: American Mathem atical Society (AMS), 2024, pp. 1–22

    work page 2024

  4. [4]

    Christine Bessenrodt, Tensor products of representations of the symmetric groups and related groups , RIMS Kokyuroku (Proceedings of Research Insititute for Mathema tical Sciences) 1149 (2000), 1–15

    work page 2000

  5. [5]

    Nicolas Bourbaki, Algebra I , Elements of mathematics, Springer-Verlag, Berlin, 1989 ( English)

    work page 1989

  6. [6]

    Representations and combinatorics , Hackensack, NJ: World Scientific, 2017 (English)

    Daniel Bump and Anne Schilling, Crystal bases. Representations and combinatorics , Hackensack, NJ: World Scientific, 2017 (English)

    work page 2017

  7. [7]

    Michele D’Adderio, Alessandro Iraci, and Anna Vanden Wyn gaerd, Theta operators, refined delta conjectures, and coinvariants, Adv. Math. 376 (2021), 60, Id/No 107447

    work page 2021

  8. [8]

    James Haglund and Emily Sergel, Schedules and the delta conjecture , Annals of Combinatorics 25 (2020), no. 1, 1?31

    work page 2020

  9. [9]

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

    work page 1994

  10. [10]

    , Vanishing theorems and character formulas for the Hilbert s cheme of points in the plane , Invent. Math. 149 (2002), no. 2, 371–407

    work page 2002

  11. [11]

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

    work page 2022

  12. [12]

    John Lentfer, A conjectural basis for the (1, 2)-bosonic-fermionic coinvariant ring , preprint (2024), https://arxiv.org/abs/2406.19715

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  13. [13]

    (2024), The On-Line Encyclopedia o f Integer Sequences, Published electronically at https://oeis.org

    OEIS Foundation Inc. (2024), The On-Line Encyclopedia o f Integer Sequences, Published electronically at https://oeis.org

    work page 2024

  14. [14]

    Rosas, The Kronecker product of Schur functions indexed by two-row shapes or hook shapes , Journal of Algebraic Combinatorics 14 (2001), no

    Mercedes H. Rosas, The Kronecker product of Schur functions indexed by two-row shapes or hook shapes , Journal of Algebraic Combinatorics 14 (2001), no. 2, 153–173

    work page 2001

  15. [15]

    Swanson and Nolan R

    Joshua P. Swanson and Nolan R. Wallach, Harmonic differential forms for pseudo-reflection groups II. Bi-degree bounds, Combinatorial Theory 3 (2023), no. 3, Paper no. 17

    work page 2023

  16. [16]

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

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  17. [17]

    Department of Mathematics, University of California, Berk eley, CA, USA Email address : jlentfer@berkeley.edu 18

    , Coinvariants and harmonics , 2020, https://realopacblog.wordpress.com/2020/01/26/coinvariants-and-harmonics/ . Department of Mathematics, University of California, Berk eley, CA, USA Email address : jlentfer@berkeley.edu 18

    work page 2020