The diagonal of the Weil restriction Let $Y\to X$ be a finite surjective morphism of smooth projective geometrically connected varieties over $\mathbb{Q}$. Let $k$ be a number field and consider the induced morphism 
$$f:Res_{k/\mathbb{Q}} Y_k\to Res_{k/\mathbb{Q}} X_k.$$
Let $\Delta\to Res_{k/\mathbb{Q}}X$ be the diagonal embedding of $X$ into the Weil restriction $Res_{k/\mathbb{Q}} X_k$ of $X_k$ to $\mathbb{Q}$.


What are the irreducible components of the scheme-theoretic inverse image $f^{-1}(\Delta)$? Is $f^{-1}(\Delta)$   equal to $Y$, and is the morphism $f^{-1}(\Delta)\to X$ the morphism $Y\to X$ we started with?


Here $f^{-1}(\Delta) $   is defined to be the fibre product of $\Delta$ with $Res_{k/\mathbb{Q}} Y_k$ over $Res_{k/\mathbb{Q}} X_k$.
 A: As with pretty much everything to do with Weil restrictions, it becomes more clear if we base change everything to an algebraically closed field $\overline{\mathbb Q}$. The base change of $k$ is just $\overline{\mathbb Q}^n$ for $n$ the degree of $k$ over $\mathbb Q$. Then the base change of the Weil restriction from $k$ to $\mathbb Q$ $Y$ is the Weil restriction of $Y$ from $\overline{\mathbb Q}^n$ to $\overline{\mathbb Q}$, in other words, $Y^n$. Similarly the base change of the Weil restriction of $X$ is $X^n$. So the inverse image is the inverse image of the diagonal $X$ inside $Y^n$, which is $Y \times_X Y \dots \times_X Y$.
So the geometric irreducible components will be the geometric irreducible components of that fiber product, and the arithmetic irreducible components will be the orbits on the geometric irreducible component of $\operatorname{Gal}(\overline{\mathbb Q} / \mathbb Q)$, which is the obvious action twisted by the action permuting the $n$ embeddings of $k$ into $\overline{\mathbb Q}$.
A: Welcome to mathoverflow, Pat!
I believe that $f^{-1}(\Delta) \neq Y$. Let $Y$ be a torsor for an elliptic curve $E$ over $\mathbb Q$ and choose $k$ so that $Y_k \cong E_k$ or in other words $Y(k) \neq \emptyset$. Choose the torsor so that the diagram  $C_k\cong E_k\to \mathbb P^1_k$ commutes.  I believe this can be done by letting the torsor correspond to a cocycle in $H^1(G_\mathbb Q, E[2]) \subset H^1(G_\mathbb Q, E(\overline{\mathbb Q}))$.
In general, for a $\mathbb Q$ scheme $S$, from the functor of points persepective, $$f^{-1}(\Delta)(S) = \{\lambda: S_k \to Y_k : S_k\to Y_k\to X_k \text{ is defined over } \mathbb Q\}.$$
In our particular case, let's take $S = \mathbb Q$. Then, there are no maps from $S \to Y$ but there are maps from $S \to f^{-1}(\Delta)$: Simply take the origin for instance.
From the functor of points, it is at least clear that $Y$ sits inside $f^{-1}(\Delta)$. I am not sure what else is there.
