2
$\begingroup$

In algebraic topology, one defines relative cohomology groups $H(X,A)$ of a pair of spaces $A\subset X$. Is there an analogue in algebraic geometry of cohomology of a pair of schemes?

For example, let $H$ be either etale or de Rham cohomology theory, let $X$ be a scheme and let $D$ be a divisor on $X$ or a closed subvariety of $X$. Can one define relative cohomology $H^*(X,D)$ of a pair in a useful way ? Under what assumptions?

The simplest example would be $X$ a curve and $D$ is a pair of points.

$\endgroup$
2
  • 1
    $\begingroup$ Relative cohomology is the cohomology of the mapping cone, so what one needs is an algebro-geometric mapping cone. At the level of schemes there doesn't seem to be a reasonable way to do this due to the lack of a reasonable substitute for the interval. Etale cohomology only depends on the etale (pro)homotopy type, so you ought to be able to take the mapping cone in (pro)homotopy types in that case. In general I guess you want something like a model structure on simplicial schemes to be able to talk about mapping cones in the latter. $\endgroup$ May 30, 2014 at 5:19
  • 1
    $\begingroup$ If $D$ is a (well-behaved) divisor, you can take the log de Rham complex as a proxy for relative cochains. $\endgroup$
    – S. Carnahan
    May 30, 2014 at 15:10

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.