Skip to main content
deleted 31 characters in body
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 285

Indeed there's a much simpler way in characteristic zero, with $G$ an arbitrary $k$-defined linear algebraic group.

Let $X$ be nilpotent. Clearly, this implies thatFix a faithful $X\in [\mathfrak{g},\mathfrak{g}]$. Since it's enough to find one subgroup$k$-defined linear representation $\rho$ of $[G,G]$ doing$G$ and let $\rho'$ be the job, we can thus assume thatcorresponding representation of $G$ is semisimple$\mathfrak{g}$.

Now $\mathrm{ad}(X)$$\rho'(X)$ being nilpotent, it preserves a complete flag (defined over $k$) in the linear space $\mathfrak{g}$. Let $H$ be the subgroup of $G$ preserving this flag (for the adjoint representation of $G$ on $\mathfrak{g}$$\rho$), and acting as identity on all successive 1-dimensional quotients. Then, since $\rho$ is faithful, $H$ is a $k$-defined unipotent subgroup of $G$, whose Lie algebra $\mathfrak{h}$ is the subalgebra of $\mathfrak{g}$ of those element preserving the flag, and acting (for the adjoint representation of $\mathfrak{g}$ on itself$\rho'$), and acting as zero on all successive 1-dimensional quotients. Hence $X\in\mathfrak{h}$.

Indeed there's a much simpler way in characteristic zero.

Let $X$ be nilpotent. Clearly, this implies that $X\in [\mathfrak{g},\mathfrak{g}]$. Since it's enough to find one subgroup of $[G,G]$ doing the job, we can thus assume that $G$ is semisimple.

Now $\mathrm{ad}(X)$ being nilpotent, it preserves a complete flag (defined over $k$) in the linear space $\mathfrak{g}$. Let $H$ be the subgroup of $G$ preserving this flag (for the adjoint representation of $G$ on $\mathfrak{g}$), and acting as identity on all successive 1-dimensional quotients. Then $H$ is a $k$-defined unipotent subgroup of $G$, whose Lie algebra $\mathfrak{h}$ is the subalgebra of $\mathfrak{g}$ of those element preserving the flag, and acting (for the adjoint representation of $\mathfrak{g}$ on itself) as zero on all successive 1-dimensional quotients. Hence $X\in\mathfrak{h}$.

Indeed there's a much simpler way in characteristic zero, with $G$ an arbitrary $k$-defined linear algebraic group.

Let $X$ be nilpotent. Fix a faithful $k$-defined linear representation $\rho$ of $G$ and let $\rho'$ be the corresponding representation of $\mathfrak{g}$.

Now $\rho'(X)$ being nilpotent, it preserves a complete flag (defined over $k$) in the linear space $\mathfrak{g}$. Let $H$ be the subgroup of $G$ preserving this flag (for the representation $\rho$), and acting as identity on all successive 1-dimensional quotients. Then, since $\rho$ is faithful, $H$ is a $k$-defined unipotent subgroup of $G$, whose Lie algebra $\mathfrak{h}$ is the subalgebra of $\mathfrak{g}$ of those element preserving the flag (for $\rho'$), and acting as zero on all successive 1-dimensional quotients. Hence $X\in\mathfrak{h}$.

Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 285

Indeed there's a much simpler way in characteristic zero.

Let $X$ be nilpotent. Clearly, this implies that $X\in [\mathfrak{g},\mathfrak{g}]$. Since it's enough to find one subgroup of $[G,G]$ doing the job, we can thus assume that $G$ is semisimple.

Now $\mathrm{ad}(X)$ being nilpotent, it preserves a complete flag (defined over $k$) in the linear space $\mathfrak{g}$. Let $H$ be the subgroup of $G$ preserving this flag (for the adjoint representation of $G$ on $\mathfrak{g}$), and acting as identity on all successive 1-dimensional quotients. Then $H$ is a $k$-defined unipotent subgroup of $G$, whose Lie algebra $\mathfrak{h}$ is the subalgebra of $\mathfrak{g}$ of those element preserving the flag, and acting (for the adjoint representation of $\mathfrak{g}$ on itself) as zero on all successive 1-dimensional quotients. Hence $X\in\mathfrak{h}$.