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.
260
questions
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 ...
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 ...
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, ...
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 ...
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 ...
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?
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 ...
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$. ...
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 ...
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$...
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 ...
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\}$, ...
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 ...
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 ...
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 ...
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 ...
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 $...
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 ...
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) \...
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 ...
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 ...
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 ...
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 ...
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 ...
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, ...
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 ...
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 ...
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 $...
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 $\...
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 ...
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}=...
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 ...
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 ...
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\...
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 ...
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: ...
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 ...
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 $...
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 ...
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 ...
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 ...
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 ...
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 ...
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” ...
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 ...
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}$...
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$ ...
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 ...
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 ...
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 ...