The root-systems tag has no wiki summary.
1
vote
0answers
165 views
quantization for integral coadjoint orbits
I am looking for a referrence for proof of following statement.
Let $G$ be a semi-simple Lie group and $\mathfrak{g}$ be its Lie algebra and $\alpha_k$ be simple roots of $\mathfrak{g}$ and $\mu_0$ ...
4
votes
2answers
171 views
Even unimodular lattices with root system $32 A_1$
I'm studying Venkov's proof of the classification of even unimodular rank 24 lattices, and it prompted the following question.
For an even unimodular lattice $L$, let $R(L)= \{ x \in L : (x,x) =2\}$ ...
4
votes
1answer
196 views
The existence of a finite dimensional Lie algebra with a given symmetric invariant metric
The question is motivated by a more broad perspective in another MO post and here, but here we would like to understand a specific case (our question potentially connects to / is motivated b Quantum ...
4
votes
1answer
165 views
Finite dimensional Lie algebra with non-degenerate invariant bilinear forms $\Omega_{ab}$
Firstly, my apology to MO experts that I am in a more science/physics background (a PhD). So please feel free refine/modify/comment my language if I have different math accents than yours. From ...
3
votes
2answers
286 views
Complete classification of six dimensional non-semi simple Lie algebra
I would aim to know the complete classification of 6 dimensional non-semi simple Lie algebra (here the dimension stands for the generators; or the dimension $\leq 6$).
In this paper, in page 7, it ...
3
votes
2answers
144 views
How to find faces of polytope defined by a Weyl orbit
A few days ago I asked the following question at MSE and received no answer. I thought I would try here.
Let $\xi$ be an integral dominant weight of an irreducible root system $\Delta$, and let ...
2
votes
1answer
142 views
Which subgroups of a finite reflection group have distingushed coset representatives?
Let $W$ be a finite reflection group with length function $l$ and let $I$ be a set of simple reflections that generate $W$. Let $\phi$ be an automorphism of $W$ permuting $I$. Consider the orbits of ...
7
votes
1answer
83 views
Quantum Cartan matrices and Coxeter elements
Let $\Gamma$ be a bipartite graph, with the vertices partitioned into disjoint sets $\Pi_1$ and $\Pi_2$. Let $W$ be the associated Weyl group, with Coxeter generators $\{s_i\}_{i\in \Gamma}$. Let ...
3
votes
1answer
190 views
Root system automorphisms as inner automorphisms of extended Chevalley group
For each automorphism $\sigma$ of a root system $\Phi$ there is a unique automorphism of the Chevalley group $G(\Phi,R)$ such that $\sigma(x_\alpha(t))=x_{\sigma\alpha}(t')$. While conjugating by ...
2
votes
0answers
62 views
Weyl group invariants of the representation ring of a split torus
Let $G$ be a semisimple split algebraic group, $T$ its split maximal torus and $W$ corresponding Weyl group. Let $T^*$ denote the character lattice of $T$ and $\Lambda$ denote the weight lattice, so ...
0
votes
0answers
48 views
simple root systems related by an orthogonal mapping
Is it true that if you have a set of n roots from a root system of rank n, having the property that all pairwise angles between them are equal to the angles between roots in a simple system, then your ...
5
votes
1answer
128 views
A subgroup of the Weyl group
Let $D$ be a connected Dynkin diagram with an automorphism $\nu$ of order 2.
Let $Q=Q(D)$ denote the root lattice of $D$.
Let $W=W(D)$ denote the Weyl group, it acts effectively on $Q$ and it is ...
4
votes
1answer
111 views
One-parameter subgroups of symplectic group associated to roots
I'm having trouble sorting out some basic definitions concerning Chevalley groups. The groups I'm interested in are the simply connected groups of type $C_n$, so the groups $\text{Sp}_{2n}$. The ...
9
votes
2answers
271 views
Extension of the Weyl dimension formula
Let $G$ be a compact semisimple group and let $\Gamma$ be a finite subgroup of $G$. I am interested, for $(\pi,V)\in \widehat G$ (irred rep of $G$), in a formula for $\mathrm{dim} V^\Gamma$, the ...
5
votes
0answers
108 views
Non-crystallographic cluster algebras
Background
Fomin and Zelevinsky have introduced cluster algebras in an influential article. To define a cluster algebra, Fomin and Zelevinsky have defined a mutation of seeds. Here, a seed ...
2
votes
1answer
141 views
Name for a class of parabolic subgroups
This is a reference request for a (the) name of the following class of parabolic subgroups of a complex simple Lie group $G$:
Recall that parabolic subgroups of $G$, containing fixed Borel subgroup, ...
2
votes
0answers
107 views
simple roots of a reflection subgroup
Consider a Hermitian symmetric pair of complex Lie algebras $(\mathfrak{g},\mathfrak{k})$ and split the set of roots into compact roots (i.e. roots of $\mathfrak{k}$) and noncomapt roots $\Delta = ...
2
votes
1answer
86 views
Compute roots of sum_i c_i/(a_i + b_i x)^p
How to compute the (real) roots of
$$\sum_{i=1}^n \frac{c_i}{(a_i + b_i \cdot x)^p}$$
for given reals $a_i, b_i, c_i$, and positive integers $n, p$? The cases $p=1, ..., 5$ and $n=6, ..., 20$ would ...
4
votes
3answers
255 views
lines through A_n reflection arrangement and permutations
(updated; apologies for way too much room left for interpretation in the original post)
Let $\mathcal{A} =A_{n-1}$ be the $A_{n-1}$ arrangement in $\mathbb{R}^{n}$, i.e. the set of hyperplanes ...
1
vote
0answers
150 views
Involution of $E_{8}$ lattice
Let $L$ be a lattice associate to the Dykin matrix of type $E_{8}$. I would like to understand involutions of $L$ and their invariant $L^{+}$ and coinvariant lattice $L^-$ (I think they are ...
3
votes
1answer
624 views
A possible mistake in Kac's “Infinite Dimensional Lie Algebras”
I have a paperback 3rd edition and on page 65 you can find Proposition 5.8. My question is about part (c):
If $A$ is of indefinite type, then
$$ \overline{X} = \{ h \in \{ \frak h_{\mathbb{R}} ...
9
votes
3answers
663 views
Kostant partition function: asymptotics and specifics
Let $\Phi$ denote a root system and let $\mathfrak P$ denote the associated Kostant partition function. Thus $\mathfrak P(\lambda)$ is the number of ways of writing $\lambda$ as a sum of elements of ...
1
vote
2answers
116 views
Non-Uniform Root of Polynomial in Open Cube
I'm looking to find a root $(x_1,\dots,x_n)$ of a polynomial $p \in {\mathbb R}[x_1,\dots,x_n]$ such that $0 \leq x_i < 1$ for all $i$. Further, I know in advance that setting $x_1 = \cdots = x_n$ ...
1
vote
0answers
101 views
Reference request: a verification of a nonstandard subgroup being a Tits subgroup.
I have a particular infinite-index subgroup $H$ of the genus 2 symplectic group $Sp(2, \mathbb{R})$. This subgroup is self-normalizing (ie. $gHg^{-1}=H$ only if $g\in H$). I am looking to determine ...
2
votes
0answers
156 views
Conjugation of faces in root systems / of parabolic subgroups having same Levi in split reductive groups
If $(V,\Phi)$ is a root system of rank $n$, one knows that its Weyl group $W$ acts simply and transitively on Weyl chambers. But in general, if $d\lt n$, the action of $W$ on faces of dimension $d$ is ...
1
vote
0answers
232 views
analogues of power sum polynomials for symmetric Laurent polynomials
To deal with root systems of type B C D, one needs to understand symmetric Laurent polynomials $\Lambda$. I am wondering if the naive definition of power sum symmetric Laurent polynomials form a basis ...
4
votes
1answer
229 views
schur weyl duality for real orthogonal groups and relation to hyperoctahedral groups
I am wondering whether the Lie groups $SO(n)$ and the hyperoctahedral groups $H_n$ form some sort of duality. I am mainly interested in how to parametrize the conjugacy classes of $H_n$ in terms of ...
5
votes
1answer
290 views
Can one easily pick out a basis of a simple Lie algebra after picking a convex order?
One of the basic results of Lie theory is that if one picks a Cartan subalgebra of a simple Lie algebra, there there is a canonical decomposition of $\mathfrak{g}$ into the Cartan and a bunch of ...
3
votes
3answers
543 views
Does -I belong to Weyl group?
Let $\Phi$ be an irreducible root system, with positive roots $\Phi^+$ relative to the base $\Delta$.
If $W$ is the Weyl group, how can I determine if $-I$ belongs to $W$? Equivalently how can I see ...
2
votes
2answers
546 views
Possible Borel subgroups of GL_n?
I am trying to understand the interaction between Borel subgroups of $GL_n$ and its roots. Is it correct to say that for any choice of roots among each pair of reciprocal roots
there is a Borel ...
3
votes
1answer
316 views
Applications of Chevalley groups theory for dummies
As an algebraist i frequently receive questions from my friends-mathematicians and non-mathematicians about applications of my topic "in real life". I study algebraic groups in the stream of ...
1
vote
2answers
325 views
subgroups with the same number of roots that the group.
When thinking in terms of Dynkin diagrams, I am naively used to see that the diagram for a subgroup can be extracted from the diagram of the group by removing some roots. Now, I noticed that for ...
4
votes
3answers
895 views
Longest element of a Weyl group
Let $G$ an algebraic (reductive) group. $T$ a maximal torus, $B$ a Borel subgroup containing $T$, and $w_0$ the longest element of the Weyl group.
I'm looking for a reference explaining why when you ...
4
votes
1answer
411 views
Cartan Matrices of type B and C.
I was using the built-in functions for Root Systems in SAGE, and I noticed that the Cartan Matrices for Type $B_n$ and type $C_n$ are interchanged from what I thought they would be, i.e. following the ...
6
votes
1answer
386 views
Motivation behind Kac's notation for affine root systems
I'm reading Kac's Infinite Dimensional Lie Algebras. In Chapter 4, he classifies the affine root systems. Bourbaki classified the affine Coxeter groups, but multiple root systems can give the same ...
2
votes
0answers
474 views
dual Coxeter number, affine algebra, invariants under twisting
Sometime ago we came across invariant quantities under twisting of all affine algebra. (See the appendix E of http://arxiv.org/abs/hep-th/0403076 .) Choose the convention so that the longest root has ...
16
votes
3answers
1k views
Number of triples of roots (of a simply-laced root system) which sum to zero
In a paper 1105.5073, the authors took a simply-laced root system $\Delta$ of type $G=A,D,E$, and then counted the number of unordered triples $(\alpha,\beta,\gamma)$ of roots which sum to zero: ...
2
votes
2answers
987 views
Numerical solution for a system of multivariate polynomial equations
Hi all,
I have a system of 6th-order polynomial equations in 4 variables $q_1, q_2, q_3, q_4$ (i.e. polynomials with all the terms such as $q_1^6, q_2^6, q_2^4 q_3^2$):
$P_k(q_1, q_2, q_3, q_4) = 0$ ...
3
votes
4answers
795 views
Systems of polynomial equations
Hi all,
I'm an engineer assigned to determine some parameters of a manipulator (ie., calibration). It has a number of parameters, but after some manipulations of its dynamic equations, I can have the ...
3
votes
2answers
881 views
Modular Forms and Root Systems
In the study of semisimple Lie groups, lattices appear all over the place. In the theory of elliptic functions and modular forms, (equivalence classes of) lattices correspond to elliptic curves and to ...
2
votes
2answers
727 views
Complex root systems
This question is twofold.
1) What is the best reference on root systems?
2) Do complex root systems exist?
9
votes
4answers
844 views
Root systems and sums of squares
It is easy to see that the quadratic form for the root system $A_n$ is a sum of $n+1$ squares of integral linear forms:
$$q_{A_n} = 2 \sum_{i=1}^n x_i^2 - 2 \sum_{i=1}^{n-1} x_i x_{i+1} =
x_1^2 + ...
