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
1 vote
2 answers
245 views

A question about set of inversion

Let $w \in S_n$ and $inv(w) = \{(i,j): i,j \in \{1,\ldots,n\}, i<j, w(i)>w(j)\}$ the inversion set of $w$. Let ${\bf i}=(i_1,\ldots,i_m)$ be a sequence such that $s_{i_1}\cdots s_{i_m}$ is a ...
Jianrong Li's user avatar
  • 6,101
2 votes
1 answer
229 views

What is the relation between Coxeter transformations of Coxeter systems and Coxeter transformations of generalized Cartan matrices?

This question is related to the following question about Coxeter transformations that I asked and recently answered myself. For completeness I also write full definitions in the new question. The ...
Leon Lang's user avatar
  • 253
8 votes
1 answer
426 views

What is the relation between Coxeter transformations of generalized Cartan matrices and Coxeter transformations of finite-dimensional algebras?

Note: This question now has a sister :-) The Coxeter transformation of a generalized Cartan matrix: In the paper The spectral radius of the Coxeter transformations for a generalized Cartan matrix, ...
Leon Lang's user avatar
  • 253
8 votes
0 answers
105 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 ...
Gro-Tsen's user avatar
  • 29.8k
12 votes
2 answers
572 views

Bounding weight multiplicities by number of certain Coxeter elements

This question concerns lower bounds of certain weight multiplicities in finite dimensional representations of algebraic groups (or Lie groups, Lie algebras). Let's say $G$ is a simple algebraic group ...
Jingren Chi's user avatar
4 votes
0 answers
183 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?
unknown's user avatar
  • 451
4 votes
0 answers
189 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 ...
GMB's user avatar
  • 1,379
6 votes
1 answer
283 views

Reference request: Reduced reflection length in Coxeter groups

I recently read this paper, where the authors define on page 26 what they call the reduced reflection length. For that we take a Coxeter group $G$ with Coxeter generators $S$ and transpositions $T$. ...
Dirk's user avatar
  • 809
2 votes
1 answer
213 views

Mapping $\Delta(2,2,2)\mapsto \Delta(4,4,2)$

Looking at the images below, you recognize that the adjacency matrix of the graph $A_G$ splits up into three different colored submatrices, with $A_G=A_r+A_b+A_d$ (where $d$ is dark, damn...). It's ...
draks ...'s user avatar
  • 457
3 votes
1 answer
260 views

What is the Cartan matrix for a dihedral group?

Dihedral groups are Coxeter groups of type $I_m$, $m \geq 3$. The Coxeter matrix of $I_m$ is \begin{align} \left( \begin{matrix} 1 & m \\ m & 1 \end{matrix} \right). \end{align} When $m=3,4,6$...
Jianrong Li's user avatar
  • 6,101
3 votes
2 answers
324 views

Reference request: from a reduced expression of an element in a Coxeter group to another reduced expression

Are there some references which proves the following result? Let $W$ be a Coxeter group and $w \in W$. Then different reduced expressions of $w$ can be transformed from one into anther using only the ...
Jianrong Li's user avatar
  • 6,101
1 vote
1 answer
192 views

Positive roots and elements in a Coxeter group.

In the paper, a set $L$ associated to an element $w$ in a Coxeter group $W$ is defined as follows. Let $w=s_{i_1} \cdots s_{i_m}$ be a reduced expression. Define $L=\{\beta_1, \ldots, \beta_m\}$, ...
Jianrong Li's user avatar
  • 6,101
13 votes
0 answers
362 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 ...
Richard Stanley's user avatar
3 votes
2 answers
456 views

About reflections of reflection groups

For any finite crystallographic reflection group $W = \langle s_1, \ldots , s_n\rangle$, every hyperplane reflection is of the form $ws_iw^{-1}$ for some $i$ and some $w \in W$. A finite ...
bing's user avatar
  • 331
3 votes
1 answer
196 views

