Pith. sign in

REVIEW 1 major objections 6 minor 24 references

Namikawa--Weyl groups of symplectic quotient singularities

T0 review · 1 major / 6 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read Every irreducible Weyl group appears as a factor of the Namikawa–Weyl group of some symplectic quotient singularity V/G.

desk verdict Clean, complete evaluation of Bellamy’s product formula on the full list of symplectic reflection groups; the realization half is robust, the converse half inherits the usual preprint dependence on parabolic lists. read the letter →

arxiv 2607.24158 v1 pith:EB2ESENN submitted 2026-07-27 math.SG math.GR

Gwyn Bellamy , Gerhard Röhrle , Johannes Schmitt This is my paper · ORCID
classification math.SGmath.GR MSC 14E3014E1620F55
keywords symplecticreflectiongroupsquaternionicNamikawa–WeylquotientsingularitiesMcKaycorrespondenceminimalparabolicsubgroupsQ-factorialterminalizations
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

When a finite group of symplectic linear transformations acts on a vector space, the quotient singularity has a finite list of Q-factorial terminalizations. The relations among those terminalizations are governed by a real reflection group called the Namikawa–Weyl group. This paper computes that group for every symplectic reflection group by reading off fixed Weyl groups of minimal parabolic subgroups via the McKay correspondence. The resulting classification shows that every irreducible Weyl group arises as a factor for a suitable choice of G, while most such quotients have Namikawa–Weyl group of the simple shape W times a product of at most five A1 factors. The computation supplies the missing combinatorial input needed to count terminalizations and to decide which Weyl groups can appear for this family of singularities.

What carries the argument

The product formula for the Namikawa–Weyl group: it is the direct product, over conjugacy classes of minimal parabolic subgroups P, of the subgroups of the McKay Weyl groups fixed by the action of the normalizer N_G(P)/P. All possible fixed groups are read from a short table of pairs of finite subgroups of SL2(C).

What would settle it

Exhibit one symplectically irreducible symplectic reflection group whose set of minimal parabolic conjugacy classes or normalizers differs from the tables used here, and check whether the resulting Namikawa–Weyl group still matches the claimed product of an irreducible Weyl group with at most five A1 factors.

Watch

Extended reading notes

Core claim

For every irreducible Weyl group W there exists a symplectically irreducible symplectic reflection group G such that the Namikawa–Weyl group of V/G is W times A1^k for some k in {0,1}. Conversely, when G is symplectically irreducible the Namikawa–Weyl group is always of the form W times A1^k with 0 ≤ k ≤ 5, except for six exceptional complex reflection groups that produce at least two irreducible factors not of type A1.

Load-bearing premise

The lists of conjugacy classes of minimal parabolic subgroups and their normalizers, taken from the recent classifications of quaternionic reflection groups, are complete and correctly computed.

Editorial extensions

If this is right

  • Every irreducible Weyl group can now be realized as a factor of the Namikawa–Weyl group of some linear symplectic quotient.
  • Only simply-laced types, B2 and G2 arise as Namikawa–Weyl groups by themselves; F4 and Bm (m≥3) appear only multiplied by an extra A1.
  • The number of Q-factorial terminalizations of V/G can be read off once the Namikawa arrangement and its Weyl group are known.
  • The same group acts by Poisson automorphisms on the generalized Calogero–Moser space attached to G.

Reading between the lines

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

  • The same minimal-parabolic method should extend without change to any future symplectic reflection groups discovered outside Cohen’s list.
  • Comparing the realized factors with Wu’s prohibition of F4 for Nakajima quiver varieties sharpens the distinction between the two families of conical symplectic singularities.
  • Once the Namikawa–Weyl groups are known, explicit wall-crossing formulas for the number of terminalizations become a finite, case-by-case computation.
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.

Referee Report

1 major / 6 minor

