Invariants in the cohomology of the complement of quaternionic reflection arrangements

Gerhard Roehrle; Johannes Schmitt; Lorenzo Giordani

REVIEW 2 major objections 4 minor 1 cited by

Invariants in the cohomology of the complement of quaternionic reflection arrangements

T0 review · 2 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read For quaternionic reflection groups, the invariant cohomology Poincaré polynomials are the complex ones plus exactly one new imprimitive family, and explicit bases for the invariants are given.

desk verdict Solid imprimitive computation saddled to an overbroad completeness claim; the rank-2 primitive cases are not actually handled. read the letter →

arxiv 2510.27311 v2 pith:IGNGY7FJ submitted 2025-10-31 math.RT math.GR

Lorenzo Giordani , Gerhard Roehrle , Johannes Schmitt This is my paper · ORCID

classification math.RTmath.GR MSC 52C3520F5514N2005E18

keywords quaternionicreflectiongroupsarrangementscohomologyofarrangementcomplementsPoincarépolynomialsinvariantsDowlinglatticesOrlik-Solomonalgebraimprimitive

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 asks what the group G-invariants look like in the rational cohomology of the complement of the reflection arrangement of a quaternionic reflection group. It establishes that, apart from one infinite family, every invariant Poincaré polynomial that occurs in the quaternionic setting already occurs for complex reflection groups. The one genuinely new family comes from imprimitive groups G_n(K,H) for which K is non-cyclic, [K:H] and n are even, and K/H is not cyclic; there the Poincaré polynomial in t^{1/3} is 1+2t+...+2t^{n-2}+5t^{n-1}+4t^n. The proof runs by induction using an Euler-characteristic identity and a Dowling-lattice description of the intersection lattice, and it supplies explicit bases of the invariant ring. If correct, this completes the classification of these invariant Poincaré polynomials for all irreducible quaternionic reflection groups of rank at least two.

What carries the argument

The engine is the Euler-characteristic identity (3.6): the alternating sum, over orbit representatives X of the intersection lattice, of dim H^{3 rk(X)}(M(A_X);Q)^{N_G(X)} vanishes. It is obtained from a G-equivariant degree-3 differential ∂ and multiplication operator μ satisfying ∂μ+μ∂=id, and it reduces the Poincaré polynomial of H^*(M(A))^G to top-degree invariant dimensions in proper local arrangements, which are known by induction. The companion combinatorial tool is the isomorphism L(A(G_n(K,H))) ≅ D_n(K), where D_n(K) is the Dowling lattice of partial K-partitions of {1,...,n}; this gives the orbit representatives of parabolic subgroups that feed the induction. For the seven primitiv

What would settle it

Take the rank-2 imprimitive group G_2(D_4,C_4), where K/H is a Klein four-group; the paper predicts dim H^3(M(A);Q)^G = 5 and dim H^6(M(A);Q)^G = 4, giving Poincaré polynomial 1+5t^3+4t^6. A direct computation of these invariant dimensions from the generators and relations, without invoking the inductive identity, would either confirm the sign convention in Proposition 2.8 or expose a shift.

Watch

Extended reading notes

Core claim

The paper proves that the Poincaré polynomial P(A(G),G;t) of the graded ring H^*(M(A(G));Q)^G is determined, for every irreducible quaternionic reflection group G, by a short list of four complex patterns together with one additional imprimitive pattern. Complex-reducible groups simply give P(A_C,G;t^3), reproducing the four complex types. Among genuinely quaternionic groups, imprimitive groups G_n(K,H) fall into three cases according to parity of [K:H] and n and cyclicity of K/H; the non-cyclic quotient case produces the new polynomial 1+2t+...+2t^{n-2}+5t^{n-1}+4t^n after substituting t^{1/3}. The seven primitive groups of quaternionic rank greater than two have polynomials 1+t, 1+t+t^3+t^

Load-bearing premise

The load-bearing premise is that the cohomology ring of the complement of any quaternionic arrangement is presented by hyperplane-indexed degree-3 generators with relations from minimal dependent sets all carrying '+' signs, and that the group acts by permuting those generators; the paper's determinant-positivity argument is what guarantees the signs, and every later dimension count uses this presentation.

Editorial extensions

If this is right

