Questions tagged [weyl-group]

The Weyl group of a root system is a subgroup generated by reflections through the hyperplanes orthogonal to the roots.

Filter by
Sorted by
Tagged with
7 votes
2 answers
128 views

Commutation classes of reduced decompositions of the longest element of the Weyl group with one element

For the symmetric group on $n$ objects $S_n$ the question of how to write its longest element $w_0$ as a reduced decomposition is an important combinatorical problem. As example, in this question the ...
1 vote
0 answers
59 views

Question on the representative of the longest Weyl element of $\mathrm{SO}(2n+1)$

Let $w_{m}$ be the $m \times m$ matrix with ones on the non-principal diagonal and zeros elsewhere. Let $V$ be the $2n+2$-dimensional quadratic space with the symmetric bilinear form $\left<,\right&...
  • 1,535
2 votes
0 answers
37 views

A construction of Weyl-equivariant maps from the space of regular Cartan triples to the space of tuples of complex polynomials (up to scalar factors)

Let $G$ be a compact semisimple Lie group and let $T$ be a maximal torus in $G$. On the Lie algebra level, we have a real Lie algebra $\mathfrak{g}$ and a (particular) real slice, say $\mathfrak{t}$, ...
  • 3,897
1 vote
0 answers
71 views

elementary abelian subgroups with centralizers not connected

