The coxeter-groups tag has no usage guidance.

**4**

votes

**1**answer

110 views

### Demazure product in Coxeter and Artin groups

As a follow-up of Allen's question Coxeter exchanges in non-reduced words, I wonder whether it is known that the Demazure product is well-defined in Artin groups. This is:
Let $(W,S)$ be a Coxeter ...

**13**

votes

**2**answers

298 views

### Coxeter exchanges in non-reduced words

Let $Q$ be a word in the generators of some Coxeter group, and consider a subword $R$ (not necessarily reduced, though I might want $Q$ to be).
Define the greedy or Demazure product of $R$ as ...

**7**

votes

**0**answers

66 views

### Ideals in strong Bruhat order

Recall that a (lower) ideal in a poset $(P, \le)$ is a subset $I\subset P$ such that $x\in I \Rightarrow y\in I$ for all $y\le x$. In am interested in ideals in finite Coxeter groups $W$ equipped ...

**2**

votes

**0**answers

125 views

### A question of braid words

Let $(W,S)$ be a Coxeter group, let $B(W,S)$ be the corresponding braid or Artin-Tits group. Set $S=\{s_1,\dots, s_n\}$ and denote by $\bf{S}=\{\sigma_1,\dots, \sigma_n\}$ the corresponding generators ...

**0**

votes

**0**answers

91 views

### Coxeter Subgroups of Coxeter Groups

Is there an algorithm to determine all the Coxeter subgroups of a given Coxeter group? If we only want the Coxeter subgroups of finite index does that make the question easier? If we only want a ...

**2**

votes

**4**answers

181 views

### Are the orders of the generators of a group and the product of pairs of thereof enough for this group to be isomorphic to a Coxeter group?

