Hopefully I’ll start updating more than once a month. Since it’s been awhile and the previous post was tangent to what we’re actually doing, I’ll recap some notation. will be a compact complex (connected) Lie group of dimension
. We showed that we have an analytic isomorphism
. Let
(note that I’ll assume
is the identity).
Under the exponential map (which we showed was a local isomorphism), we have that
is the universal covering space of
. We showed that
is a lattice. Now the title of this post will seem a little silly to experts out there in cohomology, since we know that topologically these things are all tori. We’ll go through the details anyway.
First, we’ll show that the group of alternating
-forms
. We proceed by induction.
By general covering space theory . Thus we get the base case
. Now we’ll want to show that the cup product induces the isomorphism
. By the
case this proves the statement.
We first reduce to the case of showing it is true for . Since
is just a product of
‘s, if we show that if the statement is true for
and
, then it is also true for the product we can make the reduction. (For simplicitly, coefficients are in
, but I’ll omit that). Since we only need to apply this in the case where
or
is finite product of
‘s, we can also assume that the cohomologies are finitely generated and that they two spaces are connected for simplicity.
First, by the K\”{u}nneth formula: , but the spaces are connected, so
. Thus
.
But now our inductive hypothesis is that for all less than
,
. Thus we get
. In other words, stringing all these isos together we get the iso we wanted. So we’ve reduced to the case of showing the statement for
, which follows immediately since
for
.
Note that if you have basic facts about singular cohomology at your disposal, this isn’t at all surprising. But let’s look at sheaf cohomology instead. This will require us to look at the Hodge structure which could be interesting. We won’t go very far today, but let’s at least get a few things out of the way.
Let be the sheaf of holomorphic
-forms on
. We’d like to compute
. Let
, i.e. the (complex) cotangent space at the identity to
. As with vectors and vector fields, every
-covector, i.e. element of
can be extended uniquely to a left invariant
-form by pulling back along the left multiplication by
map. We’ll denote the correspondence
. This map defines an isomorphism of sheaves
.
This says that is a free sheaf of
-modules. Now take global sections to get that
, since the global sections of
are constants. Thus the only global sections of
are the
-forms that are invariant under left translation. Thus this isomorphism reduces our calculation to
. So we’ll start in on that next time.