{"id":"348580ed-17e1-4429-a5e4-556ec911d30e","arxiv_id":"2506.15335","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For dihedral and D_n groups, the paper gives a partial order that exactly controls which Specht ideals contain which, and proves type D cannot be described by orbit types alone.","lead":"This paper maps out the inclusion order and zero sets of Specht ideals, algebraic objects attached to symmetries, for the dihedral groups and the even signed permutation groups. It completes the infinite-family picture for real reflection groups and shows that type D is less tidy than types A and B.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The D_n equivalence (Theorem 5.1) hinges on the alternating-sum identity (3) and the computation C=b! in Proposition A.1; no independent verification is provided, and a sign or coefficient error there would invalidate the (A)⇒(B) direction for covers of {λ,±}.","rationale":"The paper's central claim is the three-way equivalence of didominance order, D-Specht ideal inclusion, and reverse D-Specht variety inclusion (Theorem 5.1). The most delicate point is the proof that the poset order forces ideal inclusion, Lemma 5.3, and within that lemma the only genuinely new computational input is the alternating-sum identity (3) with C=b! and the companion identity (4). The preceding type A and type B equivalences are cited from the literature, and the reduction to B-Specht ideals for dipartitions {λ,µ} with λ≠µ is straightforward. For {λ,±}, however, the entire argument depends on the appendix computation: if C were 0 or had the wrong sign, the displayed linear combination would not produce P, and the claimed inclusion for that cover would not follow. The computation itself appears internally consistent: the divisibility argument covers the irreducible factors of P, the degree comparison is plausible, and the leading-monomial count of b! is coherent with the sign cancellation argument. Nevertheless, this is a hand calculation in a manuscript whose supplied text is corrupted in nearby key definitions, and no formal verification is reported. The open isotypic-containment question (Question 6.2) and the open radicality question (Question 6.1) are real limitations but do not directly block Theorem 5.1, since the proof does not use them. The dihedral section provides independent support for the authors' general approach but does not test the D_n argument. Given these considerations, the reader's conditional verdict is appropriate; our concern identifies the step most worth an independent check but does not by itself move the verdict in either direction.","tokens_in":32766,"tokens_out":9292,"duration_ms":88904,"concrete_test":"Independently compute the left side of Eq. (3) for b=1,2,3,4 in a computer algebra system: set A={1}, B1={2,...,b+1}, B2={b+2,...,2b}, define Q₂=∆_{B1}(X²)∆_{A∪B2}(X²)∏_{i∈A∪B2}X_i, and compare ∑_{σ∈S_{A∪B1}} sgn(σ)σ(Q₂X₁) with b!·∆_{A∪B1}(X²)∆_{B2}(X²)∏_{i∈B2}X_i. If any coefficient differs, the (A)⇒(B) direction of Theorem 5.1 fails. Also verify identity (4) for the same b by checking that ∑_{σ∈S_{A∪B1}} sgn(σ)σ(Q₁X₁)=0. This is a finite symbolic check independent of the appendix's leading-monomial argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The implication (A)⇒(B) in Lemma 5.3 reduces the cover {λ,±}⊵{θ,ω} to the claim that P lies in the S_{2b}-orbit span of Q± via the identity ∑_{σ∈S_{A∪B1}} sgn(σ)σ(Q₂X₁)=C·P with C=b!, together with the companion vanishing identity (4) for Q₁X₁. Proposition A.1 computes C by arguing that P divides the sum and then counting b! leading-monomial contributions. The divisibility step requires both that each irreducible factor of P annihilates the sum and that the degree of the sum equals deg P; the argument is plausible but delicate, and the appendix is a hand calculation with no machine-checked counterpart. Since Lemma 5.3 is the only route from the didominance poset to ideal inclusions for the even-signed branch {λ,±}, an unnoticed sign error in the leading-monomial count or a missing factor from the X₁² term would collapse Theorem 5.1 while leaving the order definition formally intact. The companion identity (4) is likewise verified only by the pigeonhole argument in the text. This is the most load-bearing unverified step in the paper, and the supplied text around Definition 3.10 and Lemma 5.8 is corrupted, further impeding independent verification of the surrounding structure.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":33089,"tokens_out":17215,"duration_ms":163914,"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":[{"comment":"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.","section":"§3.3, Definition 3.10"},{"comment":"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.","section":"§5, Lemma 5.8"},{"comment":"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.","section":"§5, Lemma 5.3 and Appendix A, Proposition A.1"},{"comment":"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.","section":"§5, Theorem 5.9"}],"minor_comments":[{"comment":"The last sentence says 'Finally, (C) implies (B) is the statement of Lemma 5.8'; it should say '(C) implies (A)'.","section":"Proof of Theorem 5.1"},{"comment":"The displayed map 'Hk/leftr⫯g⊸tl⫯ne→Hn−k' contains corrupted symbols; the intended equivariant isomorphism should be written with ordinary arrow notation.","section":"§2, Lemma 2.4"},{"comment":"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.","section":"§4, Definition 4.1(2)"},{"comment":"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.","section":"Appendix B"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read the paper on Specht ideals for D_n and dihedral groups. My take: the main claims are probably right, and the paper would complete the poset classification for all infinite families of essential real reflection groups. It deserves a serious referee, but only after the authors fix a load-bearing hand computation and two passages that are garbled beyond recognition in the version I have.\n\nWhat is actually new: the didominance order on dipartitions (Definition 4.1), the D_n equivalence theorem (Theorem 5.1), the dihedral classification (Theorems 2.6 and 2.7), and the negative result (Theorem 5.9) saying D-Specht varieties cannot be described by orbit-type set partitions. The dihedral part is straightforward but competently executed. The D_n part is a real extension of the type A and B program, not a rehash. The paper also includes SAGE code for exploring the ideals, which is helpful even if it is not a formal proof.\n\nThe soft spot is where the reader's report sits. The implication (A) ⇒ (B) for covers {λ,±} ⊵ {θ,ω} rests on the alternating-sum identity (3) and the companion vanishing identity (4). Proposition A.1 computes C = b! by a leading-monomial count. The argument is plausible — the root comparison and the parity analysis are sound — but it is a hand calculation with no independent check. A sign error or a missed factor from the X_1^2 term would collapse Theorem 5.1 while leaving the order definition intact. That is load-bearing, and I would want either a cleaner conceptual proof or a machine-verified version of the identity before trusting it fully.\n\nI also flag the corruption in the supplied text: Definition 3.10 and the test-point formulas in Lemma 5.8 are garbled to the point where those steps cannot be checked. The authors need to fix that; it is not a cosmetic issue, because it obscures the (C) ⇒ (A) direction.\n\nThe circularity concern is minor. Reducing to the type B result from [Deb+23] is self-citation, but that theorem is independently published with proofs and does not already contain the D_n result. Fine.\n\nBottom line: the architecture is sound, the negative result is a nice surprise, and the isotypic-component question is honestly left open. I would send this to peer review with major revision. Once the garbled passages are fixed and the coefficient computation is made checkable, I would expect a solid paper worth citing.","headline":"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.","tokens_in":33608,"tokens_out":3751,"would_cite":true,"duration_ms":33162,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05E10","13P10","20F55"],"pacs":[],"model":"deepseek-v4-flash","headline":"For type D, one didominance order controls both Specht ideals and their varieties.","keywords":["Specht ideals","didominance order","dipartitions","type D reflection group","dihedral group","Specht varieties","orbit types","symmetric ideals"],"falsifier":"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.","tokens_in":32587,"feed_emoji":"🧩","tokens_out":8749,"duration_ms":80754,"temperature":0.7,"pith_summary":"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.","feed_headline":"One didominance order explains type-D Specht ideals","feed_subtitle":"It completes the Specht-ideal picture for every infinite family of essential real reflection groups.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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$."],"forward_implications":["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$."],"supporting_citations":[{"why":"Supplies the $S_n$ dominance/ideal/variety equivalence and the isotypic-containment facts that the paper takes as its model.","marker":"[MRV21]"},{"why":"Establishes the bidominance order and the $B_n$ Specht poset theorem that Definition 4.1 and Lemma 5.3 build on.","marker":"[Deb+23]"},{"why":"Provides radicality and containment statements for symmetric-group Specht ideals used throughout the introduction and comparisons.","marker":"[Woo05]"},{"why":"Provides the radicality and Gröbner basis facts for $S_n$ Specht ideals cited as background.","marker":"[MOY22]"},{"why":"Gives the Clifford-theoretic construction of $D_n$ irreducible representations from $B_n$ Specht modules, yielding the $\\{\\lambda,\\pm\\}$ labels.","marker":"[MY98]"},{"why":"Introduces Specht polynomials for the symmetric group, the foundational construction.","marker":"[Spe37b]"},{"why":"Introduces Specht polynomials for the hyperoctahedral group, from which $D$-Specht polynomials are built.","marker":"[Spe37a]"},{"why":"Classifies covering relations in the partition lattice, used in Corollary 4.5 to connect $S_n$-covers to $D_n$-covers.","marker":"[Bry73]"}],"fun_headline_variants":["Didominance order settles Specht ideals for type D and dihedrals","Type D Specht ideals: a single order completes the picture","All type-D Specht inclusions captured by didominance","Specht ideals for type D and dihedrals fully ordered","A new order explains all type-D Specht ideal inclusions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Didominance order settles Specht ideals for type D and dihedrals","Type D Specht ideals: a single order completes the picture","All type-D Specht inclusions captured by didominance","Specht ideals for type D and dihedrals fully ordered","A new order explains all type-D Specht ideal inclusions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000446,"raw_usage":{"total_tokens":2216,"prompt_tokens":873,"completion_tokens":1343,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":489,"completion_tokens_details":{"reasoning_tokens":1256}},"tokens_in":489,"tokens_out":1343,"duration_ms":10813,"temperature":1.0,"reasoning_tokens":1256,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:37:25.972053+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":2}