Summary. The manuscript classifies the Namikawa–Weyl groups W_G of symplectic quotient singularities V/G for all symplectic reflection groups G. The strategy is to combine Bellamy's published product formula (Theorem 2.2, [Bel16, Thm. 1.3]), which expresses W_G as a product over conjugacy classes of minimal parabolic subgroups of fixed subgroups under normalizer actions, with (i) a complete analysis of the possible "foldings" of McKay Weyl groups under normalizer actions (Proposition 2.3, Table 1) and (ii) complete lists of minimal parabolic subgroups and their normalizers for each class in Cohen's classification of quaternionic reflection groups (with recent amendments by Taylor and Waldron). The main result (Theorem 1.1) has two directions: every irreducible Weyl group W is realized as a factor of some W_G, in fact in the form W × A1^k with k ∈ {0,1}; and conversely every symplectically irreducible G yields W_G = W × A1^k with W irreducible and 0 ≤ k ≤ 5, except for six exceptional complex reflection groups (G5, G7, G10, G11, G18, G19) which produce at least two non-A1 factors. The exposition is compact and the logical structure — reduction to the irreducible case, then the four classes (complex reducible, symplectically imprimitive, symplectically primitive/complex imprimitive, complex primitive) — is transparent.

Significance. If the classification holds, this completes a natural programme: it gives the Namikawa–Weyl group of every symplectic quotient singularity V/G by a symplectic reflection group, in fully explicit tables (Tables 1–5). Two features deserve emphasis. First, the result is parameter-free and falsifiable: the answer for each group is a concrete finite Weyl group read off from published data plus two cited preprints, and any entry can in principle be checked independently. Second, the contrast with Wu's theorem [Wu23] (no F4 factor for quiver varieties) is sharp and informative — quotient singularities are shown here to realize every irreducible Weyl group, with F4 and B_m (m ≥ 3) occurring only in the form W × A1. The Calogero–Moser interpretation (Proposition 2.5) adds useful context. The main caveat on significance is that the converse (structural) half of Theorem 1.1 inherits the status of the two unrefereed source preprints [GRS25, RS26]; this does not diminish the internal achievement but should be stated plainly.

major comments (1)
  1. [Sections 3.4–3.6] §3.4–3.6 (Propositions 3.1 and 3.3, Tables 3–5): the converse direction of Theorem 1.1 — the bound 0 ≤ k ≤ 5 and the exception list {G5, G7, G10, G11, G18, G19} — depends entirely on the completeness of the conjugacy-class lists of minimal parabolic subgroups and on the normalizer computations imported from [GRS25, Sect. 4] and [RS26, Sect. 3, Table 3, Prop. 4.12, Sect. 5.2], both unrefereed preprints. This is not an internal inconsistency — the product formula of Theorem 2.2 is published ([Bel16, Thm. 1.3]) and the reduction logic in this manuscript is clean — but it is a correctness-risk that should be managed in the text. Concretely: a single missing conjugacy class of C2-parabolics in the n = 2 imprimitive cases would change the k-values in Table 3, and a miscomputed normalizer (e.g., whether the Ξ_P action is trivial) would change the A- versus B-type contributions in Table 4. I ask
minor comments (6)
  1. [Table 2] Table 2: the rendering of exponents is ambiguous in places (e.g., the entries for G28 and G13 appear as 'A2 1', presumably A_1^2; G15 as 'A2 1 × A2', presumably A_1^2 × A_2). Please check the typesetting of superscripts throughout Tables 2–5.
  2. [Table 2] Table 2 caption: please indicate which entries are taken from [BST18, Lem. 7.3/Tab. 1] and which are computed here from the [OT92, App. C] data, so the reader knows what is new.
  3. [Section 3.5] Proposition 3.3, proof: the passage to quaternionic reflection groups and the 'complexification' of s' would benefit from a more precise reference than [Coh80, p. 294], and the application of [RS26, Lem. 4.5] should state the hypotheses being verified (q a reflection, det(q) a root of unity).
  4. [Section 3] A single fully worked example (e.g., one row of Table 4 for a specific T_0, tracing the parabolic classes, normalizers, and the Table 1 lookup) would substantially improve the verifiability of the classification tables.
  5. [Section 2.3] Section 2.3 (Calogero–Moser spaces) is motivational and never used later; consider either stating this explicitly or moving the material to the introduction.
  6. [Section 2.1] Notation: in Section 2.1 the same symbol V_P is used for the symplectic complement (V^P)^⊥, which is then also written V_P in the displayed decomposition V = V^P ⊕ V_P; please make the two uses typographically distinct.

Circularity Check

1 steps flagged · score 1.0 of 10

