Skip to main content
Oops, normalising a maximal torus in $G$, not just in $H$
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Suppose that $H^\circ$ is not a torus, and letLet $T_H$ be a maximal torus in $H$.

Suppose that $H^\circ$ is not a torus. Then $T_H$ has non-trivial roots on $\operatorname{Lie}(H)$, and the subgroup of $H$ generated by opposite root groups is $\operatorname{SL}_2$.

Thus, if $H$ does not contain $\operatorname{SL}_2$, then its identity component equals $T_H$; and you have indicated that that torus is regular in $G = \operatorname{GL}_2$, which I take to mean that its centraliser $T_G \mathrel{:=} C_G(T_H)$ in $G$ is a maximal torus in $G$. Thus, and $H$ is contained innormalises the normaliser of thatmaximal torus $T_G = C_G(H^\circ)$ in $G$.

Suppose that $H^\circ$ is not a torus, and let $T_H$ be a maximal torus in $H$. Then $T_H$ has non-trivial roots on $\operatorname{Lie}(H)$, and the subgroup of $H$ generated by opposite root groups is $\operatorname{SL}_2$.

Thus, if $H$ does not contain $\operatorname{SL}_2$, then its identity component is a torus, and $H$ is contained in the normaliser of that torus.

Let $T_H$ be a maximal torus in $H$.

Suppose that $H^\circ$ is not a torus. Then $T_H$ has non-trivial roots on $\operatorname{Lie}(H)$, and the subgroup of $H$ generated by opposite root groups is $\operatorname{SL}_2$.

Thus, if $H$ does not contain $\operatorname{SL}_2$, then its identity component equals $T_H$; and you have indicated that that torus is regular in $G = \operatorname{GL}_2$, which I take to mean that its centraliser $T_G \mathrel{:=} C_G(T_H)$ in $G$ is a maximal torus in $G$. Thus, $H$ normalises the maximal torus $T_G = C_G(H^\circ)$ in $G$.

Slight wording improvement
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Suppose that $H^\circ$ is not a torus, and let $T_H$ be a maximal torus in $H$. Then $T_H$ has non-trivial roots on $\operatorname{Lie}(H)$, and the subgroup of $H$ generated by the corresponding root group and its opposite root groups is $\operatorname{SL}_2$.

Thus, if $H$ does not contain $\operatorname{SL}_2$, then its identity component is a torus, and $H$ is contained in the normaliser of that torus.

Suppose that $H^\circ$ is not a torus, and let $T_H$ be a maximal torus in $H$. Then $T_H$ has non-trivial roots on $\operatorname{Lie}(H)$, and the subgroup of $H$ generated by the corresponding root group and its opposite is $\operatorname{SL}_2$.

Thus, if $H$ does not contain $\operatorname{SL}_2$, then its identity component is a torus, and $H$ is contained in the normaliser of that torus.

Suppose that $H^\circ$ is not a torus, and let $T_H$ be a maximal torus in $H$. Then $T_H$ has non-trivial roots on $\operatorname{Lie}(H)$, and the subgroup of $H$ generated by opposite root groups is $\operatorname{SL}_2$.

Thus, if $H$ does not contain $\operatorname{SL}_2$, then its identity component is a torus, and $H$ is contained in the normaliser of that torus.

Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Suppose that $H^\circ$ is not a torus, and let $T_H$ be a maximal torus in $H$. Then $T_H$ has non-trivial roots on $\operatorname{Lie}(H)$, and the subgroup of $H$ generated by the corresponding root group and its opposite is $\operatorname{SL}_2$.

Thus, if $H$ does not contain $\operatorname{SL}_2$, then its identity component is a torus, and $H$ is contained in the normaliser of that torus.