# Tagged Questions

The tag has no usage guidance.

138 views

### Is the assignment of a root system to a complex 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 ...
122 views

### Bounds on the smallest real positive root of a polynomial

I'm trying to find upper and lower bounds of the smallest positive root of a polynomial, stated in terms of its coefficients. As I appreciate it might be a very general problem, My specific interest ...
97 views

### Involutions and Little Adjoint Representations of Simple 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 ...
145 views

### Affine Steinberg groups vs Steinberg groups over Laurent polynomials

Let $R$ be a commutative ring and $\Phi$ be a finite (also called spherical) reduced irreducible root system of rank $\geq 2$. I will denote by $\mathrm{St}(\Phi,R)$ the Steinberg group of type $\Phi$ ...
172 views

### References about Hasse diagrams of root systems

This is to ask about references of Hasse diagrams of irreducible root systems. I found here and there nice pictures of root systems of type $E$. I would like to ask for Hasse diagrams of classical ...
114 views

### Closest point to a dual lattice point (in particular for root lattices!)

Given a lattice $\Lambda\subset \mathbb{R}^n$ and a point $p\in\mathbb{R}^n$ outside the lattice, then I known it is a hard question to determine the set $S\subset \Lambda$ of all lattice points with ...
161 views

### Length of Weyl group element mapping highest root to a simple root

Let $\Phi$ be an irreducible root system and $\Delta$ a simple system (base). Let $W$ be the Weyl group of $\Phi$. Let $\theta$ be the highest root and $h^\vee$ be the dual Coxeter number. Choose the ...
292 views

### A technical question about root systems

I'm studying root systems and coming up with an observation: Let $\Phi$ be an irreducible root system and $\Phi^+$ be a positive root system. Denote by $\Delta=\{\alpha_1, \alpha_2,\ldots,\alpha_n\}$ ...
171 views

### How to find solutions for four polynomial equations with four unknown variables using Resultant Theory

Can I use resultant theory (or polynomial resultant method) to find solutions for four simultaneous polynomial equations with four unknown variables? So far, I could only find examples which uses two ...
168 views

### Is the restricted root system of a simple real Lie group irreducible?

As the title asks, is the restricted root system of a simple real Lie group irreducible? I believe this is true but I need a reference to cite.
104 views

### Synonyms for “labeling” of a graph

In Preprint 1 we write numerical labels 0 or 1 at each vertex of a Dynkin diagram $D$. We call it a labeling of the graph (Dynkin diagram) $D$. In Preprint 2 we consider an extended (affine) Dynkin ...
59 views

### roots in a root system which have nonzero coefficients with respect to each simple root

If we consider crystallographic root systems, then for each $k$ such that $n \leq k \leq d-1$ where $d$ is the Coxeter number, it seems to be the case that there is exactly one root of height $k$ with ...
90 views

### Equivalent definitions of positive root system

$\bullet$ 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) ...
217 views

### From a (not positive definite) Gram matrix to a (Kac-Moody) Cartan matrix

Suppose I am given a symmetric matrix $G_{ij}$ with $G_{ii} = 2$. Can I always find an invertible integer matrix $S$ such that $(S^T G S)_{ii}=2$ and $(S^T G S)_{ij} \leq 0$ for $i \neq j$? Is there a ...
244 views

### Is this characterization of (-1)-eigenspaces of the Weyl group of $E_6$ known?

I recently needed to know which circles $S$ in a maximal torus $T^6$ of the compact exceptional group $E_6$ yield one-dimensional subspaces $\mathfrak s$ of the Lie algebra $\mathfrak t^6$ that are ...
580 views

### Root in positive Weyl chamber

Let $\mathfrak{g}$ be a complex simple Lie algebra. We fix a Cartan subalgebra $\mathfrak{t}\subset \mathfrak{g}$. Let $R\subset \mathfrak{t}^*$ the set of roots. We fix $\Pi\subset R$ the set of ...
253 views

### The action of the center on the extended Dynkin diagram

Let $R$ be an irreducible root system with a basis $\Pi$. We obtain the Dynkin diagram $D$ and the extended Dynkin diagram ${\widetilde{D}}$ of $R$ with respect to $\Pi$. Let $Q^\vee\subset P^\vee$ ...