Coxeter groups, imaginary cones and dominance. (Q354588)

Let \(W\) be a Coxeter group with \(S\) its Coxeter generator set. Let \(T=\bigcup_{s\in S,\;w\in W}wsw^{-1}\) be the set of all reflections in \(W\). Let \(\Phi\) be the root system of \(W\) with \(\Phi^+\), \(\Phi^-\), \(\Delta\) a choice of positive, negative, simple root systems in \(\Phi\), respectively, such that \(\Delta\subset\Phi^+\) and \(\Phi^-=-\Phi^+\). There is a canonical bijection from the set \(T\) to \(\Phi^+\): \(t\mapsto\alpha_t\). The height \(h(t):=h_W(t)\) of \(t\in T\) is defined to be the minimal length of an element of \(W\) that sends \(\alpha_t\) into \(\Delta\). One can also define the height \(h_{W'}(t)\) of \(t\) if \(t\) is contained in a reflection subgroup \(W'\) of \(W\). Brink-Howlett introduced a partial order, called dominance, on \(\Phi^+\), where by saying that \(\alpha\) dominates \(\beta\) in \(\Phi^+\), we mean that the condition \(w(\alpha)\in\Phi^-\) for any \(w\in W\) always implies \(w(\beta)\in\Phi^-\) [see \textit{B. Brink} and \textit{R. B. Howlett}, Math. Ann. 296, No. 1, 179-190 (1993; Zbl 0793.20036)]. Later Edgar defined a function, called \(\infty\)-height, on \(T\) [see \textit{T. Edgar}, Dominance and regularity in Coxeter groups. Ph.D. thesis, University of Notre Dame (2009)], which is a variant of the height function \(h(t)\). It can be checked that \(h(t)\) is equal to the sum of the heights \(h_{W'}(t)\) of \(t\) with \(W'\) ranging over all maximal dihedral reflection subgroups of \(W\) containing \(t\). The \(\infty\)-height of \(t\) is defined as a subsum of this sum, where \(W'\) ranges over only those maximal dihedral reflection subgroups which are infinite. For any \(n\in\mathbb N\), let \(T_n\) be the set of all reflections \(t\in T\) with \(\infty\)-height \(n\) and let \(D_n\) be the set of all positive roots each of which dominates exactly \(n\) other positive roots. The aim of the present paper is to show that the canonical bijection \(t\mapsto\alpha_t\) from \(T\) to \(\Phi^+\) induces a bijection from the set \(T_n\) to \(D_n\) for any \(n\in\mathbb N\). The paper also gives some applications of dominance in the study of imaginary cones of Coxeter groups.