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
93
votes
3answers
4k 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: http://www.math.harvard.edu/cdm/. Here are two examples of the kind of ...
38
votes
2answers
2k 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 ...
34
votes
5answers
9k views

Definitions of Hecke algebras

There is a definition of Iwahori-Hecke algebras for Coxeter groups in terms of generators and relations and there is a definition of Hecke algebras involving functions on locally compact groups. Are ...
33
votes
3answers
2k 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 "...
27
votes
2answers
2k views

Have you seen my matroid?

Let $M(n,k)$ be the matroid on the ground set $\{\pm 1,\ldots,\pm n\}$ for which a set is independent if and only if it contains at most $k$ pairs $\pm i$. Note that the signed permutation group (the ...
26
votes
1answer
631 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 ...
24
votes
2answers
552 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 ...
20
votes
0answers
342 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) ...
19
votes
4answers
834 views

Are there Hamilton paths in Cayley graphs of Coxeter groups?

Hi everyone. I want to optimize certain computation on finite Coxeter groups $(W,S)$. Basically I compute the matrices $\rho(T_w)$ for all $w\in W$ of a matrix representation $H\to K^{d\times d}$ of ...
18
votes
0answers
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 ...
16
votes
3answers
905 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 actions ...
16
votes
2answers
2k views

Is Soergel's proof of Kazhdan-Lusztig positivity for Weyl groups independent of other proofs?

Let $(W, S)$ be a Coxeter system. Soergel defined a category of bimodules $B$ over a polynomial ring whose split Grothendieck group is isomorphic to the Hecke algebra $H$ of $W$. Conjecturally, the ...
16
votes
3answers
1k 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 $$\circ-6-\circ-3-\...
16
votes
2answers
582 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 ...
16
votes
1answer
840 views

Coxeter Arrangements and an Identity

Let $\{A_i\}$ be a collection of $m$ hyperplanes in $\mathbb{C}^n$ which all pass through the origin (a central hyperplane arrangement). Such an arrangement is called Coxeter if reflecting across any ...
15
votes
2answers
500 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 (...
15
votes
3answers
730 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 ...
15
votes
2answers
586 views

Coordinates of the Weyl vector of $E_8$ (and the 135 classes of $W(E_8)/W(D_8)$)

Consider the root system of $E_8$, written in its standard "even" coordinate system: i.e., it is the set of all $240$ vectors in $\mathbb{R}^8$ which whose coordinates are either all integers or all ...
14
votes
2answers
1k 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 $$f_N(t)=\frac{1+2t+2t^2+t^3}{1-Mt-Mt^2+\frac{...
14
votes
4answers
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 $...
14
votes
2answers
439 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: ...
13
votes
2answers
1k 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$$ ...
13
votes
2answers
882 views

Does the Poincare series of a Coxeter group always describe a "flag variety"?

Let $W$ be a Coxeter group and let $P_W(q) = \sum_{w \in W} q^{\ell(w)}$ be its Poincare series. When $W$ is the Weyl group of a simple algebraic group $G$ (hence $W$ is finite), $P_W(q)$ is the ...
13
votes
0answers
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
3answers
1k 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 ...
12
votes
2answers
549 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 ...
12
votes
2answers
498 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 ...
12
votes
0answers
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
1answer
219 views

Lattice structure in the root poset

Let $W$ be a Coxeter group with simple generators $s_1$, $s_2$, ..., $s_r$. Let $\Phi^+$ be the corresponding positive root system, with $\alpha_i$ the positive root corresponding to $s_i$. Bjorner ...
11
votes
0answers
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
3answers
276 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 ...
10
votes
2answers
505 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 ...
10
votes
1answer
1k views

Does every Coxeter group arise from a BN-Pair? Does $\text{PGL}_2(\Bbb{Z})$?

The question is in the title. Maybe I should explain my interest in it though. To every Coxeter group $(W,S)$ (and even more general groups) and a system of parameters $(a_s,b_s)_{s \in S}$ one can ...
10
votes
1answer
174 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}=...
10
votes
1answer
200 views

Dominance relation among Cartan matrices implies containment of root systems: Is this known?

Suppose $A$ and $A'$ are symmetrizable (generalized) Cartan matrices, in the sense of Kac's book Infinite-dimensional Lie algebras. Say $A$ dominates $A'$ if every entry of $A$ has weakly greater ...
10
votes
0answers
220 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
0answers
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
4answers
659 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 ...
9
votes
3answers
1k 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 ...
9
votes
1answer
246 views

A duality result for Coxeter groups

Short version: if $G$ is a Coxeter group and $H \subset G$ is a parabolic subgroup, both acting on a space $V$, is it true that the invariant-coinvariant algebra $(S(V)_G)^H$ has a natural bilinear ...
9
votes
1answer
348 views

Why is the root poset is graded by height?

Let $\Phi$ be a finite crytallographic root system. Let $\Phi^+$ be the positive roots and $\alpha_1$, ..., $\alpha_n$ be the simple roots. For $\beta = \sum c_i \alpha_i$ in $\Phi^+$, we define $h(\...
9
votes
2answers
614 views

Symmetric functions in type B and type D

It is well known that the symmetric groups have a very nice and explicit representation theory. This is in particular true when one works with the collection of all symmetric groups simultaneously, in ...
9
votes
2answers
483 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 ...
9
votes
2answers
756 views

Subexpressions of reduced words in Coxeter groups

Let $\underline{w} = [s_1, s_2, \dots ,s_n]$ be a reduced expression in a Coxeter group $W$. Given $x$ in $W$ one can consider the set $\Pi(\underline{w},x)$ consisting of all subexpressions of $\...
9
votes
2answers
242 views

Reference Request: Length of a reflection in a Coxeter group can be achieved by symmetric word

In a given coxeter group $(W,S)$, a reflection is an element of $W$ that can be written with a symmetric word in the generators $S$. In multiple sources, I found the following formula: $$ \mathrm{...
9
votes
1answer
347 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 $...
9
votes
1answer
492 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 ...
9
votes
0answers
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
0answers
285 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 ...
9
votes
0answers
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 ...

1
2 3 4 5