Skip to main content
Clarification
Source Link
AndreA
  • 971
  • 6
  • 13

Assume characteristic 0. I do not know how much of this extends to finite characteristic.

ForLet $\mathbf u$ be the Lie algebras, you havealgebra of the unipotent subgroup $\mathbf u=C_{\mathbf u}(\mathbf t)\oplus\sum \mathbf u_\alpha$ for$U$, and $\alpha\in\Delta(\mathbf g,\mathbf t)$$\mathbf t$ that of the torus (roots1- dimensional or not, it doesn't matter).

Define $\Delta(\mathbf g,\mathbf t)$ as the sets of roots of $\mathbf g$ w.r.t. $\mathbf t$ (the usual definition is fine, even if $\mathbf t$ is not maximal, however the root spaces will in general not be 1-dimensional). Let $C$ denote the centralizer.

If $\alpha(T)\neq\beta(T)$ andThen you have $\alpha(T)\neq 0$$\mathbf u=C_{\mathbf u}(\mathbf t)\oplus\sum \mathbf u_\alpha$ for all roots $\alpha,\beta\in\Delta(\mathbf g,\mathbf t_{max})$$\alpha\in\Delta(\mathbf g,\mathbf t)$. Here $\mathbf u_\alpha=\mathbf u\cap\mathbf g_\alpha$ or equivalently the set {$X\in\mathbf u\mid [H,X]=\alpha(H)X \forall H\in\mathbf t$}.

Let now $\mathbf t_{max}$ be a maximal torus containing $\mathbf t$, and some element $T\in\mathbf t$$\Delta(\mathbf g,\mathbf t_{max})$ the corresponding root system (such anthis is the "usual" root system). An element $T$ of $\mathbf t_{max}$ is called regular if $\alpha(T)\neq\beta(T)$ and $\alpha(T)\neq 0$ for all roots $\alpha\neq\beta\in\Delta(\mathbf g,\mathbf t_{max})$.

If the torus $\mathbf t$ contains a regular) element $T$, the roots w.r.t. $\mathbf t$ are in bijection with those w.r.t. $\mathbf t_{max}$, and in particular the root spaces are 1-dimensional. It follows that if $\mathbf u_\alpha\neq 0$ then $\mathbf u_\alpha=\mathbf g_\alpha$, and $\mathbf u$ is a sum of root spaces.

Assume characteristic 0. I do not know how much of this extends to finite characteristic.

For the Lie algebras, you have $\mathbf u=C_{\mathbf u}(\mathbf t)\oplus\sum \mathbf u_\alpha$ for $\alpha\in\Delta(\mathbf g,\mathbf t)$ (roots of $\mathbf g$ w.r.t. $\mathbf t$).

If $\alpha(T)\neq\beta(T)$ and $\alpha(T)\neq 0$ for all roots $\alpha,\beta\in\Delta(\mathbf g,\mathbf t_{max})$ and some element $T\in\mathbf t$ (such an element is called regular), the roots w.r.t. $\mathbf t$ are in bijection with those w.r.t. $\mathbf t_{max}$, the root spaces are 1-dimensional and $\mathbf u$ is a sum of root spaces.

Assume characteristic 0. I do not know how much of this extends to finite characteristic.

Let $\mathbf u$ be the Lie algebra of the unipotent subgroup $U$, and $\mathbf t$ that of the torus (1- dimensional or not, it doesn't matter).

Define $\Delta(\mathbf g,\mathbf t)$ as the sets of roots of $\mathbf g$ w.r.t. $\mathbf t$ (the usual definition is fine, even if $\mathbf t$ is not maximal, however the root spaces will in general not be 1-dimensional). Let $C$ denote the centralizer.

Then you have $\mathbf u=C_{\mathbf u}(\mathbf t)\oplus\sum \mathbf u_\alpha$ for $\alpha\in\Delta(\mathbf g,\mathbf t)$. Here $\mathbf u_\alpha=\mathbf u\cap\mathbf g_\alpha$ or equivalently the set {$X\in\mathbf u\mid [H,X]=\alpha(H)X \forall H\in\mathbf t$}.

Let now $\mathbf t_{max}$ be a maximal torus containing $\mathbf t$, and $\Delta(\mathbf g,\mathbf t_{max})$ the corresponding root system (this is the "usual" root system). An element $T$ of $\mathbf t_{max}$ is called regular if $\alpha(T)\neq\beta(T)$ and $\alpha(T)\neq 0$ for all roots $\alpha\neq\beta\in\Delta(\mathbf g,\mathbf t_{max})$.

If the torus $\mathbf t$ contains a regular element $T$, the roots w.r.t. $\mathbf t$ are in bijection with those w.r.t. $\mathbf t_{max}$, and in particular the root spaces are 1-dimensional. It follows that if $\mathbf u_\alpha\neq 0$ then $\mathbf u_\alpha=\mathbf g_\alpha$, and $\mathbf u$ is a sum of root spaces.

Source Link
AndreA
  • 971
  • 6
  • 13

Assume characteristic 0. I do not know how much of this extends to finite characteristic.

For the Lie algebras, you have $\mathbf u=C_{\mathbf u}(\mathbf t)\oplus\sum \mathbf u_\alpha$ for $\alpha\in\Delta(\mathbf g,\mathbf t)$ (roots of $\mathbf g$ w.r.t. $\mathbf t$).

If $\alpha(T)\neq\beta(T)$ and $\alpha(T)\neq 0$ for all roots $\alpha,\beta\in\Delta(\mathbf g,\mathbf t_{max})$ and some element $T\in\mathbf t$ (such an element is called regular), the roots w.r.t. $\mathbf t$ are in bijection with those w.r.t. $\mathbf t_{max}$, the root spaces are 1-dimensional and $\mathbf u$ is a sum of root spaces.