Today was the last day of “basic Hodge theory”…so we talked about intersection cohomology and the decomposition theorem and the like. I admit to losing the thread of the lectures a couple of times (marked in the notes) and not including all of the examples in the second deCataldo lecture. I’m spending the weekend in Venice and working on the talk I’m giving on the 1st, day 6 commences on Monday!
1. ElZein 4
Let be a smooth complex algebraic variety. Then the cohomology groups carry a functorial MHS.
You cannot define on , but you REALLY need to define on , before you get to .
Consider a normal crossing divisor in a smooth proper algebraic variety such that . For , there exists in with such that is a local equation for .
We can write with the indices coming from an ordered set and the are irreducible. Let by in , then be a smooth proper algebraic variety.
Let be the filtered complex of differential forms on then take the global sections and compute the cohomology. This will be cpute the correct Hodge filtration!
The deRham complex with logarithmix singularities along , where is the inclusion.
Locally, is the free -module generated by where , and .
The weight filtration with of length form a set with and contains a maximum of of the .
is an increasing filtration by subcomplexes, by construction.
Now, look at the residue map for each . .
Lemma 1 is an isomorphism
For any , there’s an inverse taking to wedgeing it with the in .
Now, we get a map is a filtered isomorphism.
The associated gradeds are also isomorphic, then.
- for all
Now, we claim that for we have for .
((Shamefully, I lost the thread here))
There is a mixed Hodge complex with where is the inlcusion, with where is the truncation functor, and with .
And then and form a Hodge complex of weight , and is a Hodge complex of weight .
2. Cattani 4
Last time, we defined an abstract VHS, starting from a local system , and the Gauss-Manin connection, which is the flat connection associated with a local system underling a PVHS.
2.1. Period Map
Let be a PVHS.
- a lattice,
- An integer
- A collection of hodge numbers with and , and .
- a non-degenerate bilinear form over of parity .
Now, let (of all this data) be the space of all Hodge structures with polarized by and with .
Now, define to be the space of all filtrations on with and .
Look at weight 1. Then .
Now, let . Then acts naturally on . In fact, it acts transitively.
Now look on , then for and for , so we can write in the form .
That actually has a real structure, and if we look at , then this group acts on .
Now, by basic Lie theory, we have and .
So what are these groups? For weight 2, is positive definite on and negative definite on , so we have . The subgroup fixing a given Hodge structure is , and so , which sits inside:
and it turns out that every Hermitian symmetric space arises in this manner, though we don’t always get something that nice.
So we have , and have , with acting on and .
If , then we can define a weight 0 Hodge strcuture.
Let . Then preserves and .
If we have a PVHS, then parallel translation to a fixed fiber defines a holomorphic map where is the monodromy. We call this the period map.
the HS differential takes values on a horizontal subbundle.
We’re going to discuss it from the largely analytic point of view.
So now, lets look at the local situation, a PVHS over . We have with generators , which give us elements . We know that these are quasi-unipotent, and we’ll assume that they’re actually unipotent.
If we set to be the log of the monodromy, we’ll have by definition, but then we’ll have and . So we can define where we have and lifting it onto the PVHS to .
The map, takes the PVHS to and we call the induced map on also .
The map extends holomorphically to the origin.
Note, this is not necessarily a Hodge structure! We just have , and call it the limit Hodge filtration.
Now, we have that if the imaginary parts of are large enough. We call these period maps Nilpotent orbits.
This afternoon, we’ll see how the limiting Hodge filtration along with the weight filtration from the monodromy determines a polarized MHS.
3. de Cataldo 1 – Hodge Theory of Maps
The goal of these two lectures is to state the decomposition theorem and to give examples.
Let be a proper morphism of complex algebraic varieties. The direct image complex of the intersection cohomology complex of splits into a direct sum of intersection cohomology complexes on .
Now, let a morphism and a complex of sheaves on . Then let , where is a complex of injective sheaves on such that . Now, define .
So, if , we can define .
So then we have .
Now, contains information about the topology of the map, and we can extract it using the Leray Spectral Sequence.
. Then we have doesn’t split.
by . Then for , and we have doesn’t split.
However, with , it does split, because the obstruction is divison by 2. So then we have that is a direct sum of a local system and something which isn’t a local system.
Take a rule nodal cubic, the normalization and the inclusion of the smooth locus. Then we have and is a skyscraper sheaf at the singular point. We can show that this doesn’t split.
However, we have where is a three dimensional vector space at the origin.
The decomposition theorem is far too much to hope for in anything other than complex algebraic geometry. For instance, look at the Hopf surface, which is fibered over by algebraic curves, but which is not algebraic. Then we don’t have degeneration, even though the map is a submersion and is constant on , with .
Now, let , and look at the cone over the curve in . Blow it up at the origin, and we get a smooth surface which is the total space of .
But instead of looking at the blowup, look at the cone minux the origin (note, over , this doesn’t disconnect the space). Call this map . Then has cohomology equal to , and to compute this we use the spectral sequence, and at that page is and all others zero, so the only differential is from the upper left to the bottom right, and is an isomorphism,and all other differentials vanish, so we get that the cohomology sheaves are , , and , where the subscript means that we have skyscraper sheaves supported at the origin.
Now, . Why do we throw things away? We’ll see later. This is an example of the decomposition theorem. The first summand is the intersection complex of the cone, and the latter is .
Look at and then contract the curve. This isn’t a holomorphic map! It’s a real algebraic map, though. The decomposition theorem fails. We can tell by looking at the second term, because in the top space, the curve’s cohomology class is trivial, because the bundle is trivial.
4. ElZein 5
We’re going to be working with the derived category, now. For , we take a complex and an injective resolution, then apply derived functors. We set to be the derived category of filtered complexes, so we require qis and an iso. Finally, we define the derived category of bifiltered complexes.
4.1. The Weight Filtration
Now is a MHS. Let be a functor of abelian categories, we require that the functor be left exact. Let be a filtered complex, then we have .
Now, we look at , but instead, we can use hypercohomology, and get , which is finally where with the induced Hodge filtration.
So, this has a Hodge structure of weight .
has weight , and we have which maps , and if then there is such that the Gysin map (the Poincaré dual of the restriction map) allows us to compute that , which is a HS of weight .
And this gives us on .
4.2. Simplicial Resolutions
Let be a variety (in particular, a topological space).
A simplicial variety over is a family of varieties for all such that for each increasing map we define a morphis over satisfying the natural composition laws.
A sheaf on is a family of sheaves on satisfying that for all increasing functions satisfying the natural conditions.
So now, we take a complex with where is increasing function skipping .
So now, let be a complex of sheaves on . This is a family of complex for each . A resolution is which must be compatible.
with differential . and .
Let be a simplicial variety over . Then is of cohomological descent if for all on we have .
For each separated complex variety there exists a simplicial variety which is proper and smooth and a normal crossing divisor and a map satisfying the cohomological descent property.
So by the descent property, we have and we can give the former an MHS, so it gives the latter one.
5. Cattani 5
We have local monodromy and we have the logarithms of the monodromy, . The monodromy theorem tells us that the period map can be written as where extends holomorphically to , with .
But them we also have . So we want to find out what kinds of holomorphic maps we can take.
We take the weight filtration, it comes from the Jordan decompositions, and includes the fact that . But what about when there are more than one monodromy operator?
The weight filtration determined by is unique, and we denote it by , for the weight filtration of the cone. Moreover, is a MHS. In fact, each is a morphism of MHS. Additionally, the converse holds.
So a nilpotent orbit is just a MHS, with the weight filtration from the nilpotent cone, and with the polarization the obvious thing to try.
When you happen to have a MHS that splits over , then you should be able to extend everything to an -invariant picture.
There exists a canonical (Schmid) splitting of the MHS . More precisely, there is a natural way to produce another Hodge filtration such that splits over .
Look at . Then our space is , and we have an induced Hodge filtration . If are the generators of the Lie algebra, then the first summand is generated by and the second by .
In the several variables situation, the key is to understand how to two splitting relate.
MHS’s come in two types: split and nonsplit. Nonsplit give you nilpotent orbits, split give you modules.
Now, look at . Let .
Now, where has . Set , then . Denote by .
Then horizontality is , and we call this Griffiths differential equation.
We have then that , as . And so , where .
6. de Cataldo 2
Define to be where .
Let and the complement of the origin. Then we have .
If is smooth, then . But for a nodal curve, if is the inclusion of the smooth locus, then is .
On the other hand, cusps aren’t seen, topologically.
Now let be a curve of genus and be the cone over it, and the complement of the origin. Then look at , it is an extension of by , but this doesn’t split.
Recall the example with . At the origin, something happens: the preimage remains connected! So is a local system, but it has stalk at the origin, but is over .
So why do we truncate at where is the dimension?
This is actually due to Poincaré duality! We have . So Poincaré duality implies that .
Let be a complex on . Then there exists another complex, the dual , such that .
The complex is self-dual for a smooth variety, but NOT for a singular one! We set , then is self-dual, for all varieties.
The rank of is equal to the rank of .
So is motivated by Poincaré duality.
Here, we’ll find that the Lefschetz hyperplane theorem, Hard Lefschetz theorem, Hodge decomposition, primitive Lefschetz decomposition, and the Hodge-Riemann bilinear relations all hold for intersection cohomology groups.
If is a proper morphism of complex algebraic varieties, then where is a finite set, are locally closed nonsingular varieties, are simple local systems and .