# Questions tagged [weyl-group]

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

117
questions

**3**

votes

**0**answers

139 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 ...

**8**

votes

**0**answers

254 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 ...

**3**

votes

**1**answer

128 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

**0**answers

189 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 ...

**2**

votes

**0**answers

64 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_{\...

**9**

votes

**2**answers

275 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

103 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 ...

**6**

votes

**1**answer

133 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\...

**5**

votes

**0**answers

80 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,-...

**4**

votes

**0**answers

110 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

36 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 ...

**3**

votes

**0**answers

56 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

105 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

265 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

206 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 ...

**0**

votes

**1**answer

166 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 ...

**4**

votes

**0**answers

126 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^{\...

**4**

votes

**1**answer

139 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 ...

**2**

votes

**1**answer

162 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 ...

**1**

vote

**1**answer

198 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 ...

**2**

votes

**0**answers

145 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\...

**2**

votes

**1**answer

224 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$ ...

**2**

votes

**1**answer

91 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 ...

**4**

votes

**1**answer

127 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 \...

**2**

votes

**1**answer

83 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 ...

**3**

votes

**1**answer

207 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

170 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 ...

**10**

votes

**0**answers

253 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.
...

**1**

vote

**0**answers

89 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,...

**2**

votes

**2**answers

160 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^+...

**2**

votes

**0**answers

164 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

167 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(\...

**5**

votes

**0**answers

135 views

### Weyl Group Action on Littelmann Paths

In his paper "Paths and Root Operators in Representation Theory," Littelmann gives an action of the Weyl group on the set of integral paths via
$$
\tilde{s}_\alpha(\pi):= \begin{cases} f^n_\alpha(\pi)...

**2**

votes

**0**answers

44 views

### Denominator identity for Lie superalgebras

Let $\mathfrak g$ be a basic classic simple Lie superalgebra.
Fix a maximal isotropic subset $S \subset \Delta$ and choose a set of simple roots $\Pi$ containing $S$. Let $R$ be the Weyl ...

**3**

votes

**1**answer

86 views

### Distance between Verma modules in certain “strongly” standard filtrations

On p. 128 of the book: Representations of Semisimple Lie Algebras in the BGG Category $\mathcal{O}$.
I quote: "......Delorme arrives at
vanishing criteria for Ext$^n(\mathcal{O})$ which are more ...

**2**

votes

**1**answer

162 views

### On a criterion for rational-smoothness of Schubert varieties and an ambiguity of the taking the ambient Algebraic group to be simply connected or not

In the paper: Pattern Avoidance and Rational Smoothness of
Schubert Varieties, Sara C. Billey, Advances in Mathematics 139, 141-156(1998), https://www.sciencedirect.com/science/article/pii/...

**0**

votes

**1**answer

207 views

### Weyl Group Element $w$ fixing a root, and its presentation as product of simple reflections $w=s_1\dots s_n$

Let $\Phi$ be a root system and $\gamma \in \Phi$ a root. Let $W$ be the Weyl group and $\Delta$ a set of simple roots. Let $w \in W$ such that $w(\gamma)=\gamma$. Is it true that if $w=s_1\dots s_n$ ...

**4**

votes

**0**answers

80 views

### Weyl theorem - possible corollary - alternative characterization of projective representation of $Z_N\times Z_N$

For an integer $N$, let $\omega=e^{2i\pi/N}$ and $A$, $B$ be the clock and shift operators:
$A=\left(\begin{matrix}
1 & 0 & \cdots & 0 \\
0 & \omega & \cdots & 0 \\
\vdots &...

**4**

votes

**1**answer

212 views

### Coxeter groups generated by one finite conjugacy class

Let $(W,S)$ be an arbitrary Coxeter system. We consider the following scenario:
Let $\mathcal{O}$ be a conjugacy class of an element $w$ in $W$ which is finite and which generates the whole group $W$....

**6**

votes

**0**answers

184 views

### Two seemingly different definitions of a left cell

This is a question about two seemingly different notions of a left cell in a finite Weyl group and why they are the same. My question arose from reading a paper of W. McGovern titled "Left cells and ...

**5**

votes

**0**answers

207 views

### Can the Weyl orbits of fundamental weights tell us the Cartan matrix?

Let $\mathfrak{g}$ be a complex semisimple Lie algebra, $\Delta$ its root system contained in $\mathfrak{t}^{\vee}$ for a Cartan sub-algebra $\mathfrak{t}$ of $\mathfrak{g}$. Let $W$ be its Weyl group....

**0**

votes

**0**answers

82 views

### Associated subgroup of Weyl group

Let $\Phi$ be a root system.
For a weight $\lambda\in\mathfrak{h}^*$,
start by defining
$
\Phi_{[\lambda]}:=\{\alpha\in \Phi \ | \ \langle \lambda,\alpha^{\lor}\rangle\in\mathbb{Z} \}
$
and
$
W_{[\...

**0**

votes

**0**answers

97 views

### Coxeter group action on the product of root systems

Let W be a finite Coxeter group and $\Phi^+$ the set of its positive roots. The Coxeter group acts on $\Phi^+$ by $(w, \alpha) \mapsto w \cdot \alpha$ if $w \cdot \alpha \in \Phi^+$ and $(w, \alpha) \...

**2**

votes

**0**answers

64 views

### odd positive roots of basic classical Lie superalgebras

In the Lie algebra case, positive roots are "almost ($S_{\alpha}$ permutes $\Delta^+ -\{\alpha\}$)" invariant under simple reflections. A similar statement I want to understand for Lie superalgebras.
...

**3**

votes

**0**answers

71 views

### Comparison of length functions on Weyl groups

Let $G$ be a connected reductive group over an algebraically closed field $k$ (with nice enough characteristic), and let $\sigma:G\to G$ be a finite order automorphism of $G$. The connected component $...

**0**

votes

**1**answer

249 views

### About generator of minimal length coset representatives

Let $(W, S)$ be a Coxeter system. Let $J \subseteq S$ and recall that $W_J = \langle s: s \in J\rangle \subseteq W$.
Define $W^J = \{w \in W : \ell(ws) > \ell(w)\ \text{for all } s \in J\}$.
...

**1**

vote

**0**answers

88 views

### Weyl Group action on the complement of the Tits Cone in a Kac-Moody algebra

Given a Kac-Moody algebra $\mathfrak h$ and its Weyl group $W$, the action of $W$ on the Tits cone $X$ is well understood. Decompose $\mathfrak h$ into $X\cup -X\cup L$. Then the action of $W$ on $-...

**0**

votes

**0**answers

45 views

### About weight of $M\in\mathcal{O}_{\chi_\lambda}$ in the Category $\mathcal{O}$

Given $M\in\mathcal{O}_{\chi_\lambda}$, how does the weights of $M$ relate to $\lambda$? Is it something about $W\cdot\lambda$?

**3**

votes

**2**answers

344 views

### About block of category $\mathcal{O}$

In the book "Representation of Semisimple Lie Algebra in the BGG Category $\mathcal{O}$".
Exercise 1.13. Suppose $\lambda\not\in\Lambda$, so the linkage class $W\cdot\lambda$ is the disjoint union of ...

**3**

votes

**0**answers

96 views

### Relationship bewteen Kazhdan-Lusztig Vogan polynomial and Kazhdan-Lusztig polynomial

Let $W^I=\{w\in W: w^{-1}\Phi_I^+\subseteq \Phi^+\}$, $W_I$ be the Weyl group generated by $I$ and $w_I$ be the longest element in $W_I$
Let $M(\lambda)$ be the Verma module with highest weight $\...