MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $k$ be a field, $S/k$ a smooth variety with function field $K$ and $U$ a nonempty open subscheme of $S$. For every finite separable extension $E/K$ we denote by $S^E$ (resp. $U^E$) the normalization of $S$ (resp $U$) in $E$. Let $A/U$ be an abelian scheme with generic fibre $A_\eta$. For every prime number $\ell$ different from $char(k)$ and every finite separable extension $E/K$ we consider the representation $\rho_{\ell, E}$ of $\pi_1(U^E)$ on the $\ell$-torsion part $A_\eta[\ell]$. Let $H(E)$ be the kernel of the epimorphism $\pi_1(U^E)\to \pi_1(S^E)$.

Question: Does there exist a finite separable extension $E/K$ such that for every prime number $\ell\neq char(k)$ the group $\rho_{\ell, E}(H(E))$ is generated by its $\ell$-Sylow subgroups?

Remark: It is known that the answer is yes in the special case $dim(S)=1$. This is a consequence of the semistable reduction theorem of Grothendieck.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.