Structure of the Weil restriction I am trying to understand how Weil restriction affects the structure theory of a reductive group over the two fields involved. As a toy example, I looked at the following:
Consider $SL_2$ as an algebraic group over a quadratic extension $F / \mathbb{Q}$. This group splits over $F$ and its Dynkin diagram is of type $A_1$ so it behaves as nicely as one can wish for.
Let $G$ be $\operatorname{Res}_{F/\mathbb{Q}} \ SL_2$, the restriction of scalars to $\mathbb{Q}$. By the general theory $G$ is at least quasi-split, since its anisotropic kernel is the restriction of the one in $SL_2$ over $F$ which is trivial. Further its Dynkin diagram is a disjoint union of copies of $A_1$ indexed by the Galois group $\operatorname{Gal}(F / \mathbb{Q})$, so something like $A_1 \sqcup A_1$. This should also be true for the set of positive roots of $G$ with respect to some maximal $\mathbb{Q}$-split torus.

*

*What can be said about the structure theory of $G$ aside from the above? For example since $G$ is quasi split it should have a Borel subgroup $B = TU$ defined over $\mathbb{Q}$, $T$ being a maximal torus over $\mathbb{Q}$ and $U$ a maximal unipotent subgroup. Is it true, that $T$ is the Weil restriction of the diagonal Torus in $SL_2$ and if yes, is something like that true in general? What can be said about $U$?


*Is there some description of the Lie Algebra of the Weil restriction? I especially want to understand the root Eigenspaces $\mathfrak{g}_\alpha$ for positive roots $\alpha$ which might not be one dimensional in case $G$ is not split. Again, is my example too basic to see this effect here?
Thank you.
 A: *

*A good reference for some of these issues is Borel's article ''Automorphic $L$-functions,'' section I.5 and the references therein. For example, if $K/k$ is a finite extension of fields, and $\mathrm{G}= \mathrm{Res}_{K/k}(\mathrm{G}')$ is a restriction of scalars, then $\mathrm{G}$ is quasi-split over $k$ if and only if $\mathrm{G}'$ is quasi-split (as an $K$-group). More precisely, the map
$$ B\longmapsto \mathrm{Res}_{K/k}(B) $$
is a bijection between $K$-rational Borel subgroups of $\mathrm{G}'$ and ${k}$-rational Borels of $\mathrm{G}$, with similar statements for other parabolics, unipotent radicals, etc. It is also true that if $T$ is a maximal torus of $\mathrm{G}'$, then $ \mathrm{Res}_{K/k}(T)$ is a maximal torus of $\mathrm{G}$.


*As for the Lie algebra, as in @Torsten Schoeneberg's answer, one has
$$
\mathrm{Lie}_k(\mathbb{G})=\mathrm{Lie}_K(\mathbb{G}')
$$
with the right hand side viewed as a $k$-vector space via the extension $K/k$. I'm not sure precisely what the question about root spaces is; if you clarify, perhaps I can say more.
Something rather nice occurs in the special case that we fix a  reductive $k$-group $\mathrm{G}''$ such that we may realize $\mathrm{G}'=\mathrm{G}''_K$ as the base-change of $\mathrm{G}''$ from $k$ to $K$ (for example, if $\mathbb{G}$ is split over $K$). In this case, $\mathrm{G}= \mathrm{Res}_{K/k}(\mathrm{G}_K'')$ is equipped with an action of $\mathrm{Gal}(K/F)$ such that
$$
 \mathrm{G}^{\mathrm{Gal}(K/k)}=\mathrm{G}''.
$$
On the Lie algebra, if $\mathfrak{g}''=\mathrm{Lie}(\mathrm{G}'')$ and $\mathfrak{g}=\mathrm{Lie}(\mathrm{G})$, then
$$
\mathfrak{g}= \mathfrak{g}''\otimes_k K.
$$
For example, if $K/k = \mathbb{C}/\mathbb{R}$, then
$$
\mathfrak{g}= \mathfrak{g}''\otimes_\mathbb{R}\mathbb{C} = \mathfrak{g}''\oplus \mathfrak{g}''\sqrt{-1}.
$$
