Skip to main content

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
194 views

Opposite convex order on the set of positive roots of a semisimple Lie algebra

Let $\mathfrak{g}$ be a semisimple Lie algebra of rank l and let $\Delta^+$ be its set of positive roots. Denote by $s_1,...,s_l$ the simple generators of its Weyl group and let $w_0$ be the longest ...
Ambrogio Brambilla's user avatar
3 votes
0 answers
140 views

Polynomial from degrees of Weyl group

Let $d_1, \dotsc d_n$ be the degrees (of fundamental invariants) of the Weyl group $W$ of a simple Lie group, (in the reflection representation; see table given on the Wikipedia page for their ...
Antoine de Saint Germain's user avatar
1 vote
0 answers
46 views

The difference between two description of affine Weyl groups

I have a question about the difference between two description of affine Weyl groups. Let me write two descriptions of affine Weyl groups: Let $\mathfrak{g}=\mathfrak{g}(A)$ be affine Lie algebras ...
fusheng's user avatar
  • 137
3 votes
1 answer
129 views

Questions about the quotient of extended Weyl group and the isomorphism of extended Weyl group

When I am reading a paper An Algebraic Characterization of the Affine Canonical Basis by Beck, Chari, and Pressley, and I have some questions about some notations. In the paper, we assume that $\...
fusheng's user avatar
  • 137
12 votes
3 answers
800 views

The orders of the exceptional Weyl groups

Who first calculated the orders of the Weyl groups $E_6$, $E_7$, $E_8$, $F_4$, and $G_2$? How were these orders calculated?
Zoltan Fleishman's user avatar
3 votes
1 answer
142 views

Relationships between the positive cone inside a root system and the dominant Weyl chamber

Let $G$ be a reductive group and fix a choice of positive roots inside the associated root system. My question is about the relationship between the cone spanned by $\mathbb{Z}_{\geq 0}$-linear ...
user536506's user avatar
4 votes
1 answer
85 views

Why does the Athansiadis-Linusson bijection encode floors?

The Athanasiadis-Linusson bijection is a correspondence between dominant regions of the $k$-Shi arrangement (in type A) and $k$-parking functions. I'll take $k=1$ here for convenience here. Let $V$ be ...
coolpapa's user avatar
  • 525
7 votes
1 answer
261 views

A name for the Weyl group of $\frak{so_{2n}}$

For the $A$-series the Weyl group is the symmetric group $S_n$. For the $B$ and $C$ series the Weyl group is the hyperoctahedral group $\mathbb Z_2 \wr S_n$. A) Does the $D$-series Weyl group $S_n \...
Zoltan Fleishman's user avatar
3 votes
0 answers
109 views

Does the Bruhat decomposition induces decomposition on integral points (on an open cell)?

Edit: both questions are resolved in comments. Let $F$ be a local field and $O$ its integral points. Let $G$ be a split reductive group over $O$. The Bruhat decomposition states that there is a ...
W. Zhan's user avatar
  • 448
4 votes
1 answer
114 views

Sum of two positive roots which is not a root: uniqueness of heights of the summands

Consider a (finite reduced irreducible crystallographic) root system $\Phi$ and four positive roots $\alpha,\beta,\gamma,\delta$ such that $\{\alpha,\beta\} \neq \{\gamma,\delta\}$ and $\alpha+\beta=\...
Andrei Smolensky's user avatar
3 votes
1 answer
107 views

Subgroups of a Weyl group fixing some vectors and its cohomology: MAGMA

