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
2 votes
1 answer
218 views

Parabolic subgroup of Weyl group

Let $W$ be the Weyl group of a semisimple algebraic group $G$. $I$ be the simple roots. $J\subset I$ generate a parabolic subgroup of $W$ denote by $W_J$. $w^J$ is the shortest representative of $w$ ...
6 votes
1 answer
223 views

When are groups generated by reflections in a triangle discrete?

Take a triangle in the (Euclidean or hyperbolic) plane, and consider the group of isometries generated by the reflections in the three sides of the triangle. If the angles between adjacent sides are ...
3 votes
1 answer
154 views

Eriksson's thesis "Strongly convergent games and Coxeter groups"

The diamond lemma has recently come up in my teaching, and as always I've been looking for nice and simple applications. This has reminded me of the thesis Kimmo Eriksson, Strongly convergent games ...
2 votes
1 answer
229 views

Coxeter subgroups of Coxeter groups vs Artin subgroups of Artin groups

Given two Coxeter groups $W(\Gamma)$ and $W(\gamma)$ of equal rank and their Artin groups $A(\Gamma)$ and $A(\gamma)$, is $W(\Gamma)\supset W(\gamma)$ (as reflection groups) equivalent to $A(\Gamma)\...
5 votes
2 answers
187 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 ...
4 votes
0 answers
198 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 ...
3 votes
1 answer
196 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$...
  • 2,872
3 votes
0 answers
106 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$...
  • 429
4 votes
0 answers
106 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 ...
4 votes
0 answers
132 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 ...
2 votes
0 answers
98 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
0 answers
115 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, ...
  • 195
10 votes
1 answer
171 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 ...
  • 19.6k
0 votes
0 answers
73 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 ...
  • 5,885
3 votes
1 answer
59 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$ ...
  • 1,212
3 votes
0 answers
74 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?
0 votes
0 answers
138 views

Coxeter groups and finitness of number of roots

Take any graph $\Gamma$ with $n$ vertices $\{v_1, v_2 \dots v_n\}$, and associate to this graph it's set of simple roots i.e. a vectors of the canonical basis $e_i, \ i=1..n$ of $R^n$ for each vertex $...
3 votes
1 answer
188 views

Infinite reflection subgroups of affine Coxeter groups

Let $(W,S)$ be an irreducible affine Coxeter system of rank $n \geq 3$ (affine for instance as in the sense of Chapter 4 of Humphreys "Reflection groups and Coxeter groups"). Let $t_1,\ldots,...
2 votes
1 answer
52 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, ...
  • 23
2 votes
0 answers
96 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 ...
0 votes
1 answer
153 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\}$ ...
-1 votes
1 answer
200 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$ ...
  • 453
3 votes
0 answers
110 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 ...
8 votes
3 answers
391 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)$?
9 votes
3 answers
360 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 ...
  • 6,418
3 votes
0 answers
111 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?
2 votes
1 answer
174 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)...
6 votes
1 answer
248 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'...
  • 195
5 votes
1 answer
257 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
193 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)$?
6 votes
3 answers
300 views

Order from Coxeter-Dynkin diagram

How is the order of a Coxeter group determined from its Coxeter-Dynkin diagram?
6 votes
0 answers
90 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
121 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
113 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
327 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 $\...
  • 10.6k
9 votes
1 answer
451 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
1 answer
180 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
530 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 ...
  • 143
3 votes
3 answers
228 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 ...
  • 439
8 votes
0 answers
274 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 ...
  • 19.6k
1 vote
2 answers
125 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
55 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
191 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
122 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
163 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 ...
  • 195
8 votes
3 answers
497 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
262 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 ...
  • 3,028
4 votes
0 answers
119 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 ...
  • 952
4 votes
1 answer
207 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 ...
  • 952
5 votes
1 answer
230 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 ...
  • 10.6k

1
2 3 4 5