Previously, we talked a bit about the category of Hodge structures, and did some basic constructions. However, I’d claimed that this was algebraic geometry (at least, in the categories on the post) so today, we’ll talk about a LOT of Hodge structure that arise in nature. Everything I say is true in more generality (for compact Kähler manifolds, in fact) but for now, let be a smooth projective variety (as always, over .

I’m going to be VERY sketchy on the details today, they’re largely analytic and though I can use them a bit, I won’t be able to do them justice. So now, we’ll do the local case first, and by local, I mean local in the analytic topology.

Let be the tangent bundle, and then tensor with to get the complexified tangent bundle . This decomposes into a holomorphic and an antiholomorphic part, which are complex conjugates. Call sections of the holomorphic part type (1,0) and the anti type (0,1).

This decomposition is a wonderful thing! It induces decompositions of all tensors on , and in particular, on -forms, which are of type if they are a linear combination (over the functions) of forms consisting of terms and terms of the form .

Now, let’s say is the set of classes where there is a form representing it. We’ll need to show that these are disjoint (except zero, of course) and their direct sum is everything to get a Hodge decomposition.

To check that every class is represented by a type form, and that the don’t overlap, the trick is to apply Harmonic Analysis (which I only have the barest outlines of at the moment). The trick is that everything is represented by a unique(!) harmonic form, and you just need to check the Harmonic forms.

Then, a computation shows that the Laplacian is a degree (0,0) operator, so it will take a form to a form. This tells us that the components of a harmonic form are still harmonic, and then we have the Hodge decomposition!

So this gets us a Hodge structure of weight on for all and all complex, smooth and projective. In general, we don’t get Hodge structures on varieties failing either smoothness or projectivity. There, we’ll get what’s called a mixed Hodge structure. But for now, a couple of rather concrete examples:

**Example 1**: on a curve , the Hodge structure on is uninteresting, there just aren’t many Hodge structure of weight 0, much less with a one dimensional vector space. On , we also have a one dimensional space, and there are no holomorphic 2-forms on a curve, so we have . Now, , and the two spaces are conjugate, so have equal dimension. Thus, , the genus, and is the space of holomorphic forms, isomorphic to .

More generally, we’ll have , which will be a very useful fact, in general, and will be implicit in many arguments.

**Example 2**: Look at . For odd, we have no cohomology, and so things are dull. For , however, we have a one dimensional space. Now, as anything off center must give rise to its conjugate, it must be .

And here’s a quick application of Hodge structures, and the related constructions from last time. Let be an elliptic curve. Using the universal coefficients theorem, we have a Hodge structure of weight -1 on . Next, we construct the intermediate Jacobian, which is going to be . Finally, we note that and are dual (exercise!) and that and are also dual (these two facts hold in general) so, and are naturally isomorphic, and we get a map we get a map , which is injective, and the quotient is a complex torus with complex dimension one. Now, every complex manifold of dimension one is an algebraic curve, so we have an elliptic curve . But in fact, this is our original curve! Why? Because an elliptic curve is determined by its lattice in and we can recover the lattice by integrating against the form on .

This is an example of a Torelli theorem, which lets us reconstruct a variety in a certain class from it’s Hodge theory. In fact, it’s a special case of THE Torelli Theorem, which is the following:

**Theorem**: Let be the moduli space of curves of genus and let the moduli space of principally polarized Abelian varieties of dimension . The Jacobian map is injective, and away from the hyperellitpic locus of , it is an embedding.

This is a very nice theorem. It says that a curve’s Hodge structure determines it (the injectivity) and that the only thing that stops from being a nice subvariety of is that the singularities don’t match up on the hyperelliptic locus. Now, the converse, finding conditions on that cut out the image of this map, is a famous problem called the Schottky problem.

In the last post, you defined to be , so shouldn’t it be that and are naturally dual and not naturally isomorphic? It looks like we want to say that and are naturally isomorphic via the double dual?

Also, what does mean? If I understand correctly, , and the natural embedding of doesn’t sit in either nor ?

For the first part of your comment, yes, that’s what’s going on, sadly, the above didn’t go through much editing before being posted. I’ll clarify that part tonight.

For the second, if you project into one side or the other, the map is still injective, because everything had to be sent to a pair , so lies in both and .