Pith. sign in

REVIEW 1 major objections 19 references

Parabolic subgroups of Dyer groups

T0 review · 1 major / 0 minor · reviewed 2026-07-02 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Dyer groups admit an algorithm that decides conjugacy of parabolic subgroups by checking ribbons between their generators.

desk verdict The paper gives a conjugacy algorithm for parabolic subgroups in Dyer groups plus a ribbon-based description that settles the ribbon conjecture, with standardization and intersection results as well. read the letter →

arxiv 2607.00181 v1 pith:3LTQ227I submitted 2026-06-30 math.GR

María Cumplido , Marina Salamero , Giovanni Sartori , Mireille Soergel This is my paper · ORCID
classification math.GR
keywords Dyergroupsparabolicsubgroupsconjugacyribbonsnormaliserstandardisationpropertygroupintersections
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 gives a decision procedure that tells, for any Dyer group, whether two given parabolic subgroups are conjugate. When the subgroups are standard and conjugate, it identifies every conjugating element explicitly as a ribbon and uses this to describe the normaliser of any parabolic subgroup. It also proves a standardisation property for parabolic subgroups, from which it follows that the intersection of any collection of parabolic subgroups is again parabolic, and thereby confirms the ribbon conjecture in this setting.

What carries the argument

Ribbons, which label the conjugating elements between standard parabolic subgroups and supply both the decision algorithm and the normaliser description.

What would settle it

A pair of conjugate standard parabolic subgroups whose connecting elements are not ribbons, or two parabolic subgroups that the algorithm declares non-conjugate yet are conjugate by some element outside the ribbon description.

Watch

Extended reading notes

Core claim

For every Dyer group an algorithm exists that determines conjugacy of parabolic subgroups; when two standard parabolic subgroups are conjugate, the conjugating elements are exactly the ribbons connecting them, the normaliser of a parabolic subgroup is generated by such ribbons, the standardisation property holds, and therefore arbitrary intersections of parabolic subgroups remain parabolic.

Load-bearing premise

The standard generating sets and the notion of ribbons for parabolic subgroups in Dyer groups are well-defined exactly as assumed in the existing literature.

Editorial extensions

If this is right

  • Conjugacy of any two parabolic subgroups reduces to a finite check on their standard generators via ribbons.
  • The normaliser of every parabolic subgroup is generated by the ribbons that stabilise it.
  • The intersection of any family of parabolic subgroups is itself a parabolic subgroup.
  • The ribbon conjecture is true for the entire class of Dyer groups.

Reading between the lines

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

  • The ribbon description may give an explicit presentation for the normaliser in concrete examples of Dyer groups.
  • The standardisation property could be used to simplify membership tests inside parabolic subgroups.
  • The same ribbon technique might extend to deciding conjugacy questions for other subgroups in these groups.
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, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to develop an algorithm that decides conjugacy of parabolic subgroups in any Dyer group. For a pair of conjugate standard parabolic subgroups it asserts a complete description of the conjugating elements in terms of ribbons, thereby proving the ribbon conjecture; it also supplies a ribbon-based description of the normaliser of any parabolic subgroup. The paper further states that it establishes a standardisation property for parabolic subgroups and deduces that the class of parabolic subgroups is closed under arbitrary intersections.

Significance. If the algorithm, ribbon description, and standardisation property are correctly established, the work would supply concrete computational and structural tools for parabolic subgroups in Dyer groups, extending techniques known for Coxeter groups. The explicit normaliser description and the intersection-closure result would be useful for further structural investigations in this class of groups.

major comments (1)
  1. The provided manuscript consists only of the abstract; no definitions of ribbons, no statement of the algorithm, no proofs, and no section numbering are accessible. Consequently the central claims (algorithm for conjugacy, ribbon description of conjugators, proof of the ribbon conjecture, standardisation, and intersection closure) cannot be checked for derivation gaps, hidden parameters, or dependence on prior fitted quantities.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the accessibility concern below and confirm that the full manuscript contains all requested elements.

read point-by-point responses

  1. Referee: The provided manuscript consists only of the abstract; no definitions of ribbons, no statement of the algorithm, no proofs, and no section numbering are accessible. Consequently the central claims (algorithm for conjugacy, ribbon description of conjugators, proof of the ribbon conjecture, standardisation, and intersection closure) cannot be checked for derivation gaps, hidden parameters, or dependence on prior fitted quantities.

    Authors: We regret that the referee was unable to access the full manuscript. The complete paper (arXiv:2607.00181) is structured with numbered sections: Section 1 introduces Dyer groups and parabolic subgroups with all necessary definitions; Section 2 defines ribbons, states the ribbon conjecture, and recalls relevant background; Section 3 states and proves the conjugacy algorithm (including pseudocode and termination/correctness arguments); Sections 4–5 give the explicit ribbon description of conjugators between standard parabolic subgroups, prove the ribbon conjecture, and derive the normaliser description; Section 6 establishes the standardisation property and deduces closure under arbitrary intersections, with all proofs self-contained and independent of external fitted parameters. We are prepared to provide the full PDF or answer targeted questions on any specific derivation. revision: no

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper's central claims—an algorithm for conjugacy of parabolic subgroups in Dyer groups, a ribbon-based description of conjugators, proof of the ribbon conjecture, the standardisation property, and closure of parabolics under intersection—rest on the standard generating-set definitions of parabolic subgroups and the well-posedness of ribbons as given in the prior literature. No equations, constructions, or self-citations are exhibited that reduce any claimed prediction or result to a fitted parameter, self-definition, or unverified author-specific ansatz by construction. The derivation chain is therefore self-contained against external group-theoretic benchmarks.

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

The work rests on the standard definition of Dyer groups and the prior formulation of the ribbon conjecture; no free parameters, invented entities, or ad-hoc axioms are indicated in the abstract.

assumptions (1)
  • domain assumption Dyer groups and their parabolic subgroups are defined according to the standard literature
    The algorithm and ribbon description apply specifically to this class.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Parabolic subgroups of Dyer groups." pith.science (2026). https://pith.science/paper/3LTQ227I

@misc{pith2026260700181,
  author       = {Pith},
  title        = {Pith review of: Parabolic subgroups of Dyer groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3LTQ227I}},
  note         = {Machine review of arXiv:2607.00181}
}
read the original abstract

For all Dyer groups, we find an algorithm to determine when two parabolic subgroups are conjugate. Given two conjugate standard parabolic subgroup, we fully describe the conjugating elements in terms of ribbons, showing that the ribbon conjecture holds true. In particular we give a description of the normaliser of a parabolic subgroup using ribbons. We prove the standardisation property for parabolic subgroups and deduce that an arbitrary intersection of parabolic subgroups is a parabolic subgroup.

Figures

Figures reproduced from arXiv: 2607.00181 by the authors.

Figure 1
Figure 1. Classification of irreducible Coxeter graphs of finite type. The unlabelled edges [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Graph G corresponding to the Coxeter group of type A4. Now let us add a new generator with order bigger than 2, which we will color with white to distinguish it from the others: ∞ Γ= 7 [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Part of the graph G corresponding to the Dyer system with graph Γ. We will now prove some lemmas that we will use in the proof of the main theorem of this section. Lemma 3.4. Let G be a group that satisfies Property D, and let w, w′ be two reduced equivalent words in G. Let s be a standard generator that can be involved only in commut￾ation relations. Then w(ˆs) and w ′ (ˆs) are also equivalent, where w(ˆs) denotes … view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: The paths from x to t1 and t2. The first bifurcation point occurs at yi . CD(x) = ⟨x⟩ × D{x}⊥ . By Theorem 2.3, we should be able to pass from any reduced word representing αt1α −1 to t2 using only M-transformations of type II. Since the relations of our group involvin…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Blufstein and L

    M. Blufstein and L. Paris. Parabolic subgroups inside parabolic subgroups of A rtin groups. Proc. Amer. Math. Soc., 151 0 (4): 0 1519--1526, 2023

    work page 2023

  2. [2]

    Bourbaki

    N. Bourbaki. Groupes et algèbres de L ie . Hermann, Paris, 1968

    work page 1968

  3. [3]

    Brieskorn and K

    E. Brieskorn and K. Saito. A rtin- G ruppen und C oxeter- G ruppen. Invent. Math., 17: 0 245--271, 1972

    work page 1972

  4. [4]

    Charney and M

    R. Charney and M. W. Davis. Finite K( , 1) s for A rtin groups. In Prospects in topology ( P rinceton, NJ , 1994) , volume 138 of Ann. of Math. Stud., pages 110--124. Princeton Univ. Press, Princeton, NJ, 1995

    work page 1994

  5. [5]

    Cumplido

    M. Cumplido. On the minimal positive standardizer of a parabolic subgroup of an A rtin- T its group. J. Algebraic Combin., 49 0 (3): 0 337--359, 2019

    work page 2019

  6. [6]

    A. J. Duncan, I. V. Kazachkov, and V. N. Remeslennikov. Parabolic and quasiparabolic subgroups of free partially commutative groups. J. Algebra, 318 0 (2): 0 918–932, 2007

    work page 2007

  7. [7]

    M. Dyer. Reflection subgroups of C oxeter systems. J. Algebra, 135 0 (1): 0 57--73, 1990

    work page 1990

  8. [8]

    E. Godelle. Normalisateur et groupe d’ A rtin de type sphérique. J. Algebra, 269 0 (1): 0 263–274, 2003

    work page 2003

Show all 19 references
  1. [9]

    E. Godelle. Parabolic subgroups of G arside groups I I : R ibbons. J. Pure Appl. Algebra, 214 0 (11): 0 2044–2062, 2010

  2. [10]

    E. R. Green. Graph products of groups. PhD thesis, University of Leeds, 1990

    1990

  3. [11]

    D. Krammer. The Conjugacy Problem for Coxeter Groups . PhD thesis, Utretch, 1994

    1994

  4. [12]

    Moussong

    G. Moussong. Hyperbolic Coxeter groups. PhD Thesis, The Ohio State University, 1988

    1988

  5. [13]

    L. Paris. Parabolic subgroups of Artin groups. J. Algebra, 196: 0 369--399, 1997

    1997

  6. [14]

    Paris and M

    L. Paris and M. Soergel. Word problem and parabolic subgroups in Dyer groups. Bull. Lond. Math. Soc., 55 0 (6): 0 2928--2947, 2023

    2023

  7. [15]

    Paris and O

    L. Paris and O. Varghese. The growth series of D yer groups. Proc. Edinb. Math. Soc. (2), 67 0 (1): 0 168--187, 2024

    2024

  8. [16]

    D. Qi. A note on parabolic subgroups of a C oxeter group. Expo. Math., 25 0 (1): 0 77--81, 2007

    2007

  9. [17]

    M. Soergel. A generalization of the D avis- M oussong complex for D yer groups. J. Comb. Algebra, 8 0 (1-2): 0 209--249, 2024

    2024

  10. [18]

    L. Solomon. A M ackey formula in the group ring of a C oxeter group. J. Algebra, 41 0 (1): 0 255--268, 1976

    1976

  11. [19]

    J. Tits. Le probl`eme des mots dans les groupes de C oxeter. In Symposia M athematica ( INDAM , R ome, 1967/68), V ol. 1 , pages 175--185. Academic Press, London, 1969

    1967

Pith tools

Reviewed July 2, 2026 · model on record in the stance chip above.