In this post we will discuss various properties of the algebraic de Rham cohomology of a variety . We will focus, in particular, on various aspects of when the Hodge-to-de Rham spectral sequence on the first page, the most interesting case of which happens in positive characteristic.
The definition of algebraic de Rham cohomology
As with most modern cohomology theories in algebraic geometry, algebraic de Rham cohomology intends to capture ‘topological’ aspects of a variety . But, unlike -adic cohomology which seeks to capture the topological via ‘topological like constructions’ (i.e. covering spaces), algebraic de Rham cohomology attempts to take a more indirect route. In particular, it looks to take advantage of the classic de Rham isomorphism
where is a smooth (real) manifold. This allows one to try and access the topological via the analytic.
Why is this a reasonable thing to want to do? I mean, after all, one of the main goal of algebraic geometry is to try and access the topological via the algebraic. But, thanks to Serre’s GAGA principle we know that the analytic and the algebraic are not far off- -certainly much closer than the algebraic and the topological. Thus, if we can reasonably get at a means of trying to understand cohomology via analytic-in-nature ‘forms’, then we stand to create a means of understanding the hidden ‘topology’ of varieties.
To motivate the actual definition of the algebraic de Rham cohomology of a variety, let us begin by recalling how the proof of de Rham’s theorem goes (one proof amongst many!). So, let us assume that is a smooth (real) manifold of dimension . One then recalls that the de Rham complex
(where denotes the sheaf of smooth functions on ) forms a deleted resolution of the constant sheaf on (this is essentially the content of the Poincare lemma). In other words,
is exact. But, note that each (with, definitionally, ) is acyclic. Indeed, they’re soft since they are -modules, and possesses smooth bump functions, and soft sheaves are acyclic on since it’s paracompact Hausdorff.
Thus, by standard theory, we know that
where denotes the cohomology group (i.e. – -not to be confused with the hypercohomology of a complex which will come later) of the complex of global sections complex . But, this right hand side is precisely the definition of , and thus we have deduced an isomorphism
Lastly, we note that since is locally contractible that there is an isomorphism
and concatenating these two isomorphisms gives the desired isomorphism.
Now, while this is great, it is slightly misleading. How? Well, it gives one the wrong impression about how to go about creating an algebraic de Rham cohomology. Indeed, it certainly makes sense to consider the group , where is a variety (and the forms are algebraic forms), and this is mimicking precisely what happened in the above smooth case. Of course, as everyone knows, the smooth case is often a far cry from the rigid world of the algebraic- -and, indeed, this turns out to be the wrong definition.
To see the issue with this definition, let us take an intermediary step and try to work out this definition in the case of complex manifolds- -a case much closer (at least in the case of compact Kähler manifolds) to the algebraic setting than the smooth category. Namely, we might seek to define the ‘complex de Rham cohomology’ of a complex manifold as . But, what type of forms do we want here? We now have many options. Do we want real smooth forms? Do we want complex smooth forms? Or, possibly, do we want holomorphic forms?
Well, if we’re using this situation as a testing ground for the algebraic we are obliged to use holomorphic forms, since it is coherent -modules that behave ‘like algebraic ones’ (a la Serre’s GAGA principle). But, we immediately see that this poses an issue. The following isomorphism cannot hold:
Why? One very simple reason is that is simply just not ‘long enough’. Namely, for larger than the complex dimension of . But, in general, only for larger than the real dimension of . As a very simple example of this, note that has complex dimension , and so , but, of course, .
What has gone wrong? Where does the argument which proves de Rham’s theorem in the smooth setting fail (quite spectacularly might I add) in the holomorphic? Well, a version of Poincare’s lemma still hold and shows that the sequence
is exact (here is the complex dimension of ). But, this is where the argument breaks down. Before, the next step was to note that not only did the de Rham complex provide a resolution of the constant sheaf, but an acyclic one. The key being the existence of smooth cut-off functions on a smooth manifold. This is the point of miserable failure in the holomorphic version of the argument. There are no holomorphic bump functions, ergo the sheaves are not soft, ergo there is no reason for them to be acyclic. There is nothing deep here. Our example of above gives a perfectly reasonable example of the de Rham complex not being a complex of acyclics. Indeed, which has non-vanishing first cohomology.
Hopefully this thoroughly convinces the reader that is the wrong adaptation of de Rham cohomology to complex manifolds, and thus that the wrong adaptation of varieties- -at least if we want to get a cohomology theory mimicking singular cohomology. But, all is not lost. While this naive definition doesn’t work, that doesn’t mean one should quite give up hope yet.
In particular, there is a nice piece of homological machinery which saves the day. The point is that we want some gadget which is able to compute the cohomology of a sheaf from any resolution, not necessarily a resolution of acyclics. This is precisely the driving point to the definition of the hypercohomology of a complex. Namely, whatever the hypercohomology of a bounded-below complex is, the important point is that it has the following desirable properties:
- Any quasi-isomorphism of complexes induces an isomorphism .
- If denotes the complex concentrated in degree , with the sheaf there, then
Why is this useful to us? Well, let us suppose that we have some sheaf and a resolution
Then, one can verify that this is equivalent to giving a quasi-isomorphism. . So, using these two properties we deduce that
Thus, we can, in fact, compute the cohomology of a sheaf from any resoluton, if we are willing to use this tool of hypercohomology.
Cool. So, with this, we can unabashedly write the following holomorphic version of de Rham’s theorem:
(where the first isomorphism follows from the same theorem applied in the proof of the smooth de Rham’s theorem). This then gives us reasonable motivation to define the algebraic de Rham cohomology of a variety as the hypercohomology of the algebraic de Rham complex:
(Extended) Remark: A very important, and somewhat subtle point should be made. One might imagine that this definition leads to a wholly uninteresting result. In fact, I will now give a proof of this confusing fact. I claim that for all assuming that, say, is irreducible. Why? Well, we still have the resolution
(where ). So then, we may conclude from the machinery of hypercohomology that is equal to . But, since is irreducible the sheaf is flasque, so .
Clearly something is wrong- -but what? The subtle inaccuracy we bought into was that the de Rham complex was still a resolution of . It’s not! Any sort of ‘Poincare type’ lemma will fail on (the Zariski site of !). We no longer have neighborhoods isomorphic to polydiscs! This is something which, while perhaps obvious to most readers, confused me the first time I read about de Rham cohomology.
Of course, while this provides fairly convincing evidence that this is a good definition for the de Rham cohomology of an arbitrary variety, it doesn’t actually convince us that this is a worthwhile object of study- -why does this capture ‘topology like’ properties of ?
As a bare minimum we would hope/expect that if is smooth projective that the following standard comparison theorem holds:
The motivation for this hope, as always is the following. If algebraic de Rham cohomology is to be capturing ‘topological information’ about a variety , then in any setting where there is already canonical meaning of topological information (e.g. varieties over ) our information should agree with the classical information- -this is the content of the comparison theorem. Luckily, this comparison theorem does hold true as a fairly easy consequence of the GAGA theorem (and the spectral sequence discussed below).
On the other end of the spectrum, our true dream for algebraic de Rham cohomology is that it is a so-called Weil cohomology theory– -a cohomology theory rich enough/topological enough in nature to prove the Weil conjectures. As it turns out, the world is a just and righteous place, and algebraic de Rham cohomology is indeed a Weil cohomology theory…sometimes. If is characteristic the planets align, and in positive characteristic they crash into one another- -in that case we have to deal with the wholly more complicated theory of crystalline cohomology.
That said, the behavior of de Rham cohomology in positive characteristic is an interesting topic in and of itself. In fact, a large portion of this post will be devoted to understanding when behaves in expected ways when is of positive characteristic.
The degeneration of the Hodge spectral sequence: a motivation to care
To many people the title of this section might sound exceedingly scary. To quote Vakil on the subject of spectral sequences:
They have a reputation for being abstruse and difficult. It has been suggested that the name ‘spectral’ was given because, like spectres, spectral sequences are terrifying, evil, and dangerous. I have heard no one disagree with this interpretation, which is perhaps not surprising since I just made it up
All levity aside, spectral sequences are abstract, and their degeneration is a little dry if not motivated correctly. So, let us begin this discussion first with something slightly more palatable and, if you’re like me, more motivating. Later in the post we’ll see that the topic of this section is equivalent to the degeneration of the Hodge spectral sequence.
As (aspiring) mathematicians, we are doomed to endlessly compare. The most tantalizing chances for comparisons are between concepts made to measure the same thing. The measuring sticks apropos to this current post are various cohomology theories of varieties. It is an infuriating luxury of modern algebraic geometry to be practically over-encumbered with cohomology theories. This is compounded by the fact that their comparison is often times a deep and difficult task.
As an example of this difficulty, one could say, in some broad sense, that the comparison of the -adic cohomology of a -adic variety to various other cohomology theories comprises the geometric content of -adic Hodge theory.
Today we are interested in a less lofty enterprise. In particular, we’d like to compare the de Rham cohomology of varieties (the one we just discussed) to another inostensibly ‘topological’, but patently ‘simpler’ cohomology theory. Let us define the Hodge cohomology of a variety as follows:
Our current goal is then ascertaining when the following equality holds true for a smooth projective variety :
I avoid writing just ‘isomorphism’ to highlight that we are not looking for any sort of canonical isomorphism between the cohomology theories, but a non-canonical one (i.e. equality of dimensions).
Both sides of the expectancy divide should be discussed with regards to this equality. To be less cryptic, there are good reasons to believe/hope that this equality holds in some large portion of generality, and there are reasons to be very, very skeptical. We begin, with the latter.
There are several reasons why one would not expect such an equality to hold. Perhaps the most convincing comes by recasting the definition of the Hodge cohomology of a variety . Somewhat surprisingly, one can also describe as the hypercohomology of a complex of sheaves. Which complex? The complex – -the ‘de Rham complex’ but with the zero differential instead of the standard differential . Thus, our desired equality says that the following holds true:
This is very surprising, at least to me. Usually when one wants to prove that two objects have the same hypercohomology one tries to relate the complexes themselves. That said, the complexes and , while ostensibly similar (since they have the same terms) are incredibly different. As we shall see later phrasing it in this way, one expects in any reasonable case a strict inequality having the larger number.
So, on the flip side, why should any such equality between Hodge and de Rham cohomologies hold? Well, to be frank because it does. In particular, for smooth projective varieties over this is essentially a consequence of the classic Hodge decomposition for compact Kahler manifolds.
Moreover, the argument against believing the equality also provides a weak reason to believe it’s not otherwordly to imagine they agree. Namely, as stated in that paragraph, phrasing Hodge cohomology in terms of the hypercohomology ‘zero de Rham complex’ provides us (by abstract nonsense involving spectral sequences) with an inequality- -some sort of comparison.
Spectral sequences and hypercohomology: a pense-bête
Before we jump into the interesting issue of when the Hodge-to-de-Rham spectral sequence degenerates, I’d like to begin by recalling the basic definitions and facts about hypercohomology and spectral sequences (especially as the latter pertains to the former). This will not only be pivotal in understanding the titular topic of this post, but will also make understanding more down-to-earth things, such as computations, wholly easier.
So as to make the material within this section as palatable as possible we focus on the spectral sequences associated with sheaves of abelian groups on a topological space . Moreover, we shall focus on spectral sequences associated to filtrations.
The general case
We first begin by defining the piece of homological machinery that we trumpeted as our savior in the introduction. There are many ways to summarize what hypercohomology is, and what role it holds in our mathematical world.
- Analogically: hypercohomology is to a complex of sheaves as normal cohomology is to a single sheaf.
- In fancy words: the hypercohomology is just where is the structure morphism, and is the induced map on the bounded-above derived category of abelian sheaves.
- Practically: It allows us to compare cohomologies of things without having to be overly concerned with whether or not the constituents of the complexes are nice. The most reasonable example of this is that, as we discussed in the motivation, hypercohomology allows us to compute the cohomology of a sheaf from any resolution, whether the constituents are acyclic or not.
Sadly, we will not spend any serious amount of time discussing the details of hypercohomology. This is a largely formal (albeit very important!) topic, and is best relegated to a reading of Weibel’s Homological Algebra. That said, we provide here the bare-bones definition.
Let us start very abstractly with any two abelian categories and – -we assume that has enough injectives. Let’s assume moreover that is a left exact functor.
We recall that the ‘bounded below derived category’ of , denoted is essentially the bounded below complexes (i.e. complexes which are zero for sufficiently small indices) of objects of where morphisms are up to homotopy, and we’ve inverted quasi-isomorphisms. Note that we have a natural inclusion
taking any to the complex, also denoted , concentrated in degree .
Now, by standard homological algebra we have the derived functors . Our goal is to create some functor such that the following composition equals the functor :
where denotes the standard cohomology of a complex. We will call this functor the hyperderived functor of .
Describing how acts is actually surprisingly easy. Namely, let be any bounded below complex of . Choose a bounded complex of injectives of (i.e. a complex whose terms are injectives) such that is quasi-isomorphic to . Then, define the hyperderived functor as follows:
where is the complex given by applying to each term of .
Of course, while this is very easy to state, there are some obvious questions. Does this descend to a functor on the bounded below derived category- – if I replace by a quasi-isomorphic complex, does the image under change similarly? Is it clear that, up to quasi-isomorphism, this definition is independent of ? Is it even clear that such an exists? All of these questions are totally valid and, as stated before, formal manipulations best left to checking on a lazy afternoon (or peeking in Weibel).
Note though that it’s clear from construction (modulo these just mentioned questions) that satisfies the two properties mentioned in the desired properties of hypercohomology:
- By construction (since it only depends on the derived category), any two quasi-isomorphic complexes give rise to the same value under .
- For all and all in , we have that . Indeed, take any injective resolution of . Then, is quasi-isomorphic to . So, equals . But, definitionally as desired.
which tells us that it is a reasonably defined notion.
Also one can show with a little bit of elbow grease that, just like the in the classical case of derived functors, one can compute as for any bounded below complex of -acyclic objects of .
The case of sheaves
Let us discuss what this notion looks like in the case of sheaves. Namely, let be some topological space, and consider the left exact functor
(the global sections functor). Then, by the above we get a map
let us define the hypercohomology of a bounded below complex of abelian sheaves on as follows:
an element of . Of course, if we restrict to an abelian subcategory of with enough injectives whose image lies in an abelian subcategory of then hypercohomology takes values in that subcategory. As an example, if we take the subcategory of -vector space valued sheaves on , then hypercohomology takes values in .
Now, for this specific case of hyperderived functors there is actually a very nice ‘canonical’ (i.e. functorial) bounded below complex of acyclics associated to any bounded below complex . Namely, let us denote for any sheaf and each the Godemont sheaf . Roughly, these sheaves are built as an iterative process of taking sections of the étalé space of and its previous Godemont sheaves (really their cokernels).
The upshot is that these fit together to give a resolution
and, in fact, a flasque resolution. We call this the Godemont resolution of . The striking thing about the Godemont resolution is that it’s functorial. Any map of sheaves gives rise to a map of complexes .
Now, with this we can describe a ‘canonical’ injective ‘resolution’ of any bounded below complex . Namely, for each we can take the Godemmont resolution of . Now, by functoriality we get maps . This gives rise to doubly bounded (i.e. essentially first quadrant) double complex . One can then form the total complex of .
It turns out that the natural map is a quasi-isomorphism, and moreover that is a complex of acyclics. Thus, we may conclude that
which gives a ‘canonical’ interepretation of the hypercohomology of sheaves. We will not use this fact in the rest of the post, but it gives one a more-down-to-earth, and hopefully comforting, way to think about hyperchomomology.
Remark: One can use this definition of hypercohomology to derive some of the spectral sequences below from the spectral sequence of a double complex- -if that sort of thing makes you happy.
Remark: This ‘Godemont resolution’ of is a special case of the general notion of an Cartan-Eilenberg resolution.
A lament about the definition
There is a reason that so few people have written well, if at all, about spectral sequences. They’re hard. They are honestly one of those things that one just gets used to. You see their utility in practice and start to appreciate them for what they are.
That said, I will make no attempt at trying to recall the general definition/theory of spectral sequences. Instead, I offer some references that have helped me in the past.
- You could have invented spectral sequence – Timothy Chow
- Spectral sequences: friend or foe? – Ravi Vakil (check the relevant part of his book on algebraic geometry which is likely to be an updated version of this article).
- An Introduction to Spectral Sequences (2nd ed.) – John McCleary (the first chapter).
My recommendation to you would be to take them largely as a blackbox (as most people do). Your best bet is to read things using them and ‘fake it til you make it’. The more you see them used in the wild, the easier they will be to grok. In fact, taking what’s written below for granted is a good start!
The spectral sequence associated to a filtered complex
So, let us discuss the particular general type of spectral sequence that will be of use to us. To set up, let’s assume, once again in the abstract, that we have , and as before. Moreover, let’s assume that we have a bounded below complex of objects of . But, the new thing we’ll assume is that we have a decreasing filtration:
By this, we mean that for all we have a subcomplex
such that for all and all we have that
Let’s assume that this complex is biregular, just meaning that for we have that and for we have that .
Now, note that this filtration gives a filtration on
defined as followed:
Of course, since is biregular, so is .
Now, there is a very natural question one might ask. To state it most succinctly we first need a definition. For any (decreasing) filtered object we define the associated graded object as follows:
is called the graded piece of .
So, now we have two natural graded objects in our current situation. Namely, and . The first is a bounded below complex of , and the second is an object of . Since the first is a complex, we can consider its hyperderived functor which is an object of . We then have the following obvious question:
as graded objects (i.e. really we want isomorphisms of the individual ‘s). In other words, do and commute?
This question is not only glaringly obvious, but one of great practical importance. Note that the object ‘knows’ the object (the object we are interested in) ‘up to extensions’. Meaning that if we could reconstruct (up to isomorphism) from and , then we could find (remember that for !).
As an example of this, let’s suppose that is the category of finite dimensional -vector spaces (this will be the case of interest to us). Then, this category has a trivial ‘extension problem’. In particular, to know is to know its dimension. But, its dimension is just
so we can reconstruct , up to isomorphism, from . More specifically we have the equality:
which is obvious from inspection.
Thus, it’s clear that understanding is of great importance. The practicality comes from the following simple observation. In every conceivable situation, computing is simpler than computing (or morally equivalently, computing ). Why? Well, the hard operation is not taking graded objects, the hard operation in taking hyperderived functors. So, any way to make that operation easier makes the entire calculation much easier. But, the complex of sheaves is practically always an ‘easier’ complex of sheaves than – -and so, consequently, it’s hypercohomology is easier to compute.
Thus, we really do want to understand when holds or, more generally, what the relationship between the two sides is. As is usually the case when we have something simple and something hard (in a homological algebra setting) the relationship between them is described by spectral sequence. The case is no different here. Indeed, we have the following spectral sequence known as the spectral sequence of a filtered complex:
this gives us the relationship between the two sides of .
For simplicitly, let’s assume, once again, that takes values in finite dimensional -spaces. Then, we know from the general theory of spectral sequences that
and that is a subquotient of . Thus, we have the following inequality
with equality if and only if degenerates on the first page.
So, we’ll now apply this super general setup to two particular filtrations that make sense on any abelian category.
The Hodge filtration/spectral sequence
Our first general filtration will be the Hodge filtration or, as its often endearingly known, the stupid filtration. And, indeed, it is a stupid filtration.
So, let’s begin with a bounded (on both sides) complex of . We define a filtration, called the Hodge filtration, on as follows:
Since is bounded, it’s clear that this sequence is decreasing and biregular.
Note though that
where denotes shifting the complex , concentrated at , units to the right. Thus, we see that the becomes:
But, as one can easily compute
thus we obtain the so-called Hodge spectral sequence
This is a clear cut example of where the left hand side is much easier to compute than the right hand side.
Now if, once again, we assume that takes value in finite dimensional -spaces then the degeneration on the first page of the is equivalent to the following equality
The conjugate filtration/spectral sequence
We now discuss the other, less stupid, filtration which exists on a general bounded complex . But, before we do, we need to define an ancillary (in this case- -it’s important in its own right!) filtration.
Let us define the truncation filtration as follows:
The reason for the strange inclusion of the kernel term, opposed to literal truncation, is so that agrees with for .
Now, notice that is an increasing filtration. To make it a decreasing filtration we simply reindex, and this is how we arrive at our desired filtration. Namely, we define the conjugate filtration as follows:
which is now a decreasing and biregular filtration.
But, we can compute that
So, it’s the cohomology object concentrated in degree . This gives us a weird spectral sequence if we just literally look at this instance of the . Instead, we do a reindexing of it as follows:
We then obtain a second page spectral sequence as follows, called the conjugate spectral sequence:
The analytic case
Our goal now is to see how these two spectral sequences look in some particular cases. We begin in the analytic world. Namely, let’s assume that is a connected complex manifold of dimension .
We will take in this case the following choices of the general objects from the previous discussion. Namely, we’ll take the category to be , the category to be , the functor to be , and the complex to the holomorphic de Rham complex .
The general discussion from before then leaves us with the following two spectral sequences:
where, as usual, we define to be , and is just the more customary notation for when dealing with sheaves. Also, the ‘A’ stands for ‘analytic’.
We then may begin to analyze these two sequences individually. We start with the because it’s easier.
Analytic conjugate spectral sequence
Indeed, as mentioned before, one still has the holmorphic Poincaré lemma which says that is a resolution. So, in particular,
Thus, we see that the degenerates on the first page and thus we obtain the equality
thus rediscovering the previously mentioned fact that the holomorphic de Rham cohomology computes singular cohomology.
Analytic Hodge spectral sequence
The case of the is a much more nuanced affair. In particular, the Hodge spectral sequence does not always degenerate on the first page. For example, if is affine then is, usually, infinite dimensional whereas , being singular cohomology, is finite dimensional.
So, to say something reasonable, let’s restrict ourselves to those which are compact so at least is finite dimensional. Then, we know that the degenerates on the first page if and only if
so that degeneration is the same thing as an isomorphism between de Rham cohomology and Hodge cohomology (as was hinted to in the previous motivation).
Now, while this is not something true in general it is something which holds true if is also assumed Kähler. If Kähler isn’t a phrase you very much like, just remember that which are both Kähler and algebraic are precisely the projective algebraic varieties.
More specifically, if is compact Kähler, then we have the following theorem:
Theorem 1(Hodge decomposition): Let be a compact Kähler manifold. Then, for all we have a canonical isomorphism
But, by the above we know that holomorphic de Rham cohomology agrees with singular cohomology. Thus, in particular, we see that if is compact Kähler then necessarily the degenerates on the first page.
In fact, if one is willing to work a little harder one can show that for any proper algebraic analytic variety (i.e. an analytic variety which is the analytification of a proper variety over ) that Hodge decomposition, and thus degeneration on the first page, holds. This is essentially an application of Chow’s lemma.
Remark: One thing to remark is that another part of Hodge theory for compact Kähler manifolds is Hodge symmetry. Now, while this is clearly related to the Hodge decomposition (i.e. the degeneration of the on the first page) they are not implied by one another. Hodge symmetry is an extra little inequivalent quirk of the characteristic 0 theory. In particular, there are cases in positive characteristic where the degenerates on the first page but Hodge symmetry does not hold.
Remark: A remark should be made about why the conjugate spectral sequence is called, well, the conjugate spectral sequence. We’ll try and answer this in some way below, but we want to say here why it is not called the conjugate spectral sequence. Note that once we fix an isomorphism with we get two filtrations on . Now, since we have a canonical isomorphism
we have a notion of conjugation on . It is not true that the two filtrations on this spaces defined by the and the are conjugate. This is easily seen by considering what the graded pieces are.
The algebraic case
Just as in the analytic case, for a variety , we obtain two spectral sequences:
where, as usual, we define to be the hypercohomology of the de Rham complex.
Now, these two cases act entirely differently depending on whether has positive characteristic or not. For this reason, we will split our analysis into these two cases. Moreover, we shall restrict our attention to the case when is smooth proper.
The characteristic zero case
The algebraic Hodge spectral sequence
It will be helpful to break this case down into two steps. First, we shall discuss what happens when . We shall then use this to analyze the situation when is an arbitrary characteristic zero field
The complex case
So, let’s assume that is a smooth proper variety. Our goal, as one might expect, is to reduce this to the analytic case by passing to . Of course, some care must be taken since the objects we’re dealing with aren’t exactly under the purview of GAGA! Indeed, the differentials in the de Rham complex aren’t even -linear!
That said, we have the following amazing theorem of Grothendieck:
Theorem 2(de Rham-Singular Comparision Theorem): Let be a smooth variety (no assumption on properness). Then, for all we have the following isomorphism:
The first isomorphism in this chain was already proven, and is fairly easy. It is the second isomorphism which is the amazing one. In particular, it tells us that for an algebraic variety, we can compute its singular cohomology entirely algebraically!
Now, the proof of this result is a moderately complicated dévissage to the affine case, where one may proceed in several ways. I will not give the full proof here- -I recommend reading Grothendieck’s original paper.
That said, the proof in the case when we assume that is proper (the case of interest to us) is considerably easier:
Proof(proper case): As previously mentioned we can’t literally apply GAGA to our problem. But, we note that the morphisms on the first page of are -linear maps between coherent modules. Thus, GAGA gives us an isomorphism between this and the first page of the for . The result then follows by the convergence of the two spectral sequences to the two objects we are looking to compare.
Remark: Another aspect of Grothendieck’s theorem which I think deserves discussion is the case when is affine. Note then that Grothendieck’s comparison theorem tells us that for (the complex dimension!). Indeed, by the comparison theorem we have that is the hypercohomology of the de Rham complex . But, since is affine, this is actually a complex of acyclics, and so the general theory of hyperchomology tells us that
and since for , this implies the result.
This is somewhat surprising- -affine complex varieties have no cohomology past their complex dimension, even though, in general, we only expect vanishing beyond their real dimension. That said, there is a way of seeing this result without ever having to enter the algebraic world. Namely, since is affine is a so-called Stein manifold. But, then by Cartan’s Theorem B the complex on is a complex of acyclics. Thus, we could play the same game for the vanishing of higher singular cohomology using the holomorphic de Rham cohomology of in place of the algebraic de Rham cohomology of (and Grothendieck’s comparison theorem).
Finally, I would feel remiss to not take an opportunity to point out one of my favorite mathematical facts. The above shows that, at least cohomologically, an affine complex variety acts like a real -dimensional manifold. A spectacular application of Morse theory shows that this is not a coincidence. In particular, it shows that if is an affine complex variety, then has the homotopy type of an -dimensional real manifold. See Theorem 1.2 of this excellent set of notes.
So, now, we can prove the degeneration of the in the case when . Indeed, we need only show that if is smooth proper then
But, by Grothendieck’s comparison theorem the left hand side is . And, by a trivial application of GAGA, the right hand side is . But, as we have previously discussed
from where the result follows.
The general case
We shall now reduce to the complex case by a pretty standard ‘pulling down/pushing up argument’ (cf. this post of mine which uses the same technique).
Namely, let , and let be smooth proper. Now, by adjoining to the coefficients of the polynomials defining , we can get a smooth proper model for some finitely generated field extension of . But, then, there exists an embedding . Consider then .
Now, by the complex case we know that
But, since differentials respect pull-backs we easily verify that
from where the desired equality follows.
The conjugate spectral sequence
Somewhat interestingly, nothing too reasonable can be said about the in characteristic zero without too much work. I’ve heard claims that some work of various people (including, perhaps, Ogus) says something of interest, but I don’t have any concrete sources.
Of course, the issue is that since the differentials in the de Rham complex are not -linear, the sheaves needn’t even be -modules! So, when we have no chance of trying to apply GAGA. Also, as remarked before, since these are sheaves in the Zariski topology, we also have no analogue of the Poincaré lemma, and so has no right to be zero- -and, in most cases, isn’t.
The positive characteristic case
This is the case of the most interest since we cannot run to the warm embrace of the Hodge theory of compact Kähler manifolds. So, some new technique must be employed.
This technique comes from the following. What the positive characteristic case lacks in the safe haven of the complex analytic, it makes up for in the existence of a very special map. This will be the subject of our first subsection.
The relative Frobenius map
In this section we will recall what will be the key tool in the study of the spectral sequences and in characteristic .
So, let’s begin by recalling the definition of the absolute Frobenius map. Namely, let be a scheme with (i.e. lies over ). Then, possesses the so-called absolute Frobenius map . It’s defined to be the identity on the underlying space of , and on an affine open in it corresponds to the ring map .
So, now let be as in the last paragraph, and let be an -scheme. We can then form the Frobenius twist of relative to , denoted by as fitting into the following Cartesian diagram:
Concretely, if is cut out by the equations relative to , then is cut out by the equations .
Note that the map is not an -map. To make this seem of more importance, note that if is a perfect scheme (meaning that is an isomorphism) then the morphism is an isomorphism of schemes, but not of schemes over !
That said, we can create a natural map of -schemes . By appealing to the cartesian nature of , to do this, we need only give maps and making the obvious square commute. We take the maps and . Thus obtaining the relative Frobenius map . This is a map relative to , but not necessarily an isomorphism.
Concretely, takes a tuple satisfying the equations and sends it to which will satisfy the equations of .
So, an important property of for us will be the following:
Theorem 3: Suppose that is perfect and is smooth of relative dimension . Then, is a locally free map of rank .
Proof: We verify it first in the case that is étale. This means that we want to show that, in fact, is an isomorphism. To see this, note that the structure map is also étale, being the pullback of étale. But, the composition
is also étale, since it’s just . So, by the cancellation theorem, is étale. But, we claim that it’s also radiciel. Indeed, a morphism is radiciel if and only if for all with we have that the extension is totally inseparable. But, in our case the field extensions are obviously totally inseparable. Thus, we see that is an open embedding. But, note that the composition is which is surjective, so is surjective, and thus an isomorphism.
Secondly, we verify the result when . This is trivial and can be done by hand.
Finally, locally the map looks like from where the two base cases imply the result.
The last thing we want to note is the following fact which will be crucial later:
Theorem 4: Let be a perfect field, and let be smooth projective. Then,
Proof: This is just a simple verification. Indeed, for each note that the morphism gives us an exact sequence
where we have exactness on the left since is an isomorphism. Moreover, for the same reason we have that . Thus, we have an isomorphism of -modules
Then, by taking wedge powers we obtain isomorphisms:
But, note that since is an isomorphism we deduce that
which gives the desired result.
The Hodge spectral sequence
For the entirety of this and the next section, we assume that is a perfect field.
Before we slip too far into the usual routine, let us consider the following example due to William Lang, and proved in his thesis. Namely, consider the surface
(here ). Thus,
which implies that the does not degenerate for on the first page.
Now that we have disabused ourselves of the notion that the analysis of the will be business as usual (it doesn’t even always degenerate!) we can look for hypotheses on which will guarantee that it acts as expected.
The key, as mentioned before, will be to leverage the relative Frobenius map for . So, we begin by noting some miracles surrounding the relationship between and de Rham cohomology.
First, we note that the maps
are the zero maps. Both of these, in coordinates, are just flavors of the statement in that in characteristic the relationship holds.
Slightly more astonishing is the following fact. Now, just as always, the differentials on the de Rham complex are not -linear. That said, if we consider the push-forward of this complex to , (it’s customary to write instead of ) then the differentials of this complex are -linear! This comes from a calculation approximating the following:
which one can make precise in coordinates.
While these two observations are nice, the first truly amazing property involving Frobenius and differentials if the following theorem of Cartier:
Theorem 5: Let be a smooth variety. Then, there is a unique isomorphism of graded -algebras
such that the map is given in coordinates by sending .
Note that the product structure on both sides is coming from the wedge product.
This theorem is actually surprisingly easy to prove. One verifies it by hand for , deduces the result for by Künneth formula, and then show that it is insensitive to changing by an étale map.
Now, while this result is sort of surprising in its own right it begs an even more tantalizing question. Namely, note that as a corollary of Cartier’s theorem one obtains that the complexes and have isomorphic cohomology. Thus, a natural question is whether the following assertion holds true:
: there exists a quasi-isomorphism inducing the Cartier isomorphisms on cohomology.
Now, up until this point, our discussion seemed relatively far afield from the discussion of the degeneration of the . But, in fact we have the following claim:
In fact, this is relatively easy to deduce using our knowledge of the relative Frobenius map obtained in the last section. Assume that holds. Then:
where is our previous computation that Frobenius twists don’t change Hodge cohomology, follows by , and follows from the fact that is a finite map.
Thus, it seems of immediate interest to determine when holds. There is only two reasonable cases (that I know of) in which holds:
Theorem 6: Let be a smooth proper variety. Then, holds in either of the following two situations:
- has a (smooth) lift to and .
- has a (smooth) lift to and lifts to a map
where acts on itself by the natural lift of Frobenius.
Here denotes the length two Witt vectors of . Explicitly, is the ring with the addition
and with multiplication
For example, if , then .
Now, both of these results are proved in this seminal paper of Deligne-Illusie. In fact, the sufficiency of 2. for is proved as a lemma in proving the following result which implies sufficiency of 1.:
Theorem 7(Deligne-Illusie): Let be a perfect field and a smooth scheme. Suppose that admits a smooth lift . Then, there is a quasi-isomorphism
inducing the Cartier isomorphism on cohomology.
Here, in the language of the truncation filtration defined above, is just .
In particular, note that if then does nothing (since the chains are already length ), and thus we obtain sufficiency for 1. in this case.
I will say nothing of the proofs of these results, deferring them to the extremely well written paper of Deligne-Illusie. The only thing I’d like to remark on is the obvious question: why ? What is causing a necessity of this inequality?
The key step in the proof is the following. Suppose that we could find a morphism:
which induces the Cartier isomorphism on cohomology. Then, I claim that we can build the necessary maps
for for free. Indeed, one can define it as the composition:
here is the multiplication, and is the anti-symmetrization map:
and this map only makes sense for . This is the place where we require the inequality involving !
As an immediate application, we obtain the following:
Theorem 8: Let be a perfect field, and a smooth proper curve. Then, the degenerates on the first page.
Proof: Since it suffices to know, by Deligne-Illusie, that lifts to a curve . But, in general, the obstruction space for smooth lifts of a variety is , where is the tangent bundle. In particular. since (since is a curve!) we have that automatically lifts to (and, in fact, ).
Note, incidentally, that Hodge symmetry also holds for curves- -it’s just Serre duality!
The conjugate spectral sequence
We will now discuss what happens in the case of the conjugate spectral sequence in positive characteristic. It will turn out that there is not much more than can be said.
The key calculation is as follows. Let’s suppose, as per usual, that is perfect and is smooth proper. Then, we have, as discussed in the previous section, the Cartier isomorphism
Thus, of course, we obtain an isomorphism of cohomology groups
But, since is finite we have that
Finally, since, as mentioned before
we may conclude that
thus, we have obtained an ‘isomorphism’ between the first page of the and the . I put isomorphism in quotes since it doesn’t take to but instead switches and – –. This is one reason why it makes sense to call the the conjugate spectral sequence- -it ‘conjugates’ the indices.
All terminological philosophizing aside, we may conclude from the above that
Theorem 9: Let be a perfect field, and a smooth proper variety. Then, the degenerates on the first page for if and only if the degenerates on the second page for .
Indeed, degeneration is a condition on the sums of the dimensions of the first (resp. second) page of the spectral sequence. Since the terms of these pages are permuted as proven above, the result is obvious.
Applications of Deligne-Illusie
I’d like to end this post by just pointing out two amazing facts which follow from Deligne-Illusie.
Theorem 10(Hodge decomposition): Let be a characteristic field, and a smooth proper variety. Then, the degenerates on the first page for .
Theorem 11:(Kodaira-Nakano-Akizuki vanishing): Let be a characteristic field, and a smooth proper variety. Then, for any ample line bundle , and the following holds:
Now, neither of these results are ‘new’. In fact, the analogous statements for projective complex varieties are standard results proved in any complex geometry course (we’ve used Hodge decomposition for such manifolds in this post!). The results of the proof are entirely analytic. For example, Hodge decomposition holds in a much more general form- -it’s really a statement about harmonic forms representing de Rham classes on a Riemannian manifold. One then deduces both results by reducing to the analytic case (we did this for Hodge decomposition above).
No, the amazing thing is not that these theorems are true. It’s that one can give a purely algebraic proof of these results using Deligne-Illusie. While the details are a little cumbersome to check (cf. Deligne-Illusie’s article), the main idea is pretty simple. It suffices to prove it in the case when . But, by standard techniques one can find a smooth proper model of over some finitely generated -algebra. One then shows that there exists a prime larger than for which the reduction of this model modulo has a lift to (of the relevant field). Thus, holds for the reduction of the model. One then shows that implies the two above theorems or, rather, their positive characteristic analogies (this was done for Hodge decomposition above). Finally, one checks that the numerology works out and that this actually gives the desired results.
So, if one loves Hodge decomposition (for smooth proper complex algebraic varieties), but doesn’t feel like studying elliptic operators, one can just follow their algebraic nose to the results of Deligne-Illusie!