Classification applies Bellamy's product formula to independent parabolic data; self-citations supply inputs, not a circular reduction.

  1. self citation load bearing [Prop. 3.1, Prop. 3.3, §3.6 (citing GRS25/RS26); Thm. 2.2 (citing Bel16)]
    "The parabolic subgroups of G and their normalizers are listed in [GRS25, Sect. 4] and [RS26, Sect. 3]... the conjugacy classes of minimal parabolic subgroups of G are listed in [RS26, Table 3]... With the above notation, the Namikawa–Weyl group associated to V/G is given by the direct product W_G = ∏_{C∈P(G)} W^{Ξ_C}_C"

    Completeness of the converse in Theorem 1.1 (bound k≤5 and the six exceptional types) rests on parabolic/normalizer tables from contemporaneous preprints by overlapping authors (Röhrle–Schmitt) and on Bellamy's 2016 product formula. This is load-bearing self-citation, but not a circular reduction: the cited works compute group-theoretic data independently of Namikawa–Weyl groups, and the present paper merely evaluates the product formula on that data. No output is forced by definition from the inputs.

full rationale

The derivation is a straightforward evaluation of a prior structural theorem. Theorem 2.2 (from Bel16) expresses W_G as a product of fixed McKay Weyl groups W^{Ξ_C}_C over conjugacy classes of minimal parabolics; Proposition 2.3/Table 1 then lists the classical Dynkin foldings for pairs H◃N≤SL_2(C). The remainder of the paper feeds each family of symplectic reflection groups (complex-reducible, imprimitive, primitive-imprimitive, primitive) into that machine, reading off factors from Tables 2–5. The load-bearing external inputs are the lists of minimal parabolics and normalizers taken from OT92, BST18, GRS25 and RS26. Overlap of authors with GRS25/RS26 and Bel16 is real and the converse half of Theorem 1.1 depends on completeness of those lists, but the lists are independent combinatorial calculations about quaternionic/complex reflection groups; they are not defined in terms of Namikawa–Weyl groups, nor fitted to them. No equation equates a claimed prediction with its own input by construction. Score 1 only for the minor, non-circular self-citation dependence on contemporaneous preprints.

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

The paper rests on three layers of prior mathematics: (1) Namikawa’s existence of the Weyl group and Bellamy’s product formula in terms of fixed subgroups under normalizer actions; (2) the classical McKay correspondence that attaches Weyl groups to finite subgroups of SL(2); (3) the classification of symplectic/quaternionic reflection groups and the lists of their minimal parabolics and normalizers. No free parameters are fitted. No new geometric entities are postulated.

assumptions (4)
  • domain assumption Namikawa–Weyl group WG of V/G is the product over conjugacy classes C of minimal parabolics of the Ξ C-fixed subgroups of the McKay–Weyl groups WC (Bellamy, Thm. 1.3 / Theorem 2.2).
    Load-bearing structural theorem taken from Bel16; the entire classification is an evaluation of this formula.
  • standard math Finite subgroups of SL(2,C) and the pairs H rianglelefteq N are completely known; the induced action on the McKay Dynkin diagram yields the fixed Weyl groups listed in Table 1.
    Classical McKay correspondence and Steinberg’s results on diagram automorphisms; used throughout §2.2 and Proposition 2.3.
  • domain assumption The lists of conjugacy classes of minimal parabolic subgroups and their normalizers for all symplectically irreducible quaternionic reflection groups are those given in GRS25 and RS26 (and OT92 for complex reflection groups).
    Input data for Propositions 3.1, 3.3 and Tables 2–5; any incompleteness would change the output groups.
  • domain assumption Symplectically irreducible symplectic reflection groups are precisely the groups classified by Cohen (with amendments by Taylor and Waldron).
    Used to partition the classification into complex-reducible, imprimitive, primitive-imprimitive and primitive-primitive cases.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Namikawa--Weyl groups of symplectic quotient singularities." pith.science (2026). https://pith.science/paper/EB2ESENN

@misc{pith2026260724158,
  author       = {Pith},
  title        = {Pith review of: Namikawa--Weyl groups of symplectic quotient singularities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EB2ESENN}},
  note         = {Machine review of arXiv:2607.24158}
}
abstract