Let's say we have $n$ generators $x_1, x_2, \cdots, x_n$ along with the following facts concerning their orders:
\begin{eqnarray*}
ord(x_i) &=& 2 \text{ for } i = 1, 2, \cdots, n \\
ord(x_i ...

**2**

votes

**1**answer

113 views

### On the vertices of a Coxeter complex

Let $A$ be a Coxeter complex which is euclidean, so I assume that $A$ is an affine space over the reals on which a Coxeter group $(W,S)$ acts, the elements of $S$ are reflections and I assume the ...

**1**

vote

**1**answer

74 views

### Coxeter Isometry groups whose center has torsion

I'm looking for examples of Riemannian manifolds M of dimension $\geq 2$ such that the isometry group $Isom(M)$ contains as subgroup a finite Coxeter group $G$ such that $Tor(Z(G))$, the torsion group ...

**9**

votes

**0**answers

127 views

### Reference for class of involutions containing longest element of finite Coxeter group?

Consider a finite (say irreducible) Coxeter group $W$ with a fixed generator set $S$ and rank $n$. This is the same thing as a finite real reflection group, generated by a set of “simple” ...

**7**

votes

**4**answers

372 views

### Is there a non-explicit characterization of the Specht modules?

It is a basic fact about the symmetric group $S_n$ that its irreducible representations are indexed by partitions of $n$.
My question is, can the association between partitions and irreps be ...

**4**

votes

**2**answers

177 views

### Centralizers of reflections in special subgroups of Coxeter groups

Let us consider a (not necessarily finite) Coxeter group $W$ generated by a finite set of involutions $S=\{s_1,...,s_n\}$ subject (as usual) to the relations $(s_is_j)^{m_{i,j}}$ with ...

**4**

votes

**2**answers

227 views

### The action of the center on the extended Dynkin diagram

Let $R$ be an irreducible root system with a basis $\Pi$.
We obtain the Dynkin diagram $D$ and the extended Dynkin diagram ${\widetilde{D}}$ of $R$ with respect to $\Pi$.
Let $Q^\vee\subset P^\vee$ ...

**4**

votes

**0**answers

64 views

### Highest (short) roots and commutation relations in (twisted) DAHA

I am trying to understand, explicitly, the commutation relation between $X_\vartheta$ and $Y_\vartheta = T_0T_{s_\vartheta}$ in the (twisted) DAHA for a root system $R$, where $\vartheta$ is the ...

**3**

votes

**1**answer

217 views

### How to think about the simple reflection s_0 in the affine Weyl group?

Let $G$ be a simply connected algebraic group over $\mathbb{C}$, $W$ be the Weyl group for $G$ and $W_{aff}$ be the affine Weyl group for the loop group $G(\mathbb{C}((t)))$, $\Phi$ be the coweight ...

**1**

vote

**0**answers

73 views

### Reducing enumeration of reduced words in general Coxeter groups to another #P-complete problem

There is a polynomial time algorithm that takes as inputs a Coxeter system $(W,S)$ with $S$ finite (but with $W$ not necessarily finite), say encoded as a Coxeter matrix, as well as two reduced words ...

**6**

votes

**1**answer

225 views

### Origin of the numbers game

The numbers game is a (one-player) game played on a finite graph with an initial assignment of numbers to its vertices, studied by Alon, Bj\"orner, Brenti, Donnelly, Eriksson, Krasikov, Mozes, Peres, ...

**1**

vote

**2**answers

189 views

### Fundamental invariants for root subsystems

Let $\Phi$ be an irreducible root system of rank $\ell$. The fundamental invariants of $\Phi$ is a set of $\ell$ integers $d_1, \cdots, d_\ell$ canonically attached to $\Phi$.
Now suppose $\Psi$ is ...

**2**

votes

**1**answer

148 views

### Is inner product preserved only by the stabiliser in a finite reflection group?

Is the following statement true for finite reflection groups?
Let $G$ be a finite reflection group acting on $\mathbb{R}^n$, let $x, y\in \mathbb{R}^n$
and let $z$ be in the orbit of $y$. If ...

**8**

votes

**0**answers

265 views

### An angle-doubling trick of Kirillov and Berenstein [closed]

Kirillov and Berenstein, in their article "Groups generated by involutions, Gelfand-Tsetlin patterns and combinatorics of Young tableaux" (available at math.uoregon.edu/~arkadiy/bk1.pdf), present a ...

**1**

vote

**2**answers

255 views

### Embed one Coxeter System into another

What is a good reference that explains all the braid relations and diagrams for Coxeter systems concisely?
In particular, how do I embed $H_3$ inside $D_6$, or $H_4$ inside $E_8$? Any hints?

**2**

votes

**1**answer

95 views

### Double quotients of Coxeter groups have the chain property?

Let $(W,S)$ be a Coxeter group with Bruhat order $\leq$ and length function $\ell(w)$.
Definition: a subset $X \subset W$ has the chain property if whenever $x,y \in X$ with $x < y$, there ...

**4**

votes

**1**answer

376 views

### Coxeter groups - Parabolic subgroups

In the theory of Coxeter groups there is the notion of so called parabolic subgroups. I'm wondering is this term just a random name, or there are some historical reasons? Why parabolic?
Thanks.

**12**

votes

**3**answers

688 views

### Is {6,3,7} an 'ultrahyperbolic' Coxeter group?

These pictures, drawn by Roice Nelson, are attempts to visualize a geometry having as symmetries the {6,3,7} Coxeter group, by which I mean the one coming from the Coxeter diagram
...

**7**

votes

**2**answers

281 views

### Are there infinitely many commensurable classes of finite-covolume hyperbolic Coxeter groups?

Allcock(2006) proved that
there are infinitely many finite-covolume (resp. cocompact) Coxeter groups acting on hyperbolic space $H^n$ for every $n\le 19$ (resp. $n\le 6$).
His main technique of ...

**15**

votes

**2**answers

434 views

### Is there a natural notion of completion of a Coxeter system?

Let $(W,S)$ be a Coxeter system. Then any element of $W$ can be written as a finite products of elements of $S$. I want some notion of a "completion" of $W$, call it $\hat{W}$, whose elements are ...

**2**

votes

**1**answer

185 views

### Which subgroups of a finite reflection group have distingushed coset representatives?

Let $W$ be a finite reflection group with length function $l$ and let $I$ be a set of simple reflections that generate $W$. Let $\phi$ be an automorphism of $W$ permuting $I$. Consider the orbits of ...

**7**

votes

**1**answer

124 views

### Quantum Cartan matrices and Coxeter elements

Let $\Gamma$ be a bipartite graph, with the vertices partitioned into disjoint sets $\Pi_1$ and $\Pi_2$. Let $W$ be the associated Weyl group, with Coxeter generators $\{s_i\}_{i\in \Gamma}$. Let ...

**11**

votes

**3**answers

752 views

### A special tessellation

Let $P$ be a convex $n$-gon. Suppose that we have an infinite number of $P$s, and that each of them is colored either red or blue. Here, let us consider the following operations :
Operation 1 : Place ...

**4**

votes

**0**answers

96 views

### Topological obstruction to icosahedral symmetry?

Let $G$ be a compact simple lie group of rank $n$. Then the Poincaré series of $G$ is given by $$P(G,q)=\prod_{i=1}^n (1+q^{2d_i-1}),$$
where the integers $d_1\leq d_2\leq \cdots \leq d_n$ are the ...

**0**

votes

**1**answer

122 views

### Subgroups of finite reflection groups that do not fix a point

Let $(W,S)$ be a finite irreducible Coxeter-System of rank $n$ and $E$ be a real reflection representation of $W$. Let $x\in E$ and suppose that the isotropy group of $x$ is generated by one element ...

**22**

votes

**2**answers

444 views

### Uniform proof that a finite (irreducible real) reflection group is determined by its degrees?

Given a finite (irreducible real) group $G$ generated by reflections acting on euclidean $n$-space, it was shown by Chevalley in the 1950s that the algebra of invariants of $G$ in the associated ...

**6**

votes

**1**answer

396 views

### Quotient of Coxeter group

Since the group $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10} \rangle$ seems to have resisted attacks of some powerful programs, I will turn to a group that seems to be a bit easier to ...

**16**

votes

**2**answers

537 views

### why most of the angles are right

The Coxeter–Dynkin diagrams tell us that in a spherical Coxeter simplex most of the dihedral angles are right. Say among $\tfrac{n{\cdot}(n+1)}2$ dihedral angles we can have at most $n$ angles which ...