For any complex-reducible quaternionic reflection group, the invariant Poincaré polynomial is exactly the complex one with t replaced by t^3, so the four polynomial types known from the complex classification reappear unchanged.
For imprimitive groups with non-cyclic K, the invariant Poincaré polynomial in t^{1/3} is 1+2t+...+2t^{n-1}+t^n when [K:H] or n is odd; it becomes 1+2t+...+2t^{n-2}+3t^{n-1}+2t^n when both are even and K/H is cyclic; and the new family 1+2t+...+2t^{n-2}+5t^{n-1}+4t^n when K/H is non-cyclic.
The seven primitive non-complex groups in dimension greater than two have invariant Poincaré polynomials 1+t, 1+t+t^3+t^4, or 1+t+t^4+t^5 in t^{1/3}, so no further new polynomials arise outside the imprimitive family.
Explicit bases exist: in the imprimitive case the invariant top-degree classes are averages ϵ_G(h_1 h_2^ξ h_3 ... h_k) with ξ running over representatives of K/H in the exceptional cases, and the primitive case has explicit hyperplane products listed in the paper.
The inductive identity reduces the computation to orbit representatives of parabolic subgroups, so the same method applies uniformly to all imprimitive quaternionic reflection arrangements once the orbit classification is known.

Reading between the lines

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

Inference: because H^*(M(A);Q)^G is isomorphic to H^*(M(A)/G;Q) by transfer, the new polynomial 1+5t^3+4t^6 in rank 2 predicts the rational Betti numbers of the orbit space of H^2 minus the arrangement by G_2(D_4,C_4); this quotient is a concrete space whose cohomology could be checked independently.
Inference: the near-identity with the complex list suggests a structural explanation beyond the computation, perhaps a uniform 'parabolic induction' formula governed by the lattice of parabolic subgroups; the quaternionic imprimitive case would then be the only place where the orbit classification differs.
Inference: the Dowling-lattice identification may transfer matroid-theoretic tools to this setting, since the Möbius numbers |μ(X)| control local top-degree dimensions; this could recast the computation purely as a statement about Dowling lattices and potentially extend to other classes of symplectic reflection groups.
Inference: the explicit bases given in the paper make it testable whether the invariant ring is generated by a small explicit set of degree-3 and top-degree invariants; deriving such a presentation would describe the full ring structure, not just its Poincaré polynomial.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

Quick take: the paper's real contribution is the imprimitive computation and the Dowling-lattice description of parabolic subgroups for quaternionic imprimitive groups. Those parts look careful and correct. But the headline assertion — 'only one additional family of new types of Poincaré polynomials occurs' — is not supported, because the rank-2 primitive groups are dismissed without computing the orbit count that Proposition 3.7 leaves open.

What's new: the inductive machinery from DPR25 is transplanted to quaternionic arrangements using the Orlik–Solomon presentation for the cohomology (Prop 2.8). The part I checked most closely, the sign computation in Prop 2.8, seems fine: the relevant maps are H-linear, so the real determinant is positive, and the explicit determinant di = N(αi)^2 confirms ε=+1. The imprimitive analysis for K non-cyclic is the meat of the paper. The orbit representatives, the conjugacy classification, and the inductive table in Theorem 5.4 are coherent, and the new family in Cor 5.5(2) follows genuinely from the orbit-count for G2(D2d, C2d). The Dowling lattice isomorphism for parabolic subgroups (Proposition 4.6) is a genuinely new structural result, and the basis construction in Section 7 is a nice extension of DPR25's.

Soft spots: first, the rank-2 primitive gap. Proposition 3.7 gives P = 1 + a t^3 + (a−1)t^6 in terms of a, the number of G-orbits on hyperplanes. The paper says these groups are 'covered' by that proposition and never computes a. But the abstract's completeness claim requires knowing that only a ∈ {1,2,3} for complex groups and a=5 for the new imprimitive family appear. There are 13 exceptional primitive rank-2 groups plus infinite families, and §2.1 itself flags that Waldron and Taylor add further rank-2 groups. No a-value is computed or bounded for any of them. If one of those groups has a=4 or a≥6, the abstract's claim is false. That is not a style concern; it's an unhandled case in the classification.

Second, Tables 3 and 4 come from OSCAR computations, but no code or certificates are shipped. For a completeness claim, that's a reproducibility issue, though likely addressable.

Verdict: the imprimitive part is worth keeping; the global classification needs more work. This paper is for people working on quaternionic reflection arrangements or invariant cohomology — they'll find the imprimitive computation valuable. Send it to a serious referee: the mathematical content deserves scrutiny, but the referee should ask for the rank-2 orbit counts or a revised claim. I would not desk-reject.

Referee Report

2 major / 4 minor