I am trying to calculate the number of subgroups of the Weyl group $W(E_N)$ that fix certain vectors $L_i (i = 1,2,3)$ using Magma. However, the output of the following code (especially #nicesubs) ...
k.j.'s user avatar
  • 1,364
1 vote
0 answers
48 views

Length of the product of two elements of the subregular two-sided cell in the affine Weyl group of type A

The affine Weyl group of type $A_n$ can be described as follows. It is the group of all permutations $\sigma: \mathbb Z \to \mathbb Z$ such that $\sigma(i+n)=\sigma(i)+n$ and $\sum_{i=1}^n (\sigma(i)-...
Yellow Pig's user avatar
  • 2,974
2 votes
0 answers
94 views

Hexagon tiling and affine Weyl group $\widetilde{A}_2$

Let $H$ be a regular hexagonal room centered at the origin. Let $W$ be the group generated by reflections about the six sides of $H$. It's well known that $W$ is the affine Weyl group of type $\...
zemora's user avatar
  • 565
0 votes
0 answers
62 views

longest element in set $W_\gamma wW_\nu vW_\mu$

Let $(W,S)$ be a finite Coxeter group, $W_\gamma,W_\nu,W_\mu$ be three parabolic subgroups. For $w,v\in W$, let us consider the set $W_\gamma wW_\nu vW_\mu$. Does there exixt a unique longest element (...
fool rabbit's user avatar
6 votes
3 answers
435 views

What is known about finite dimensional modules over the nilCoxeter algebra?

Recall that the nilCoxeter algebra $\mathcal{N}_W$ for a Coxeter group $W$ is given by the $\mathbf{k}$-basis $x_w$ for each $w\in W$ and multiplication $x_ux_v=x_{uv}$ if $\ell(uv)=\ell(u)+\ell(v)$ ...
Christoph Mark's user avatar
8 votes
0 answers
228 views

Chevalley-Solomon formula and Weyl character formula

Let $\Phi\subset V$ be a root system of rank $r$ with Weyl group $W$, a choice of positive roots $\Phi_+$ and exponents $d_1, \ldots, d_r$ (i.e. the invariant algebra $(\operatorname{Sym}^\bullet V)^W$...
Antoine Labelle's user avatar
1 vote
0 answers
72 views

Root systems of Weyl groupoids

I am working with the notion of Weyl Groupoids as introduced in "A generalization of Coxeter groups, root systems, and Matsumoto’s theorem" by Heckenberger and Yamane. The authors generalize ...
Tim's user avatar
  • 11
1 vote
0 answers
36 views

When is an affine left cell finite?

Consider an affine Weyl group $\hat W$ of a simple Lie type. Let $w \in \hat W$ and let $C^L(w)$ denote the left cell in $\hat W$ containing $w$. Is there a good criterion to test whether $C^L(w)$ has ...
Qixian Zhao's user avatar
1 vote
0 answers
113 views

A combinatoric identity for characters of reductive groups

Let $G$ be a reductive group over an algebraic closed field (of char 0 if necessary). Let $T\subset G$ be a maximal torus and $S=\mathrm{Sym}^*(X(T))$ be the symmetric algebra of characters of $T$. ...
Fyy's user avatar
  • 11
5 votes
1 answer
212 views

What is the effect of tensoring with the sign representation on irreducible modules for a Type D Weyl group?

Given an integer $n \geq 4$, consider the Weyl groups $W(B_n)$ and $W(D_n)$ of types $B_n$ and $D_n$, respectively, and consider their representation theory over the field of complex numbers. The Weyl ...
Christopher Drupieski's user avatar
2 votes
1 answer
145 views

When are these irreducible complex representations for the Type D Weyl group self-dual?

Given an integer $n \geq 4$, consider the Weyl groups $W(B_n)$ and $W(D_n)$ of types $B_n$ and $D_n$, respectively, and consider their representation theory over the field of complex numbers. The Weyl ...
Christopher Drupieski's user avatar
3 votes
1 answer
188 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
  • 495
2 votes
1 answer
270 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
167 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
65 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
  • 153
4 votes
1 answer
146 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
  • 153
4 votes
0 answers
277 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
355 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
105 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
88 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
  • 153
7 votes
0 answers
697 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
  • 5,215
0 votes
1 answer
194 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
123 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
114 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,077
8 votes
2 answers
282 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
72 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,759
2 votes
0 answers
50 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
  • 5,215
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
354 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
337 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
415 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
334 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
196 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
  • 481
2 votes
1 answer
201 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
213 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
213 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
98 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
87 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,211
3 votes
1 answer
69 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
  • 984
1 vote
0 answers
236 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