Generic Injectivity for Etale Cohomology and Pretheories, by Alexander Schmidt and Kirill Zainoulline

This is a comprehensively revised version of the second named author's preprint "On rational injectivity for pretheories. Relative case." (no. 501 on this server). We prove a generic injectivity result for etale cohomology which can be formulated as follows.

Theorem: Let W be a connected smooth semi-local scheme over a field k, X --> W a smooth and proper morphism, n an integer prime to char(k) and K a complex of etale sheaves of Z/nZ-modules on X such that the cohomology sheaves are locally constant constructible and bounded below. If w denotes the generic point of W, then for all integers q the natural restriction map of etale hypercohomology groups

H^q_et(X, K) --> H^q_et (X_w, K)

is a (universal) monomorphism.

The result applies to any "extensible pretheory". The proof extends the techniques of section 4 of V. Voevodsky's paper "Cohomological theory of presheaves with transfers" to the relative case.


Alexander Schmidt <schmidt@mathi.uni-heidelberg.de>
Kirill Zainoulline <kirill@pdmi.ras.ru>