We classify the Namikawa--Weyl groups associated to symplectic quotient singularities $V/G$ when $G$ is a symplectic reflection group. Our classification shows that every irreducible Weyl group can be realized as a factor of the Namikawa--Weyl group of $V/G$ for a suitable $G$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 5 linked inside Pith

  1. [1]

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

    2000

  2. [2]

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

    2016

  3. [3]

    116, Polish Acad

    Gwyn Bellamy, Travis Schedler, and Ulrich Thiel, Hyperplane arrangements associated to symplectic quotient singularities, Phenomenological approach to algebraic geometry, Banach Center Publ., vol. 116, Polish Acad. Sci. Inst. Math., 2018, pp. 25--45

    2018

  4. [4]

    Cohen, Finite quaternionic reflection groups, J

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

    1980

  5. [5]

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

    1964

  6. [6]

    Pavel Etingof and Victor Ginzburg, Symplectic reflection algebras, C a\-lo\-ge\-ro-- M oser space, and deformed H arish- C handra homomorphism , Invent. Math. 147 (2002), no. 2, 243--348

    2002

  7. [7]

    Meinolf Geck and Lacrimioara Iancu, Coxeter groups and automorphisms, 2014, preprint, https://arxiv.org/abs/1412.5428

    arXiv 2014

  8. [8]

    Lorenzo Giordani, Gerhard Röhrle, and Johannes Schmitt, Invariants in the cohomology of the complement of quaternionic reflection arrangements, 2025, preprint, https://arxiv.org/abs/2510.27311

    arXiv 2025

Show all 24 references
  1. [9]

    Gérardo Gonzalez-Sprinberg and Jean-Louis Verdier, Con\-struc\-tion géo\-mé\-trique de la corres\-pon\-dance de M c K ay , Ann. Sci. Éc. Norm. Supér. (4) 16 (1983), no. 3, 409--449

    1983

  2. [10]

    Yi Hu and Sean Keel, Mori dream spaces and GIT , Michigan Math. J. 48 (2000), 331--348

    2000

  3. [11]

    C alifornia, S anta C ruz, C alif., 1979), Proc

    John McKay, Graphs, singularities, and finite groups, The S anta C ruz conference on finite groups ( U niv. C alifornia, S anta C ruz, C alif., 1979), Proc. Sympos. Pure Math., vol. 37, Amer. Math. Soc., 1980, pp. 183--186

    1979

  4. [12]

    Taylor, Normalisers of parabolic subgroups in finite unitary reflection groups, J

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

    2018

  5. [13]

    II , Kyoto J

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

    2010

  6. [14]

    , Poisson deformations and birational geometry, J. Math. Sci. Univ. Tokyo 22 (2015), no. 1, 339--359

    2015

  7. [15]

    Rikito Ohta, On the relative version of Mori dream spaces , Eur. J. Math. 8 (2022), 147--181

    2022

  8. [16]

    Wiss., vol

    Peter Orlik and Hiroaki Terao, Arrangements of hyperplanes, Grundlehren Math. Wiss., vol. 300, Springer-Verlag, Berlin, 1992

    1992

  9. [17]

    Gerhard Röhrle and Johannes Schmitt, On normalizers of parabolic subgroups of quaternionic reflection groups, 2026, preprint, https://arxiv.org/abs/2604.00584

    2026 arXiv

  10. [18]

    Shephard and John A

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

    1954

  11. [19]

    Robert Steinberg, Lectures on C hevalley groups , Yale University, 1968, Notes prepared by John Faulkner and Robert Wilson

    1968

  12. [20]

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

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

    2025 arXiv

  13. [21]

    Misha Verbitsky, Holomorphic symplectic geometry and orbifold singularities, Asian J. Math. 4 (2000), no. 3, 553--563

    2000

  14. [22]

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

    2025 arXiv

  15. [23]

    George Wilson, Collisions of C alogero-- M oser particles and an adelic G rassmannian , Invent. Math. 133 (1998), no. 1, 1--41, With an appendix by I. G. Macdonald

    1998

  16. [24]

    Theory 27 (2023), 734--765

    Yaochen Wu, Namikawa-- W eyl groups of affinizations of smooth N akajima quiver varieties , Represent. Theory 27 (2023), 734--765

    2023

Pith tools

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