Remark 50.22.2. In exactly the same manner as above one can show that Hodge cohomology $X \mapsto H_{Hodge}^*(X/k)$ equipped with $c_1^{Hodge}$ determines a Weil cohomology theory. If we ever need this, we will precisely formulate and prove this here. This leads to the following amusing consequence: If the betti numbers of a Weil cohomology theory are independent of the chosen Weil cohomology theory (over our field $k$ of characteristic $0$), then the Hodge-to-de Rham spectral sequence degenerates at $E_1$! Of course, the degeneration of the Hodge-to-de Rham spectral sequence is known (see for example for a marvelous algebraic proof), but it is by no means an easy result! This suggests that proving the independence of betti numbers is a hard problem as well and as far as we know is still an open problem. See Weil Cohomology Theories, Remark 45.11.5 for a related question.

There are also:

• 2 comment(s) on Section 50.22: A Weil cohomology theory

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).