Let $X\to S$ be a morphism of smooth connected varieties over an algebraically closed field $k$; let $j:\eta\to S$ be the inclusion of the generic point into $S$ (not a geometric generic point) and let $\mathscr F$ be a constructible étale sheaf of $\Lambda$-modules on $X_\eta$. If $\Lambda=\mathbf{Z}/\ell^n\mathbf{Z}$, for example, then (letting $j$ also denote its base extension $X_\eta\to X$), $j_*\mathscr F$ is a constructible sheaf. But if $\Lambda=\mathbf Z_\ell$ or $\mathbf Q_\ell$, is $j_*\mathscr F$ still constructible? When I think about applying $j_*$ to a projective system (of constructible sheaves of modules for finite coefficients), the result is a projective system of constructible sheaves. When I think about it when $X=S$ is a smooth curve and think about $\mathscr F$ as a $\mathbf Q_\ell$-representation $V$ of $\operatorname{Gal}(\overline\eta/\eta)$, however, then the condition is equivalent to the condition that the inertia of all but finitely many points of $S$ act trivially on $V$—this seems dodgy. Thanks for your help.


1 Answer 1


A necessary condition is that for each stratum $X_{\eta}^i$ of some stratification of $X_{\eta}$ on which $\mathcal F$ is lisse, the associated representation of $\pi_1(X_{\eta}^i)$ is unramified away from a closed subset $Z^i$ of the closure $\overline{X_\eta^i}$ of $X_{\eta}^i$ in $X$, such that the projection of $Z_i$ to $S$ is not dense.

The fact that this condition is necessary is clear - if the pushforward is constructible, it's lisse on a stratification, and then intersecting each stratum with the generic fiber, you get a stratification with this property.

This can indeed fail, so the very general statement you wrote is not true. Your idea is precisely the right one - it's easy to construct a Galois representation that is not finitely ramified, for instance by constructing a suitable extension of $\mathbb Z_\ell$ by $\mathbb Z_\ell(1)$ using Kummer theory.

What will go wrong in the limiting proof you want to write down is that the pushforward of the associated $\mathbb Z/\ell^n$ pushforward, modulo $\ell$, will not be the pushforward of the associated $\mathbb Z_\ell$-sheaf, and will not even stabilize - it will be a sheaf with zero stalk at more and more ramification points as $n$ goes to $\infty$.

I think this condition is also suffiicent, but I didn't check it outside the case where $X =S$, where it can be proven by first pushing forward to the open set where the Galois representation is unramified, and then pushing tot he whole space.

  • $\begingroup$ Kudos, Will; thanks! $\endgroup$
    – delgato
    Apr 6, 2020 at 20:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.