The Varchenko determinant of a Coxeter arrangement (Q721700): Difference between revisions

An arrangement of hyperplanes in \(\mathbb{R}^n\) is a finite set of hyperplanes. A chamber of a hyperplane arrangement \(\mathcal{A}\) is a connected component of the complement \(\mathbb{R}^n \backslash \bigcup_{H \in \mathcal{A}} H\). The Varchenko determinant is the determinant of a matrix defined from an arrangement of hyperplanes. An edge of a hyperplane arrangement \(\mathcal{A}\) is a nonempty intersection of some of its hyperplanes. Denote the set of all edges of \(\mathcal{A}\) by \(L(\mathcal{A})\). The weight a(\(E\)) of an edge \(E\) is a\((E) := \prod a_H\), where \(H\in \mathcal{A}\), \(a_H\) is the weight of \(H\) and \(E\subseteq H\). The multiplicity \(l(E)\) of an edge \(E\) is a positive integer. The hyperplane arrangement associated to a finite Coxeter group is called a Coxeter arrangement. Let \(H_t\) be the hyperplane \(\text{ker}(t - 1)\) of \(\mathbb{R}^n\) whose points are fixed by each element \(t\) of \(T\), the set of all reflections of the finite Coxeter group \(W\). Let \(S\) be the set of simple reflections of \(W\) and let \(J\) be a subset of \(S\). The hyperplane arrangement associated to \(W\) is \(\mathcal{A}_W := \{H_t\}_{t \in T}\). Let \(E\) be an edge of \(\mathcal{A}_W\). The main result that the authors obtain are formulas for a\((E)\) and \(l(E)\): \[ a(E_{T_J^w}) = \prod_{u \in T_J}a_{H_u}w, \quad l(E_{T_J^w})= | \lfloor t_J\rceil | \cdot|\left[J\right]|\cdot|X(S,J)|\cdot|X(J,\{s_J\})|. \] Applying this result, the authors compute the Varchenko determinant of a finite Coxeter group. They use Table 1: Number of full support reflections of the irreducible finite Coxeter groups, and Tables 2 and 3: Multiplicities of the Coxeter classes for all irreducible finite Coxeter groups.