In section 6 of his 'Adic Formalism' T. Ekedahl states that $l$-adic sheaves 'behave nicely' for finite type separated schemes over $S$ that is regular of dimension $\le 1$. Is the dimension restriction really necessary here? A similar restriction is used by A. Huber when she studies 'arithmetic perverse sheaves'.



If one wants to work with $Q_l$-adic sheaves, should the scheme be of finite type over a 1-dimensional one?
Gabber has announced a proof of the finiteness theorem for (direct images of constructible sheaves by) morphisms of finite type between general noetherian schemes years ago, but, being Gabber, he has not written it down. There was a seminar in the Ecole Polytechnique four years ago (I think) about his proof, and the goal was to write a full proof (probably a book), but it doesn't look as if they are done yet. You can find statements and outlines of proofs in notes on Illusie's webpage (e.g., <http://www.math.u-psud.fr/~illusie/Illusie_Tokyo.pdf>), there are some notes about at least parts of the proofs and useful statements on Joël Riou's webpage (<http://www.math.u-psud.fr/~riou/>), I think some of the ideas are showing up in fabrice Orgogozo's work (for example, Orgogozo announced a result about uniform constructibility for torsion sheaves and I'm pretty sure it uses Gabber's ideas, but I don't find a preprint on his webpage). Actually, I think Gabber's uniformization theorem has been used in other works; maybe Frederic Deglise's work ?


(Oh, and all the references are in French. Enjoy. ;-))


