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.

Filter by
Sorted by
Tagged with
9
votes
0answers
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
1answer
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
0answers
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
1answer
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
3answers
201 views

Order from Coxeter-Dynkin diagram

How is the order of a Coxeter group determined from its Coxeter-Dynkin diagram?
6
votes
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
3answers
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
0answers
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
2answers
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
0answers
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
1answer
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
1answer
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
2answers
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
3answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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 ...

1
2 3 4 5