Root data with group actions

Abstract

Suppose $k$ is a field, $G$ is a connected reductive algebraic $k$-group, $T$ is a maximal $k$-torus in $G$, and $Γ$ is a finite group that acts on $(G,T)$. From the above, one obtains a root datum $Ψ$ on which $\text{Gal}(k)\timesΓ$ acts. Provided that $Γ$ preserves a positive system in $Ψ$, not necessarily invariant under $\text{Gal}(k)$, we construct an inverse to this process. That is, given a root datum on which $\text{Gal}(k)\timesΓ$ acts appropriately, we show how to construct a pair $(G,T)$, on which $Γ$ acts as above. Although the pair $(G,T)$ and the action of $Γ$ are canonical only up to an equivalence relation, we construct a particular pair for which $G$ is $k$-quasisplit and $Γ$ fixes a $\text{Gal}(k)$-stable pinning of $G$. Using these choices, we can define a notion of taking "$Γ$-fixed points" at the level of equivalence classes, and this process is compatible with a general "restriction" process for root data with $Γ$-action.