Summary. The paper studies the rational cohomology of complements of quaternionic reflection arrangements, with focus on the Poincaré polynomial P(A,G;t) of the G-invariants in H*(M(A);Q). It extends Douglas–Pfeiffer–Röhle's work from complex reflection groups to quaternionic reflection groups. The authors prove an Orlik–Solomon presentation for complements of quaternionic hyperplane arrangements (Proposition 2.8), establish analogues of Brieskorn's lemma and the induction formula (3.6), treat the complex-reducible case by reduction to [DPR25], and analyze the imprimitive groups Gn(K,H) in detail using the Dowling lattice description, producing an explicit list of orbit representatives and the resulting Poincaré polynomials in Theorem 5.4 and Corollary 5.5. The primitive groups of quaternionic dimension >2 are handled by OSCAR computations summarized in Table 3, and explicit bases are discussed in Section 7. The headline claim is that, across all quaternionic reflection groups, only one new family of Poincaré polynomials occurs that is not realised in the complex case, namely the imprimitive family in Corollary 5.5(2).

Significance. If the classification claim is correct, this is a valuable structural result: it shows that the invariant Poincaré polynomials for quaternionic reflection arrangements are almost all controlled by the complex case, with a single explicit new imprimitive family. The paper contains several strong components: an independent proof of the Orlik–Solomon presentation for quaternionic arrangements; a new Dowling-lattice description of intersection lattices of imprimitive groups; explicit orbit representatives; and explicit inductive dimension computations. The imprimitive part of the argument is coherent and appears internally sound. However, the global completeness claim is not supported by the evidence presented for primitive groups of rank 2, which are explicitly excluded from the detailed analysis. The higher-dimensional primitive entries also rely entirely on OSCAR computations without shipped code or certificates, limiting verifiability.

major comments (2)

[§2.1, §6, Abstract] The Abstract and Introduction state that 'only one additional family of new types of Poincaré polynomials occurs in the quaternionic setting.' This is a global classification statement over all quaternionic reflection groups. Yet §2.1 restricts attention to dim V > 2, saying the rank-2 case is 'trivially handled by Proposition 3.7', and §6 repeats that 'almost all of these groups act on a vector space of quaternionic dimension n = 2, so are covered by Proposition 3.7.' Proposition 3.7 only gives P(A,G;t) = 1 + a t^3 + (a−1)t^6, where a is the number of G-orbits on the hyperplane set A; it does not compute or bound a. In the complex case, Theorem 3.10 gives a ∈ {1,2,3}; the new imprimitive family in Corollary 5.5(2) has a = 5 at n = 2. Thus any primitive rank-2 group with a = 4 or a ≥ 6 would produce a polynomial outside both lists and contradict the headline. Since §2.1 itself cites [Wal
[§6, Table 3 and Table 4] The seven primitive groups of dimension n > 2 are the only remaining non-complex primitive cases, and Table 3 lists their Poincaré polynomials as OSCAR computations. The text describes the algorithm (NBC basis, character computation) but provides no code, no input matrices, and no certificates. Since these seven entries are load-bearing for the primitive part of the classification, a referee cannot verify them from the manuscript alone. Please supply a documented script or data file (or, failing that, full generator matrices and intermediate data such as NBC basis sizes and character tables) so that the entries in Table 3 and Table 4 can be independently checked.

minor comments (4)

[§2.3] Typo: 'Brieskorn's Lemma for quaternionic arrngements' should be 'arrangements'.
[§5, Table 2] The table is difficult to read: the rows labelled 'else' are repeated three times, and the first three data columns are all '1' for every case. Please restructure the table so that the dependence on [K:H], n, and K/H is immediately transparent, for example by splitting into three separate cases as in Corollary 5.5.
[§6] The notation 'P(A(G),G;t)(t^{1/3})' near Table 3 is confusing; the paper elsewhere uses P(A(G),G;t^{1/3}) consistently. Please use a single notational convention.
[§7.2, Table 4] The table lists hyperplanes for bases but does not explain how the particular parabolic subgroups in the second column were selected from [BST23, §7.2]. A sentence identifying the parabolic type in terms of the group's classification would help reproducibility.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the quaternionic invariant polynomials are obtained from an independent Orlik-Solomon presentation and a genuine inductive Euler-characteristic identity; the rank-2 primitive coverage gap is a completeness issue, not a circular one.

full rationale

The derivation is self-contained against established external results. Proposition 2.8 gives an independent proof of the Orlik-Solomon presentation for quaternionic arrangements ('we give the following independent proof'), deriving the sign +1 from [LS01, Cor. 5.6] and an explicit determinant-positivity computation; it does not assume the invariant Poincaré polynomials. Theorem 3.10 explicitly repeats the complex-case classification from [DPR25] as an input, and the genuinely new imprimitive family is computed in Section 5 via the inductive identity (3.6), orbit representatives from Theorem 4.12, and the base case Lemma 5.3. Corollary 5.5 is therefore not a rewording of an input. The self-citations [DPR25] and [BST23] are published results with independent proofs and do not assume the target quaternionic invariant polynomials, so under the rules they are real evidence rather than circularity. The flagged concern in Section 6, where rank-2 primitive groups are said to be 'covered by Proposition 3.7' without computing the orbit count a, is a genuine completeness gap in the classification claim, but it is not a case of a prediction reducing to its input by construction or of a fitted parameter being renamed as a prediction. Thus there is no circular step to report.

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

No new free parameters or invented entities are introduced. The computation is a classification using known cohomology presentations, prior results on parabolic subgroups, and inductive identities. The only external inputs are prior classifications and tool computations.

assumptions (5)

domain assumption Cohen's classification of irreducible quaternionic reflection groups, including Waldron's and Taylor's revisions in rank 2
Used throughout to enumerate imprimitive families (Section 4.1) and the seven primitive groups in dimension >2 (Section 6). If the classification in higher rank were incomplete, the tables and theorems would miss cases.
domain assumption Parabolic subgroups of quaternionic reflection groups are again quaternionic reflection groups [BST23]
Used in Theorem 3.2 and Proposition 3.4(3) to identify intersection lattices with parabolic subgroup posets; central to the inductive reduction.
standard math Goresky–MacPherson formula and de Longueville–Schultz cohomology presentation [LS01, Cor. 5.6]
Basis for Proposition 2.7 and the reproved Proposition 2.8; if the reference result were misapplied, the whole dimension computation would collapse.
domain assumption OSCAR computations for the seven primitive groups are correct
Section 6 and Table 4 rely on OSCAR output for NBC bases, group actions, and characters; no scripts or certificates are shipped.
domain assumption For primitive rank-2 quaternionic groups, the orbit count a in Proposition 3.7 takes only values already realized in the complex case or the imprimitive non-cyclic value
Needed for the global 'only one additional family' claim in the abstract and introduction, but not proved or tabulated in the paper; it is an implicit consequence of Cohen's classification that is not located.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Invariants in the cohomology of the complement of quaternionic reflection arrangements." pith.science (2026). https://pith.science/paper/IGNGY7FJ

@misc{pith2026251027311,
  author       = {Pith},
  title        = {Pith review of: Invariants in the cohomology of the complement of quaternionic reflection arrangements},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IGNGY7FJ}},
  note         = {Machine review of arXiv:2510.27311}
}

