1: \begin{definition} \label{definition:assumptions}

2: In order to apply~\cite[Theorem 3.9]{scoopdedoo}, we need to verify the following geometric condition on the connected Galois \'{e}tale covers $V_\ell \to U$:

3: \begin{enumerate}

4: 	\item[\customlabel{assumption-4}{(G)}] Let $\zeta_\ell$ denote a primitive $\ell^{\mathrm{th}}$ root of unity. Each connected component of the base-change $(V_{\ell})_{K(\zeta_\ell)}$ is geometrically irreducible.

5: \end{enumerate}

6: We also need the following three asymptotic conditions concerning the monodromy groups $\mono_A(\ell)$, $\mono_A^{\on{geom}}(\ell)$, and $\mono_{A, \pp}(\ell)$ for~\cite[Theorem 3.9]{scoopdedoo} to be applied:

7: 	\begin{enumerate}

8: 		\item[\customlabel{property-a1}{(A1)}] There exist constants $\beta_1, \beta_2 > 0$ such that

9: 		\[

10: 			| \mono_A(\ell) | \ll \ell^{\beta_1} \quad \text{and} \quad | \{\text{conjugacy classes of } \mono_A(\ell) \} | \ll \ell^{\beta_2},

11: 		\]

12:         where the implied constants depend only on $U$.

13: 		\item[\customlabel{property-a2}{(A2)}] There exists a constant $\beta_3 > 0$ such that

14: 		\[

15: 			\geometricprimes \ell \defeq |\{ \text{prime } \mf{p} \subset \OO_K : \mf{p} \in S \cup P_\ell \text{ or } \mono_{A, \pp}^{\on{geom}}(\ell) \not\simeq \mono_A^{\on{geom}}(\ell) \} | \ll \ell^{\beta_3},

16: 		\]

17:         where the implied constant depends only on $A \rightarrow U$.

18: 		\item[\customlabel{property-a3}{(A3)}] For each $B > 0$, there exists a subset

19: 		\[

20: 			F(B) \subset \{u \in U(K) : \on{Ht}(u) \le B\}

21: 		\]

22: 		and constants $c, \gamma > 0$ depending only on $A \rightarrow U$ such that

23: 		\begin{align*}

24: 		\lim_{B \to \infty} \frac{|F(B)|}{|\{u \in U(K) : \on{Ht}(u) \le B\}|} = 1	\quad \text{and} \quad F(B) \cap E(B) \subset \bigcup_{\ell \le c (\log B)^\gamma} E_{ \ell}(B).

25: 		\end{align*}

26: 	\end{enumerate}

27: \end{definition}

28: