pith. sign in

arxiv: 2606.12937 · v1 · pith:LOIGXTDKnew · submitted 2026-06-11 · 🧮 math.GR

Root Systems, Tits Cones and Imaginary Cones of Brink-Howlett Groupoids

Matthew Dyer , Harrison Gimenez This is my paper

Pith reviewed 2026-06-27 05:45 UTC · model grok-4.3

classification 🧮 math.GR
keywords Brink-Howlett groupoidsroot systemsCoxeter groupsreflection subgroupsTits coneimaginary coneBorcherds-Kac-Moody algebras
0
0 comments X

The pith

Brink-Howlett groupoids admit root systems whose positive roots correspond to reflection subgroups of Coxeter groups.

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

The paper extends the basic theory of Brink-Howlett groupoids by defining both abstract root systems and root systems realized in real vector spaces for them. These systems share formal properties with root systems of Borcherds-Kac-Moody Lie algebras, notably the inclusion of imaginary simple roots. Positive roots are shown to correspond to certain reflection subgroups. The basic properties of the Tits cone and imaginary cone are also extended to the corresponding cones for these groupoids. The constructions provide a linearized approach to studying classes of reflection subgroups, parallel to the way root systems linearize the study of reflections in Coxeter groups.

Core claim

Root systems can be defined for Brink-Howlett groupoids such that they possess properties formally analogous to those of Borcherds-Kac-Moody Lie algebras, including imaginary simple roots, and such that positive roots correspond to certain reflection subgroups. The Tits cone and imaginary cone extend to these groupoids while preserving their most basic properties. These results linearize the study of certain classes of reflection subgroups of Coxeter groups in the same manner that root systems of Coxeter groups linearize the study of reflections.

What carries the argument

The root systems of Brink-Howlett groupoids, both abstract and realized in real vector spaces, which carry the correspondence of positive roots to reflection subgroups and support extensions of the Tits and imaginary cones.

If this is right

  • Positive roots in the defined root systems correspond directly to certain reflection subgroups.
  • The root systems include imaginary simple roots and satisfy other formal properties of Borcherds-Kac-Moody root systems.
  • The Tits cone and imaginary cone of the groupoids inherit the most basic properties known for the corresponding cones of Coxeter groups.
  • Reflection subgroups of Coxeter groups can be studied through the linearized data of these root systems.

Where Pith is reading between the lines

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

  • The root-system correspondence might permit enumeration or classification of reflection subgroups by working with root data instead of direct subgroup computations.
  • Similar root-system constructions could be attempted for other groupoids attached to Coxeter systems.
  • The extended imaginary cones may admit geometric interpretations that connect to the geometry of the original Coxeter groups.

Load-bearing premise

Root systems can be defined for Brink-Howlett groupoids so that positive roots correspond to reflection subgroups and the systems have properties formally analogous to those of Borcherds-Kac-Moody Lie algebras.

What would settle it

An explicit Brink-Howlett groupoid whose associated root system has a positive root that does not correspond to any reflection subgroup, or that lacks imaginary simple roots or other listed formal analogies.

read the original abstract

We extend the basic theory of the groupoids introduced by Brink and Howlett in their study of normalizers of parabolic subgroups of Coxeter groups, by studying both their abstract root systems and root systems realized in real vector spaces. Such root systems have some properties formally analogous to those of root systems of Borcherds-Kac-Moody Lie algebras; in particular, some contain imaginary simple roots. Further, positive roots correspond to certain reflection subgroups. We also extend the most basic properties of the Tits cone and imaginary cone of Coxeter groups to corresponding cones defined for Brink-Howlett groupoids. The results linearize the study of certain classes of reflection subgroups of Coxeter groups in a similar way as root systems of Coxeter groups linearize the study of reflections.

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

0 major / 1 minor

Summary. The paper extends the theory of Brink-Howlett groupoids associated to normalizers of parabolic subgroups in Coxeter groups. It defines both abstract root systems and root systems realized in real vector spaces for these groupoids, noting formal analogies to root systems of Borcherds-Kac-Moody Lie algebras (including the presence of imaginary simple roots). Positive roots are shown to correspond to certain reflection subgroups. The work also extends the basic properties of the Tits cone and imaginary cone from Coxeter groups to analogous cones for the groupoids. The central claim is that these constructions linearize the study of certain classes of reflection subgroups of Coxeter groups in the same way that ordinary root systems linearize the study of reflections.

Significance. If the stated constructions and verifications hold, the paper supplies a root-system formalism that could unify and extend existing techniques for analyzing reflection subgroups, building directly on Brink-Howlett groupoids and drawing explicit parallels to Borcherds-Kac-Moody theory. The extension of the Tits and imaginary cones provides additional geometric tools whose utility would be immediate for researchers working on Coxeter groups and their subgroups.

