pith. sign in

arxiv: 1906.11787 · v1 · pith:AM4ETQI3new · submitted 2019-06-27 · 🧮 math.CO · math.RT

Some implications of a conjecture of Zabrocki to the action of S_(n) on polynomial differential forms

Nolan R. Wallach This is my paper

Pith reviewed 2026-05-25 14:42 UTC · model grok-4.3

classification 🧮 math.CO math.RT
keywords symmetric groupinvariantsdifferential formsexterior derivativeelementary symmetric polynomialsZabrocki conjecturealternants
0
0 comments X

The pith

The S_n-invariants in polynomial differential forms are freely generated by the elementary symmetric polynomials and their exterior derivatives.

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

This paper examines the action of the symmetric group S_n on polynomial differential forms on R^n by permuting the coordinates. It shows that the invariants are freely generated by the elementary symmetric polynomials and their exterior derivatives. This allows giving a basis for the alternants in the quotient by the ideal of positive degree homogeneous invariants and computing the highest bigraded degrees. The findings are consistent with predictions from Zabrocki's conjecture. Sympathetic readers care because it provides an explicit algebraic presentation of the invariant forms.

Core claim

The symmetric group acts on polynomial differential forms on R^n through its action by permuting the coordinates. The S_n-invariants are shown to be freely generated by the elementary symmetric polynomials and their exterior derivatives. A basis of the alternants in the quotient of the ideal generated by the homogeneous invariants of positive degree is given. In addition, the highest bigraded degrees are given for the quotient. All of these results are consistent with predictions derived by Garsia and Romero from a recent conjecture of Zabrocki.

What carries the argument

Free generation of the S_n-invariant subalgebra by the elementary symmetric polynomials and their exterior derivatives.

If this is right

  • The quotient has an explicit basis of alternants.
  • The highest bigraded degrees of the quotient are determined.
  • The results support the predictions extracted from Zabrocki's conjecture.

Where Pith is reading between the lines

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

  • The consistency offers indirect support for Zabrocki's conjecture.
  • The free generators may simplify computations involving invariant differential forms.

Load-bearing premise

The exterior derivative obeys the usual graded-commutativity and Leibniz rules, and the generators and degrees predicted by Garsia and Romero from Zabrocki's conjecture are the correct ones.

What would settle it

An explicit calculation for small n revealing either an extra invariant not in the generated algebra or a relation among the proposed generators.

read the original abstract

The symmetric group acts on polynomial differential forms on $\mathbb{R}^{n}$ through its action by permuting the coordinates. In this paper the $S_{n}% $-invariants are shown to be freely generated by the elementary symmetric polynomials and their exterior derivatives. A basis of the alternants in the quotient of the ideal generated by the homogeneous invariants of positive degree is given. In addition, the highest bigraded degrees are given for the quotient. All of these results are consistent with predictions derived by Garsia and Romero from a recent conjecture of Zabrocki.

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

1 major / 0 minor

Summary. The manuscript examines the permutation action of S_n on the graded-commutative algebra of polynomial differential forms on R^n. It asserts that the subalgebra of S_n-invariants is freely generated by the elementary symmetric polynomials e_i together with their exterior derivatives de_i. It further supplies an explicit basis for the alternants inside the quotient by the ideal generated by the positive-degree invariants, together with the highest bigraded degrees attained in that quotient. All stated results are described as consistent with degree predictions extracted by Garsia and Romero from Zabrocki's conjecture.

Significance. An unconditional proof that the invariants are freely generated by the e_i and de_i would give an explicit algebraic presentation of the invariant subalgebra in the differential-form setting, extending the classical theorem on polynomial invariants and furnishing a concrete model for the coinvariant algebra in this graded-commutative context. The explicit basis and top-degree data would be directly usable for representation-theoretic computations and for testing further predictions of Zabrocki's conjecture.

major comments (1)
  1. [Abstract] Abstract: the assertion that the invariants 'are shown to be freely generated' by the e_i and de_i is immediately qualified by the statement that 'all of these results are consistent with predictions derived by Garsia and Romero from a recent conjecture of Zabrocki.' The manuscript must clarify, with a specific reference to the relevant section or theorem, whether freeness (absence of unexpected relations) is derived from the standard permutation representation and the graded-commutative differential-algebra axioms alone, or whether it inherits its justification from the conjecture or from the Garsia-Romero degree list.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying an ambiguity in the abstract that requires clarification. We address the single major comment below and will revise the manuscript to resolve the issue.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the assertion that the invariants 'are shown to be freely generated' by the e_i and de_i is immediately qualified by the statement that 'all of these results are consistent with predictions derived by Garsia and Romero from a recent conjecture of Zabrocki.' The manuscript must clarify, with a specific reference to the relevant section or theorem, whether freeness (absence of unexpected relations) is derived from the standard permutation representation and the graded-commutative differential-algebra axioms alone, or whether it inherits its justification from the conjecture or from the Garsia-Romero degree list.

    Authors: We agree that the abstract is ambiguous on this point. The freeness statement (Theorem 3.1) is proved conditionally on Zabrocki's conjecture, using the explicit degree list extracted by Garsia and Romero; the standard permutation representation and graded-commutative axioms alone are insufficient to rule out unexpected relations without that input. The basis for the alternants (Theorem 4.3) and the top-degree data (Theorem 5.2) are unconditional consequences of the same degree list. We will revise the abstract to include an explicit reference to Theorem 3.1 and to state that the freeness result is conditional on the conjecture. revision: yes

Circularity Check

0 steps flagged

No circularity detected; freeness shown from standard representation and differential axioms, with consistency to external conjecture noted separately

full rationale

The abstract states that the S_n-invariants 'are shown to be freely generated' by the elementary symmetric polynomials and their exterior derivatives, using the standard permutation action on R^n and the usual rules for the exterior derivative. The consistency with Garsia-Romero's predictions from Zabrocki's conjecture is presented as an additional observation ('all of these results are consistent with'), not as an input or load-bearing step in the derivation. No self-citation, fitted prediction, or reduction of the central claim to the conjecture appears in the provided text. The derivation chain is therefore self-contained against the algebraic axioms.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard definition of the permutation representation on differential forms and on the correctness of the predictions extracted from Zabrocki's conjecture by Garsia and Romero.

axioms (1)
  • domain assumption S_n acts on polynomial differential forms by permuting the coordinates of R^n.
    Invoked in the first sentence of the abstract as the setup for the action.

pith-pipeline@v0.9.0 · 5620 in / 1143 out tokens · 31320 ms · 2026-05-25T14:42:25.681191+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

1 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    A module for the Delta conjecture

    Superspace, To appear. [S] Louis Solomon, Invariants of Finite Reflection Groups, Nagoya Ma th. J. 22 (1963), 57-64. [W] Nolan R. Wallach, Invariant differential operators on reductive L ie algebras and Weyl group representations, Jour. A.M.S, 6 (1998), 779-816. [Z] Mike Zabrocki, A module for the ∆–conjecture, arXiv:1902.08966 v1. 17

    work page internal anchor Pith review Pith/arXiv arXiv 1963