# Questions tagged [coxeter-groups]

A Coxeter group is a group defined by a presentation by involutions $r_i$ with relators $(r_ir_j)^{m_{ij}}=1$ for certain family $(m_{ij})$ of integers greater than 1.

213
questions

**9**

votes

**0**answers

84 views

### Completely positive maps on Coxeter groups - the general case

In the reference below Bozejko and Speicher showed the following (for the full statement see the remark on page 9):
Let $(W,S)$ be a Coxeter system, let $\mathcal{H}$ be a Hilbert space and denote ...

**6**

votes

**1**answer

214 views

### Swapping non-commuting generators in Coxeter group

Let $a$ and $b$ be two generators in a Coxeter group which do not commute. Is it possible for $ab$ to be equal to a product of generators where all instances of $b$ come before all instances of $a$?
I'...

**5**

votes

**0**answers

143 views

### Can Matsumoto's theorem for the symmetric group be proved using a monovariant?

This is a question that can be asked for any Coxeter group, but for the sake of simplicity I will restrict myself to symmetric groups. Recall the main definitions:
Let $n$ be a nonnegative integer. ...

**4**

votes

**1**answer

186 views

### Subgroups of $W(E_8)$

Are there any proper subgroups of the Coxeter group $W(E_8)$ which are also proper overgroups of $W(A_8)$, other than $\text{Aut}(A_8)$?

**5**

votes

**3**answers

201 views

### Order from Coxeter-Dynkin diagram

How is the order of a Coxeter group determined from its Coxeter-Dynkin diagram?

**6**

votes

**0**answers

80 views

### Indices of Coxeter groups in themselves

Every Euclidean Coxeter group ($P_n$, $Q_n$, $R_n$, $S_n$, $T_7$, $T_8$, $T_9$, $U_5$, $V_3$, $W_2$) contains infinitely many scaled copies of itself as subgroups. What are all the possible indices of ...

**2**

votes

**1**answer

112 views

### Algorithm to determine if a vector in the geometric representation of a Coxeter group is proportional to a root

