For questions involving abstract root systems, their associated Weyl groups and Dynkin diagrams, as well as their applications to Lie theory, graph theory, or other related fields.

learn more… | top users | synonyms (1)

2
votes
0answers
49 views

Is the assignment of a root system to a semisimple Lie algebra functorial?

As described here, we have a category of root systems, where a morphism from a root system $\Phi$ in a Euclidean space $E$ to a root system $\Phi'$ in $E'$ is given by a linear map $f: E \to E'$ such ...
0
votes
0answers
8 views

Perfect pairing co-weight lattice and root lattice

Let $\Phi$ be a root system and let $\Lambda_R$ and $\Lambda_W$ denote root lattice and weight lattice. I know that there is a perfect pairing $\Lambda_W \times \Lambda_R^\vee \to \mathbb{Z}$, where $\...
1
vote
0answers
59 views

The root datum of a connected algebraic group, a few questions

$T$ is a maximal torus of $G$, and $P$ is the set of characters $\beta$ of $T$ for which the weight space $$\mathfrak g_{\beta} = \{ X \in \mathfrak g : \textrm{Ad } t(X) = \beta(t)X, \textrm{ for all ...
1
vote
0answers
26 views

Why is $(\textrm{Ker } \beta)^0 = (\textrm{Ker } \alpha)^0$

Let $G$ be a connected linear algebraic group, $\beta$ a root of a maximal torus $T$ of $G$, $S = (\textrm{Ker } \beta)^0$, and assume that $Z_G(S)$ is not solvable. Then $T$ is a maximal torus of $...
2
votes
1answer
17 views

Why is $s_{\alpha}^{\wedge}(\lambda) = -\lambda$?

Let $G$ be a connected, reductive linear algebraic group with semisimple rank one. Let $H = (G,G)$, $T_1$ a maximal torus of $H$, and $T$ a maximal torus of $G$ containing $T_1$. Let $\lambda: k^{\...
1
vote
1answer
25 views

What is the root system and the Weyl group of the group spin$(2n)$?

Reading on root systems and Weyl groups, unfortunately I am highly confused when it comes to the spin-groups (the two-fold universal cover of SO$(2n, \mathbb{C})$, realizable as a quotiënt in a ...
0
votes
0answers
20 views

Is a reductive subalgebra of a semisimplie Lie algebra semisimple?

I have the following doubt. Say that $\mathfrak g$ is a semisimple Lie algebra, $\mathfrak k$ a reductive subalgebra, and suppose further that any Cartan subalgebra in $\mathfrak k$ is a Cartan ...
0
votes
0answers
26 views

Basis of weight lattice in terms of root lattice

Let $\Lambda_R = \bigoplus_{i \in I} \mathbb{Z} \cdot \alpha_i$ be the root lattice of a root system $\Phi$ with simple roots $\alpha_i$ and let $\Lambda_W$ denote the corresponding weight lattice. ...
2
votes
0answers
60 views

Involutions and Representation of Lie Algebras

In what follows I'm going to use $V_{\theta_s}$ for the little adjoint representation af a Lie algebra i.e. the representation associated with the highest short rooth $\theta_s$. Is easy to see that ...
0
votes
0answers
13 views

Determining the roots corresponding to the Cartan matrix of a graph

Let $G$ be a graph with no loops or multiple edges, with nodes labelled $1, \dots, n$. Define the Cartan matrix $C$ of $G$ to be the $n \times n$ matrix with $$ C_{ij} = \begin{cases} 2 & \mbox{...
0
votes
0answers
15 views

$\mathfrak{sl}_2$ has the root lattice of type $A_1$.

Let $L$ be a Lie algebra over $\mathbb{Z}$ constructed from a root lattice $R$. It is well-known that if $R=A_1$, then $L \cong \mathfrak{sl}_2$ and this is widely used example in many books on Lie ...
3
votes
1answer
69 views

Prove that the sum of all simple roots is a root

Let $\Delta$ be an indecomposable root system in a real inner product space $E$, and suppose that $\Phi$ is a simple system of roots in $\Delta$, with respect to an ordering of $E$. If $\Phi = \{\...
0
votes
0answers
6 views

How does the Weyl group act on the root system of type $B_n$?

Suppose $\{e_1,\dots,e_n\}$ are the standard unit vectors in $\mathbb{R}^n$. Then the root system of type $B_n$ consists of $\pm e_i$, and $\pm(e_i\pm e_j)$ for $i\neq j$. I know the Weyl group $W$ ...
0
votes
0answers
31 views

Definition of coroots

I'm having a bit of trouble with the definition of coroots. From textbooks, we know that given a root system $\Phi$ with $\alpha \in \Phi$, there exists a coroot system $\Phi^{\vee}$ with $\alpha^{\...
0
votes
0answers
41 views

Root systems and the possible angles between roots.

On page 4 of these notes by John Dusel (http://math.ucr.edu/~jmd/Root_Systems.pdf) it reminds us that if we have a symmetric positive bilinear form (pageg 2) we can define an angle between vectors $\...
5
votes
1answer
73 views

Equivalent definitions of a root system.

For studying root systems many authors start from a vector space $V$ over $\mathbb{R}$ with a positive definite scalar product $(\cdot,\cdot)$, in which a reflection $\sigma_\alpha$ is a linear ...
0
votes
0answers
19 views

Springer's proof existence of system of positive roots w.r.t. a Borel subgroup

Let $G$ be an algebraic group, $T$ a maximal torus and $B$ a Borel subgroup containing $T$. For every root $\alpha$ define $$G_\alpha:=C_G(\ker\alpha^0)$$ and $H_\alpha:=G_\alpha/R_u(G_\alpha)$. The ...
1
vote
1answer
19 views

Selfnormalizing sub-algebra and direct sum decomposition

I got the following setting: Consider the decomposition $L=H+\sum_{\alpha\in \phi}L_{\alpha}$, where the sum is a direct sum, the $L_{\alpha}$ are the root spaces and $H$ is nilpotent (because its ...
1
vote
1answer
38 views

Connection between quivers and representations of Lie algebras

Can anyone recommend a reference to study the connection between quiver theory and representation theory of Lie algebras? Supposedly those two things have something to do with each other, with the ...
0
votes
0answers
32 views

How to prove that a certain type of isogeny of a reductive group is a Frobenius for some $\mathbb{F}_q$-structure

It is well known that a connected reductive linear algebraic group $G$ over $\mathbb{F} = \overline{\mathbb{F}_p}$ can be classified via its root datum $\Psi(G,T) = (X(T),\Phi, Y(T), \Phi^\vee)$. ...
3
votes
1answer
90 views

$\alpha$ is a root $\implies -\alpha$ is a root

Let $\mathfrak{h}$ be a Cartan subalgebra of Lie algebra $\mathfrak{g}$. I want to prove: $\alpha\in \mathfrak{h}^*$ be a root of $\frak g$, $\implies$ so is $-\alpha$. Let $\mathfrak{h}$ ...
2
votes
1answer
78 views

Action of $\text{Gal}(\overline{\mathbb{F}_q}/\mathbb{F}_q)$ on $X(T)$ permutes root system

I got these questions while reading Chapter 3 of "Representations of Finite Groups of Lie Type" by Digne-Michel. Let $T$ be a torus defined over $\mathbb{F}_q$. Then $\text{Gal}(\overline{\mathbb{F}...
2
votes
0answers
54 views

Root system of an abelian lie subalgebra.

Let $L$ be a lie algebra and $H$ an abelian subalgebra of $L$ such that each element of $h \in H$ is diagonalizable under the adjoint representation. So there exists a basis of common eigenvectors for ...
0
votes
1answer
46 views

Two questions on roots of finite, simple, complex lie algebra

Why are there at most two root lengths for a finite, simple, complex lie algebra? I know it is from the constraint that the $2(\alpha,\beta)/(\alpha,\alpha)$ is integer, but what is the argument? ...
2
votes
1answer
19 views

If $w'(\beta)<0$ and $\ell(w)+\ell(w')=\ell(ww')$, then $ww'(\beta)<0$?

There's a small step in a computation with root systems that eludes me. Suppose $w,w'$ are elements of the Weyl group (which is a Coxeter group) such that $\ell(w)+\ell(w')=\ell(ww')$. Suppose you ...
1
vote
0answers
48 views

Sum of traces over Weyl group

I'm interested in computing sums like $\sum_{\sigma \in W} tr(\sigma ^3)$ , where $W$ is the Weyl group of $SO(2n+1)$, i.e. $W = (\mathbb{Z}/2\mathbb{Z})^n \rtimes S_n$. I tried to figure out what an ...
0
votes
0answers
31 views

A chain between two positive roots having same length

Let $\Phi$ be an irreducible root system and $\Phi^+$ a system of positive roots. Denote by $\Delta=\{\beta_1, \beta_2,\ldots, \beta_n\}$ the corresponding base. My question concerns Jyrki's answer ...
0
votes
1answer
22 views

Roots of a simple Lie algebra as elements of a Cartan subalgebra

Consider a Lie algebra $L$ over $\mathbb{C}$ and consider its Cartan decomposition: $$L = H \oplus L_1 \oplus ... \oplus L_k.$$ For each $1 \leqslant i \leqslant k$, take a non-zero element $e_i$ in a ...
2
votes
1answer
50 views

Definitions of length function on a Weyl group

Let $\Phi$ be an irreducible root system and $W$ the Weyl group of $\Phi$. Denote by $\Delta=\{\alpha_1, \alpha_2,\ldots,\alpha_l\}$ the corresponding base. Can anyone give me the standard definition ...
0
votes
1answer
32 views

Roots of height 1 are necessarily simple.

Suppose $\Phi$ is a root system, $\Pi \subset \Phi$ is a fundamental system (let $\Pi = \{r_1,...,r_l\}$). Now any root $r \in \Phi$ is a linear combination of the elements of $\Pi$ with all the ...
0
votes
0answers
19 views

Understanding Weights and Roots

I'm refering to this book called Semi-Simple lie algebras in Particle Phsics by Cahn for understanding weights and roots as given by our instructor. It has a definition of weights on Pg.33 which is ...
0
votes
1answer
28 views

Reflection transforms positive root into a positive root.

I am reading the book "Simple groups of Lie type" by R.Carter, and stuck with the following lemma: Let $r \in \Pi$. Then $w_r$ transforms $r$ into $-r$ but every other positive root into a positive ...
0
votes
0answers
29 views

What is a weight vectors weight really?

What does a weight vector with weight $(\lambda_1,\cdots,\lambda_n)$ actually mean? Let $V$ be a $gl(n)$-module and I have that $v\in V$ is a weight vector if it is an eigenvector for all elements of ...
1
vote
1answer
82 views

A subset of roots whose mutual angles agree with those of a simple system

I would appreciate help/hints solving the following exercise from Humphreys book "Reflection Groups and Coxeter Groups", page 11, exercise 1. Let $\Phi$ be a root system of rank $n$ of unit ...
1
vote
0answers
28 views

Root system for Lie algebras, Does $t_{\alpha+\beta}=t_\alpha+t_\beta$?

For a root system, where $\alpha,\beta \in \Delta$ and $\alpha+\beta\in \Delta$ Does $t_{\alpha+\beta}=t_\alpha+t_\beta$? Where $t_\alpha$ I know is denoted in different ways depending on author, ...
1
vote
2answers
95 views

Every positive system of roots contains a unique simple system.

The following question is in effort to understand a proof to a theorem appearing in "Reflection Groups and Coxeter Groups" by Humphreys on page 8. Let $\Phi$ be a root system in the euclidean space $...
4
votes
1answer
87 views

Find all possibles values. Looks Hard. Is it hard?

I need some help, (or advise) how I can solve this problem and in which category I need to put it. The problem state: Let m be a solution of the equation $ y^{2015}-15 y+ 14=0$. Find all possible ...
1
vote
1answer
39 views

How to calculate total number of roots in an A-type root system?

In particular, I am interested in $A_4$ root system. Considering simpler cases of $A_2$ and $A_3$ my guess would be $(n+1)^2-(n+1)$ (where n is rank of the root system), but I'm not certain if it's ...
2
votes
1answer
41 views

Lie algebra-like structure corresponding to noncrystallographic root systems

In the classification of Coxeter groups, or equivalently root systems: $$A_n, B_n/C_n, D_n, E_6, E_7, E_8, F_4, G_2, H_2, H_3, H_4, I_2(p)$$ with $p \geq 7$, the last four fail to generate any ...
0
votes
0answers
37 views

Affine Weyl group as Coxeter group

How do you write the affine Weyl group corresponding to type $A_n$ as a Coxeter group ? The generators are $s_0,s_1,\dots,s_n$ where $s_0$ corresponds to the highest root. What are all the relations ? ...
3
votes
0answers
96 views

Does there exist $\gamma \in \Phi^+$ such that $(\gamma,\alpha)$ and $(\gamma,\beta)$ are non-zero?

Let's denote by $\Phi^+$ a positive root system of an irreducible root system $\Phi$. I have a quick question that: for any distinct positive roots $\alpha, \beta$, does there exist $\gamma \in \Phi^+$...
2
votes
1answer
34 views

For a root system, why does $\beta\in\Delta_+\setminus\{\alpha_i\}$ imply $(\beta+\mathbb{Z}\alpha_i)\cap\Delta\subset\Delta_+$?

Let $\mathfrak{g}(A)$ be a Kac-Moody algebra for a matrix $A$, with root basis $\{\alpha_1,\dots,\alpha_n\}$. There is a remark on the bottom of page 6 of Kac's Infinite Dimensional Lie Algebras ...
1
vote
0answers
27 views

How can one assume that an isomorphism of root spaces $\Phi\to\Phi'$ comes from an isometry?

By definition, if $\Phi$ and $\Phi'$ are root systems of the Euclidean spaces $E$ and $E'$, respectively, then an isomorphism $\Phi\to\Phi'$ is one that is induced by an isomorphism $E\to E'$ which ...
1
vote
1answer
139 views

Coefficients of positive roots in term of simple roots

Let $\Phi$ be an irreducible root system and $\Phi^+$ be positive root system and $\Delta$ be base. For every positive root $\beta=\sum_{\alpha \in \Delta}m_\alpha\alpha$, the numbers $m_\alpha$ are ...
1
vote
1answer
50 views

Adding tori to semi-simple groups

Let $G$ be a complex, connected, semi-simple Lie group (throw in simply connected if you like) with Lie algebra $\mathfrak g$. Let $T \subseteq B$ be a maximal torus and choice of Borel, respectively. ...
3
votes
2answers
47 views

Write every element of a nilpotent Lie subgroup as product of exponentials of simple generators

I have a question about Lie groups. Let $G$ be a simply connected semi-simple complex Lie group and $\mathfrak{g}$ its Lie algebra. We consider a Cartan-Weyl basis of $\mathfrak{g}$, giving the usual ...
0
votes
1answer
139 views

Equivalent definitions of positive root system

I begin with a definition of positive root systems of a root system over Euclidean space. A subset $\Delta$ of root system $\Phi$ is called a simple root system (or base) in $\Phi$ if (1) $\Delta$ ...
3
votes
0answers
36 views

How to understand Weyl chambers? [duplicate]

Recall the definition of the Weyl Chambers: A Weyl Chamber is a region of $V \setminus \bigcup_{\alpha \in \Phi} H_{\alpha}$, where $V$ is underlying Euclidean space, and $H_\alpha$ the hyperplane ...
3
votes
1answer
173 views

Fundamental group of a Root System and determinant of the Cartan matrix

This is the first time I am posting, so I hope I didn´t get the formatting wrong. I am currently reading J. E. Humphreys "Introduction to Lie Algebras and Representation Theory" and got stuck at ...
4
votes
0answers
186 views

How to understand Weyl chambers?

Recall the definition of the Weyl Chambers: A Weyl Chamber is a region of $V \setminus \bigcup_{\alpha \in \Phi} H_{\alpha}$, where $V$ is underlying Euclidean space, and $H_\alpha$ the hyperplane ...