minor comments (1)
  1. The abstract refers to 'certain reflection subgroups' without specifying the precise class; a brief clarification in the introduction would help readers identify the scope immediately.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript and for noting the potential significance of extending root systems, Tits cones, and imaginary cones to Brink-Howlett groupoids, along with the formal analogies to Borcherds-Kac-Moody systems and the correspondence with reflection subgroups. Since the report lists no specific major comments, we have no points to address individually at this stage. We are happy to provide further clarifications or revisions if the referee has additional questions.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained extension

full rationale

The manuscript defines root systems for Brink-Howlett groupoids as an explicit extension of prior work by Brink and Howlett (distinct authors), with positive roots corresponding to reflection subgroups and formal analogies to Borcherds-Kac-Moody systems verified directly in the text. No equations, ansatzes, or uniqueness claims reduce by construction to fitted inputs or self-citations by Dyer-Gimenez; the linearization claim is presented as an observed analogy after the definitions, not a self-referential prediction. The construction is externally falsifiable via the groupoid axioms and cone properties, with no load-bearing internal loops.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.1-grok · 5659 in / 1076 out tokens · 32937 ms · 2026-06-27T05:45:56.724790+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

39 extracted references · 2 linked inside Pith

  1. [1]

    Brown.Buildings, volume 248 ofGraduate Texts in Math- ematics

    Peter Abramenko and Kenneth S. Brown.Buildings, volume 248 ofGraduate Texts in Math- ematics. Springer, New York, 2008. Theory and applications

    2008

  2. [2]

    American Mathematical Society, Providence, RI, 2002

    Alexander Barvinok.A course in convexity, volume 54 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2002

    2002

  3. [3]

    Springer, New York, 2005

    Anders Bj ¨orner and Francesco Brenti.Combinatorics of Coxeter groups, volume 231 ofGrad- uate Texts in Mathematics. Springer, New York, 2005

    2005

  4. [4]

    C´ edric Bonnaf´ e and Matthew J. Dyer. Semidirect product decomposition of Coxeter groups. Comm. Algebra, 38(4):1549–1574, 2010

    2010

  5. [5]

    Bourbaki

    N. Bourbaki. ´El´ ements de math´ ematique. Fasc. XXXIV. Groupes et alg` ebres de Lie. Chapitre IV: Groupes de Coxeter et syst` emes de Tits. Chapitre V: Groupes engendr´ es par des r´ eflex- ions. Chapitre VI: syst` emes de racines, volume No. 1337 ofActualit´ es Scientifiques et In- dustrielles [Current Scientific and Industrial Topics]. Hermann, Paris, 1968

    1968

  6. [6]

    Chapitres 1 ` a 5

    Nicolas Bourbaki.Espaces vectoriels topologiques. Chapitres 1 ` a 5. Masson, Paris, new edi- tion, 1981. ´El´ ements de math´ ematique. [Elements of mathematics]

    1981

  7. [7]

    Brink.On root systems and automaticity off Coxeter groups

    B. Brink.On root systems and automaticity off Coxeter groups. PhD thesis, Univ. of Sydney, 1994

    1994

  8. [8]

    Brigitte Brink and Robert B. Howlett. A finiteness property and an automatic structure for Coxeter groups.Math. Ann., 296(1):179–190, 1993. 76 M. DYER AND H. GIMENEZ

    1993

  9. [9]

    Brigitte Brink and Robert B. Howlett. Normalizers of parabolic subgroups in Coxeter groups. Invent. Math., 136(2):323–351, 1999

    1999

  10. [10]

    Cuntz and I

    M. Cuntz and I. Heckenberger. Weyl groupoids with at most three objects.J. Pure Appl. Algebra, 213(6):1112–1128, 2009

    2009

  11. [11]

    B. A. Davey and H. A. Priestley.Introduction to lattices and order. Cambridge University Press, New York, second edition, 2002

    2002

  12. [12]

    Vinay V. Deodhar. On the root system of a Coxeter group.Comm. Algebra, 10(6):611–630, 1982

    1982

  13. [13]

    M. J. Dyer.Hecke algebras and reflections in Coxeter Groups. PhD thesis, Univ. of Sydney, 1987

    1987

  14. [14]

    M. J. Dyer. Quotients of twisted Bruhat orders.J. Algebra, 163(3):861–879, 1994

    1994

  15. [15]

    M. J. Dyer. Groupoids, root systems and weak order I.arXiv:1110.3217 [math.GR], 2011

    Pith/arXiv arXiv 2011

  16. [16]

    M. J. Dyer. Groupoids, root systems and weak order II.arXiv:1110.3657 [math.GR], 2011

    Pith/arXiv arXiv 2011

  17. [17]

    M. J. Dyer.n-low elements and maximal rankkreflection subgroups of Coxeter groups.J. Algebra, 607:139–180, 2022

    2022

  18. [18]

    M. J. Dyer and G. I. Lehrer. Parabolic subgroup orbits on finite root systems.J. Pure Appl. Algebra, 222(12):3849–3857, 2018

    2018

  19. [19]

    M. J. Dyer and W Wang. A characterization of simplicial oriented geometries as groupoids with root systems.arXiv:1910.06665[math.GR], 2019

    arXiv 1910

  20. [20]

    Reflection subgroups of Coxeter systems.J

    Matthew Dyer. Reflection subgroups of Coxeter systems.J. Algebra, 135(1):57–73, 1990

    1990

  21. [21]

    On parabolic closures in Coxeter groups.J

    Matthew Dyer. On parabolic closures in Coxeter groups.J. Group Theory, 13(3):441–446, 2010

    2010

  22. [22]

    On the weak order of Coxeter groups.Canad

    Matthew Dyer. On the weak order of Coxeter groups.Canad. J. Math., 71(2):299–336, 2019

    2019

  23. [23]

    Shi arrangements and low elements in Coxeter groups.Proc

    Matthew Dyer, Susanna Fishel, Christophe Hohlweg, and Alice Mark. Shi arrangements and low elements in Coxeter groups.Proc. Lond. Math. Soc. (3), 129(2):Paper No. e12624, 48, 2024

    2024

  24. [24]

    Small roots, low elements, and the weak order in Coxeter groups.Adv

    Matthew Dyer and Christophe Hohlweg. Small roots, low elements, and the weak order in Coxeter groups.Adv. Math., 301:739–784, 2016

    2016

  25. [25]

    Matthew J. Dyer. Imaginary cone and reflection subgroups of Coxeter groups.Dissertationes Math., 545:117, 2019

    2019

  26. [26]

    On paired root systems of Coxeter groups.J

    Xiang Fu. On paired root systems of Coxeter groups.J. Aust. Math. Soc., 105(3):347–365, 2018

    2018

  27. [27]

    A generalization of Coxeter groups, root systems, and Matsumoto’s theorem.Math

    Istv´ an Heckenberger and Hiroyuki Yamane. A generalization of Coxeter groups, root systems, and Matsumoto’s theorem.Math. Z., 259(2):255–276, 2008

    2008

  28. [28]

    R. B. Howlett, P. J. Rowley, and D. E. Taylor. On outer automorphism groups of Coxeter groups.Manuscripta Math., 93(4):499–513, 1997

    1997

  29. [29]

    Robert B. Howlett. Normalizers of parabolic subgroups of reflection groups.J. London Math. Soc. (2), 21(1):62–80, 1980

    1980

  30. [30]

    Humphreys.Introduction to Lie algebras and representation theory, volume Vol

    James E. Humphreys.Introduction to Lie algebras and representation theory, volume Vol. 9 ofGraduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1972

    1972

  31. [31]

    Humphreys.Reflection groups and Coxeter groups, volume 29 ofCambridge Studies in Advanced Mathematics

    James E. Humphreys.Reflection groups and Coxeter groups, volume 29 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1990

    1990

  32. [32]

    Kac.Infinite-dimensional Lie algebras

    Victor G. Kac.Infinite-dimensional Lie algebras. Cambridge University Press, Cambridge, third edition, 1990

    1990

  33. [33]

    The conjugacy problem for Coxeter groups.Groups Geom

    Daan Krammer. The conjugacy problem for Coxeter groups.Groups Geom. Dyn., 3(1):71– 171, 2009

    2009

  34. [34]

    Locally parabolic subgroups in Coxeter groups of arbitrary ranks.J

    Koji Nuida. Locally parabolic subgroups in Coxeter groups of arbitrary ranks.J. Algebra, 350:207–217, 2012

    2012

  35. [35]

    A classification of subsystems of a root system.arXiv:0611904v4[math.RT], 2007

    T Oshima. A classification of subsystems of a root system.arXiv:0611904v4[math.RT], 2007

    2007

  36. [36]

    Seneta.Non-negative matrices

    E. Seneta.Non-negative matrices. Halsted Press [John Wiley & Sons], New York, 1973. An introduction to theory and applications

    1973

  37. [37]

    386 ofLecture Notes in Mathematics

    Jacques Tits.Buildings of spherical type and finite BN-pairs, volume Vol. 386 ofLecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1974

    1974

  38. [38]

    `E.˜B. Vinberg. Discrete linear groups that are generated by reflections.Izv. Akad. Nauk SSSR Ser. Mat., 35:1072–1112, 1971

    1971

  39. [39]

    Oxford Science Publications

    Roger Webster.Convexity. Oxford Science Publications. The Clarendon Press, Oxford Uni- versity Press, New York, 1994. ROOT SYSTEMS OF BRINK-HOWLETT GROUPOIDS 77 (M. Dyer)Department of Mathematics, 255 Hurley Building, University of Notre Dame, Notre Dame, Indiana 46556, U.S.A. Email address:dyer.1@nd.edu (H. Gimenez)Department of Mathematics, B26 Hayes-He...

    1994