Injection from Artin monoids to Coxeter groups

Let $\sigma$ be a permutation. If two positive braids represent $\sigma$ and are of minimal length among the braids representing $\sigma$, then they are equal. From what I could gather, this result is ...
Maxime Lucas's user avatar
101 votes
3 answers
6k views

Why do combinatorial abstractions of geometric objects behave so well?

This question is inspired by a talk of June Huh from the recent "Current Developments in Mathematics" conference. Here are two examples of the kind of combinatorial abstractions of geometric ...
Sam Hopkins's user avatar
  • 22.7k
0 votes
1 answer
220 views

Number of Boolean algebra subintervals in weak order of $S_n$

I'm wondering if anybody has an easy way to compute the number of subintervals in weak order of $S_n$ (considered as a Coxeter group of type $A_{n-1}$) that are isomorphic to Boolean algebras. I know $...
Matt Samuel's user avatar
  • 2,008
1 vote
0 answers
32 views

Cellular basis of $KW(B_2)$

Take $K$ a field. Let $W(B_2)$ be the coxeter group of type $B_2$ with a set $\{s_0,s_1\}$ of generators. Then $W(B_2)=\{1, s_0,s_1,s_0s_1,s_1s_0,s_0s_1s_0, s_1s_0s_1,s_1s_0s_1s_0\}$. I know that the ...
bing's user avatar
  • 331
6 votes
2 answers
317 views

Correspondence between $SBT (n)$ and $W(B_n)$

Let $W(B_n)$ be a Weyl group of type $B_n$ and $SBT (n)$ the set of standard bitableaux of size $n$. Similar to Robinson-Schensted correspondences, I know that there exists a map $W(B_n) \to SBT (n) \...
bing's user avatar
  • 331
2 votes
1 answer
186 views

Relation between Riemannian and Cayley-graph distance in a finite Coxeter group

Background: Let $W$ be a finite reflection group of rank $n$, acting on $\mathbb{R}^n$. The reflecting hyperplanes of $W$ meet the unit sphere $S^{n-1}\subset\mathbb{R}^n$, inducing a simplicial ...
benblumsmith's user avatar
  • 2,831
3 votes
0 answers
385 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 ...
bing's user avatar
  • 331
12 votes
2 answers
640 views

Generalization of cycle decomposition to Coxeter groups

I'm looking for a generalization of cycle decompositions for permutations to elements of Coxeter groups. (For the purposes of this question, any conjugate of a parabolic subgroup is also a parabolic ...
Alexander Woo's user avatar
4 votes
3 answers
888 views

Maximal pairwise distance between $k$ permutations

How can k permutations on n-set be arranged to maximize minimal pairwise Kendall tau distance (i.e. number of discordant pairs) between them? For two permutations this is obviously when the second ...
Bogdan Chornomaz's user avatar
2 votes
1 answer
113 views

Compute the automaton for the modular group

The modular group $\mathrm{PSL}_2(\mathbb{Z})$ has 3 generators $A,B,C$, where $$A:z\to z+1,\quad B:z\to z-1,\quad C:z\to -1/z.$$ I want to compute the automaton that recognize the words of the ...
zemora's user avatar
  • 545
2 votes
0 answers
112 views

Orbit spaces of Coxeter groups and singularities

I have often seen in the literature the statement that the orbit spaces of irreducible finite Coxeter groups are equivalent to unfoldings of singularities. For instance, taken from Dubrovin, ...
Bruce Bartlett's user avatar
26 votes
1 answer
693 views

Can you prove Givental's conjecture on wavefronts and the icosahedron?

In his remarkable book The Theory of Singularities and its Applications, Vladimir Arnol'd discussed a conjecture of A. B. Givental, which asserts that the symmetry group of the icosahedron is secretly ...
John Baez's user avatar
  • 21.3k
6 votes
1 answer
280 views

Quotient of Coxeter complex in terms of double cosets?

