{"id":"cfaeb6eb-3229-48c3-bfd5-aecb70a7f5db","arxiv_id":"2505.14885","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Coinvariant rings with k commuting and j anticommuting variables decompose into simple gl(k|j) representations, with universal super Schur function character formulas that do not depend on k and j.","lead":"A new proof shows that bosonic-fermionic coinvariant rings for finite groups carry a natural action of the Lie superalgebra gl(k|j). This proves a 2020 conjecture by F. Bergeron on diagonal supersymmetry for the symmetric group.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest_assumption names the external Howe duality theorem as the main dependency. That theorem is well established and is not a credible point of failure here; the paper uses it in the standard setting of polynomial representations of gl(k|j) and GL(n). My review focused instead on whether the universal-coefficient proof has an internal gap. The key step is comparing the character series at q_k=0 and asserting equality of coefficients; this implicitly uses linear independence of super Schur functions, which is a standard basis property of the supersymmetric polynomial ring. Since the paper cites the standard properties of super Schur functions and the independence claim is not controversial, I do not regard this as a load-bearing flaw. The main theorems appear correct, and the reader's ACCEPT verdict stands without modification.","tokens_in":15218,"tokens_out":42248,"duration_ms":346078,"concrete_test":"Independently compute the multigraded Frobenius series of R^{(1,1)}_n for n=4 from known formulas or a computer algebra system, expand it in the super Schur basis s_λ(q/u), and compare the coefficients with those predicted from the R^{(2,0)}_4 series via the universal-coefficient statement of Theorem 1.2. Agreement of all c_{λμ} would confirm the coefficient-universality step; any mismatch would falsify the central claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I reviewed the proofs of The main theorems carefully. The central mechanism is Howe duality for (gl(k|j), GL(n)), restriction to a finite subgroup G, semisimplicity of the degree-d pieces of Sym(C^{k|j}⊗V), and comparison of character series under setting one bosonic or fermionic variable set to zero. The reduction R^{(k-1,j)}_G = R^{(k,j)}_G|_{x^{(k)}=0} is justified by the invariance of q_k-degree homogeneous components, and the universal-coefficient argument is valid because super Schur functions indexed by P(k-1,j,n) form a basis of the relevant supersymmetric polynomial ring, so coefficient comparison is legitimate. The externally invoked results—Howe duality and Bergeron's coefficient stability used in Proposition 1.5—are standard and are not places where this argument introduces a specific failure mode. No internal inconsistency or missing step that would threaten Theorem 1.2 or Corollary 1.3 was found.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a U(gl(k|j)) ⊗ C[G]-module structure on the bosonic-fermionic coinvariant ring R_G^{(k,j)} for a finite group G ⊂ GL(n). Theorem 1.1 states that R_G^{(k,j)} decomposes as a direct sum of simple modules U^λ_{k|j} ⊗ N^μ with nonnegative integer multiplicities, using (gl(k|j), GL(n)) Howe duality and semisimplicity of finite-dimensional G-representations. Theorem 1.2 shows by a variable-restriction argument that the multiplicities c_{λμ} are independent of (k,j). Corollary 1.3 derives Bergeron's Diagonal Supersymmetry conjecture for the symmetric group, and Proposition 1.5 formulates a corresponding universal series. The final sections study the universal series for the symmetric group, give formulas for some coefficients, and derive Hilbert-series and cancellation consequences.","tokens_in":15400,"tokens_out":15490,"duration_ms":133314,"significance":"The paper proves a structural conjecture of Bergeron by exhibiting a clean conceptual mechanism: Howe duality for gl(k|j) together with the semisimplicity of finite group representations. The central derivation is parameter-free, the coefficient universality result is obtained by a restriction argument rather than by data fitting, and the proofs are transparent and modular. The paper also strengthens the existing GL(k)×GL(j)×S_n decomposition by showing that the super Schur function refinement holds, which is a genuinely stronger statement. The use of standard external theorems (Howe duality, Bergeron's coefficient stability) is clearly identified, and the results for the symmetric group provide explicit evidence of the scope and limits of the coefficient universality.","major_comments":[],"minor_comments":[{"comment":"In the proof of Theorem 1.2, the notation q_{k+1} appears in two places where q_{k-1} is clearly intended; the displayed equation should read s_λ(q_1,...,q_{k-1},q_k/u)|_{q_k=0} and s_λ(q_1,...,q_{k-1},0/u), respectively.","section":"§3, Eq. (31)"},{"comment":"The notation \"µ = (n − k), 1^k\" should be written as a single partition, e.g., µ = (n−k,1^k), to match the convention used elsewhere.","section":"§4, Proposition 4.3(iii)"},{"comment":"The proof of Proposition 1.5 is essentially a reference to the preceding discussion and does not explicitly invoke Bergeron's coefficient stability result [3], which is the external input needed for well-definedness of the infinite-alphabet series. Since this proposition is not used in the proof of the main theorem, the issue is local, but the proof should be expanded or the proposition should be explicitly labeled as a consequence of [3].","section":"§4, Proposition 1.5 proof"},{"comment":"The coefficient comparison between equations (31) and (32) relies on the linear independence of the super Schur functions s_λ(q_1,...,q_{k-1}/u) for λ ∈ P(k−1,j,n). This is standard since these are characters of non-isomorphic simple gl(k−1|j)-modules, but it should be stated explicitly for completeness.","section":"§3, proof of Theorem 1.2"},{"comment":"The proof of the last case only establishes the claim for sufficiently large n and does not specify a lower bound or quantify the statement; the proposition should either state this quantifier or give the range of n for which the cited result of [25] applies.","section":"§4, proof of Proposition 4.2(8)"}],"recommendation":"minor_revision","confidential_remarks":"The paper's self-citation to [26] is appropriate: it is a separately proven result used only to compute illustrative examples. The manuscript fits the scope of the journal well. The central claim is sound; the requested changes are local clarifications and typographical corrections."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read Lentfer's paper on diagonal supersymmetry for coinvariant rings, and the short version is: it does what it claims. It proves Bergeron's 2020 conjecture (Corollary 1.3) and, more generally, establishes that R_G^{(k,j)} is a U(gl(k|j)) ⊗ C[G]-module with a character series given by super Schur functions times irreducible G-characters with coefficients independent of (k,j). Theorems 1.1 and 1.2 are the real content, and they are correct. The argument is a clean structural derivation: (gl(k|j), GL(n)) Howe duality gives the decomposition of Sym(C^{k|j} ⊗ V), semisimplicity for finite G gives the quotient module structure, and the restriction to x^{(k)}=0 gives the coefficient independence. No fitted parameters, no post-hoc adjustment; the logic is transparent.\n\nThe paper is honest about its external inputs. It quotes Howe duality as Theorem 2.1 and leans on Bergeron's coefficient stability for the well-definedness of the universal series in Proposition 1.5. Those are standard and separately proved results; I would not call them soft spots. The proof of Proposition 1.5 is a little terse—it is essentially a restatement of the stability result plus the basis property of super Schur functions—but it is fine. There are minor typos: equation (31) writes q_{k+1} where q_{k-1} is intended, and a few similar slips, but none affect the argument. The section on the symmetric group (Section 4) uses known Frobenius series for small (k,j) to verify the conjecture in low-dimensional cases; this is careful and appropriately cited.\n\nMy only hesitation is that the paper's novelties are largely confined to diagonal coinvariant theory and supersymmetric algebra. The impact outside that area is modest, but that is not a flaw in a paper aimed at this community. The proofs are rigorous, the conjecture is genuinely resolved, and the universal coefficient perspective is a real new viewpoint.\n\nWho is this for? Anyone working on diagonal coinvariants, super Schur functions, or Howe dualities in combinatorics will want to read it. It deserves a serious referee: I did not see a load-bearing error, and the result is significant. I would send it to review and expect it to be accepted after minor cleanups.","headline":"Proves Bergeron's diagonal supersymmetry conjecture with a clean, correct use of Howe duality and a universal character decomposition; the main theorems hold up, and only cosmetic issues remain.","tokens_in":15854,"tokens_out":1438,"would_cite":true,"duration_ms":14292,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05E10","05E05","17B10","20C30"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that bosonic-fermionic coinvariant rings decompose into super Schur functions times irreducible group characters, with universal coefficients independent of the numbers of commuting and anticommuting variable sets.","keywords":["coinvariant rings","bosonic-fermionic variables","super Schur functions","Howe duality","Diagonal Supersymmetry conjecture","multigraded Frobenius series","Lie superalgebra"],"falsifier":"Compute the coefficient of $s_{(2,1)}(\\mathbf{q}/\\mathbf{u})s_{(1^3)}(z)$ in the bigraded Frobenius series of $R_3^{(1,1)}$ by direct expansion; the theorem forces this coefficient to equal $1$, the value Corollary 4.6 assigns to $c_{(2,1),(1^3)}$, and any other value would disprove the universality claim.","tokens_in":15046,"feed_emoji":"🧮","tokens_out":11750,"duration_ms":102353,"temperature":0.7,"pith_summary":"The paper establishes that, for any finite group $G \\subset GL(n)$, the bosonic-fermionic coinvariant ring $R_G^{(k,j)}$ carries commuting actions of the Lie superalgebra $\\mathfrak{gl}(k|j)$ and of $G$. As a consequence, its multigraded character series is a sum of super Schur functions $s_\\lambda(\\mathbf{q}/\\mathbf{u})$ times irreducible $G$-characters, with nonnegative integer coefficients that do not depend on the numbers $k$ of commuting and $j$ of anticommuting variable sets. When $G$ is the symmetric group acting diagonally, this proves the Diagonal Supersymmetry conjecture. The result matters because it replaces a family of hard, case-by-case character computations with one universal series, and it shows that the super-Lie-algebra structure is the natural organizing principle for these rings.","feed_headline":"Supersymmetry conjecture for diagonal coinvariants is proved","feed_subtitle":"A universal super-Schur expansion now governs every bosonic-fermionic coinvariant ring at once.","key_machinery":"The load-bearing identity is the $(\\mathfrak{gl}(k|j), GL(n))$ Howe duality for symmetric powers:\n$$\\operatorname{Sym}^d(\\mathbb{C}^{k|j}\\otimes V) \\cong \\bigoplus_{\\$\\lambda$ \\in P(k,j,n),\\, \\$\\lambda$\\vdash d} U^\\lambda_{k|j}\\otimes U^\\lambda_n,$$\nwhere $U^\\lambda_{k|j}$ is the simple $\\mathfrak{gl}(k|j)$-module whose character is the super Schur function $s_\\lambda(\\mathbf{q}/\\mathbf{u})$ and $U^\\lambda_n$ is a simple $GL(n)$-module. This decomposition supplies the $U(\\mathfrak{gl}(k|j))\\otimes \\mathbb{C}[G]$-module structure on the polynomial superring, with $\\mathfrak{gl}(k|j)$ acting by left superderivations and $G$ acting diagonally. The argument then passes to the coinvariant quotient and uses the restriction and cancellation rules for super Schur functions to show the coefficients $c_{\\lambda\\mu}$ are independent of $k$ and $j$.","core_discovery":"On the paper's own terms, the central claim is Theorem 1.2: for fixed $n$ and a finite group $G \\subset GL(n)$, there exist universal nonnegative integers $c_{\\lambda\\mu}$ such that for every pair $(k,j)$,\n$$\\operatorname{Char}($R_G^{{(k,j)}}$;\\mathbf{q};\\mathbf{u}) = \\sum_{\\$\\lambda$ \\in P(k,j,n)} \\sum_{\\chi_\\mu \\in \\operatorname{IrrChar}(G)} c_{\\$\\lambda$\\mu} s_\\$\\lambda$(\\mathbf{q}/\\mathbf{u}) \\chi_\\mu,$$\nwhere $P(k,j,n)$ is the set of partitions of length at most $n$ with $\\lambda_{k+1} \\le j$. The same coefficients work for all $(k,j)$; only the set of partitions that can appear changes. For the symmetric group, applying the Frobenius characteristic map turns this into $\\operatorname{Frob}(R_n^{(k,j)};\\mathbf{q};\\mathbf{u}) = \\sum c_{\\lambda\\mu} s_\\lambda(\\mathbf{q}/\\mathbf{u}) s_\\mu(z)$, proving the Diagonal Supersymmetry conjecture. The proof builds the module structure by decomposing $\\operatorname{Sym}(\\mathbb{C}^{k|j}\\otimes V)$ through $(\\mathfrak{gl}(k|j), GL(n))$ Howe duality, then restricts from $GL(n)$ to $G$ and uses the Jordan–Hölder lemma to control multiplicities in the quotient.","pith_inferences":["A natural next step the author does not take is to use the known formulas for $R_n^{(1,0)}$, $R_n^{(2,0)}$, $R_n^{(0,1)}$, and $R_n^{(0,2)}$ to tabulate the first rows of the universal matrix $c_{\\lambda\\mu}$, turning Conjecture 4.1 into a finite check for small $n$.","The same Howe-duality mechanism should work for any reductive subgroup $H \\subset GL(n)$ whose restriction multiplicities from $GL(n)$ are stable, suggesting analogues of the conjecture for other reflection groups and complex reflection groups.","Because super Schur functions vanish when $k$ or $j$ is too small, the universal series contains information invisible to any finite $(k,j)$ truncation; this supports reading the infinite-alphabet series, rather than any finite case, as the fundamental object."],"forward_implications":["A single set of universal coefficients $c_{\\lambda\\mu}$ describes every bosonic-fermionic coinvariant ring for fixed $n$ and $G$, so the character series for any $(k,j)$ determines the series for all smaller pairs by setting variables to zero.","For the symmetric group, the Diagonal Supersymmetry conjecture follows, and the multigraded Frobenius series of all $R_n^{(k,j)}$ become specializations of one infinite-alphabet super-Schur series.","The same universal coefficients appear in the Hilbert series, giving $\\operatorname{Hilb}(R_n^{(k,j)};\\mathbf{q};\\mathbf{u}) = \\sum c_\\lambda s_\\lambda(\\mathbf{q}/\\mathbf{u})$ with $c_\\lambda$ independent of $(k,j)$.","The cancellation rule for super Schur functions yields evaluation identities such as setting $q_k=-u_j$, which recover known Hilbert-series facts and would, conditional on Zabrocki's and Theta-operator conjectures, imply further identities for $R_n^{(2,1)}$ and $R_n^{(2,2)}$."],"supporting_citations":[{"why":"Supplies the $(\\mathfrak{gl}(k|j), GL(n))$ Howe duality for symmetric powers that gives the initial module decomposition of $\\operatorname{Sym}(\\mathbb{C}^{k|j}\\otimes V)$.","marker":"[22]"},{"why":"Provides the Lie-superalgebra formulation of Howe duality and the super Schur function character theory used throughout.","marker":"[13]"},{"why":"Establishes coefficient stability of the multigraded Frobenius series, which justifies the infinite-alphabet universal series and Corollary 3.1.","marker":"[3]"},{"why":"States the Diagonal Supersymmetry conjecture and gives the $GL(k)\\times GL(j)\\times S_n$ product expansion that the new super-Schur expansion refines.","marker":"[4]"}],"fun_headline_variants":["Bergeron's diagonal supersymmetry conjecture proved","Universal super-Schur expansion for coinvariant rings","Howe duality proves diagonal supersymmetry for coinvariants","Every coinvariant ring gets universal super-Schur coefficients"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on the externally supplied theorem of $(\\mathfrak{gl}(k|j), GL(n))$ Howe duality, which asserts that every symmetric power of $\\mathbb{C}^{k|j}\\otimes\\mathbb{C}^n$ decomposes into simple $\\mathfrak{gl}(k|j)$-modules paired with the same simple $GL(n)$-modules; the construction of the infinite-alphabet universal series also relies on previously proved coefficient stability for these Frobenius series, and if either external input fails, the central claims do not follow from the paper's own arguments.","fun_headline_variants_meta":{"raw":{"variants":["Bergeron's diagonal supersymmetry conjecture proved","Universal super-Schur expansion for coinvariant rings","Howe duality proves diagonal supersymmetry for coinvariants","Every coinvariant ring gets universal super-Schur coefficients"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000797,"raw_usage":{"total_tokens":3504,"prompt_tokens":940,"completion_tokens":2564,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":556,"completion_tokens_details":{"reasoning_tokens":2501}},"tokens_in":556,"tokens_out":2564,"duration_ms":19561,"temperature":1.0,"reasoning_tokens":2501,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T15:27:13.451169+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the coefficient of $s_{(2,1)}(\\mathbf{q}/\\mathbf{u})s_{(1^3)}(z)$ in the bigraded Frobenius series of $R_3^{(1,1)}$ by direct expansion; the theorem forces this coefficient to equal $1$, the value Corollary 4.6 assigns to $c_{(2,1),(1^3)}$, and any other value would disprove the universality claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the $(\\mathfrak{gl}(k|j), GL(n))$ Howe duality for symmetric powers that gives the initial module decomposition of $\\operatorname{Sym}(\\mathbb{C}^{k|j}\\otimes V)$."},{"cited_title":"144, American Mathematical Society, Providence, RI, 2012","cited_arxiv_id":null,"evidence_quote":"Provides the Lie-superalgebra formulation of Howe duality and the super Schur function character theory used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes coefficient stability of the multigraded Frobenius series, which justifies the infinite-alphabet universal series and Corollary 3.1."}],"review_version":1}