Pith. sign in

REVIEW 4 major objections 4 minor 1 cited by

Posets for Specht ideals of essential real reflection groups

T0 review · 4 major / 4 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 type D, one didominance order controls both Specht ideals and their varieties.

desk verdict A significant completion of the Specht-ideal poset classification, but the key coefficient computation is hand-verified and two proof passages are garbled in the current version. read the letter →

arxiv 2506.15335 v1 pith:774DJIQL submitted 2025-06-18 math.CO math.AG

Sebastian Debus , Kurt Klement Gottwald This is my paper · ORCID
classification math.COmath.AG MSC 05E1013P1020F55
keywords SpechtidealsdidominanceorderdipartitionstypeDreflectiongroupdihedralvarietiesorbittypessymmetric
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

The paper extends the Specht-ideal poset classification from the symmetric group $S_n$ and the hyperoctahedral group $B_n$ to the even-signed group $D_n$ and to every dihedral group $I_2(n)$. Its main theorem is that for $D_n$ in characteristic zero the didominance order on dipartitions is equivalent to inclusion of $D$-Specht ideals and reverse inclusion of $D$-Specht varieties. For dihedral groups it determines the full inclusion chain of Specht ideals, the variety of each irreducible representation, and which of the ideals are radical. If the results are right, the poset classification of Specht ideals for all infinite families of essential real reflection groups is complete, and type $D$ is the first case where Specht varieties cannot be described by orbit-type set partitions.

What carries the argument

The load-bearing object is the didominance order $\unlhd_D$ on dipartitions, where a dipartition is an unordered pair of distinct partitions of $n$, or a symbol $\{\lambda,+\}$ or $\{\lambda,-\}$ when the two parts are equal. The order is built from the known bidominance order $\unlhd_B$ of hyperoctahedral groups. The type-$D$ proof's engine is the one-box transfer: every cover $\{\lambda,\pm\} \unrhd_D \Theta$ moves a single box from one copy of $\lambda$ to the other, and inclusion of ideals is established by writing the moved $B$-Specht polynomial as an antisymmetrized sum of $D$-Specht polynomials, using identity (3) with nonzero constant $b!$ and the vanishing identity (4). For dihedral groups the mechanism is the isotypic decomposition of the harmonics by the real and imaginary parts of $(x+iy)^k$, which yields a total chain of Specht ideals.

What would settle it

Recompute identity (3) and the companion vanishing identity (4) for $b=2$ and $b=3$ by direct expansion: if the scalar is not $b!$, or if the antisymmetrization of $Q_1(X)X_1$ does not vanish, then Theorem 5.1 fails on some cover of $\{\lambda,\pm\}$. For a global check, compute the $D$-Specht ideals and varieties for $n=6$ in a computer algebra system and test whether $\Theta \unlhd_D \Lambda$ matches $I^D_\Theta \subseteq I^D_\Lambda$ on every pair.

Watch

Extended reading notes

Core claim

The central claim is Theorem 5.1: for dipartitions $\Theta, \Lambda \in D_n$, the didominance relation $\Theta \unlhd_D \Lambda$ holds exactly when the $D$-Specht ideal $I^D_\Theta$ is contained in $I^D_\Lambda$, which in turn is exactly when $V^D_\Lambda \subseteq V^D_\Theta$. The didominance order is defined on unordered pairs of partitions by requiring each of the two ordered pairs coming from the first dipartition to be $\unlhd_B$-below one of the two ordered pairs coming from the second, with the doubled partitions $\{\lambda,\lambda\}$ split into two incomparable symbols $\{\lambda,+\}$ and $\{\lambda,-\}$. The proof of the inclusion direction uses covers: a cover from $\{\lambda,\pm\}$ moves one box from one copy of the diagram $\lambda$ to the other, and the resulting $B$-Specht polynomial is shown to lie in $I^D_{\{\lambda,\pm\}}$ via an antisymmetrization identity. The reverse direction is proved by evaluating the Specht polynomials on carefully chosen test points whose orbit types force the didominance inequalities. For dihedral groups, the same paper gives the complete chain of Specht ideal inclusions and identifies the radical ideals.