**6**

votes

**1**answer

283 views

### Reference for embeddings of reflection groups (related to folding ADE Coxeter graphs?

There are a couple of indirect methods, using Lie theory or Springer's general theory of regular elements in (real, complex) reflection groups, to construct natural embeddings among certain Weyl ...

**2**

votes

**1**answer

210 views

### Eigenvalues for elements of (infinite) Coxeter groups

My current research requires some knowledge on the eigenvectors of elements (of infinite order) of Coxeter groups view as reflections in their geometric representation.
After some reading, my ...

**3**

votes

**1**answer

166 views

### affine weyl group and affine schubert cells

Let $G$ a connected reductive split group over $k=\bar{k}$, $(B,T)$ a split Borel pair. Let $F:=k((t)))$. Let $\tilde{W}$ the extended Weyl group, $\tilde{W}=N_{G}(T(F))/T(O)$.
By Iwasawa ...

**1**

vote

**1**answer

278 views

### weights and exceptional root systems

Let $G$ a simple simply connected group over $\mathbb{C}$ and $W$ his Weyl group.
Let $\lambda$ a minuscule or quasiminuscule weight.
For which types and for which weights do we have that:
$\forall ...

**0**

votes

**2**answers

216 views

### quasi-minuscule representations

Wich representations of $F_{4}$, $E_{8}$ and $G_{2}$ are quasi-minuscule?

**2**

votes

**0**answers

148 views

### simple roots of a reflection subgroup

Consider a Hermitian symmetric pair of complex Lie algebras $(\mathfrak{g},\mathfrak{k})$ and split the set of roots into compact roots (i.e. roots of $\mathfrak{k}$) and noncomapt roots $\Delta = ...

**8**

votes

**3**answers

685 views

### Is there a list of Kazhdan-lusztig polynomials?

When studying the combinatorics and representation of Coxeter groups, I often find it irksome to compute KL- and R- polynomials from scratch on Maple or Sage. The time it consumes to generate a ...

**25**

votes

**3**answers

896 views

### Is there any need to study Coxeter systems (W,S) with S infinite?

In their treatise Groupes et algebres de Lie, Bourbaki (no doubt heavily influenced by Tits) devoted Chapter IV (1968) to the general theory of what they dubbed "Coxeter systems" $(W,S)$ along with ...

**6**

votes

**2**answers

156 views

### Irreducibility of Coxeter Graphs as a Function of Generating Sets

Given a Coxeter system $(W, S)$, we can form its Coxeter graph, and say that the system is irreducible if the graph is connected. Now, irreducibility is not solely a function of $W$; it depends also ...

**11**

votes

**2**answers

900 views

### Random walks on Coxeter groups

Let $G_N$ be the group generated by elements $a_1,\ldots,a_N$ subject to the relations $a_i^2=1$ and $(a_ia_j)^3=1$. The growth function of $G_N$ is then
...

**34**

votes

**1**answer

984 views

### Implications of non-negativity of coefficients of arbitrary Kazhdan-Lusztig polynomials?

In their seminal 1979 paper here,
Kazhdan and Lusztig studied an arbitrary Coxeter group $(W,S)$ and the corresponding Iwahori-Hecke algebra. In particular they showed how to pass from a standard ...

**2**

votes

**2**answers

440 views

### elements in the weyl group

Let W be the Weyl a group of a semisimple simply connected group over C.
Let I={1,...,r} the set of simple roots.
For $w\in W$, I denote by supp(w) the subset of I corresponding to the simple ...

**6**

votes

**2**answers

663 views

### Algorithm for reducing words in a Coxeter group

Let $W$ be a Coxeter group with set of simple reflections $S$. Suppose that I have chosen a preferred reduced decomposition for every element of $W$. Given an arbitrary word in the alphabet $S$, is ...

**12**

votes

**3**answers

724 views

### Actions on Sⁿ with quotient Sⁿ

What is known about isometric actions on $\mathbb S^n$ such that the quotient space is homeomorphic to $\mathbb S^n$?
Comments.
I am mostly interested in (maybe trivial) properties of such ...

**15**

votes

**3**answers

559 views

### Kazhdan-Luzstig Polynomials and Lower Intervals in the Bruhat Order

I have read in a number of places that the lower Bruhat interval $[e, w]$ is rank-symmetric if and only if the KL-polynomial $P_{e, w}(q) = 1$. All of the proofs I've come across use "rationally ...

**6**

votes

**0**answers

141 views

### Classifying algebras with two idempotent generators and involution

Say that a finite-dimensional algebra $H$ over a field $K$ is dihedral if $H$ is generated by idempotents $P_1$ and $P_2$ and there is an algebra involution interchanging $P_1$ and $P_2$.
For ...

**13**

votes

**2**answers

813 views

### Intrinsic characterization of Soergel bimodules?

A Soergel bimodule (for $S_n$) is a bimodule over $R = \mathbb{Q}[x_1,\dots,x_n]$ which appears as a summand/grading shift of tensor products of the basic bimodules
$$B_{i,i+1} = R \otimes_{i,i+1} R$$
...