Let $G =$ PGL$_{8}(\textbf{C})$. Let $a, b, c, d$ be four representatives of conjugacy classes of involutions in $G$ where $$a = \begin{pmatrix} -1 & 0\\ 0 & I_{7} \end{pmatrix}, b = \begin{...
2 votes
2 answers
136 views

Particular reduced expression of the longest element of Weyl group

Let $I$ be the Dynkin diagram vertex set and $K$ be a proper nonempty subset of it. Let $w_0^K$ be the longest word of the Dynkin subdiagram $K$, which might be a disjoint union of connected Dynkin ...
  • 201
5 votes
1 answer
243 views

Invariants of cohomology of Springer sheaf

Let $G=Gl_n(\mathbb{C})$ and $\mathcal{N}$ be the nilpotent cone associated to it i.e nilpotent matrices inside $\mathfrak{g}=\mathfrak{gl}_n(\mathbb{C})$. We have the variety $\tilde{\mathcal{N}}$ ...
2 votes
1 answer
225 views

Parabolic subgroup of Weyl group

Let $W$ be the Weyl group of a semisimple algebraic group $G$. $I$ be the simple roots. $J\subset I$ generate a parabolic subgroup of $W$ denote by $W_J$. $w^J$ is the shortest representative of $w$ ...
7 votes
1 answer
284 views

$N_{G}(E)/C_{G}(E)$ is the Weyl group of $G$?

In the algebraic group $G = \operatorname{PGL}_4(\mathbb{C})$, let $E$ denote the subgroup of elements of order dividing 2 in the diagonal maximal torus; it is generated by the images of the three ...
6 votes
0 answers
138 views

Weyl group and Galois action on cubic surfaces

Let $X$ be a smooth cubic surface over a field $k$. Denote by $\bar{k}$ the separable closure of $k$ and $\bar{X}:=X\times_{k}\bar{k}$. Then it is well know that there exists a homomorphism $$ \phi:\...
  • 439
2 votes
1 answer
130 views

Geometric meaning of inducing a representation from a parabolic subgroup of a Weyl group

What is the geometric meaning of inducing a representation from a parabolic subgroup of a Weyl group? Could Springer theory of Weyl group representations be used to obtain such a geometric meaning?
4 votes
0 answers
138 views

The Weyl group of Kac-Moody algebra and Coxeter group

Let $\mathfrak{g}$ be a Kac-Moody algebra, $W$ be its Weyl group, generate by fundmental reflections {$r_1,...,r_n$}. For $i,j$, we have relation $(r_ir_j)^{m_{ij}}=1$, $1\le i,j\le n$. Let $W^{'}$ be ...
2 votes
0 answers
102 views

Positive roots and the longest element of the Weyl group

Take $\frak{g}$ a complex semisimple Lie algebra and its Weyl group $W$. Is it true that the number of positive roots of $\frak{g}$ is equal to the length of the longest element of $W$?
3 votes
0 answers
72 views

How to determine sublattices S of a root lattice R

Let $R$ be a root lattice of a irreducible root system $\Phi$. Suppose $W$ is a Weyl group of $\Phi$ and $S$ is a sublattice of $R$ which is $W$-stable and satisfies $|R/S|<\infty$. For example, ...
0 votes
0 answers
74 views

Reference request: Weyl group action on the power set of positive roots

There is a symmetric group action on the power set of positive roots in type A. The action is defined as follows. Denote by $\alpha_1, \ldots, \alpha_n$ be the set of simple roots in a root system. In ...
  • 5,905
3 votes
1 answer
60 views

Action of Coxeter element on mod $2$ root lattice is semisimple

Let $\Lambda$ be a simply laced root lattice and $w$ a Coxeter element of the Weyl group of $\Lambda$. Question: Is it true that the action of $w$ on the $\mathbb{F}_2$-vector space $\Lambda/2\Lambda$ ...
  • 1,232
1 vote
0 answers
216 views

Condition for a sum of images of fundamental dominant weights to lie on a wall

Let $\Delta$ be a system of simple roots in a root system with Weyl group $W$. For $\alpha\in\Delta$, let $\varpi_\alpha$ be the corresponding fundamental dominant weight. Let $w\neq r$ be elements of ...
3 votes
1 answer
290 views

Conjugation of root subgroups by the Weyl group

Fix a field $k$ of characteristic zero, and let $G$ be a connected reductive algebraic $k$-group of isotropic rank $\ge 1$. Fix a maximal $k$-split torus $S$, and let $\Phi_k$ be the relative root ...
11 votes
0 answers
266 views

Two-sided cells, special nilpotent orbits and special representations

Let $\mathfrak{g}$ be a complex semisimple Lie algebra. This question concerns three classical objects of representation theory: the two-sided Kazhdan-Lusztig cells of the Weyl group $W$ of $\mathfrak{...
4 votes
0 answers
177 views

Are there mathematical/physical applications of these Weyl equivariant maps?

Let $G$ be a compact Lie group and $T$ a choice of maximal torus. Denote the corresponding Lie algebras by $\mathfrak{g}$ and $\mathfrak{t}$. Elements of $\mathfrak{t} \otimes \mathbb{R}^3$ are called ...
  • 3,897
8 votes
0 answers
275 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 ...
  • 19.8k
3 votes
1 answer
196 views

Description of Soergel modules

So this is asking a basic and/or stupid question (my apology and appreciation) about Soergel modules that comes out of exercises by me who knows little about the subject. Let $W$ be a finite Weyl ...
9 votes
1 answer
278 views

Action of Weyl group on regions of Shi arrangement

This is an elaboration of a question which was aked on MO several years ago, which was unanswered but deleted by the question-asker. I hope it is okay to elaborate on a deleted question like this; for ...
  • 19.8k
2 votes
0 answers
67 views

On $\Psi$-generating paths in the Bruhat order of a Weyl group

Let $W$ be a Weyl group with roots $R$ and positive roots $R^+$. Let $v\in W$ of length $r$. We call $\mathbb{m}=(\alpha_1,\ldots,\alpha_r)\in(R^+)^r$ a Bruhat path from $1$ to $v$ if $1\lessdot s_{\...
  • 952
9 votes
2 answers
409 views

Number of reduced decompositions of the longest element of the Weyl group

Let $R$ be a reduced root system, $W$ the associated Weyl group, and $w_0 \in W$ the longest element of $W$. In general $w_0$ admits more than one reduced decomposition into a product of reflections, ...
1 vote
0 answers
112 views

Uniqueness in Mare combinatorics and bounds on Gromov-Witten invariants

Let $R$ be the root system of a Weyl group $W$. Let $\tilde{R}^+$ be the set of $B$-cosmall roots, i.e. the set of positive roots $\alpha$ such that $\ell(s_\alpha)=2\operatorname{ht}\alpha-1$. Based ...
  • 952
6 votes
1 answer
157 views

Fixed space of maximal torus and Weyl group

Let $G$ be a compact connected Lie group and $T\subset G$ a maximal torus. Let $V$ be a representation of $G$ and $U=\{v\in V: tv=v\textrm{ for all }t\in T\}$. For any $g\in N(T)$ we have for all $t\...
  • 2,355
5 votes
0 answers
102 views

Is there a smooth $W_{G_2}$-equivariant map from the flag manifold of $U(4)$ to that of $G_2$?

The Weyl group $W$ of $G_2$, is a group of order $12$ which is generated by the subgroup of permutations of $e_1$, $e_2$ and $e_3$ and by by the element $\tau$ which maps $(e_1,e_2,e_3)$ to $(-e_1,-...
  • 3,897
4 votes
0 answers
156 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 $...
2 votes
0 answers
39 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 ...
  • 1,181
3 votes
0 answers
71 views

Weyl group stabilizer of semisimple element in adjoint group

Let $G$ be semisimple group over $\mathbb{C}$ of adjoint type. Let $T$ be a maximal torus, $s\in T$ semisimple element. Let $W$ be a Weyl group and $W(s)$ be a stabilizer of $s$ in $W$. I am ...
1 vote
0 answers
108 views

Equivalence of categories between the loop algebra of $sl_{n+1}$ and the affine Weyl group of $GL_\ell(C)$

In this paper here, Theorem 4.9 page 18, Charri and Pressley are claiming that there exists an equivalence of Categories between certain categories of the Lie algebra $\tilde{ \mathfrak g}=\mathfrak{...
7 votes
1 answer
326 views

Unicity of the BGG complex

A friend and I are writing a paper that uses the BGG resolution of $L(\lambda)$ (where $\mathfrak g$ is a semisimple complex Lie algebra, $\lambda \in P^+$ is a dominant integral weight, and $L(\...
4 votes
0 answers
221 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 ...
  • 71
0 votes
1 answer
180 views

When does the Kazhdan-Lusztig polynomial $P_{x,w}(q)$ not vanish at $q=1$?

Let $\mathfrak{g}$ be a semisimple Lie algebra and $\mathfrak{h}$ be a Cartan subalgebra. For any $\lambda\in \mathfrak{h}^{*}$ let $M(\lambda)$ and $L(\lambda)$ be the Verma module and the simple ...
  • 8,253
4 votes
0 answers
149 views

Is one of the hyperplane partitions of a irreducible root system always generate the whole Weyl group?

Let $\Delta$ be a irreducible root system and $\Delta^+$ be its positive roots. We say a subset $\Delta^{\prime}\subset \Delta^+$ can generate the Weyl group if reflections of roots in $\Delta^{\...
  • 8,253
4 votes
1 answer
161 views

Can we have a nontrivial division of a irreducible root system as the union of two closed sub-root systems?

The question is related to this MO question. Let $(\Phi, E)$ be a irreducible crystallographic root system where $\Phi$ is the set of all roots and $E$ is the $\mathbb{R}$-span of $\Phi$. As in the ...
  • 8,253
2 votes
1 answer
232 views

The simple reflections of the Weyl group in $\operatorname{SO}_{2n}(\mathbb C)$

Let $W$ be the Weyl group corresponding to the maximal torus $diag(t_1, . . . , t_{n}, t^{−1}_n, . . . , t^{−1}_1)$ in a Borel group of $\operatorname{SO}_{2n}(\mathbb C)$. What are the matrices ...
  • 332
1 vote
1 answer
213 views

Can we have a nontrivial division of a irreducible root system as $\Phi=\Phi_{[\lambda]}\cup \Phi_{[\mu]}$?

Let $(\mathfrak{g},\mathfrak{h},\Phi)$ be a root system of a complex simple Lie algebra, where $\Phi$ is the set of all roots. For each $\alpha\in \Phi$, let $\alpha^{\vee}=2\alpha/(\alpha,\alpha)$ be ...
  • 8,253
2 votes
0 answers
148 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\...
  • 1,837
2 votes
1 answer
304 views

Diagonal automorphisms for twisted Chevalley groups

Let $G$ be a Chevalley group over a field $k$ of characteristic $0$. We know that a diagonal automorphism $\phi_h$ of $G$ is of the form $g\mapsto hgh^{-1}$, where $h\in \hat H$ and $\hat H$ ...
  • 41
2 votes
1 answer
118 views

Characterization of all $w$ in the Weyl group satisfying $w \geq w_l w_{l, \theta}$

Let $W$ be the Weyl group of a root system $\Phi$ with base $\Delta$ and system of positive roots $\Phi^+$. Let $S = \{ w_{\alpha} : \alpha \in \Delta \}$ be the set of simple reflections ...
  • 5,778
5 votes
1 answer
205 views

Bruhat order and positive roots made negative

Let $(\Phi, V)$ be a reduced root system with base $\Delta$ and Weyl group $W$. Let $\ell$ be the length function of $W$ with respect to the set of simple reflections $S = \{s_{\alpha} : \alpha \in \...
  • 5,778
2 votes
1 answer
140 views

Consequence of Lifting property of Bruhat ordering

I am reading the book: Anders Björner, Francesco Brenti --- Combinatorics of Coxeter Groups. I would like to know whether a variation of Corollary 2.2.8 is true. In other words, does the following ...
  • 1,837
3 votes
1 answer
242 views

Conjugacy classes of rational tori in Symplectic group

Rational conjugacy classes of Frobenius stable tori (in a finite group of Lie type) are in bijection with Frobenius-conjugacy classes of the corresponding Weyl group.When the group is the Symplectic ...
1 vote
0 answers
218 views

Bruhat cell of a Coxeter element

If $G$ is a complex Chevalley group and $H\leq G(\mathbb Z)$ dense in $G(\mathbb C)$, can I find $g\in H$ conjugated in $G(\mathbb Z)$ to an element in the Bruhat cell $BwB$ where $w$ represent a ...
  • 332
10 votes
0 answers
309 views

Fake degrees: why coinvariant algebra and classical groups over finite fields?

Apologies if this is not research level math (in that it concerns well-known stuff), but I am having trouble tracking down sources that explain the following. References would be very appreciated. ...
  • 19.8k
1 vote
0 answers
99 views

Nontrivial relations of the irreducible root systems

For the root system of the type $A_n$, the roots are $\alpha _{i,j}$, $1\le i\neq j\le n$, we have the nontrivial relations $(x_{i,j} (t), x_{j,k}(u)) = x_{i,k}(tu)$ if $i, j, k$ are distinct. ($x_{i,...
  • 332
2 votes
2 answers
170 views

Greatest element of ${}^IW$

Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra with Cartan subalgebra $\mathfrak{h}$. Let $W$ be the associated Weyl group and let $\Phi$ be its root system. We write $\Phi^+...
  • 1,837
2 votes
0 answers
184 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)$...
1 vote
0 answers
249 views

Characterizing the big Bruhat cell of the universal Chevalley groups over $\mathbb C$

Is there a simple characterization of the big Bruhat cell of the universal (simply-connected) Chevalley groups over $\mathbb C$? For example, it is known that the Borel subgroup of $\mathrm{SL}_n(\...
  • 332