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

68
questions with no upvoted or accepted answers

**20**

votes

**0**answers

343 views

### A spin extension of a Coxeter group?

Consider a Coxeter group $W$ with simple generators $S$ and Coxeter matrix $\left( m_{s,t}\right) _{\left( s,t\right) \in S\times S}$.
Let $\mathfrak{M}$ be the set of all pairs $\left(s, t\right) ...

**18**

votes

**0**answers

394 views

### What is the centralizer of a Coxeter element?

Let $(W,S)$ be a Coxeter system (of finite rank) and $c \in W$ a Coxeter element.
If $W$ is finite, then the centralizer $C_W(c)$ is the cyclic group generated by $c$ (e.g. see the book "Reflection ...

**13**

votes

**0**answers

350 views

### A hard Lefschetz theorem for nilCoxeter algebras

Let $W$ be a finite Coxeter group and $\mathcal{N}(W)$ its nilCoxeter
algebra (over the reals, say), as defined at
https://en.wikipedia.org/wiki/Nil-Coxeter_algebra. $\mathcal{N}(W)$ has
a natural ...

**12**

votes

**0**answers

329 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” ...

**11**

votes

**0**answers

218 views

### Question on a reduction in Kirillov's paper on positivity of divided difference operators

As the title says, my question is on a specific argument in Kirillov - Skew divided difference operators and Schubert polynomials (journal, MSN) on positivity of divided difference operators. I recall ...

**10**

votes

**0**answers

221 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 $...

**10**

votes

**0**answers

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

**9**

votes

**0**answers

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

**9**

votes

**0**answers

380 views

### Reflection groups in O(n+1,n) arising `in nature'?

For a while a friend and I have been thinking about a family of integral symmetric bilinear forms of signature $(n+1,n)$. Such lattices in our case arise 'in nature' (in a certain problem about vector ...

**8**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

100 views

### Number of occurrences of certain generators in expressions in Coxeter groups

Let $W$ be a Coxeter group (finite or infinite) with (finite) set $S$ of Coxeter generators, and let $I \subseteq S$ be some subset. If $w\in W$ then I call $m_I(w)$ the minimum total number of ...

**8**

votes

**0**answers

316 views

### Do p-compact groups have a sufficiently good notion of "flag variety" and "intersection cohomology"?

This is mostly an idle question, since I don't think I'd be able to do anything with a positive answer. But a positive answer would still be interesting, I think.
Background
An outstanding problem ...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

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

**7**

votes

**0**answers

151 views

### Examples of reflection groups that are not Coxeter groups

Some background settings
Let $V$ be a $n$-dimensinal vector space over $\mathbb{R}$, $V^\ast$ be its dual space. A reflection transformation $r$ on $V$ is a linear transformation that fixes a ...

**6**

votes

**0**answers

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

**6**

votes

**0**answers

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

**6**

votes

**0**answers

356 views

### Symmetry group and irreducible representation

Let $S$ be a bounded geometric shape in the Euclidean space $E=\mathbb{R^n}$. Assume that the origin of $E$ is a fixed point of every element of the symmetry group $G(S)$ of $S$, and assume that $G(S) ...

**6**

votes

**0**answers

155 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 example,...

**5**

votes

**0**answers

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

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

**5**

votes

**0**answers

663 views

### Applications (and source) of Bourbaki exercise on root systems with two root lengths?

In Chapters 4-6 of Bourbaki's Groupes et algebres de Lie, Exercise 20 for Section
VI.1 concerns irreducible (reduced) root systems with roots of two lengths: in other
words, systems of types $B_\ell, ...

**4**

votes

**0**answers

98 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

**0**answers

124 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 $...

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

90 views

### Ref. request: Enumerating elements of Bruhat cells

Given a field $F$ and a natural number $n$, let $B$ be the group of lower triangular, invertible $n \times n$ matrices over $F$. Then
$$GL_n(F) = \biguplus_{\pi \in S_n} B \pi B,$$
where we embed the ...

**4**

votes

**0**answers

175 views

### Reference request for generalized root systems

Where can I find information on root systems where the inner product
is other than the standard (all positive) signature?

**4**

votes

**0**answers

132 views

### Have wiring diagrams been generalized to arbitrary digraphs?

A "combinatorial wiring diagram" is a way to define a permutation by a drawing of a particular planar digraph. For example, this wiring diagram corresponds to the permutation $(3412)$:
In Coxeter ...

**4**

votes

**0**answers

175 views

### Shifts in the decomposition of Bott-Samelson bimodules

Let $k$ be an algebraically closed field of characteristic $0$, let $V=k^n$ be a $k$ vector space of dimension $n$, and let $R=k[V]$ be the ring of polynomial functions on $V$. Suppose that $W\subset\...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**3**

votes

**0**answers

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

**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?

**3**

votes

**0**answers

52 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

**0**answers

94 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

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

**3**

votes

**0**answers

54 views

### Directed galleries of the building of type $\widetilde{A}_{n}$

Let $X$ be the affine building of $GL_n(\mathbb{Q}_{p})$. We call oreinetd chamber of $X$ every sequence $\overrightarrow{C}=(s_1,...,s_n)$ of vertices such that $C=\{s_1,...,s_n\}$ is a chamber of $X$...

**3**

votes

**0**answers

142 views

### Reference request: which elements in a Coxeter group has longest reflection length?

Let $V$ be a vector space over $\mathbb{R}$. An element $s \in GL(V)$ is a reflection if $H_s:=\ker(s-1)$ is a hyperplane and $s^2=1$. The eigenvalues of a reflection $s$ are $1, -1$. Every reflection ...

**3**

votes

**0**answers

49 views

### Question about Ext group in $\mathcal{O}^\mathfrak{p}$?

Let $W$ be a Weyl group, let $\mu$ be an antidominant weight.
Let $W_I$ be the Weyl group generated by $I$ and $w_I$ be the longest element in $W_I$. Denote ${}^IW$ the set of minimal length coset ...

**3**

votes

**0**answers

327 views

### Kazhdan-Lusztig basis of the symmetric group algebra $\mathbb{K}S_n$

Let $S_n$ be the symmetric group on the set $\{1,2,\ldots,n\}$ and $\mathbb{K}$ a field. Denote by $\mathbb{K}S_n$ the symmetric group algebra.
What's Kazhdan-Lusztig basis of $\mathbb{K}S_n$? I ...

**3**

votes

**0**answers

203 views

### How linearly independent are the obvious combinatorial invariants of a Bruhat interval?

Let $[u, v]$ be a Bruhat interval in some Coxeter group. Let $I$ be the set of all Bruhat intervals. I am interested in functions $I \to \mathbb{Z}$ which are invariant under poset isomorphisms. ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**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

98 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_{...

**2**

votes

**0**answers

153 views

### Intersection of Levi subgroups via intersection of their Weyl groups

Let $G$ be a connected reductive group over $\mathbb{C}$. We fix a maximal torus $T \subset G$. Let $M,L \subset G$ be its Levi subgroups containing $T$ (note that we do note assume that $M,L$ are ...

**2**

votes

**0**answers

177 views

### The growth of maximum elements for the reflection group $D_n$

Let's consider maximum coefficients in Poincaré polynomial (or growth series) for the reflection group (or Weyl group, or finite Coxeter group) $D_n$ as mentioned in A162206.
The maximal numbers $M(n)$...