pith. sign in

arxiv: 2604.00584 · v2 · submitted 2026-04-01 · 🧮 math.GR

On Normalizers of Parabolic Subgroups of Quaternionic Reflection Groups

Gerhard Roehrle , Johannes Schmitt This is my paper

Pith reviewed 2026-05-13 22:21 UTC · model grok-4.3

classification 🧮 math.GR
keywords quaternionic reflection groupsparabolic subgroupsnormalizerscomplementsreflection groupsfinite groups
0
0 comments X

The pith

Quaternionic reflection groups have parabolic subgroups that lack complements in their normalizers, unlike real and complex cases.

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

The paper investigates whether parabolic subgroups of quaternionic reflection groups admit complements inside their normalizers, following known results that such complements always exist for real and complex reflection groups. It finds that this property fails in general for the quaternionic setting. A complete classification of parabolic subgroups in irreducible quaternionic reflection groups is given, along with descriptions of complements when they exist, revealing infinitely many counterexamples in every rank greater than 2.

Core claim

By contrast with the real and complex setting, complements of parabolic subgroups do not exist in general for quaternionic reflection groups. There are infinitely many examples of quaternionic reflection groups in arbitrary rank greater than 2 with a parabolic subgroup that does not admit a complement in its normalizer. The paper gives a full classification of parabolic subgroups of irreducible quaternionic reflection groups and describes their complements when the latter exist.

What carries the argument

The normalizer of a parabolic subgroup together with the existence or non-existence of a complement to the parabolic subgroup inside that normalizer.

If this is right

  • The structure of normalizers in quaternionic reflection groups differs from the real and complex cases in a fundamental way.
  • Infinite families of counterexamples appear in every rank above 2, showing the failure is not exceptional.
  • The classification makes the normalizer structure explicit for all irreducible quaternionic reflection groups.
  • Complements exist in some cases and can be described precisely when they do.

Where Pith is reading between the lines

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

  • The absence of complements may affect the way these groups act on associated varieties or buildings.
  • Similar phenomena could appear when reflection groups are defined over other division rings beyond the quaternions.
  • The classification provides a concrete starting point for computing normalizers in explicit examples.

Load-bearing premise

The known list of irreducible quaternionic reflection groups is complete and the case-by-case analysis of their parabolic subgroups covers all possibilities.

What would settle it

Exhibiting a complement inside the normalizer for a parabolic subgroup in one of the infinite families of quaternionic reflection groups of rank greater than 2.

read the original abstract

By work of Howlett and Muraleedaran--Taylor, a parabolic subgroup of a real or complex reflection group always admits a complement in its normalizer. In this note, we investigate this phenomenon for quaternionic reflection groups. Here, in contrast to the real and complex setting, we find that complements of parabolic subgroups do not exist in general. Indeed, there are infinitely many examples of quaternionic reflection groups in arbitrary rank greater than 2 with a parabolic subgroup that does not admit a complement in its normalizer. We give a full classification of parabolic subgroups of irreducible quaternionic reflection groups and describe their complements, if the latter exist.

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

2 major / 1 minor

Summary. The manuscript investigates complements of parabolic subgroups in their normalizers for quaternionic reflection groups. In contrast to the real and complex cases (where complements always exist by Howlett and Muraleedaran-Taylor), the authors establish that complements do not exist in general. They exhibit infinitely many counterexamples in every rank greater than 2 and supply a full classification of parabolic subgroups of irreducible quaternionic reflection groups together with descriptions of complements when they exist.

Significance. If the classification holds, the result isolates a genuine structural divergence between quaternionic reflection groups and their real/complex counterparts, with direct consequences for the normalizer theory of reflection groups over division algebras. The explicit infinite families of counterexamples in arbitrary rank supply falsifiable, concrete data that can be checked independently and may guide further work on parabolic subgroups and their complements.