abstract

Let $\mathcal A$ be a hyperplane arrangement in a vector space $V$ and $G \leq GL(V)$ a group fixing $\mathcal A$. In case when $G$ is a complex reflection group and $\mathcal A=\mathcal A(G)$ is its reflection arrangement in $V$, Douglass, Pfeiffer, and R\"ohrle studied the invariants of the $Q G$-module $H^*(M(\mathcal A);Q)$, the rational, singular cohomology of the complement space $M(\mathcal A)$ in $V$. In this paper we generalize the work in Douglass, Pfeiffer, and R\"ohrle to the case of quaternionic reflection groups, first classified by Cohen in 1980. We obtain a straightforward generalization of the Hilbert--Poincar\'e series of the ring of invariants in the cohomology from the complex case when the quaternionic reflection group is complex-reducible according to Cohen's classification. Surprisingly, only one additional family of new types of Poincar\'e polynomials occurs in the quaternionic setting which is not realised in the complex case, namely those of a particular class of imprimitive irreducible quaternionic reflection groups. We utilize a new description of the lattices of intersections of imprimitive groups as Dowling lattices. Finally, we discuss bases of the space of $G$-invariants in $H^*(M(\mathcal A);Q)$.

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

Namikawa--Weyl groups of symplectic quotient singularities
math.SG 2026-07 accept novelty 6.5 of 10

Every irreducible Weyl group arises as a factor of the Namikawa–Weyl group of some symplectic quotient singularity V/G with G a symplectic reflection group.

Reference graph

Works this paper leans on

26 extracted references · 3 linked inside Pith · cited by 1 Pith paper

[1]

Bellamy, J

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

2023
[2]

D. Bessis. Finite complex reflection arrangements are K( ,1) . Ann. of Math. (2), 181(3) (2015): 809--904

2015
[3]

Bishop, J

