Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In Hartshorne's "On the de Rham cohomology of algebraic varieties", he defines algebraic de Rham cohomology of a variety $X$ over a field $k$ of characteristic zero by choosing a closed immersion $X \hookrightarrow Y$ into a smooth variety $Y$, completing the de Rham complex $\Omega^{\bullet}_{Y}$ of $Y$ along $X$ to get a complex ${\widehat{\Omega}}^{\bullet}_{Y}$ of sheaves on $X$, and then taking hypercohomology of that complex.

He then has to show that the result is independent of the embedding $X \hookrightarrow Y$. In particular, if $X$ were already smooth, then one could choose the identity embedding $X=X$ as well as some other embedding $X \hookrightarrow Y$ and then you expect the natural map of complexes ${\widehat{\Omega}}^{\bullet}_{Y} \rightarrow \Omega^{\bullet}_{X}$ to be a quasi-isomorphism.

Hartshorne's proof of independence involves various steps, one of which is considering the case of a smooth hypersurface in a smooth affine variety. He gives an argument in this case on page 25, but it seems to me that he is using the Kahler differentials of the completion rather than the completion of the Kahler differentials, although I could be wrong. So I'm not sure that the argument is correct.

More precisely, he proves a lemma that if $A$ is a Noetherian $k$-algebra complete with respect to the $x$-adic topology, $x \in A$ a non-zero divisor and $A/x=B$ is formally smooth, then $A \simeq B[[x]]$.

This much I believe.

Then he claims further that any $\omega \in \Omega^{p}_{A}$ can be written uniquely in the form

$$\alpha_{0}+\alpha_{1}x+\alpha_{2}x^{2} +\dots + (\beta_{0}+\beta_{1}x+\beta_{2}x^{2}+\dots)dx$$

where $\alpha_{i} \in \Omega^{p}_{B}, \beta_{i} \in \Omega^{p-1}_{B}$.

The notation $\Omega^{p}_{A}$ suggests Kahler differentials of the complete algebra $A$ as opposed to a completion of Kahler differentials on some ambient affine scheme for which $A$ is the completion with respect to some $x$.

So my question is this: which notion of Kahler differentials gives the above unique expression, and how do you see there is such a unique expression?

More generally, how do you see that if $X$ is a smooth variety with an embedding into another smooth variety $X \rightarrow Y$, then the natural map of complexes $\widehat{\Omega}_{Y}^{\bullet} \rightarrow \Omega^{\bullet}_{X}$ is a quasi-isomorphism?

share|improve this question
1  
There are a number of approaches using tubular neighborhoods. But a nice way is to use the *infinitesimal topology,' a characteristic zero version of the crystalline topology. The ideas are explained in Illusie's article in Arcata 1974. –  Minhyong Kim Dec 5 '12 at 11:32
    
Thanks. I'm aware of this, but for some computations that I'm doing, I naturally end up in the completion, so right now I don't need the manifestly invariant definition of algebraic de Rham cohomology but rather I want to better understand the ad hoc one in Hartshorne. –  A. Pascal Dec 5 '12 at 11:51
    
I think Hartshorne made a (harmless) mistake. He should have written $\widehat{\Omega}^p_A$, not $\Omega^p_A$. The unique expression then follows from the fact that $\widehat{\Omega}^1_{k[[x]]}=k[[x]]{\rm d}x$ and the identity $\Lambda^p(M\oplus L)= \Lambda^{p-1}(M)\otimes L\oplus\Lambda^p(M)$, where $M$ and $L$ are coherent locally free and $L$ is of rank $1$. –  Damian Rössler Dec 5 '12 at 13:58
1  
About this, see also. Ex. 1.3, chap. 6.1, p. 219 in Liu's book. –  Damian Rössler Dec 5 '12 at 13:59

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.