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
3 votes
1 answer
116 views

Elements of length 0 in extended affine Weyl group for GL(n)

As part of my research, I would like to understand the possible pairs of $(v,\sigma)\in \mathbb Z^n\times S_n$ satisfying the following condition: For $1\le i < j \le n$, we have $\sigma(i) < \...
Andrea B.'s user avatar
  • 315
2 votes
1 answer
170 views

Stabilizer of a Levi subgroup in the Weyl group and its quotient

(I appologize in advance if this question is too naive for experts, since I know very little about the geometry/combinatorics of Weyl/Coxeter groups.) For simplicity, let $G$ be a connected reductive ...
youknowwho's user avatar
0 votes
0 answers
125 views

Weyl groups are Coxeter groups proof

I'm reading part of a proof that says that Weyl groups of apartments of buildings are Coxeter groups. Let $\Delta$ be a building and let $\Sigma$ be a fixed apartment of $\Delta$. Let $C$ be a fixed ...
Anonmath101's user avatar
1 vote
0 answers
55 views

Minimal subrepresentation of the Weyl group

Background I want to generalize Theorem 3.2.1 in Dat, J., Orlik, S., & Rapoport, M. (2010). Period Domains over Finite and p-adic Fields (Cambridge Tracts in Mathematics). Cambridge: Cambridge ...
EJB's user avatar
  • 133
3 votes
1 answer
94 views

Cohomology of Deligne-Lusztig variety associated to Coxeter element

Determining the individual ($l$-adic) cohomology groups of Deligne-Lusztig varieties has only been done for the general linear group and for some other very specific cases (as far as I know). However, ...
EJB's user avatar
  • 133
4 votes
0 answers
192 views

Representations of $\mathrm{sl}(3,\mathbb{C})$ and Catalan-like paths

Background on representations of $\mathrm{sl}(3,\mathbb{C})$ In Chapter 6 of Brian C. Hall's book "Lie Groups, Lie Algebras, and Representations", he constructs the irreducible ...
Samuel Johnston's user avatar
3 votes
2 answers
152 views

Describing characters of a reductive group in terms of characters of a maximal torus

Say I have a reductive complex algebraic group $G$ with maximal torus $T$ and associated Weyl group $W$. I would like to be able to say that the characters of $G$ are in bijection with the $W$-...
Henry Talbott's user avatar
1 vote
0 answers
104 views

Weyl group action on the Lie algebra [duplicate]

Let $W$ be the Weyl group of a complex semisimple Lie algebra $\frak{g}$. Certainly $W$ acts on the root system $R$ of $\frak{g}$ but can it be made to act on $\frak{g}$ or on the universal enveloping ...
Lorenzo Del Vecchiopontopolos's user avatar
1 vote
0 answers
45 views

Relative position of flags for the general linear group

This question is related my question in An example of a Deligne–Lusztig variety for a general linear group, and the obtained answer. Situation I am working with the general linear group. Specifically, ...
EJB's user avatar
  • 133
7 votes
0 answers
658 views

Is this construction related to the geometric Langlands program perhaps?

Given a complex Lie algebra $\mathfrak{g}$, a choice of Cartan subalgebra $\mathfrak{h}$ of $\mathfrak{g}$ and a dominant integral weight $\lambda$ of $\mathfrak{g}$, there is a natural construction ...
Malkoun's user avatar
  • 4,759
0 votes
1 answer
133 views

Sum of weights of an irreducible representation of $U(N)$

Let $R$ be a finite-dimensional irreducible representation of $U(N)$, with the set of weights $W_R$. Each element of $W_R$ is a vector of length $N$ with integer entries. Firstly, I would like to know ...
Blind Miner's user avatar
2 votes
0 answers
106 views

Do Weyl groups generate the exceptional Lie groups as sequences of reflexions in the Weyl chambers?

Platonic groups of symmetry are Weyl groups for the exceptional Lie algebra E6->E8, as root systems. These can be viewed as mirrors in a kaleidoscope (Goodman). I would like to know if one can ...
Lucian Ionescu's user avatar
2 votes
1 answer
82 views

Real roots along root strings

Let $A$ be a Cartan matrix, i.e. a $n\times n$ matrix with integer entries such that $A_{ii}=2$ and $A_{ij}\leq0$ for $i\neq j$. Then the corresponding Kac-Moody Lie algebra has a Cartan subalgebra $\...
freeRmodule's user avatar
  • 1,005
8 votes
2 answers
254 views

One element commutation classes of reduced decompositions of the longest element of the Weyl group

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 ...
Didier de Montblazon's user avatar
1 vote
0 answers
67 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&...
Monty's user avatar
  • 1,739
2 votes
0 answers
47 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}$, ...
Malkoun's user avatar
  • 4,759
1 vote
0 answers
76 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{...
user488802's user avatar
2 votes
2 answers
220 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 ...
F.H.A's user avatar
  • 201
5 votes
1 answer
300 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}}$ ...
Tommaso Scognamiglio's user avatar
2 votes
1 answer
301 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$ ...
fool rabbit's user avatar
7 votes
1 answer
326 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 ...
user488802's user avatar
6 votes
0 answers
159 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:\...
H U's user avatar
  • 471
2 votes
1 answer
159 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?
IntegrableSystemsEnthusiast's user avatar
4 votes
0 answers
170 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 ...
fool rabbit's user avatar
2 votes
0 answers
158 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$?
Boris Henriques's user avatar
3 votes
0 answers
85 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, ...
Fuutorider's user avatar
0 votes
0 answers
82 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 ...
Jianrong Li's user avatar
  • 6,021
3 votes
1 answer
65 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$ ...
Jef's user avatar
  • 1,179
1 vote
0 answers
223 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 ...
Stefan  Dawydiak's user avatar
3 votes
1 answer
369 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 ...
Joshua Ruiter's user avatar
11 votes
0 answers
454 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{...
Owen Colman's user avatar
4 votes
0 answers
182 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 ...
Malkoun's user avatar
  • 4,759
8 votes
0 answers
280 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 ...
Sam Hopkins's user avatar
  • 21.5k
3 votes
1 answer
231 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 ...
Cheng-Chiang Tsai's user avatar
9 votes
1 answer
288 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 ...
Sam Hopkins's user avatar
  • 21.5k
2 votes
0 answers
72 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_{\...
Christoph Mark's user avatar
9 votes
2 answers
550 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, ...
Bas Winkelman's user avatar
1 vote
0 answers
121 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 ...
Christoph Mark's user avatar
6 votes
1 answer
192 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\...
Hans's user avatar
  • 2,843
5 votes
0 answers
107 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,-...
Malkoun's user avatar
  • 4,759
4 votes
0 answers
178 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 $...
Stefan  Dawydiak's user avatar
2 votes
0 answers
44 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 ...
Chris Bowman's user avatar
  • 1,191
3 votes
0 answers
109 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 ...
Mikhail B's user avatar
1 vote
0 answers
112 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{...
user2345678's user avatar
7 votes
1 answer
360 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(\...
Nicolas Hemelsoet's user avatar
4 votes
0 answers
223 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 ...
Ami's user avatar
  • 71
0 votes
1 answer
189 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 ...
Zhaoting Wei's user avatar
  • 8,627
4 votes
0 answers
150 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^{\...
Zhaoting Wei's user avatar
  • 8,627
4 votes
1 answer
173 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 ...
Zhaoting Wei's user avatar
  • 8,627
2 votes
1 answer
274 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 ...
Ami's user avatar
  • 332