Load-bearing premise

For the signed dipartitions $\{\lambda,\pm\}$, the inclusion direction of Theorem 5.1 depends on the antisymmetrization identity (3), which says that averaging $Q_2(X)X_1$ over $S_{A\cup B_1}$ with signs gives $b!$ times the required $B$-Specht polynomial; if the appendix's leading-monomial count or sign convention is wrong, that part of the theorem collapses.

Editorial extensions

If this is right

  • The three-way equivalence among didominance order, Specht ideal inclusion, and Specht variety inclusion now holds for $A_n$, $B_n$, $D_n$, and $I_2(n)$, completing the classification over all infinite families of essential real reflection groups.
  • For dihedral groups, the Specht ideals form the chain $I_0 \supsetneq I_1 \supsetneq \cdots \supsetneq I_{\lfloor (n-1)/2 \rfloor} \supsetneq I_n$, with the two sign ideals at even $n$ incomparable, and only a few of these ideals are radical.
  • Each $D$-Specht variety of the form $V_{\{\lambda,+\}}$ or $V_{\{\lambda,-\}}$ is the corresponding $B$-Specht variety together with one formal-sign orbit set, so type-$D$ varieties reduce to type-$B$ data plus a parity condition.
  • The alternative definition of $D$-Specht ideals as intersections of $B$-Specht ideals would not distinguish different dipartitions, so the chosen sum-based definition is essential.
  • Theorem 5.9 rules out any set partition of $K^n$ indexed by dipartitions into orbit-type sets that could express $D$-Specht varieties, even though such descriptions exist for $S_n$ and $B_n$.

Reading between the lines

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

  • A natural next probe is the wider family $G(r,p,n)$ of complex reflection groups: the paper notes distinct Specht ideals can have equal varieties for $r=3,n=2$, which suggests that if a poset equivalence exists there, it must identify ideals whose varieties coincide.
  • The computational evidence for radicality of $D$-Specht ideals at small $n$ could be upgraded to a proof by showing that the formal-sign orbit sets in Proposition 5.6 are the reduced loci; if true, ideal inclusion and variety inclusion would match even in positive characteristic.
  • For applications to symmetric systems of equations, the failure of orbit-type descriptions means type-$D$ symmetry reduction needs the formal sign stratum; one concrete testable extension is to compute the sign partition explicitly for small $n$ and compare it with stabilizer strata of $D_n$.
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

4 major / 4 minor

Summary. The paper studies Specht ideals for the two remaining infinite families of essential real reflection groups: the dihedral groups I2(n) and the even-signed symmetric groups D_n. For dihedral groups it defines Specht ideals attached to irreducible representations, describes the Specht varieties, and proves a total (or almost total) inclusion chain of the ideals. For type D it introduces a partial order, the didominance order, on dipartitions, and claims an equivalence between this order, inclusion of D-Specht ideals, and inclusion of D-Specht varieties (Theorem 5.1). It also gives a description of D-Specht varieties via B-orbit sets and a formal sign (Proposition 5.6), and proves that no orbit-type set partition can describe D-Specht varieties in the manner of types A and B (Theorem 5.9). The paper is written as a completion of the combinatorial study of Specht ideals for the infinite families of essential real reflection groups.

Significance. If the main results are correct, the paper completes the poset classification of Specht ideals for the infinite families A_n, B_n, D_n, and I2(n), and provides the first example, type D, where a uniform orbit-type description of Specht varieties fails. The dihedral classification is concrete and checkable, and the positive statement for {λ,μ}-type dipartitions in type D is a natural reduction to the published type-B result. The paper also includes explicit Sage code and a detailed appendix; these are useful assets. However, the central type-D equivalence and the negative result in Theorem 5.9 rest on steps that, as submitted, cannot be fully verified from the text: the orbit-type definition is corrupted, the test points in Lemma 5.8 are corrupted, and the alternating-sum identity in Lemma 5.3 is verified by a hand calculation in the appendix. The significance of the claimed completion is high, but the manuscript needs substantial repair before the claim is supported.