Let $W$ be a Coxeter group, and let $V$ be its geometric representation (as defined for instance in Section 5.3 of Humphreys' book Reflection groups and Coxeter groups). Let $v\in V\backslash\{0\}$ (...

**0**

votes

**0**answers

93 views

### Isomorphic Coxeter groups

After enumerating the spherical Coxeter groups, it is easy to see that no two distinct cases are isomorphic. Does the same hold for Euclidean and hyperbolic Coxeter groups?

**8**

votes

**1**answer

304 views

### Which reflection groups can be enlarged?

Based on this question (which focuses on the case $E_8$) I wonder the following:
Question: For each finite reflection group $\Gamma\subseteq\mathrm O(\Bbb R^d)$, what is the largest finite group $\...

**8**

votes

**1**answer

410 views

### Can $E_8$ be enlarged?

Is there any finite 8-dimensional point group which contains the $E_8$ Coxeter group as a subgroup other than $E_8$ itself?

**7**

votes

**0**answers

102 views

### When are indiscrete reflection groups Coxeter groups?

A well-known theorem of Coxeter states that any discrete group $W$ which is generated by reflections across (possibly affine) hyperplanes in Euclidean space is a Coxeter group: it has a presentation ...

**10**

votes

**2**answers

494 views

### Product of two reflections lying in a parabolic subgroup of a Coxeter group

Let $(W,S)$ be a Coxeter group, $I\subseteq S$ a subset of simple reflections, and $W_I \subseteq W$ the corresponding parabolic subgroup (we could also assume $|W_I|<\infty$, if needed).
Let also ...

**3**

votes

**3**answers

175 views

### Absolutely irreducible finite reflection/rotation groups

Suppose that $G$ is a finite irreducible reflection group with irreducible orthogonal representation $\rho: G\rightarrow \mathrm{O}(d)$, and let $\rho^+: G^+\rightarrow \mathrm{SO}(d)$ be its ...

**8**

votes

**0**answers

254 views

### Name for an involution associated to a Coxeter element

Let $(W,S)$ be a finite Coxeter system, and $c \in W$ a Coxeter element.
There is an involution $g\in W$ for which the involutive map $w \mapsto gw^{-1}g$ fixes $c$. Is there a standard name for this ...

**1**

vote

**2**answers

68 views

### Standard involutions conjugate to the negative of a standard involution in a Coxeter group

Consider a finite irreducible Coxeter group $W$ with a fixed generator set $S$. Every involution in $W$ is conjugate to a standard involution $c_I$, for some subset $I\subset S$. For example, this ...

**3**

votes

**0**answers

51 views

### Parabolic invariants of coinvariant algebras for reflection groups

Let $W$ be a finite reflection group and $V$ its reflection representation (over $\mathbb{C}$). Let $S$ be the symmetric algebra on $V^*$, $I_W\subseteq S$ the ideal generated by the non-constant $W$-...

**3**

votes

**1**answer

128 views

### Description of Soergel modules

So this is asking a basic and/or stupid question (my apology and appreciation) about Soergel modules that comes out of exercises by me who knows little about the subject.
Let $W$ be a finite Weyl ...

**3**

votes

**1**answer

109 views

### Decompositions of Coxeter groups into trees of groups

In Chapter 8.8 of Davis' "The geometry and topology of Coxeter groups" the smallest class $\mathcal{G}$ of Coxeter groups which contains all spherical Coxeter groups and which is closed ...

**4**

votes

**2**answers

138 views

### Algorithm for root system of Coxeter group generated by permutations

Suppose we are given a group $G$ in terms of generators $t_1, ..., t_n$ which are order 2 in $S_m$ (however we don't assume anything other than that these elements generate $G$ and have order 2). What ...

**8**

votes

**3**answers

404 views

### Motivation for the Kazhdan-Lusztig involution

I would like to know about the motivation behind the Kazhdan–Lusztig involution on an Iwahori–Hecke algebra.
I'll borrow the conventions from Libedinsky's Gentle introduction to Soergel bimodules I: ...

**7**

votes

**0**answers

223 views

### Why are fundamental weights denoted by omega?

In my field (and many others, I believe) the absolutely standard notation for the fundamental weights of a root system is lowercase omega: $\omega$. Recently I was taken aback to receive a copyedited ...

**4**

votes

**0**answers

97 views

### Words that give rise to an enumeration of elements of the symmetric group

Let $\mathbb{S}_m$ be the symmetric group on $m$ letters. Let $n=m-1$. Let $\mathbf{w}=a_1\cdots a_r$ be a word on the alphabet $\{1,\ldots,n\}$. We say that $\mathbf{w}$ gives rise to an enumeration ...

**4**

votes

**1**answer

168 views

### Number of paths in the Bruhat order in the symmetric group

Let $\mathbb{S}_m$ the symmetric group on $m$ letters. Let $v\in\mathbb{S}_m$, and consider paths in the Bruhat order like this: $1\lessdot v_1\lessdot\cdots\lessdot v$, where $\lessdot$ means the ...

**5**

votes

**1**answer

205 views

### A graph similar to the Bruhat graph, what is it called?

The weak Bruhat graph (or 1-skeleton of the permutohedron) $B_n$ can be constructed as follows:
the vertices of $B_n$ are the permutations of the tuple $(1,...,n)$, two are joined by an edge, if they ...

**2**

votes

**1**answer

246 views

### Are orbit polytopes of rotation subgroup of Coxeter group combinatorially equivalent?

Suppose that $G\subset O(d)$ is a finite reflection (finite Coxeter) group. For any $v\in \mathbb{R}^d$ which is not fixed by any non-trivial $g\in G$, one can consider the orbit polytope (Coxeter) ...

**3**

votes

**1**answer

133 views

### Are cyclic orbitopes of permutahedra necessarily simplicies?

Suppose that $v=(v_1,\ldots, v_d)\in \mathbb{R}^d$ lies in the linear subspace $v_1+\cdots +v_d=0$, and moreover that the coordinates are pairwise distinct. The permutahedron \begin{equation} P(\...

**4**

votes

**0**answers

110 views

### Kazhdan-Lusztig basis elements appearing in product with distinguished involution

My apologies if the below is too malformed to make sense.
Let $(W,S)$ be the affine Weyl group of a reductive group $G$, and let $\{C_w\}$ be the Kazhdan-Lusztig $C$-basis (an answer in terms of the $...

**7**

votes

**0**answers

153 views

### Regarding $F_4$ and $G_2$ Lie algebras, do there exist $F_n$ or $G_n$ families of Lie algebras?

For example, $E_6$ exceptional Lie algebra is part of the $E_n$ series of Lie algebras (Kac-Moody algebras). Are $F_4$ or $G_2$ maybe also parts of some $F_n$ or $G_n$ series of Lie algebras or are ...

**11**

votes

**1**answer

210 views

### Lattice structure in the root poset

Let $W$ be a Coxeter group with simple generators $s_1$, $s_2$, ..., $s_r$. Let $\Phi^+$ be the corresponding positive root system, with $\alpha_i$ the positive root corresponding to $s_i$. Bjorner ...

**2**

votes

**1**answer

219 views

### Recurrence relation for number of reduced words of longest element in $S_n$

Is there any recurrence relation known for the number of reduced words of the longest element in $S_n$ (not commutation classes)?
Edit: Sorry for unaccepting the answer, but I realized that I really ...

**2**

votes

**0**answers

36 views

### Carter Payne homomorphisms and reduced expressions

Let $G$ be an algebraic group and $W$ denote the underlying affine Weyl group. I will label representations of the principal block of $G$ by their alcoves, which in turn I label by the corresponding ...

**4**

votes

**0**answers

58 views

### Stability of infinite root systems with a long path in their Coxeter diagrams

Given a Cartan matrix associated to a Coxeter diagram, I can modify it by replacing one of the edges in the diagram with a long chain of vertices connected by simply laced edges; for example, this is ...

**2**

votes

**1**answer

378 views

### Isometry type of alcoves in affine Coxeter complexes

Let $W$ be an irreducible affine Coxeter group (say of type $\widetilde{X}_n$), and let $\Sigma$ be the associated Coxeter complex. Thus, $\Sigma$ is an $n$-dimensional Euclidean space tesselated by ...

**6**

votes

**1**answer

144 views

### Is the number of commutation classes of reduced words of the longest element of $S_n$ even for $n\geq 3$?

Observably, the number of primitive sorting networks on $n$ elements (or the number of commutation classes of reduced words of the longest element of $S_n$) is even for $3\leq n\leq 15$. These are all ...

**4**

votes

**1**answer

110 views

### Copies of $\mathbb{Z}\oplus \mathbb{F}_2$ in non-affine, irreducible Coxeter groups

Let $\left(W,S\right)$ be a non-affine, irreducible Coxeter system and assume that $W$ contains a copy of $\mathbb{Z}\oplus\mathbb{Z}$ (this is equivalent to $W$ being not word hyperbolic). Does this ...

**8**

votes

**0**answers

177 views

### Is the order complex of open Bruhat intervals polytopal?

Let $P$ be the Bruhat order of a Coxeter group, and let $s<t$ in
$P$. The set $\Delta(s,t)$ of all chains of the open interval $(s,t)$
(called the order complex of $(s,t)$) is a simplicial complex. ...

**10**

votes

**0**answers

209 views

### Recognizing reflection subgroups of Coxeter groups

Given a Coxeter system $(W,S)$ with reflections $T$, and any subset $A \subseteq T$, it is known that the reflection subgroup $W_A$ generated by $A$ has a canonical choice $S_A$ of generators so that $...

**1**

vote

**1**answer

121 views

### The Fano plane, stericated 6-simplex, and pentallated 6-simplex

According to this link:
https://en.wikipedia.org/wiki/Stericated_6-simplexes
the stericated 5-simplex "scal" has 105 vertices defined as permutations of (0,0,1,1,1,1,2).
In the course of my team's ...

**8**

votes

**2**answers

298 views

### Rank matrices for type $D$ Bruhat order

Roughly, this question asks how the Bruhat (strong) order in type $D$ can be understood like the Bruhat orders in types A and B=C. I'll review how types A and B work before asking my question. As a ...

**1**

vote

**1**answer

123 views

### The least common multiple of all degrees of a finite Coxeter group and indecomposable elements in the generalized cycle decomposition

This question is a follow-up of the previous question and especially the last comment therein.
Let $(W,S)$ be a finite Coxeter system with reflections $T$. Let $\ell_T$ be the reflection length. ...

**3**

votes

**1**answer

147 views

### Reference request: Finite (multi-parameter) Iwahori-Hecke algebras are pairwise isomorphic

Let $(W,S)$ be a Coxeter system. Let $q=(q_s)_{s\in S} \in \mathbb{R}^{\text{#}S}$ be a tuple of positive real numbers with $q_s=q_t$ whenever $s$ and $t$ are conjugate to each other. Follwing Davis', ...

**4**

votes

**0**answers

206 views

### Do these Zariski-dense subgroups of complex Chevalley group have non-empty intersection with this Bruhat cell?

Let $G$ be a complex Chevalley group (not necessarily adjoint type) with $\operatorname{\mathbb{C}-rank}\geq2$ and let $H$ be a normal subgroup of $G(\mathbb Z)$ with a finite index (so $H$ is Zariski ...

**3**

votes

**0**answers

92 views

### Kazhdan-Lusztig polynomials and the defect of a Bruhat interval

Let $(W,S)$ be a Coxeter system with length function $\ell$ and $T=\bigcup_{w\in W}wSw^{-1}$.
Set
$N(u,v):=\{t\in T: u< tu \le v\}$,
$\overline{\ell}(u,v):=|N(u,v)|$,
$\ell(u,v):=\ell(v)-\...

**3**

votes

**0**answers

155 views

### The maximal order of an element in a Coxeter group

Let $W$ be a finite Coxeter group. Let
$$
N_W=\operatorname{max}_{g\in W}\operatorname{ord}(g)
$$
where $\operatorname{ord}(g)$ denotes the order of an element $g$. By Fermat's little theorem, we ...

**2**

votes

**0**answers

145 views

### Deodhar's inequality: when the equality holds?

Let $(W,S)$ be a Coxeter system, $T=\bigcup_{w\in W}wSw^{-1}$ and $\ell$ be the length function.
It is well-known that one have the following Deodhar's inequality:
Let $x\le y\le w$. Then
$|\{r\...

**2**

votes

**0**answers

91 views

### Monotonicity Theorem of inverse Kazhdan Lusztig polynomials

Let $P_{x,w}$ and $Q_{x,w}$ be the Kazhdan Lusztig polynomial and the inverse Kazhdan Lusztig polynomial of Coxeter group $W$, respectively. i.e., $\sum_{x\le y\le z}(-1)^{\ell(y)-\ell(x)}P_{x,y}(q)Q_{...

**5**

votes

**0**answers

107 views

### Progress on the result about montonicity of Kazhdan Lustzig polynomials

I am reading the paper Masato Kobayashi---Combinatorics on Bruhat Graphs and
Kazhdan-Lusztig Polynomials.
Let $P_{x,w}$ be the Kazhdan Lusztig polynomial of $W$.
There is a result about ...

**2**

votes

**1**answer

91 views

### Characterization of all $w$ in the Weyl group satisfying $w \geq w_l w_{l, \theta}$

Let $W$ be the Weyl group of a root system $\Phi$ with base $\Delta$ and system of positive roots $\Phi^+$. Let $S = \{ w_{\alpha} : \alpha \in \Delta \}$ be the set of simple reflections ...

**2**

votes

**1**answer

83 views

### Consequence of Lifting property of Bruhat ordering

I am reading the book: Anders Björner, Francesco Brenti --- Combinatorics of Coxeter Groups.
I would like to know whether a variation of Corollary 2.2.8 is true. In other words, does the following ...

**4**

votes

**0**answers

174 views

### What are the normal subgroups of the finite Coxeter Groups of type Bn?

Let $B_n = \langle \rho_0,\rho_1,\ldots,\rho_{n-1} \rangle$ subject to the relations that $(\rho_i\rho_j)^{m_{i,j}} = id$ with $m_{i,i} = 1$, $m_{i,j} = 2$ for $|i-j|\ge 2$, $m_{i,i+1} =3$ for $0 \le ...