geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
Let $E$ be a finite-dimensional Euclidean vector space, i.e. a real vector space equipped with a positive-definite inner product $\langle | \rangle$. For convenience, given any vectors $v, w \in E$ with $w \neq 0$, we define the notation $v \dashv w \coloneqq 2 \frac{\langle v | w \rangle}{\langle w | w \rangle}$. Notice that this is precisely twice the coefficient of $w$ when we take the orthogonal projection of $v$ onto the line generated by $w$. We denote by $\sigma_w$ the reflection in the hyperplane $P_w \coloneqq \{ w \}^{\perp}$, which is given by the formula
A root system in $E$ is a finite set of nonzero vectors $\Delta \subset E \setminus \{0 \}$ satisfying the following axioms:
$\Delta$ spans $E$.
If $\alpha \in \Delta$, then the reflection $\sigma_\alpha$ permutes $\Delta$.
(Integrality) If $\alpha, \beta \in \Delta$ then $\alpha \dashv \beta \in \mathbb{Z}$.
If in addition for every $\alpha \in \Delta$ we have $\operatorname{span}(\alpha) \cap \Delta = \{- \alpha, \alpha \},$ then we say that the root system is reduced. Equivalently, a root system is reduced if each $\alpha \in \Delta$ determines a unique reflection. Many authors require that root systems are reduced, but we will specify here when root systems are reduced or not.
The Weyl group of a root system $\Delta$ in $E$ is the finite subgroup $W(\Delta)$ of the orthogonal group $\operatorname{O}(E)$ generate by the reflections $\sigma_\alpha$, $\alpha \in \Delta$. Thus, the Weyl group can also be seen as a subgroup of the permutation group of $\Delta$.
Given root systems $\Delta$ in $E$ and $\Delta'$ in $E'$, we define a morphism of root systems from $\Delta$ to $\Delta'$ to be a linear map $f: E \to E'$ such that $f(\Delta) \subseteq \Delta'$ and $f(\alpha) \dashv f(\beta) = \alpha \dashv \beta$ for all $\alpha, \beta \in \Delta$.
Howard Georgi, §6 in: Lie Algebras In Particle Physics, Westview Press (1999), CRC Press (2019) [doi:10.1201/9780429499210]
with an eye towards application to (the standard model of) particle physics
Peter Woit, Topics in representation theory: Roots and weights (pdf)
The Unapologetic Mathematician, The category of root systems (blog)
Last revised on September 7, 2023 at 12:31:11. See the history of this page for a list of all contributions to it.