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.



Help with $\mathbf{Q}_{\ell}$ sheaves
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.


