Computing the homology and cohomology of connected sum

Suppose M and N are two connected oriented smooth manifolds of dimension n. Conventionally, people use M#N to denote the connecte sum of the two. (The connected sum is constructed from deleting an n-ball from each manifold and glueing the boundary.) I think there should be a general approach of finding the homology and cohomology groups of M#N from the homology and cohomology groups of M amd N. However, using Mayer-Vietoris sequence becomes quite complicated whent the spaces are complicated. For example: 1) M=S1×S3, N=CP2. The difficulty comes from understanding the map Hi(UV)Hi+1(M#N).

If we define the M#revN to be the connected sum, however, glueing the n-ball in the reversed order, then we can ask the same problem. the case n=2 is easier to think of the picture when the orientation is reversed. It is also easier since the glueing is “fixed” in the sense there is only one parameter discribing the boundary of n-ball, aka, S1. What happens when n goes higher?

I would appreciate it if someone could explain this general question with examples (M#N and M#revN, where M=S1×S3, N=CP2) in the context.

Answer

The procedure for finding homology and cohomology of the spaces in question is a neat little trick. From here on out, I’ll just treat the homology case, but the cohomology follows from the same arguments. Collapse the Sn1 you’re gluing along to a point- this turns M#N into MN. Since (M#N,Sn1) is a good pair, the homology can be identified with the relative homology of the pair (M#N,Sn1). From this, we get the following long exact sequence:

~Hi(Sn1)~Hi(M#N)~Hi(MN)

By a simple Mayer-Vietoris argument, we have that ˜Hi(MN)˜Hi(M)˜Hi(N). Since ~Hi(Sn1) is zero except for i=n1, we have automatically that Hi(M#N)Hi(MN)Hi(M)Hi(N) for in1,n. The only interesting case is as follows:

0~Hn(M#N)~Hn(MN)˜Hn1(Sn1)˜Hn1(M#N)˜Hn1(MN)0

Now, we start getting into some casework depending on whether none, one, or both of M,N are orientable. In the case that both are orientable, the above sequence turns into

0ZZZZ˜Hn1(M#N)˜Hn1(MN)0

as their connected sum is also orientable. From this, we see that ˜Hn1(M#N)˜Hn1(MN) must be an isomorphism.

If just one of M,N is orientable, then their connected sum is non-orientable, and the following happens:

00Z0Z˜Hn1(M#N)˜Hn1(MN)0

in which case we still have that that ˜Hn1(M#N)˜Hn1(MN) must be an isomorphism.

If neither of M,N are orientable, then their connected sum is non-orientable, in which case the long exact sequence does the following:

000Z˜Hn1(M#N)˜Hn1(MN)0

and thus ˜Hn1(M#N) is an extension of ˜Hn1(MN) by Z. To figure out what extension it is, one needs to inspect the map Sn1M#N and the corresponding map on homology. Nothing too surprising can happen- Hn1(M#N) is the direct sum of a free abelian group and a finite abelian group.

Note that during this argument, it was never necessary to talk about the orientation of the gluing- so M#N and M#revN have the same homology/cohomology. No description of Sn1 was ever used except for it having reduced homology only in degree n1, so the process does not care very much about what dimension your manifolds are.

Now, for the example where M=S1×S3 and N=CP2. M has homology H0H1H3H4Z and all other groups zero, while N has homology H0H2H4Z and all other groups zero. Using the procedure above, we have that the homology of M#N is as follows: H0H1H2H3H4Z. The result is the same for M#revN.


Addendum: It has been pointed out in the comments that the arguments about what happens with the maps between the various copies of Z are not quite complete. The key gap is showing that the map from ˜Hn(MN)˜Hn1(Sn1) is surjective when at least one of M,N are orientable. The fix is reasonable, and is presented below to make this answer as complete as possible.

The sequence for a good pair gives that the map Hn(M#N,Sn1)Hn1(Sn1) is given by taking the boundary of relative chains. Without loss of generality, M is orientable, so consider the relative class in Hn(M#N,Sn1) which is the fundamental class of M minus the disc we delete to perform the connected sum operation. This has boundary exactly the fundamental class of Sn1 (up to possibly a sign change for orientation issues) by the definition of how we chose Sn1 to glue along. As we identified Hn(M#N,Sn1)˜Hn(MN)˜Hn(M)˜Hn(N), we see that both the map ZZZ and Z0Z are surjective. Thus the conclusion about ˜Hn1(M#N)˜Hn1(MN) being an isomorphism when at least one of M,N is orientable holds.

Attribution
Source : Link , Question Author : Honghao , Answer Author : KReiser

Leave a Comment