major comments (4)
  1. [§3.3, Definition 3.10] The definition of the B-orbit set O(λ,μ) is unreadable because the displayed formula contains corrupted control sequences and stray symbols. This definition is load-bearing: it is used in Theorem 3.12, in Proposition 5.6, in Lemma 5.8, and in the proof of Theorem 5.9. Without a clean statement of the orbit sets, the surrounding arguments cannot be checked.
  2. [§5, Lemma 5.8] The test points P, Q, and R used to prove the implication (C)⇒(A) are badly corrupted in the typeset text. Since the proof of Lemma 5.8 derives all the dominance inequalities from the non-membership of these points in the relevant Specht varieties, the entire direction (C)⇒(A) of Theorem 5.1 is currently not verifiable from the manuscript.
  3. [§5, Lemma 5.3 and Appendix A, Proposition A.1] The inclusion claim for covers of the form {λ,±} hinges on the alternating-sum identity (3) and on the companion vanishing identity (4). The appendix computation of C=b! is a hand calculation, and the divisibility step is stated in the form 'Since ∑...=0 or deg(P)=deg(∑...), the sum has to be a scalar multiple of P'. As written, this disjunction does not justify scalar multiplicity without an explicit argument that P divides the sum, for example by checking vanishing on each irreducible component of V(P). Because Lemma 5.3 is the only route from the didominance order to ideal inclusions for the even-signed dipartitions {λ,±}, this step needs to be written out completely and checked carefully.
  4. [§5, Theorem 5.9] The proof of Theorem 5.9 does not establish the claimed contradiction. From x=(a,a,a,a,b) ∈ V_D_Λ one can only conclude that the partition cell containing x is labeled by some C with C ⊴_D Λ; the assertion 'we have x ∈ O(Ω)∪O(Θ)' does not follow from the two observations about elements strictly below Ω or Θ and strictly above Λ. Likewise, the final sentence 'since Ω and Θ are also incomparable, we have O(Θ)⊆V_D_Ω and vice versa' is not a consequence of incomparability under the assumed set-partition representation. The non-existence theorem therefore needs a substantially expanded and corrected argument.
minor comments (4)
  1. [Proof of Theorem 5.1] The last sentence says 'Finally, (C) implies (B) is the statement of Lemma 5.8'; it should say '(C) implies (A)'.
  2. [§2, Lemma 2.4] The displayed map 'Hk/leftr⫯g⊸tl⫯ne→Hn−k' contains corrupted symbols; the intended equivariant isomorphism should be written with ordinary arrow notation.
  3. [§4, Definition 4.1(2)] The clause defining the relation between {λ,μ} and {λ,±} is typeset in an unclear way ('{λ,μ}{ ⊴D ...}'); it should be spelled out in words or with a cleaner display.
  4. [Appendix B] The Sage code is helpful, but it only computes ideals and inclusions for small n; it does not verify the alternating-sum identity in Proposition A.1 or the inequalities in Lemma 5.8, so it cannot substitute for the missing proof details.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the D_n and dihedral Specht ideal results rest on independent B_n theorems and new explicit algebraic identities, not on their own conclusions.

full rationale

The derivation chain is self-contained. The dihedral results in Section 2 are proven by direct polynomial identities and explicit invariant-theoretic arguments, with no fitted parameters and no dependence on the paper's own conclusions. For type D, the main imported ingredient is the B_n poset equivalence stated in Theorem 3.12 and credited to [Deb+23; MRV21; Woo05]. Although [Deb+23] shares an author with this paper, it is an independently published theorem with proofs and does not already contain the D_n result; citing it is ordinary self-citation, not load-bearing circularity. The genuinely new step for the {λ,±} covers is Lemma 5.3's identity (3), whose coefficient C = b! is computed in Appendix A, together with the companion vanishing identity (4). This is a new antisymmetrization computation, not a restatement of the didominance order or of the D-Specht ideal definition. Proposition 5.6 and Lemma 5.8 use Lemma 5.3, but Lemma 5.3 is proved first without recourse to them, so there is no logical cycle. Open questions—Remark 3.9 on isotypic containment and Questions 6.1–6.2 on radicality—are explicit limitations, not circular moves. The hand verification of C = b! is a possible correctness risk, and the corrupted display in Definition 3.10 and the garbled point definitions in Lemma 5.8 impede independent verification, but correctness risk and presentation defects are not circularity. No parameter fitting, definitional identity, or uniqueness import forces the stated equivalences by construction.

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