M. Bishop, J. M. Douglass, G. Pfeiffer, G. Röhrle. Computations for C oxeter arrangements and S olomon's descent algebra: Groups of rank three and four . J. Symbolic Comput. 50 (2013): 139--158

2013
[4]

Brieskorn

E. Brieskorn. Sur les groupes de tresses [d'apr\`es V. I. Arnol'd], in S\'eminaire Bourbaki, 24\`eme ann\'ee (1971/1972), Exp. No. 401, pp. 21--44, Lecture Notes in Math., Vol. 317, Springer, Berlin-New York (1973)

1971
[5]

Brou\' e , G

M. Brou\' e , G. Malle, J. Michel. Towards spetses. I . Transform. Groups, 4(2-3): 157--218, 1999. Dedicated to the memory of Claude Chevalley

1999
[6]

Cadegan-Schlieper

W. Cadegan-Schlieper. On the geometry and topology of hyperplane complements associated to complex and quaternionic reflection groups. PhD Thesis, University of California, 2018

2018
[7]

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

1980
[8]

Cordovil, G

R. Cordovil, G. Etienne. A note on the O rlik-- S olomon algebra . Europ. J. Combinatorics 22 (2001): 165--170

2001

Show all 26 references

[9]

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

2025
[10]

Douglass, G

M. Douglass, G. Pfeiffer, G. Röhrle. Invariants and semi-invariants in the cohomology of the complement of a reflection arrangement. Math. Ann. 392(2) (2025): 2803--2851

2025
[11]

T. A. Dowling. A class of geometric lattices based on finite groups. J. Combinatorial Theory Ser. B, 14 (1973): 61--86

1973
[12]

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

1964
[13]

Goresky, R

M. Goresky, R. MacPherson. Stratified morse theory. Singularities (1983): 517--533

1983
[14]

Griffeth, D

S. Griffeth, D. Guevara. Cohomology of the hyperplane complement of a quaternionic reflection group, https://arxiv.org/abs/2510.18607
[15]

G. I. Lehrer, L. Solomon. On the action of the symmetric group on the cohomology of the complement of its reflecting hyperplanes. J. Algebra 104(2) (1986): 410-424

1986
[16]

de Longueville, C

M. de Longueville, C. A. Schultz. The cohomology rings of complements of subspace arrangements. Math. Ann. 319 (2001): 625--646

2001
[17]

Muraleedaran, D

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

2018
[18]

Orlik, L

P. Orlik, L. Solomon, Coxeter arrangements. Singularities 40(2) (1983): 269-291

1983
[19]

Version 1.4.1

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

2025
[20]

Orlik, H

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

1992
[21]

Schlieper

W. Schlieper. The cohomology of quaternionic hyperplane complements. preprint, 2015, https://arxiv.org/abs/1508.05418v1

2015 arXiv
[22]

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

1954
[23]

D. E. Taylor. Reflection subgroups of finite complex reflection groups. J. Algebra 366 (2012): 218--234

2012
[24]

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

arXiv
[25]

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

arXiv
[26]

G. M. Ziegler. On the difference between real and complex arrangements. Math. Z. 212 (1993): 1--11

1993

Pith tools

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

[1] [1]

Bellamy, J

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

2023

[2] [2]

D. Bessis. Finite complex reflection arrangements are K( ,1) . Ann. of Math. (2), 181(3) (2015): 809--904

2015

[3] [3]

Bishop, J

M. Bishop, J. M. Douglass, G. Pfeiffer, G. Röhrle. Computations for C oxeter arrangements and S olomon's descent algebra: Groups of rank three and four . J. Symbolic Comput. 50 (2013): 139--158

2013

[4] [4]

Brieskorn

E. Brieskorn. Sur les groupes de tresses [d'apr\`es V. I. Arnol'd], in S\'eminaire Bourbaki, 24\`eme ann\'ee (1971/1972), Exp. No. 401, pp. 21--44, Lecture Notes in Math., Vol. 317, Springer, Berlin-New York (1973)

1971

[5] [5]

Brou\' e , G

M. Brou\' e , G. Malle, J. Michel. Towards spetses. I . Transform. Groups, 4(2-3): 157--218, 1999. Dedicated to the memory of Claude Chevalley

1999

[6] [6]

Cadegan-Schlieper

W. Cadegan-Schlieper. On the geometry and topology of hyperplane complements associated to complex and quaternionic reflection groups. PhD Thesis, University of California, 2018

2018

[7] [7]

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

1980

[8] [8]

Cordovil, G

R. Cordovil, G. Etienne. A note on the O rlik-- S olomon algebra . Europ. J. Combinatorics 22 (2001): 165--170

2001