Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $A$ be a commutative $R$-algebra (or more generally a morphism of ringed spaces). Then there is an "algebraic de Rham complex" of $R$-linear maps $A=\Omega^0_{A/R} \xrightarrow{d^0} \Omega^1_{A/R} \xrightarrow{d^1} \Omega^2_{A/R} \to \dotsc$. The construction is given as an exercise in Lang's Algebra (XIX, Theorem 3.2). Somehow this is not completely formal since $\Omega^i_{A/R}$ only has a universal property as an $A$-module, not as an $R$-module, right?

We depand that $d^{p+q}(\omega \wedge \eta) = d^p(\omega) \wedge \eta + (-1)^p \omega \wedge d^q(\eta)$ for $\omega \in \Omega^p, \eta \in \Omega^q$. This implies $d^1(a * d^0(b)) = d^0(a) \wedge d^0(b)$, and more generally $d^1$ maps $\sum_i a_i * d^0(b_i) \mapsto \sum_i d^0(a_i) \wedge d^0(b_i)$. Conversely, one could try to define $d^1$ this way. But then it is not clear to me how to show well-definedness. I will sketch what I have done to remedy this, but probably it's way too complicated, and I wonder if there is a more direct approach.

There is an isomorphism $\Omega^1_{A/R} \to I/I^2$ mapping $a * d(b) \mapsto [ab \otimes 1-a \otimes b]$, where $I$ is the kernel of the multiplication map $A \otimes_R A \to A$. It fits into a long exact sequence $\dotsc A^{\otimes {n+1}} \to A^{\otimes n} \to \dotsc$ where the differentials are alternating sums, for example $A^{\otimes 4} \to A^{\otimes 3}$ maps $a \otimes b \otimes c \otimes d$ to $ab \otimes c \otimes d - a \otimes bc \otimes d + a \otimes b \otimes cd$. Exactness implies that $I$ is isomorphic to the cokernel of this differential. Now define $A^{\otimes 3} \to \Omega^2_{A/R}$ by $a \otimes b \otimes c \mapsto d^0(ac) \wedge d^0(b)$. This is a well-defined $R$-linear map. One checks that it vanishes on the image of $A^{\otimes 4} \to A^{\otimes 3}$, hence extends to $I$. One then checks that it also vanishes on $I^2$, so that it extends to $I/I^2 \cong \Omega^1_{A/R}$. The resulting map $d^1$ has the desired description.

Once one has $d^1$, one might define the other differentials inductively by $d^{p+1}(\omega \wedge \eta) = d^p(\omega) \wedge \eta + (-1)^p \omega \wedge d^1(\eta)$. But then again well-definedness seems to be not so clear.

Of course there are no such problems when $\mathrm{Spec}(A)$ is a vector bundle over $\mathrm{Spec}(R)$, which also explains that they don't occur for the de Rham complex on a smooth manifold.

share|improve this question
3  
EGA IV (Quatrième partie), §16, Théorème (16.6.2), page 34. –  Georges Elencwajg Feb 21 '13 at 20:18
    
Actually the EGA construction of $d^1$ coincides with mine, and it is cited a general result in Bourbaki's Algèbre to get all the other differentials. Any alternative constructions are appreciated. –  Martin Brandenburg Feb 22 '13 at 0:03

2 Answers 2

up vote 9 down vote accepted

I have found a more simple construction. In fact, there is a universal property of $\Omega^1_{A/R}$ as an $R$-module: It is the cokernel of the $A$-linear (and therefore $R$-linear) map $A \otimes_R A \otimes_R A \to A \otimes_R A$ defined by $a \otimes b \otimes c \mapsto ab \otimes c - b \otimes ac - a \otimes bc$. This alternative construction seems to be quite unknown(?), see also here. The differential is given by $d(a)=[a \otimes 1]$. We exactly mod out the Leibniz rule $d(a \cdot b)=a \cdot d(b)+b \cdot d(a)$, and the $c$ gives us the (right) $A$-module structure.

Now consider the $R$-linear map $A \otimes_R A \to \Omega^2_{A/R},~ a \otimes b \mapsto d(b) \wedge d(a)$. It extends to $\Omega^1_{A/R}$ since $${\small d(c) \wedge d(ab) - d(ac) \wedge d(b) - d(bc) \wedge d(a)}$$ $${\small =a \cdot d(c) \wedge d(b) +b \cdot d(c) \wedge d(a)-a \cdot d(c) \wedge d(b) - c \cdot d(a) \wedge d(b)-b \cdot d(c) \wedge d(a)-c \cdot d(b) \wedge d(a)=0}.$$

More generally, $\Omega^p_{A/R}$ is an explicit quotient of $A^{\otimes 2p}$, and $A^{\otimes 2p} \to \Omega^{p+1}_{A/R}$ defined by $a_1 \otimes b_1 \otimes \dotsc \otimes a_p \otimes b_p \mapsto d(b_1 \cdot \dotsc \cdot b_p) \wedge d(a_1) \wedge \dotsc \wedge d(a_p)$ preserves the relations (easy calculation as above), so that it extends to $d^p : \Omega^p_{A/R} \to \Omega^{p+1}_{A/R}$.

This construction even generalizes to arbitrary commutative algebra objects in cocomplete symmetric monoidal categories. In the abelian case we can define de Rham cohomology. Details will appear elsewhere ;) (namely my thesis, the section about derivations).

share|improve this answer
    
This seems to be an original approach. –  user18119 Feb 23 '13 at 11:29
    
Surely we also need the category to be at least semi-additive, so as to be able to add morphisms together? –  Zhen Lin Dec 4 '13 at 12:12
    
Yes, you are right. –  Martin Brandenburg Dec 5 '13 at 0:52
    
This is very nice! –  Alex Youcis Mar 27 at 7:08

I think there is an easier proof.

Write $A$ as a quotient $B/J$ where $B$ is a polynomial ring over $R$ (not necessarily finite type). Then $\Omega^1_{B/R}$ is free over $B$, and you pointed out, the construction is easy in this case. We have the exact sequence $$ J\stackrel{\delta}{\to} \Omega_{B/R}^1\otimes A \to \Omega_{A/R}^1\to 0$$ which implies that $\Omega_{A/R}^i$ is canonically the quotient of $\Omega_{B/R}^i$ by $J\Omega_{B/R}^i$ and the submodule generated by $d(J)\wedge \Omega_{B/R}^{i-1}$. To define $d^i : \Omega_{A/R}^i \to \Omega_{A/R}^{i+1}$, it is enough to check that $d^i : \Omega_{B/A}\to \Omega_{B/R}^{i+1}$ maps $J\Omega_{B/R}^{i}$ and $d(J)\wedge \Omega_{B/R}^{i-1}$ to the submodule generated by $d(J)\wedge \Omega_{B/R}^{i}$ and $J\Omega_{B/R}^{i+1}$, but this is almost obvious.

It remains to check the condition on $d^{p+q}(\eta\wedge \omega)$. This trivially follows from the same condition on the $\Omega_{B/R}^i$'s.

share|improve this answer
    
Thank you! $\phantom{ }$ –  Martin Brandenburg Feb 22 '13 at 23:35

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.