Does every Shimura variety contain a generic point defined over a number field?

Question

This question is related to my previous question, to which I got a partial answer.

Consider the cyclotomic field $L={{\mathbb{Q}}}(\zeta_8)={{\mathbb{Q}}}(\sqrt{2},i)$, where $\zeta_8$ is a primitive 8-th root of unity. Let $\Lambda={{\mathbb{Z}}}[\zeta_8]$ denote the ring of integers of $L$.

Question 1. Does there exist an abelian variety $A$ over $\overline{\mathbb{Q}}$ of dimension 4 (or of any other dimension) with ${\mathrm{End\,}} A\simeq \Lambda$ ?

I expect the answer "yes", but have no idea how to prove this.

More generally, let $(G,X)$ be a Shimura datum. For any $x\in X$, let $h_x\colon \mathbb{S}\to G_\mathbb{R}$ be the corresponding homomorphism. We define the Mumford-Tate group $\mathrm{MT}(x)$ to be the smallest $\mathbb{Q}$-subgroup of $G$ containing $\mathrm{im\,} h_x$ over $\mathbb{R}$, and we define $\mathrm{MT}(X)$ to be the smallest $\mathbb{Q}$-subgroup of $G$ containing $\mathrm{im\,} h_x$ over $\mathbb{R}$ for all $x\in X$. We say that $x\in X$ is generic if $\mathrm{MT}(x)=\mathrm{MT}(X)$.

Let $K\subset G(\mathbb{A}^f)$ be an open compact subgroup. Set $\Gamma=G(\mathbb{Q})\cap K$ (the intersection is taken in $G(\mathbb{A}_f)\,$). We say that $\Gamma$ is a congruence subgroup of $G(\mathbb{Q})$. Set $\mathrm{Sh}_\Gamma=X/\Gamma$, it is a connected Shimura variety. We say that $x\Gamma\in X/\Gamma$ is generic if $x\in X$ is generic.

On the other hand, $\mathrm{Sh}_\Gamma$ has a (mysterious) canonical model over $\overline{\mathbb{Q}}$, so the notion of a $\overline{\mathbb{Q}}$-point of $\mathrm{Sh}_\Gamma$ is defined.

Question 2. Does $\mathrm{Sh}_\Gamma$ always have a generic $\overline{\mathbb{Q}}$-point?

The positive answer to Question 2, even for Shimura varieties of abelian type, would imply the positive answer to Question 1. Indeed, Shimura constructed an abelian scheme over a Shimura variety with prescribed automorphism ring of a generic fiber. If we find a generic $\overline{\mathbb{Q}}$-point of the base, then the fiber over this point will be a desired abelian variety over $\overline{\mathbb{Q}}$ with prescribed automorphism ring.

Answer 1

The Answer to Question 1 is YES. It follows from Serre's variant of Hilbert's irreducibility theorem (for infinite Galois extensions) combined with the Tate conjecture on homomorphisms of abelian varieties in char 0 (proven by Faltings); see Prop. 1.3 and Cor. 1.5 of 1995 Compositio paper by Rutger Noot (vol 97, Oort Festschrift) for details.

The main idea is as follows. If $A$ is an abelian variety over a finitely generated field $K$ of char 0 and $\ell$ is a prime then there is an abelian variety $A_0$ over a number field $K_0$ that is a ``specialization/reduction" of $A$ and such that a canonical (up to a "conjugation") isomorphism of Tate modules $T_{\ell}(A)$ and $T_{\ell}(A_0)$ induces an isomorphism between the corresponding $\ell$-adic images of the absolute Galois groups of $K$ and $K_0$ in the automorphism groups of $T_{\ell}(A)$ and $T_{\ell}(A_0)$ respectively. Since $End(A)$ embeds into $End(A_0)$, one obtains that the endomorphism rings of $A$ and $A_0$ are isomorphic.