$\DeclareMathOperator\Sm{Sm}$It is a well-known fact that in algebraic topology, generalized cohomology theories are determined by their values on the point. I was wondering whether anything similar to that is or expected to be true in algebraic geometry? More precisely I had the following question in my mind:
- For a Bloch-Ogus cohomology theory on the category $\Sm_k$ of smooth $k$-schemes with the big Zariski site, if we know that cohomologies of $\text{Spec}(k)$ at all dimensions and weights are trivial, does it imply that the cohomology theory is trivial?
Bloch-Ogus cohomology theory is a functor from $\Sm_k$ to abelian groups that has two grading $h^i(X,j)$ similar to the motivic cohomology. These functors are supposed to satisfy certain properties like homotopy invariance, purity, transfer under finite maps and maybe some other extra properties (like Poincaré duality).
Edit: Here is the standard reference for Bloch-Ogus: Spencer Bloch, Arthur Ogus, Gersten’s conjecture and the homology of schemes There is slightly different version called Bloch-Ogus-Gabber and the reference for that is: J Colliot-Thelene, Raymond Hoobler and Bruno Kahn – The Bloch-Ogus-Gabber theorem.
- Motivation: So I wanted to add why I suddenly thought something like this (it might require some modifications) might be true. A lot of big open conjectures in algebraic geometry like Tate's conjecture, Suslin's conjecture (which implies standard conjectures) and the Bloch-Kato conjecture (which is a theorem) can be reformulated as vanishing of a certain Bloch-Ogus cohomology theory. But of course I am not sure whether being a Bloch-Ogus cohomology theory and the fact it vanishes on the base field is all you need.
