Related papers: Maximal Subgroups of the Coxeter Group $W(H_4)$ an…
4-dimensional H4 polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group W(H4) where the group elements and the vertices of the polytopes are represented by quaternions. Projection of an arbitrary…
Affine subgroups having the same Coxeter number with the affine Coxeter groups W(An), W(Dn), and W(En) are constructed by graph folding technique. The affine groups W(Cn) and W(Bn) are obtained from the Coxeter groups W(A2n-1) and W(D2n-1)…
Let W be an irreducible finitely generated Coxeter group. The geometric representation of W in GL(V) provides a discrete embedding in the orthogonal group of the Tits form (the associated bilinear form of the Coxeter group). If the Tits…
Vertices of the 4-dimensional semi-regular polytope, \textit{snub 24-cell} and its symmetry group $W(D_{4}):C_{3} $ of order 576 are represented in terms of quaternions with unit norm. It follows from the icosian representation of…
We describe extension of the pyritohedral symmetry to 4-dimensional Euclidean space and present the group elements in terms of quaternions. It turns out that it is a maximal subgroup of both the rank-4 Coxeter groups W(F4) and W(H4)…
Vertices of the 4-dimensional semi-regular polytope, the \textit{grand antiprism} and its symmetry group of order 400 are represented in terms of quaternions with unit norm. It follows from the icosian representation of the \textbf{$E_{8}…
This paper and its sequel describe the irreducible representations of the rational Cherednik algebra $H_c(W)$ for a finite Coxeter group $W$ of type $H_4$, $F_4$ with equal parameters, $E_6$, $E_7$, and $E_8$, when $c$ is not a…
Let $W_a$ be an affine Weyl group and $\eta:W_a\longrightarrow W_0$ be the natural projection to the corresponding finite Weyl group. We say that $w\in W_a$ has finite Coxeter part if $\eta(w)$ is conjugate to a Coxeter element of $W_0$.…
In this paper, we give a new class of rigid Coxeter groups. Let $(W,S)$ be a Coxeter system. Suppose that (0) for each $s,t\in S$ such that $m(s,t)$ is even, $m(s,t)\in\{2\}\cup 4\N$, (1) for each $s\neq t\in S$ such that $m(s,t)$ is odd,…
A Coxeter system is an ordered pair (W,S) where S is the generating set in a particular type of presentation for the Coxeter group W. A subgroup of W is called special if it is generated by a subset of S. Amalgamated product decompositions…
We study divergence and thickness for general Coxeter groups $W$. We first characterise linear divergence, and show that if $W$ has superlinear divergence then its divergence is at least quadratic. We then formulate a computable…
In this note we give a classification of the Maximal order Abelian subgroups of finite irreducible Coxeter groups. We also prove a Weyl group analogue of Cartan's theorem that all maximal tori in a connected compact Lie group are conjugate.
The excess of an element $w$ of a finite Coxeter group $W$ is the minimal value of $l(x) + l(y) - l(w)$, where $x$, $y$ are elements of $W$ such that $x^2 = y^2 = 1$ and $w = xy$. Every element of a finite Coxeter group is either an…
In this paper, we give a new class of rigid Coxeter groups. Let $(W,S)$ be a Coxeter system. Suppose that (0) for each $s,t\in S$ such that $m(s,t)$ is even, $m(s,t)=2$, (1) for each $s\neq t\in S$ such that $m(s,t)$ is odd, $\{s,t\}$ is a…
4-dimensional $F_{4} $ polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group $W(F_{4})$ where the group elements and the vertices of the polytopes are represented by quaternions. Branchings of an…
Here, for $W$ the Coxeter group $\mathrm{D}_n$ where $n > 4$, it is proved that the maximal rank of an abstract regular polytope for $W$ is $n - 1$ if $n$ is even and $n$ if $n$ is odd. Further it is shown that $W$ has abstract regular…
Given a reflection $r$ in a Coxeter group $W$ (possibly of infinite rank), we consider the subgroup of $W$ generated by the reflections in $W$ having (-1)-eigenvectors orthogonal to the (-1)-eigenvector of $r$. In this paper, we determine…
Let $W$ be a Coxeter group and $r\in W$ a reflection. If the group of order 2 generated by $r$ is the intersection of all the maximal finite subgroups of $W$ that contain it, then any isomorphism from $W$ to a Coxeter group $W'$ must take…
Given any irreducible Coxeter group $C$ of hyperbolic type with non-linear diagram and rank at least $4$, whose maximal parabolic subgroups are finite, we construct an infinite family of locally spherical regular hypertopes of hyperbolic…
In this paper, we show that the center of every Coxeter group is finite and isomorphic to $(\Z_2)^n$ for some $n\ge 0$. Moreover, for a Coxeter system $(W,S)$, we prove that $Z(W)=Z(W_{S\setminus\tilde{S}})$ and $Z(W_{\tilde{S}})=1$, where…