Abstract:We propose a generalization of Haiman's conjecture on the diagonal coinvariant rings of real reflection groups to the context of irreducible quaternionic reflection groups (also known as symplectic reflection groups). For a reflection group $W$ acting on a quaternionic vector space $V$, by regarding $V$ as a complex vector space we consider the scheme-theoretic fiber over zero of the quotient map $\pi:V \to V/W$. For $W$ an irreducible reflection group of (quaternionic) rank at least $6$, we show that the ring of functions on this fiber admits a $(g+1)^n$-dimensional quotient arising from an irreducible representation of a symplectic reflection algebra, where $g=2N/n$ with $N$ the number of reflections in $W$ and $n=\mathrm{dim}_\mathbf{H}(V)$, and we conjecture that this holds in general. We observe that in fact the degree of the zero fiber is precisely $g+1$ for the rank one groups (corresponding to the Kleinian singularities). In an appendix, we give a proof that three variants of the Coxeter number, including $g$, are integers.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize Haiman's conjecture on the diagonal coinvariant ring of real reflection groups to the context of irreducible quaternion reflection groups (also known as symplectic reflection groups). Specifically, the authors focus on when the reflection group \(W\) acts on a quaternion vector space \(V\), consider the function ring on the zero - fiber of the quotient map \(\pi: V\rightarrow V / W\), and study its structure and properties.
### Research Background
1. **Haiman's Original Work**: In his fundamental paper, Haiman proved that the dimension of the diagonal coinvariant ring of the symmetric group \(S_{n}\) is \((n + 1)^{n-1}\), and proposed a conjecture about irreducible real reflection groups, that is, for an irreducible real reflection group with Coxeter number \(h\) and rank \(n\), there exists a \((h + 1)^{n}\)-dimensional quotient ring of the diagonal coinvariant ring.
2. **Gordon's Work**: Gordon proved Haiman's conjecture by showing a non - commutative deformation of the diagonal coinvariant ring and extended it to complex reflection groups.
3. **Subsequent Progress**: After Gordon's work, it was found that the lower bound \((h + 1)^{n}\) can be further improved to \((g + 1)^{n}\), where \(g=\frac{2N}{n}\), \(N\) is the number of reflections, and \(n\) is the dimension of the vector space.
4. **New Observation**: Recent research shows that the representation theory of non - commutative deformations reveals more information about the structure of the quotient map \(V\rightarrow V / W\).
### Main Contributions of the Paper
1. **Generalizing Haiman's Conjecture**: The authors attempt to generalize Haiman's conjecture to quaternion reflection groups. They prove that for an irreducible quaternion reflection group with rank at least 6, there exists a \((g + 1)^{n}\)-dimensional quotient ring of the zero - fiber ring.
2. **Verification in Special Cases**: For a group with rank 1 (corresponding to Klein singularities), the authors prove that the degree of the zero - fiber is exactly \(g + 1\).
3. **Integrality of Coxeter Numbers**: In the appendix, the authors prove that three versions of Coxeter numbers (including \(g\)) are all integers.
### Main Results
Theorem 1.1 states that for an irreducible irregular quaternion reflection group with rank at least 3 or a quaternion reflection group obtained by tensoring an irreducible complex reflection group, there exists a quotient ring of the zero - fiber ring with complex dimension \((g + 1)^{n}\). In particular, if \(W\) is a quaternion group with rank 1, then the complex dimension of the zero - fiber ring is exactly \(g + 1=2|W|-1\).
Furthermore, the authors also propose a conjecture, believing that for any irreducible quaternion reflection group, there exists a \((g + 1)^{n}\)-dimensional quotient ring of the zero - fiber ring.
### Summary
This paper, by generalizing Haiman's conjecture, deeply studies the structure of the zero - fiber ring of quaternion reflection groups and provides new evidence and support, promoting the development of this field.