6
$\begingroup$

Is there a notion (for schemes or just locally ringed spaces) of cohomology with compact support? I guess there is for algebraic schemes over $\mathbf{C}$, but what about schemes in general? Does anybody have a good reference?

$\endgroup$
  • $\begingroup$ If you really mean the word "coherent" in the title, then the answer is no. E.g., you would want a $j_!$ morphism for $j$ an open embedding, but one can see that there's no left adjoint to $j^*$ in this setting (since it would imply tensor products commute with infinite products). $\endgroup$ – Moosbrugger Oct 13 '11 at 1:54
8
$\begingroup$

Yes there is. Take $S$ a scheme and take $f \colon X \to S$ a compactifiable morphism of schemes. By definition this means that there exists a proper $S$-scheme Y which contains $X$ as an open subscheme. Then, given a compactification and a sheaf on $X$, you may define the cohomology with proper support of this sheaf as the cohomology of the pushforward of your sheaf to $Y$.

I think this works for many different cohomologies, but you need to check that the compact support cohomology does not depend on the chosen compactification. At least for etale sheaves I know this is so.

| cite | improve this answer | |
$\endgroup$
4
$\begingroup$

SGA 2 is the original reference. You can find it here

http://www.math.polytechnique.fr/~laszlo/sga2/sga2-smf.pdf

| cite | improve this answer | |
$\endgroup$
0
$\begingroup$

If X is a smooth scheme over complex numbers then you can consider $X_{an}$ as an complex analytic manifold and compute singular/ deRham/ simplicial cohomology with compact supports (this will be different from usual cohomology if X is not proper) On the Algebraic side there is etale cohomology with compact supports (which is defined by embedding X into a proper scheme...).

Comparison theorems tell you that etale cohomology with torsion coefficients agree with singular cohomology (with torsion coeff).

Any reference on etale cohomology will discuss this.

Ref:SGA 4.5, Milne: Etale Cohomology.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ For a discussion of "Sheaf cohomology wih compact supports over any topological space" you may want to look up "Sheaf theory - Breadon" and " Sheaves in topology-A.Dimca". It should be noted that: Etale cohomology with compact support requires the existence of proper embedding (one shows that result is independent of a chosen embedding), so it is not a straightforward generalization of "Sheaf cohomology wih compact supports" to the etale site. $\endgroup$ – isildur Oct 13 '11 at 0:22

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.