The Stacks project

Lemma 50.11.4. For $0 \leq i \leq n$ the de Rham cohomology $H^{2i}_{dR}(\mathbf{P}^ n_ A/A)$ is a free $A$-module of rank $1$ with basis element $c_1^{dR}(\mathcal{O}(1))^ i$. In all other degrees the de Rham cohomology of $\mathbf{P}^ n_ A$ over $A$ is zero.

Proof. Consider the Hodge-to-de Rham spectral sequence of Section 50.6. By the computation of the Hodge cohomology of $\mathbf{P}^ n_ A$ over $A$ done in Lemma 50.11.3 we see that the spectral sequence degenerates on the $E_1$ page. In this way we see that $H^{2i}_{dR}(\mathbf{P}^ n_ A/A)$ is a free $A$-module of rank $1$ for $0 \leq i \leq n$ and zero else. Observe that $c_1^{dR}(\mathcal{O}(1))^ i \in H^{2i}_{dR}(\mathbf{P}^ n_ A/A)$ for $i = 0, \ldots , n$ and that for $i = n$ this element is the image of $c_1^{Hodge}(\mathcal{L})^ n$ by the map of complexes

\[ \Omega ^ n_{\mathbf{P}^ n_ A/A}[-n] \longrightarrow \Omega ^\bullet _{\mathbf{P}^ n_ A/A} \]

This follows for example from the discussion in Remark 50.9.2 or from the explicit description of cocycles representing these classes in Section 50.9. The spectral sequence shows that the induced map

\[ H^ n(\mathbf{P}^ n_ A, \Omega ^ n_{\mathbf{P}^ n_ A/A}) \longrightarrow H^{2n}_{dR}(\mathbf{P}^ n_ A/A) \]

is an isomorphism and since $c_1^{Hodge}(\mathcal{L})^ n$ is a generator of of the source (Lemma 50.11.3), we conclude that $c_1^{dR}(\mathcal{L})^ n$ is a generator of the target. By the $A$-bilinearity of the cup products, it follows that also $c_1^{dR}(\mathcal{L})^ i$ is a generator of $H^{2i}_{dR}(\mathbf{P}^ n_ A/A)$ for $0 \leq i \leq n$. $\square$


Comments (2)

Comment #4884 by Matt Larson on

I think it should say "In this way we see that is a free -module...".


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0FMJ. Beware of the difference between the letter 'O' and the digit '0'.