No free parameters are fitted: the paper is a symbolic classification of ideal inclusions and varieties. The formal sign and D-orbit sets in Proposition 5.6 are definitions, not fitted constants. The main external inputs are the Clifford theory classification of D_n representations and the prior B_n poset theorem.

assumptions (6)
  • domain assumption D_n irreducible representations are labeled by dipartitions via Clifford theory.
    Section 3.2 and Remark 3.5 take the classification from [Mus93] and [MY98] as the starting point for defining D-Specht ideals.
  • domain assumption The B-Specht ideal inclusion and variety description in terms of bidominance holds.
    Theorem 3.12 is imported from [Deb+23, MRV21, Woo05] and used throughout Section 5. This is prior published work, including by one of the present authors.
  • standard math The coinvariant space of a reflection group is isomorphic to the regular representation and can be realized by harmonics.
    Used in Section 2 to realize dihedral irreps inside R[x,y] via the space of harmonics.
  • domain assumption The ground field has characteristic zero for the main type D theorem.
    Theorem 5.1 is stated in characteristic zero; Remark 5.2 shows the variety-to-order implication can fail in positive characteristic.
  • standard math The fundamental invariants of I2(n) have degrees 2 and n.
    Used in Lemma 2.2 to identify the coinvariant space basis and the isotypic decomposition of the dihedral group.
  • standard math The polynomial Delta factors into distinct reflection hyperplanes via Steinberg's theorem.
    Used in Section 2 to describe the dihedral Specht varieties as unions of reflection hyperplanes.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Posets for Specht ideals of essential real reflection groups." pith.science (2026). https://pith.science/paper/774DJIQL

@misc{pith2026250615335,
  author       = {Pith},
  title        = {Pith review of: Posets for Specht ideals of essential real reflection groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/774DJIQL}},
  note         = {Machine review of arXiv:2506.15335}
}
abstract

Specht ideals are symmetric ideals in the polynomial ring generated by Specht polynomials associated with group representations. These ideals were previously studied for reflection groups of types $A$ and $B$, where their inclusion relations and their varieties reflect rich combinatorial structures. In this paper, we extend this theory to type $D$ and the dihedral groups. Our results complete the combinatorial study of Specht ideals across all infinite families of essential real reflection groups.

Figures

Figures reproduced from arXiv: 2506.15335 by the authors.

