# 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.

254 questions
Filter by
Sorted by
Tagged with
1k views

### Is this a typo in Macdonald's paper "The Poincaré Series of a Coxeter Group"?

I have a question about the proof of lemma 2.14 in Macdonald's paper The Poincaré Series of a Coxeter Group , where he used induction on $l(w)$ to prove that if $|E|=|R(w)|$, then $E=R(w)$. The ...
1 vote
87 views

### Combinatorics behind certain induction of characters of the Coxeter group of type $B_n$

Let $W_n$ be a Coxeter group of type $B_n$ with $n\geq 1$. Concretely, it is generated by a set of simple reflexions $S = \{s_1,\ldots ,s_n\}$ which satisfy the relations $s_i^2 = 1, s_is_j=s_js_i$ as ...
1 vote
98 views

### Minimal dominant permutation in weak order

Consider $S_\infty$ as a Coxeter group with Coxeter generators the adjacent transpositions $s_i$, $i\geq 1$. We view elements of $S_\infty$ as functions $u:\mathbb{N}\to\mathbb{N}$. Recall the Lehmer ...
282 views

### Is G(4,7) a Coxeter group

Let $G(4, 7)$ be an abstract group with the presentation $$\langle a,b,c | a^2 = b^2 = c^2 = 1, (ab)^4 = (bc)^4 = (ca)^4 = 1, (acbc)^7 = (baca)^7 = (cbab)^7 = 1 \rangle$$ Richard Schwartz considered ...
51 views

241 views

### Reflection quotients of Coxeter groups

I am interested in a concept somehow dual to reflection subgroups. A reflection quotient of a Coxeter system $(W, S)$ shall be a surjective homomorphism $W \to W'$ to a Coxeter group $W'$ such that ...
203 views

### Group generated by Coxeter groups of $B_8$ and $E_8$

Note: $B_8$, $D_8$, and $E_8$ are referring to the Coxeter groups. What is the smallest group $G$ with the following properties? $G$ has a subgroup isomorphic to $E_8$. $G$ has a subgroup isomorphic ...
208 views

### Finiteness of a reflection group

Suppose that $V$ is a finite-dimensional real vector space and that $W\subseteq \operatorname{GL}(V)$ is a subgroup generated by reflections (elements $s$ of order $2$ whose locus of fixed points $H_s$...
113 views

### Why inherit the Tits systems structure by a $B$-adapted homomorphism?

Let $(G,B,N,S)$ be a Tits system and $\phi\colon G\longrightarrow \hat{G}$ a $B$-adapted in the sense of the paper Groupes réductifs sur un corps local: I of Bruhat–Tits. They said that $\phi$ is a $B$...
132 views

### Polynomial invariants of infinite reflection groups

It is a famous theorem of Shepard-Todd that the ring of invariant polynomials of a finite complex reflection group $W$ acting on a complex vector space $V$ is actually itself a polynomial ring. In ...
170 views

### The Weyl group of Kac-Moody algebra and Coxeter group

Let $\mathfrak{g}$ be a Kac-Moody algebra, $W$ be its Weyl group, generate by fundmental reflections {$r_1,...,r_n$}. For $i,j$, we have relation $(r_ir_j)^{m_{ij}}=1$, $1\le i,j\le n$. Let $W^{'}$ be ...
158 views

### Positive roots and the longest element of the Weyl group

Take $\frak{g}$ a complex semisimple Lie algebra and its Weyl group $W$. Is it true that the number of positive roots of $\frak{g}$ is equal to the length of the longest element of $W$?
1 vote
126 views

### Relation between C-groups and reflection groups

Take a set of reflections $\{r_1,\ldots,r_k\}$ of $\mathbb R^n$. Sometimes, the group presentation will turn out to be a C-group – this is where the regular planar polytopes in Euclidean space, ...
177 views

### Reversals of autonomous subsets in right-angled Coxeter groups

This question has to do with some experimental phenomenon in groups generated by involutions that I cannot explain. Let $G$ be a finite, undirected graph, and let $W$ be the corresponding right-angled ...
82 views

### Reference request: Weyl group action on the power set of positive roots

There is a symmetric group action on the power set of positive roots in type A. The action is defined as follows. Denote by $\alpha_1, \ldots, \alpha_n$ be the set of simple roots in a root system. In ...
65 views

### Action of Coxeter element on mod $2$ root lattice is semisimple

Let $\Lambda$ be a simply laced root lattice and $w$ a Coxeter element of the Weyl group of $\Lambda$. Question: Is it true that the action of $w$ on the $\mathbb{F}_2$-vector space $\Lambda/2\Lambda$ ...
78 views

### Algebraic hypersurfaces and Coxeter groups

What is the minimum degree of an algebraic hypersurface (not necessarily smooth) having each Coxeter group as its symmetry group?
142 views

58 views

### Symmetric algebra over a realization of Coxeter System is a dgg algebra

I have been reading a paper of Achar, Makisumi, Riche and Williamson. In the chapter 3, the authors talk us of bigraded modules and dgg modules and I'm stuck here. Let $(W, S)$ be a Coxeter system, ...
157 views

### Geometric or combinatorial interpretations of the (weak) Bruhat order?

$\DeclareMathOperator\Inv{Inv}$The weak Bruhat order on the symmetric group has a straightforward combinatorial interpretation: Consider a set of labelled balls $1,2,\dotsc,n$. Then for two ...
177 views

### coset poset of reflection subgroup

Fix a finitely generated Coxeter system $(W, S)$, and let $W_J$ denote the standard parabolic proper subgroup generated by a subset $J \subset S$. It is well known that the poset of cosets $\{xW_J\}$ ...
309 views

### Are all Coxeter groups virtually free or virtually surface groups?

From Surface subgroups of Coxeter and Artin groups (Gordon, Long and Reid, 2003) DOI link, we can read that (Theorem 1.1) a Coxeter group is either virtually free or contains a surface group ($\pi_1$ ...
159 views

### The group of fixed points of an involution of a Weyl group

Let $R$ be a reduced root system in a vector space $V$ over $\mathbb Q$. Let $W=W(R)$ denote its Weyl group. Let $S\subset R$ be a basis of $R$ (a system of simple roots). Let $D=D(R,S)$ denote the ...
410 views

### Does $O(4,\mathbb{Q})$ have an exceptional outer automorphism?

Does the orthogonal group $O(4,\mathbb{Q})$ have an exceptional outer automorphism analogous to that of its subgroup, the Coxeter/Weyl group $W(F_4)$?
481 views

### Subgroups of RAAGs vs. subgroups of RACGs

Is a (finitely generated) torsion-free subgroup of a right-angled Coxeter group isomorphic to a subgroup of a right-angled Artin group? It is well-known from the theory of special cube complexes that ...
113 views

### What total orders have people studied on Coxeter Groups?

I'm aware of the ShortLex total order that gives rise to the usual normal form. But are there any others that have naturally arose and people have studied?
197 views

### When does a finite irreducible Coxeter Group act on the cosets of a parabolic subgroup faithfully?

Let $(W,S)$ be a finite and irreducible Coxeter Group. For $J \subseteq S$, let $W_J = \langle s | s \in J \rangle$, a parabolic subgroup. For which $J$ is the action (group multiplication on the left)...
273 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'...
442 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. ...
202 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)$?
395 views

### Order from Coxeter-Dynkin diagram

How is the order of a Coxeter group determined from its Coxeter-Dynkin diagram?
97 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 ...
135 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\}$ (...
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 \$\...