major comments (2)
  1. [Classification section (following the abstract's description of the full classification)] The central classification and the claim of infinitely many counterexamples rest on the assumption that the known list of irreducible quaternionic reflection groups is complete and closed under the constructions employed; the manuscript should cite the precise source of this list (e.g., the reference establishing completeness) and verify that no exceptional parabolic configurations are omitted from the case analysis.
  2. [Section describing the normalizer computations and complement existence] The explicit computation of normalizers and the verification that certain parabolic subgroups admit no complement must be checked for each infinite family; without the detailed normalizer tables or algorithms used in the case-by-case treatment, it is impossible to confirm that the non-existence statement covers every irreducible group in rank >2.
minor comments (1)
  1. [Introduction] The citation to Howlett and Muraleedaran-Taylor should be expanded with full bibliographic details (journal, volume, year, or arXiv identifier) for immediate accessibility.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the paper to strengthen the presentation.

read point-by-point responses

  1. Referee: [Classification section (following the abstract's description of the full classification)] The central classification and the claim of infinitely many counterexamples rest on the assumption that the known list of irreducible quaternionic reflection groups is complete and closed under the constructions employed; the manuscript should cite the precise source of this list (e.g., the reference establishing completeness) and verify that no exceptional parabolic configurations are omitted from the case analysis.

    Authors: We agree that the completeness of the list of irreducible quaternionic reflection groups underpins the classification and the infinite families of counterexamples. The list is taken from the classification due to Cohen (A. M. Cohen, Finite quaternionic reflection groups, J. Algebra 45 (1977)). We will add an explicit citation to this reference (or the standard source establishing completeness) and include a short paragraph confirming that the case analysis covers all parabolic configurations arising from the known groups without omissions. revision: yes

  2. Referee: [Section describing the normalizer computations and complement existence] The explicit computation of normalizers and the verification that certain parabolic subgroups admit no complement must be checked for each infinite family; without the detailed normalizer tables or algorithms used in the case-by-case treatment, it is impossible to confirm that the non-existence statement covers every irreducible group in rank >2.

    Authors: The normalizer computations rely on the explicit matrix representations and the action on the quaternionic vector space for each family, as derived from the classification of the groups and their parabolic subgroups. While the manuscript presents the resulting statements, we acknowledge that additional detail would facilitate independent verification. We will expand the relevant section with more explicit descriptions of the normalizer structures for the infinite families and include summary tables where space permits. revision: partial

Circularity Check

0 steps flagged

No significant circularity; case analysis relies on external classification of groups

full rationale

The paper establishes its claims via explicit case-by-case computation of normalizers and complements for parabolic subgroups inside each irreducible quaternionic reflection group, citing independent prior work (Howlett-Muraleedaran-Taylor) only for the real/complex contrast. The list of irreducible quaternionic groups is treated as an external, pre-existing classification from the literature rather than derived or fitted inside this manuscript. No equation, prediction, or central claim reduces by construction to a self-defined input, self-citation chain, or ansatz smuggled from the authors' own prior results. The non-existence statement for complements therefore rests on direct verification within the assumed external list, which is falsifiable outside this paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The classification rests on the established theory of reflection groups over division algebras without introducing new parameters or entities.

axioms (1)
  • domain assumption Standard axioms and definitions of reflection groups and parabolic subgroups as developed in the literature on real, complex, and quaternionic cases.
    The paper invokes these background definitions without re-proving them.

pith-pipeline@v0.9.0 · 5401 in / 1329 out tokens · 48516 ms · 2026-05-13T22:21:42.287555+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Beauville, Symplectic singularities, Invent

    A. Beauville, Symplectic singularities, Invent. Math. 139 (2000), no. 3, 541--549

    work page 2000

  2. [2]

    Bellamy, Counting resolutions of symplectic quotient singularities, Compos

    G. Bellamy, Counting resolutions of symplectic quotient singularities, Compos. Math. 152 (2016), no. 1, 99--114

    work page 2016

  3. [3]

    Bellamy, T

    G. Bellamy, T. Schedler, U. Thiel, Hyperplane arrangements associated to symplectic quotient singularities, Phenomenological approach to algebraic geometry, Banach Center Publ., vol. 116, Polish Acad. Sci. Inst. Math., Warsaw, 2018, pp. 25--45

    work page 2018

  4. [4]

    Bellamy, J

    G. Bellamy, J. Schmitt, U. Thiel, On parabolic subgroups of symplectic reflection groups, Glasg. Math. J. 65 (2023), no. 2, 401--413

    work page 2023

  5. [5]

    Brink and R

    B. Brink and R. B. Howlett, Normalizers of parabolic subgroups in C oxeter groups , Invent. Math. 136 (1999), 323--351

    work page 1999

  6. [6]

    A. M. Cohen, Finite complex reflection groups, Ann. Sci. Éc. Norm. Supér. (4) 9 (1976), no. 3, 379--436

    work page 1976

  7. [7]

    A. M. Cohen, Finite quaternionic reflection groups, J. Algebra 64 (1980), no. 2, 293--324

    work page 1980

  8. [8]

    Decker, C

    W. Decker, C. Eder, C. Fieker, M. Horn, M. Joswig (eds.). The computer algebra system OSCAR : algorithms and examples. 1st ed., vol. 32. Algorithms and Computation in Mathematics. Springer, 2025

    work page 2025

  9. [9]

    Du Val, Homographies, quaternions and rotations

    P. Du Val, Homographies, quaternions and rotations. Oxford Mathematical Monographs, Clarendon Press, Oxford, 1964

    work page 1964

  10. [10]

    Giordani, G

    L. Giordani, G. Röhrle, J. Schmitt, Invariants in the cohomology of the complement of quaternionic reflection arrangements, 2025, http://arxiv.org/abs/2510.27311

    work page arXiv 2025

  11. [11]

    R. B. Howlett, Normalizers of parabolic subgroups of reflection groups, J. Lond. Math. Soc. (2) 21 (1980), 62--80

    work page 1980

  12. [12]

    Muraleedaran, D

    K. Muraleedaran, D. E. Taylor, Normalisers of parabolic subgroups in finite unitary reflection groups, J. Algebra 504 (2018), 479--505

    work page 2018

  13. [13]

    Namikawa, Poisson deformations of affine symplectic varieties, II, Kyoto J

    Y. Namikawa, Poisson deformations of affine symplectic varieties, II, Kyoto J. Math. 50 (2010), 727--752

    work page 2010

  14. [14]

    Version 1.7.0

    OSCAR -- Open Source Computer Algebra Research system. Version 1.7.0. The OSCAR Team, 2026, https://www.oscar-system.org

    work page 2026

  15. [15]

    Orlik and L

    P. Orlik and L. Solomon, Arrangements defined by unitary reflection groups, Math. Ann. 261 (1982), 339--357

    work page 1982

  16. [16]

    Orlik and H

    P. Orlik and H. Terao, Arrangements of hyperplanes, Springer-Verlag, 1992

    work page 1992

  17. [17]

    G. C. Shephard, J. A. Todd, Finite unitary reflection groups, Canad. J. Math. 6 (1954), 274--304

    work page 1954

  18. [18]

    Steinberg, Differential equations invariant under finite reflection groups, Trans

    R. Steinberg, Differential equations invariant under finite reflection groups, Trans. Amer. Math. Soc., 112 (1964), 392--400

    work page 1964

  19. [19]

    D. E. Taylor, Systems of imprimitivity of rank two quaternionic reflection groups, 2025, https://arxiv.org/abs/2510.22134

    work page arXiv 2025

  20. [20]

    Waldron, An elementary classification of the quaternionic reflection groups of rank two, 2025, https://arxiv.org/abs/2509.01849

    S. Waldron, An elementary classification of the quaternionic reflection groups of rank two, 2025, https://arxiv.org/abs/2509.01849

    work page arXiv 2025