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)

1
vote
1answer
28 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
27 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
86 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
72 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 ...
2
votes
0answers
47 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
32 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
16 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
46 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
24 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
13 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 ...
1
vote
0answers
20 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
27 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
12 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
25 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
23 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
69 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
24 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
81 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
85 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
34 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
31 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
31 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
89 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 ...
2
votes
1answer
31 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
22 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
87 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
43 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
44 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
127 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
32 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
99 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 ...
3
votes
0answers
133 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 ...
1
vote
1answer
45 views

Possible angles between roots in a root system

Given a Root System $\Phi$ let $\alpha,\beta \in \Phi$ with $\alpha \neq \pm \beta$ and $||\beta||\geq ||\alpha||$. Let $\theta$ be the angle between $\alpha$ and $\beta$. Since $<\alpha,\beta> ...
1
vote
1answer
89 views

Killing forms and Hermitian inner products

Let $K$ be a compact, connected, simply connected Lie group with Lie algebra $\mathfrak k$ and Killing from $B_{\mathfrak k}$. It is well known that $B_{\mathfrak k}$ is a negative definite symmetric ...
1
vote
1answer
67 views

How to show that set of diagonal matrices is the maximal toral subalgebra of sl(n)

sl(n) is the set of nxn matrices with trace=0. i know that sl(n) is a finite dimensional simple lie algebra and the maximal toral subalgebra of a finite dimensional semi simple lie algebra is abelian. ...
2
votes
0answers
69 views

Dominant Weight

I am reading a paper which begin by a reminder about root system associated to a simple lie algebra $\mathfrak g$. let $\mathfrak h\subset \mathfrak g$ a cartan subalgebra. Question 1: It says that ...
1
vote
0answers
30 views

Questions about the indivisible imaginary root in affine root system.

I am reading the paper. On page 5, $\delta$ is defined as the indivisible imaginary root in $\widehat{\Delta_+}$. $\Lambda_0 \in \widehat{\mathfrak{h}^*}$ is the unique element satisfying $\langle K, ...
2
votes
2answers
38 views

Positivity of a particular vector

How to prove that, for any $w$ $\in$ $W$ (Weyl group), $ \delta - w \delta $ is in positive part (non negative part) of the root lattice $\mathbb{Z}[\Delta]$ ? where $\Delta$ is a simple system in ...
2
votes
0answers
34 views

Root system of a simple lie algebra is irreducible

The proposition is from Humphreys. I don't understand how to prove the highlighted statements. How can I express a general element of K? I tried using Cartan decomposition of L but it doesn't work. ...
6
votes
1answer
76 views

Representing Petersen graph in root system $E_6$

It is well-known that Petersen graph is an strongly regular graph with parameters (10,3,0,1) and can be considered as complement graph of $L(K_5)$ and its spectrum is $\{3,1^5,(-2)^4\}$. Also, It is ...
1
vote
1answer
181 views

Why are root spaces of root decomposition of semisimple Lie algebra 1 dimensional?

I'm trying to understand root system of semisimple Lie algebra but having trouble following one of the step in the note which explain why each root spaces are 1-dimensional. According to the note, ...
2
votes
0answers
58 views

Relation between simple roots and fundamental weights.

Let $\alpha_1, \ldots, \alpha_n$ be simple roots of a semisimple complex Lie algebra. Let $\omega_1, \ldots, \omega_n$ be the fundamental weights. We have $$ \alpha_i = \sum_{s} k_s \omega_s, $$ for ...
1
vote
1answer
27 views

Standard set of Generators

A standard set of generators for a semisimple Lie algebra $ L $ is defined as: {${x_\alpha}, {y_\alpha}, {h_\alpha} $} Where: $ x_\alpha \in L_\alpha, $ $ y_\alpha \in L_{-\alpha}, $ $ ...
0
votes
1answer
34 views

Weyl Chambers of $ B_2$

How many Weyl Chambers/bases does $ B_2$ have? I thought it was 8, but if instead of for bases using obtuse root pairs you use orthogonal pairs, you get 8 different chambers intersect partially ...
0
votes
0answers
30 views

Codimension of $\ker $ $\alpha $

Can someone explain why the codimension of $\ker $ $\alpha $ is $1$ in $ H $, with complement $ Fh_\alpha $? Is this because $ h_\alpha $ when $ \alpha $ is simple is part of the dual basis to ...
1
vote
0answers
117 views

Dual spaces: Roots and Cartan subalgebra

Can someone show that the roots and the Cartan subalgebra are dual vector spaces? I don't see how simple roots acting on non-corresponding indices of a Cartan basis produce 0 and a simple root ...
1
vote
0answers
45 views

Do involutions suffice to find reflected vectors in a reflection group representation?

Consider a reflection group $W$ acting by isometries on a Euclidean space $V$. I want to understand the union of $(-1)$-eigenspaces for this action, the set $$\{v \in V : \exists w \in W\ (w\cdot v = ...
2
votes
2answers
93 views

Closure of a Fundamental Weyl Chamber

Can someone explain what a "closure" of a Fundamental Weyl Chamber means? I assume it is related to an algebraic closure, but I don't see how. In addition, how does the Weyl group act on it and why ...
1
vote
1answer
176 views

killing form and the dot product

When going from talking about roots as functionals to talking about roots as vectors in a Euclidian space (root system), does the killing form become the dot product? Are the killing form and dot ...
0
votes
1answer
55 views

Killing form and Roots

I know that the roots of a Lie Algebra are functionals such that if $\alpha$ is a root and $h \in \mathfrak h$ is an element of the Cartan subalgebra, then $\alpha(h)$ is an eigenvalue. I'm looking ...