In Victor Reiner's Quotients of Coxeter Complexes and $P$-Partitions, we have the below definition for the quotient complex of a Coxeter complex by a finite subgroup of the Coxeter group. I think ...
benblumsmith's user avatar
  • 2,831
9 votes
1 answer
445 views

Bruhat order of reflection subgroups

Let $(W,S)$ be a Coxeter group, $T=\bigcup_{w\in W}wSw^{-1}$ its set of reflections, and $A\subseteq T$. From results of Dyer and Deodhar, we know that the subgroup $W_A$ generated by the elements of $...
Balazs Elek's user avatar
2 votes
0 answers
298 views

the root lattice, reflections, and a coxeter element

Question: Is is possible to realise the positive root lattice $\Phi_{\Delta}^{>0}$ (viewed as an abstract poset) of a root system $\Phi_\Delta$ associated to a Dynkin or affine Dynkin diagram $\...
A. Leverkuhn's user avatar
4 votes
1 answer
362 views

Torsion-free, normal subgroups of certain Coxeter groups

Let $G$ be the reflection group of a regular, 4-dimensional, hyperbolic honeycomb. I would like to find a family $H_i < G$ of finite-index, torsion-free subgroups of $G$, so that I can represent ...
Nikolas Breuckmann's user avatar
11 votes
1 answer
195 views

Cross between the nil-Hecke ring and the group ring of a Coxeter group

A Coxeter system $(W,S)$ has a set of generators $S=\{s_1,s_2,\ldots\}$ and the Coxeter group $W$ is determined by relations of the form $(s_is_j)^{m_{ij}}=1$ for some integers $m_{ij}$, where $m_{ii}=...
Matt Samuel's user avatar
  • 2,008
4 votes
2 answers
691 views

How to find a basis of the coxeter plane

I want to draw a picture that projects the E8 root system to its coxeter plane. The coxeter plane is defined as follows: the coxeter element of the weyl group of E8 has a simple eigenvalue $e^{2\pi ...
Zhao_L's user avatar
  • 41
7 votes
1 answer
502 views

Generators of pure braid groups of arbitrary Coxeter groups

Let $W$ be an arbitrary Coxeter group, and let $A$ be the associated Artin-Tits braid group, with standard Coxeter generators $\sigma_i\in A$. Let $P$ be the "pure braid group", the kernel of the ...
Tony Licata's user avatar
4 votes
0 answers
195 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\...
Chris McDaniel's user avatar
10 votes
1 answer
722 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 ...
Christian Stump's user avatar
15 votes
2 answers
497 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 follows: ...
Allen Knutson's user avatar
10 votes
0 answers
180 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 ...
Misha's user avatar
  • 31k
14 votes
4 answers
1k views

actions of the hyperoctahedral group

I am looking for actions (i.e., permutation representations) of the hyperoctahedral group $H_n$ (also known as the group of signed permutations) studied in the literature, i.e., homomorphisms from $...
Martin Rubey's user avatar
  • 5,533
2 votes
0 answers
203 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 ...
Thomas Gobet's user avatar
7 votes
2 answers
962 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 ...
i. m. soloveichik's user avatar
1 vote
4 answers
501 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 ...
user avatar
2 votes
1 answer
409 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 ...
user avatar
2 votes
1 answer
110 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 ...
Ferran V.'s user avatar
  • 627
12 votes
0 answers
410 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” ...
Jim Humphreys's user avatar
10 votes
4 answers
826 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 ...
Sam Clearman's user avatar
6 votes
2 answers
460 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 $m_{i,j}=m_{j,i}$...
Sebastian Schoennenbeck's user avatar
6 votes
2 answers
499 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$ ...
Mikhail Borovoi's user avatar
4 votes
0 answers
92 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 ...
Matteo's user avatar
  • 41
4 votes
1 answer
1k 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 ...
Qiao's user avatar
  • 1,669
1 vote
0 answers
125 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 ...
Matt Samuel's user avatar
  • 2,008