Alright, I’m in a sort of tough spot. Yesterday I started typing this up, but I just don’t have the motivation. There are lots of tedious details that no one is going to read and will not come up in our study after this. It is all incredibly standard chasing Fourier coefficients around, so I’m not going to do it. This post will be an outline in how one would go about doing it, and I even may provide quick ideas behind it, but if it will be weeks before I continue on if I don’t just get through this. Someday, if it seems important, I’ll come back and fill it in. Or if someone comments and really wants to see one particular part, at least I’ll have motivation that someone is going to read it.
Here goes. Recall some of my conventions. is a compact complex Lie group. We let the global sections of the sheaf of -functions on . This was important to the Dolbeaut resolution. are the -antilinear functionals. We use to mean .
We’ve shown that is isomorphic to as complexes and hence we have the iso .
Now we want to show that we actually have an induced isomorphism on cohomology from the inclusion map . We’ll do this by comparing Fourier series. So we set up a normalized measure on say . By integrating functions against this measure we get linear function (I called this something different last time).
Now we need the lemma that for all we have . This follows from periodicity and translation invariance of the vector field that comes up when you go to write it down.
The next step is to define the “Fourier coefficients” of a function. Now if we choose any integer valued function from the lattice defining , say . Then it extends to an -linear function on the tangent space at the identity, . We then have the exponentiation map . This respects the lattice and hence descends to $\latex X$. Call this map .
Define the -linear function by . Don’t be intimidated here. This is just the standard Fourier coefficient when your in a familiar situation. i.e. .
Now choose a Hermitian inner product, which gives us a norm to work with. Here things will become less detailed. One can next prove a lemma that the map is an isomorphism the space of maps decreasing at infinity faster than for all .
Then do a computation to see that .
Lastly we want to get back to showing that the inclusion is a homotopy equivalence. Thus use the Hermitian inner product to define a map for every by .
We need to define for a map which will only be defined in terms of its Fourier coefficients. We define if and the coefficient is 0 if lambda is 0. Now it has all been set up so that comparing Fourier coefficients on we get exactly the same ones as in . Thus we are done by the magic of Fourier coefficients being unique.
That last computation I left out requires use of things such as “Cartan’s magic formula” and breaking it into two cases. Anyway, for not doing any details, I think this is a pretty thorough outline and filling any of the details you don’t believe or would like to know shouldn’t be too hard.