Figure 1
Figure 1. The reflection hyperplanes for I2(3) and I2(8) together with corresponding regular n-gons Observe that for even n = 2m the polynomial ∆ factors into ∆ = 2 Re(x+iy) m ⋅Im(x+iy) m since (a+ib) 2 = a 2−b 2+2iab for real numbers a, b. This implies that the variety of Re((x+iy) k ) is the union of the reflection hyperplanes of I2(2k) that are not reflection hyperplanes of I2(k). The reflection hyperplanes of I2(8) which … view at source ↗
Figure 2
Figure 2. The Specht variety V D {(2,1),∅} = V B (∅,(2,1)) ⊆ R 3 x1 x2 x3 [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 4
Figure 4. Hasse diagram of (D4, ⊴D) {∅, (1, 1, 1, 1, 1)} {(1), (1, 1, 1, 1)} {(1, 1), (1, 1, 1)} {∅, (2, 1, 1, 1)} {∅, (2, 2, 1)} {(2), (1, 1, 1)} {(1), (2, 1, 1)} {(1, 1), (2, 1)} {∅, (3, 1, 1)} {(1), (2, 2)} {∅, (3, 2)} {(2), (2, 1)} {(1, 1), (3)} {(1), (3, 1)} {∅, (4, 1)} {(2), (3)} {(1), (4)} {∅, (5)} [PITH_FULL_IMAGE:figures/full_fig_p013_4.png] view at source ↗
Figures from the paper (1 more)
Figure 6
Figure 6. Figure 6: (T, S) is of shape (λ, λ) and (T ′ , S′ ) of shape (ω, θ). The red box in the second column of S is moved to the end of the second column of T to obtain (T ′ , S′ ) Remark 5.4. Our proof of the computation of C = b! in Proposition A.1 reveals that for every σ ∈ SB1 we …

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Symbolic Computation with Symmetric Polynomials in Real Algebraic Geometry

    math.AG 2025-07 conditional

    A survey of algorithms that exploit permutation symmetry to speed up computations in real algebraic geometry.

Reference graph

Works this paper leans on

6 extracted references · 5 canonical work pages · cited by 1 Pith paper

  1. [124]

    Principal radical systems, Lefschetz properties, and perfection of Specht ideals of two-rowed partitions

    1-3. Graphs and combi- natorics (Qawra, 1990). 1994, pp. 137–153. [MW22] C. McDaniel and J. Watanabe. “Principal radical systems, Lefschetz properties, and perfection of Specht ideals of two-rowed partitions”. In: Nagoya Mathemat- ical Journal 247 (2022), pp. 690–730. [MY98] H. Morita and H.-F. Yamada. “Higher Specht polynomials for the complex reflec- ti...

    work page 2022

  2. [515]

    Symmetric ideals, Specht polynomi- als and solutions to symmetric systems of equations

    [MRV21] P. Moustrou, C. Riener, and H. Verdure. “Symmetric ideals, Specht polynomi- als and solutions to symmetric systems of equations”. In: Journal of Symbolic Computation 107 (2021), pp. 106–121. [MOY22] S. Murai, H. Ohsugi, and K. Yanagawa. “A note on the reducedness and Gr¨ obner bases of Specht ideals”. In: Communications in Algebra 50.12 (2022), pp. 5430–

    work page 2021

  3. [1953]

    Independence numbers of graphs and generators of ideals

    [LL81] S.-Y. R. Li and W. C. W. Li. “Independence numbers of graphs and generators of ideals”. In: Combinatorica. An International Journal of the J´ anos Bolyai Mathematical Society 1.1 (1981), pp. 55–61. [Lov94] L. Lov´ asz. “Stable sets and polynomials”. In: vol

    work page 1981

  4. [1977]

    Darstellungstheorie der Hyperoktaedergruppe

    24 REFERENCES [Spe37a] W. Specht. “Darstellungstheorie der Hyperoktaedergruppe”. In: Mathematische Zeitschrift 42.1 (1937), pp. 629–640. [Spe37b] W. Specht. “Zur Darstellungstheorie der symmetrischen Gruppe”. In: Mathe- matische Zeitschrift 42.1 (1937), pp. 774–779. [Ste60] R. Steinberg. “Invariants of Finite Reflection Groups”. In: Canadian Journal of Ma...

    work page 1937

  5. [2005]

    When is a Specht ideal Cohen–Macaulay?

    [Yan21] K. Yanagawa. “When is a Specht ideal Cohen–Macaulay?” In: Journal of Com- mutative Algebra 13.4 (2021), pp. 589–608. REFERENCES 25 Appendix A. Proof of Observation 3.7 We present a proof of Observation 3.7. Proof of Observation 3.7. Suppose sp D (T,S),+ ↦ f = ∑α∈NncαXα1 1 ⋅... ⋅Xαn n defines a Dn- equivariant isomorphism. For k ≠l ∈ [n] consider t...

    work page 2021

  6. [2009]

    Notes on Diagonal Coinvariants of the Dihedral Group

    [BG10] M. Boij and A. Geramita. “Notes on Diagonal Coinvariants of the Dihedral Group”. In: Canadian Mathematical Bulletin 53.4 (2010), pp. 602–613. [Bry73] T. Brylawski. “The lattice of integer partitions”. In: Discrete Mathematics 6.3 (1973), pp. 201–219. [DK24] S. Debus and A. Kretschmer. “Symmetric Ideals and Invariant Hilbert Schemes”. In: arXiv prep...

    arXiv 2010

Pith tools

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