REVIEW 2 major objections 5 minor 40 references
Invariant theory for coincidental complex reflection groups
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A single corrected Hilbert-series formula holds exactly for the coincidental complex reflection groups, and yields the cluster-combinatorics q-analogues along the way.
desk verdict A solid correction of Molchanov's conjecture with rigorous proofs for the infinite families and rank 2, but the four exceptional groups rest on an undocumented Mathematica check, so the main theorem is not fully verified as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the triply graded Hilbert series of the invariant space $(S(V^*)\otimes \wedge V^*\otimes \wedge V)^W$, examined degree by degree in polynomial, dual-exterior, and exterior variables. The formula is organized around the exponents $e_i$ and coexponents $e^*_i$; for coincidental $W$ the coexponents form the arithmetic progression $1,1+a,\ldots,1+(n-1)a$, so the elementary symmetric function $\sigma_r(q^{e^*_1},\ldots,q^{e^*_n})$ simplifies to $q^{r+a\binom{r}{2}}\left[\begin{smallmatrix}n\\r\end{smallmatrix}\right]_{q^a}$. The proof runs through an explicit conjectured basis built from invariant derivations acting on exterior products of basic derivations; invariance and the correct degree sum reduce freeness to checking that certain determinant expressions are nonzero.
What would settle it
Recompute the Hilbert series for $G_{32}$ (or $H_3$) by direct Molien averaging over the group for small degrees, for instance all total degrees up to 12, and compare coefficient-by-coefficient with Theorem 1.1; any mismatch would refute the formula. A second check is to evaluate the determinant of the conjectured basis elements in Conjecture 4.1$'$ at a randomly chosen point in $\mathbb{C}^n$ and see whether it is zero.
Extended reading notes
Core claim
The central assertion, Theorem 1.1, is that for any coincidental complex reflection group $W$ acting on $V = \mathbb{C}^n$, $$\operatorname{Hilb}\left((S(V^*)\otimes \wedge V^*\otimes \wedge V)^W,q,t,s\right)=\sum_{r=0}^n s^r \sigma_r($q^{{e^*_1}}$,\ldots,$q^{{e^*_n}}$)\frac{\prod_{i=1}^r(1+$q^{{-e^*_i}}$t)\prod_{i=1}^{n-r}(1+$q^{{e_i}}$t)}{\prod_{i=1}^n(1-$q^{{d_i}}$)},$$ where the coefficient of $q^i t^k s^r$ is the dimension of $(S^i(V^*)\otimes \wedge^k V^*\otimes \wedge^r V)^W$. The proof treats the Weyl groups of type $A$ and the family $G(d,1,n)$ by reduction to known symmetric-function Hilbert-series formulas, all rank-two coincidental groups by determinant nonvanishing checks, and the four exceptional groups $H_3$, $G_{25}$, $G_{26}$, and $G_{32}$ by a computational verification that a conjectured explicit basis is linearly independent. The paper also shows that the formula holds for an irreducible reflection group if and only if the group is coincidental, and it tabulates the actual Hilbert series for the non-coincidental exceptional groups.
Load-bearing premise
The load-bearing premise is that the omitted Mathematica computation verifying Conjecture 4.1 for the four exceptional groups $H_3$, $G_{25}$, $G_{26}$, and $G_{32}$ is correct; no code, output, or determinant expressions are shown, and if that computation is wrong the main formula fails for those groups.
Editorial extensions
If this is right
- The Hilbert series of invariant mixed forms is now known in closed product form for every coincidental complex reflection group, including all non-real Shephard groups.
- Setting $t = -q^p$ yields product formulas for the $q$-Kirkman numbers, the graded multiplicities of $\wedge^r V$ in parking-space representations, for every coincidental group.
- Setting $s=0$ and $t=-q^p$ expresses the $q$-Catalan number as a sum of $q$-Narayana numbers, recovering the earlier type $A$ and type $B/C$ product formulas.
- Theorem 1.5 gives a $(q,t)$-analogue of the identity that converts an $h$-vector into an $f$-vector, and at $q=1$, $t=-q^{h+1}$ it recovers the face counts of the finite type cluster and Cambrian fans.
- For every non-coincidental irreducible reflection group, the formula fails; the paper supplies the actual Hilbert series data for those groups.
Reading between the lines
- The explicit conjectured basis, if it holds throughout the coincidental family, gives a uniform free-module structure that likely supports natural representation-theoretic bases for the $q$-Kirkman and $q$-Narayana spaces, not just their Hilbert series.
- Because the $q$-analogues come from a single product formula, they may imply a cyclic sieving phenomenon for noncrossing partitions across all coincidental types, not only the classical Weyl cases, when $q$ is specialized to roots of unity.
- The one computational step in the main theorem, the omitted Mathematica verification for the four exceptional groups, could be replaced by a human-checkable determinant computation; finding one would remove the only non-constructive part of the proof.
- The exact dichotomy of coincidental versus non-coincidental suggests that the arithmetic-progression condition marks the boundary of any one-term product formula of this shape, so other reflection families may require multi-term but still uniform expressions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the triply graded Hilbert series Hilb((S(V*) ⊗ ∧V* ⊗ ∧V)^W, q, t, s) for finite complex reflection groups. It shows that Molchanov's proposed product formula is false in general and proves Theorem 1.1: for every coincidental complex reflection group W, this Hilbert series equals ∑_{r=0}^n s^r σ_r(q^{e*_1},...,q^{e*_n}) (∏_{i=1}^r (1+q^{-e*_i}t) ∏_{i=1}^{n-r} (1+q^{e_i}t)) / ∏_{i=1}^n (1-q^{d_i}). The proof treats type A and the family G(d,1,n) using Kirillov–Pak and Koike, treats all rank-2 duality groups by explicit determinant checks, and dispatches the exceptional groups H3, G25, G26, and G32 via a stated Mathematica verification of Conjecture 4.1′. The paper also computes analogous Hilbert series for all non-coincidental irreducible complex reflection groups, derives product formulas for q-Narayana and q-Kirkman polynomials, and proves a (q,t)-analogue of the standard h-vector-to-f-vector transformation.
Significance. If the main theorem is correct, it settles Molchanov's speculation in a clean way, unifies previous product formulas for cluster/Cambrian f-vectors, and gives explicit q-Narayana and q-Kirkman formulas for all coincidental groups. The paper's strengths are the detailed and checkable proofs for the infinite families and rank 2, the explicit Hilbert-series data for non-coincidental groups, and the crisp applications to known combinatorial objects. The main weakness is that the proof for the four exceptional groups rests on an undocumented computer check, which is the one place where the central claim is not independently auditable from the text.
major comments (2)
- [Section 7, proof of Theorem 1.1, third bullet] The proof for H3, G25, G26, and G32 consists solely of the statement that Conjecture 4.1′ was checked in Mathematica via Proposition 6.5, using choices of {f_i} and {θ_i} from [30] and [26, App. B.3]. Since Proposition 4.4 shows that Conjecture 4.1′ implies Theorem 1.1, the main theorem for these four groups depends entirely on this unshown computation. No code, determinant expressions, or outputs are provided. This is a load-bearing gap, not a presentation issue: an error in the check would falsify Theorem 1.1 for a coincidental group. Please supply the verification artifacts (e.g., a script that computes the relevant determinants and prints their nonvanishing values) or replace this step by an independent check, such as directly comparing the finite Molien sum in equation (2.11) with the right-hand side of Theorem 1.1 for each of H3, G25, G26, and G32.
- [Section 7, Proposition 6.5 and Section 11] The claim in Remark 7.1 that Theorem 1.1 holds if and only if W is coincidental is not fully demonstrated for the non-coincidental exceptional groups. While Remark 3.19 explicitly shows the failure for G(de,e,n) when e ≥ 2, the non-coincidental exceptional cases are supported only by the table in Section 11, whose entries are asserted without explanation of how they were computed or how they differ from the Theorem 1.1 expression. Since the 'if and only if' statement is advertised in the abstract, please either provide the computations behind the table or state explicitly, for each row, a coefficient or specialization that distinguishes the tabulated ν_r(W,q,t) from the formula predicted by Theorem 1.1.
minor comments (5)
- [Section 10, paragraph after equation (10.2)] The phrase 'exponent gap q' should read 'exponent gap a'; q is already used as the grading variable.
- [Section 8, first sentence] The phrase 'as notaion tha t' contains typos and should be 'as notation that'.
- [Proposition 6.5] The word 'derviation' should be 'derivation' in the statement.
- [Proposition 4.4 proof] The word 'appreviate' should be 'abbreviate'.
- [Section 11] The table of ν_r(W,q,t) for non-coincidental exceptional groups would be much more useful if the manuscript stated the method used to obtain these polynomials, even briefly, or pointed to code or auxiliary files.
Circularity Check
No circularity found: the Hilbert series formula is derived from external hook-content theorems and independent determinant checks, not from its own conclusion.
full rationale
The paper's central Theorem 1.1 is not assumed anywhere in its proof. For the infinite families, Section 3 computes the relevant Molien sums directly from Kirillov-Pak's and Koike's hook-content formulas for symmetric and monomial groups, then identifies the resulting expressions with the right-hand side of Theorem 1.1 using only the group's exponents and coexponents. For rank two groups, Section 8 proves the stronger Conjecture 4.1 by reducing, via Proposition 6.5, to checking nonzero determinants; this reduction uses the Gutkin-Opdam degree sum and Lemma 6.4, neither of which assumes the target Hilbert series. For the remaining exceptional groups H3, G25, G26, and G32, the proof cites a Mathematica verification of Conjecture 4.1 using Proposition 6.5 with explicit choices of basic invariants and derivations. This step is opaque because no code or output is included, but it is a computational independence check, not a circular use of the theorem. Proposition 4.4 only shows that Conjecture 4.1 implies Theorem 1.1, which is legitimate because the conjecture is then verified independently. The cited prior results [28], [32], and [33], though partly self-citations, are external theorems with stated assumptions and do not assume the present formula. The proof is therefore self-contained in the sense of not relying on its own conclusion; any concern about the undocumented exceptional-group computation is a reproducibility issue, not circularity.
Assumptions & free parameters
assumptions (8)
- standard math Shephard-Todd-Chevalley theorem: S(V*)^W is a polynomial algebra with degrees d_i.
- standard math Solomon's theorem: (S⊗∧V*)^W is an exterior algebra over S^W on df_i.
- standard math Orlik-Solomon theorem: (S⊗∧V)^W is an exterior algebra over S^W on basic derivations.
- standard math Gutkin-Opdam lemma: formula for the sum of U-exponents via hyperplane sums.
- standard math Classification of finite irreducible complex reflection groups (Shephard-Todd).
- standard math Koike's Poincaré series formula for G(de,e,n) (Theorem 3.17).
- standard math Kirillov-Pak / Molchanov / Thibon / Gyoja-Nishiyama-Shimura hook-content formula for S_n (Theorem 3.3).
- ad hoc to paper The Mathematica computations checking Conjecture 4.1' for H3, G25, G26, G32 are correct.
Cite this review
Pith. "Pith review of Invariant theory for coincidental complex reflection groups." pith.science (2026). https://pith.science/paper/2BR2URIH
@misc{pith2026190802663,
author = {Pith},
title = {Pith review of: Invariant theory for coincidental complex reflection groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/2BR2URIH}},
note = {Machine review of arXiv:1908.02663}
}
abstract
V.F. Molchanov considered the Hilbert series for the space of invariant skew-symmetric tensors and dual tensors with polynomial coefficients under the action of a real reflection group, and speculated that it had a certain product formula involving the exponents of the group. We show that Molchanov's speculation is false in general but holds for all coincidental complex reflection groups when appropriately modified using exponents and co-exponents. These are the irreducible well-generated (i.e., duality) reflection groups with exponents forming an arithmetic progression and include many real reflection groups and all non-real Shephard groups, e.g., the Shephard-Todd infinite family $G(d,1,n)$. We highlight consequences for the $q$-Narayana and $q$-Kirkman polynomials, giving simple product formulas for both, and give a $q$-analogue of the identity transforming the $h$-vector to the $f$-vector for the coincidental finite type cluster/Cambrian complexes of Fomin--Zelevinsky and Reading.
Reference graph
Works this paper leans on
- [30]
-
[1]
Armstrong, Generalized noncrossing partitions and c ombinatorics of Coxeter groups
D. Armstrong, Generalized noncrossing partitions and c ombinatorics of Coxeter groups. Mem. Amer. Math. Soc. 202 (2009), no. 949
work page 2009
-
[2]
D. Armstrong, V. Reiner and B. Rhoades, Parking spaces. Adv. Math. 269 (2015), 647–706
work page 2015
-
[3]
D. Bessis and V. Reiner, Cyclic sieving of noncrossing pa rtitions for complex reflection groups. Ann. Comb. 15 (2011), 197–222
work page 2011
-
[4]
Matrix Factorisations Arising From Well-Generated Complex Reflection Groups
B. Briggs, Matrix Factorisations Arising From W ell-Gen erated Complex Reflection Groups, arXiv:1704.05966. 24 VICTOR REINER, ANNE V. SHEPLER, AND ERIC SOMMERS
-
[5]
Brou´ e, Introduction to complex reflection groups and their braid groups
M. Brou´ e, Introduction to complex reflection groups and their braid groups. Lecture Notes in Mathematics 1988. Springer- Verlag, Berlin, 2010
work page 1988
-
[6]
Chevalley, Invariants of finite groups generated by re flections
C. Chevalley, Invariants of finite groups generated by re flections. Amer. J. Math. 77 (1955), 778–782
work page 1955
-
[7]
S. Fomin and N. Reading, Generalized cluster complexes a nd Coxeter combinatorics. Int. Math. Res. Not. (2005), no. 44, 2709–2757
work page 2005
Show all 40 references
-
[8]
Fomin and A
S. Fomin and A. Zelevinsky, Y-systems and generalized as sociahedra. Ann. of Math. (2) 158 (2003), 977–1018
2003
-
[9]
Gasper and M
G. Gasper and M. Rahman, Basic hypergeometric series, Se cond edition. Encyclopedia of Mathematics and its Applications
-
[10]
Gordon, and S
I.G. Gordon, and S. Griffeth, Catalan numbers for comple x reflection groups. Amer. J. Math. 134 (2012), 1491–1502
2012
- [11]
-
[12]
Haiman, Conjectures on the quotient ring by diagon al invariants
M.D. Haiman, Conjectures on the quotient ring by diagon al invariants. J. Algebraic Combin. 3 (1994), 17–76
1994
-
[13]
Hamaker, R
Z. Hamaker, R. Patrias, O. Pechenik, N. Williams, Doppe lg¨ angers: bijections of plane partitions, arXiv:1602.05535
-
[14]
Gyoja, K
A. Gyoja, K. Nishiyama, H. Shimura, Invariants for repr esentations of W eyl groups and two-sided cells. J. Math. Soc. Japan 51 (1999), 1–34
1999
-
[15]
Hochster and J.A
M. Hochster and J.A. Eagon, Cohen-Macaulay rings, inva riant theory, and the generic perfection of determinantal l oci. Amer. J. Math. 93 (1971), 10201058
1971
-
[16]
Hohlweg, C
C. Hohlweg, C. Lange, H. Thomas, Permutahedra and gener alized associahedra. Adv. Math. 226 (2011), 608–640
2011
-
[17]
Ito and S
Y. Ito and S. Okada, On the existence of generalized park ing spaces for complex reflection groups, arxiv.1508.06846
-
[18]
Kane, Reflection groups and invariant theory, CMS Books in Mathematics 5, Springer-Verlag, New York, 2001
R. Kane, Reflection groups and invariant theory, CMS Books in Mathematics 5, Springer-Verlag, New York, 2001
2001
-
[19]
Kirillov and I.M
A.A. Kirillov and I.M. Pak, Covariants of the symmetric group and its analogues in A. W eil algebras. Funktsional. Anal. i Prilozhen. 24 (1990), 9–13; translation in Funct. Anal. Appl. 24 (1990), 172–176 (1991)
1990
-
[20]
Koike, Poincar´ e series on symmetric and alternatin g tensors for irreducible representations of imprimitive c omplex reflection groups
K. Koike, Poincar´ e series on symmetric and alternatin g tensors for irreducible representations of imprimitive c omplex reflection groups. J. Algebra 169 (1994), 541–551
1994
-
[21]
Macdonald, Symmetric functions and Hall polynomi als, 2nd edition
I.G. Macdonald, Symmetric functions and Hall polynomi als, 2nd edition. Oxford Classic Texts in the Physical Scien ces. The Clarendon Press, Oxford University Press, New York, 201 5
-
[22]
Miller, Foulkes characters for complex reflection groups, Proc
A.R. Miller, Foulkes characters for complex reflection groups, Proc. AMS 143 (2015) 3281–3293
2015
-
[23]
, W alls in Milnor fiber complexes, arXiv:1710.03069
-
[24]
Molchanov, Poincar´ e series of representations o f finite groups that are generated by reflections
V.F. Molchanov, Poincar´ e series of representations o f finite groups that are generated by reflections. Funktsional. Anal. i Prilozhen. 26 (1992), no. 2, 82–85; translation in Funct. Anal. Appl. 26 (1992), no. 2, 143–145
1992
-
[25]
Orlik and L
P. Orlik and L. Solomon, Unitary reflection groups and co homology. Invent. Math. 59 (1980), 77–94
1980
-
[26]
Orlik and H
P. Orlik and H. Terao, Arrangements of hyperplanes. Grundlehren der Mathematischen Wissenschaften 300. Springer- Verlag, Berlin, 1992
1992
-
[27]
Reading, Cambrian lattices
N. Reading, Cambrian lattices. Adv. Math. 205 (2006), no. 2, 313–353
2006
-
[28]
Reiner and A.V
V. Reiner and A.V. Shepler, Invariant derivations and d ifferential forms for reflection groups, to appear in Proc. Lond. Math. Soc. ; available at arXiv:1612.01031
-
[29]
Reiner and E
V. Reiner and E. Sommers, W eyl group q-Kreweras numbers and cyclic sieving, Ann. Comb. 22 (2018), 819–874
2018
-
[31]
Shephard and J.A
G.C. Shephard and J.A. Todd, Finite unitary reflection g roups. Canadian J. Math. 6, (1954), 274–304
1954
-
[32]
Shepler, Semi-invariants of finite reflection groups
A. Shepler, Semi-invariants of finite reflection groups . J. Algebra 220 (1999), no. 1, 314–326
1999
-
[33]
Shepler, Generalized exponents and forms
A. Shepler, Generalized exponents and forms. J. Algebraic Combin. , 22 (2005), no. 1, 115–132
2005
-
[34]
Shepler and H
A. Shepler and H. Terao, Logarithmic forms and anti-inv ariant forms of reflection groups, In Arrangements Tokyo 199 8, M. Falk and H. Terao, eds. (Tokyo: Mathematical Society of Ja pan, 2000), Adv. Stud. Pure Math., 273–278
2000
-
[35]
Solomon, Invariants of finite reflection groups
L. Solomon, Invariants of finite reflection groups. Nagoya Math. J. 22 (1963), 57–64
1963
-
[36]
Sommers, Exterior powers of the reflection represent ation in Springer theory
E. Sommers, Exterior powers of the reflection represent ation in Springer theory. Transform. Groups 16 (2011), 889–911
2011
-
[37]
Stanley, Invariants of finite groups and their appl ications to combinatorics, Bull
R.P. Stanley, Invariants of finite groups and their appl ications to combinatorics, Bull. AMS 1 (1979), No. 3, 475–511
1979
-
[38]
Stanley, Relative invariants of finite groups gene rated by pseudoreflections
R.P. Stanley, Relative invariants of finite groups gene rated by pseudoreflections. J. Algebra 49 (1977), 134–148
1977
-
[39]
Thibon, The inner plethysm of symmetric function s and some of its applications
J.-Y. Thibon, The inner plethysm of symmetric function s and some of its applications. Bayreuth. Math. Schr. 40 (1992), 177–201. E-mail address : reiner@math.umn.edu, ashepler@unt.edu, esommers@math. umass.edu
1992
-
[96]
Cambridge University Press, Cambridge, 2004
2004
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.