Top Homology of Connected , Orientable Manifolds with Boundary

In summary, the argument provided by the author shows that the top homology of an orientable and connected manifold is zero if the boundary bounding the manifold is a single component.
  • #1
WWGD
Science Advisor
Gold Member
6,934
10,341
Hi, I'm trying to show that if ## M^n ## is orientable and connected, with boundary (say with just one boundary component), then its top homology is zero. Sorry, I have not done much differential topology/geometry in a while.

I'm trying to avoid using Mayer-Vietoris, by using this argument; but I don't think this is too rigorous; please critique: let B be the boundary. Now, B is an (n-1)-submanifold of M, and so it must bound some n-dimensional manifold. Since M is orientable and n-dimensional, then B must bound M itself. But then M, as the top cycle is a cycle that bounds, so the top cycle is a trivial cycle, and so the homology is zero.
 
Physics news on Phys.org
  • #2
So are you assuming the top homology (i.e. [itex]H_{n-1}[/itex]) of the boundary is non-zero?
 
  • #3
WWGD said:
Hi, I'm trying to show that if ## M^n ## is orientable and connected, with boundary (say with just one boundary component), then its top homology is zero.

There is an easy way to see this that does not require orientability. Note that attaching a collar to M does not affect its homotopy type. Since M+Collar is certainly noncompact it follows that the top homology group is zero.

I'm trying to avoid using Mayer-Vietoris, by using this argument; but I don't think this is too rigorous; please critique: let B be the boundary. Now, B is an (n-1)-submanifold of M, and so it must bound some n-dimensional manifold. Since M is orientable and n-dimensional, then B must bound M itself. But then M, as the top cycle is a cycle that bounds, so the top cycle is a trivial cycle, and so the homology is zero.

I am not sure what kind of cycles you mean here. Which homology theory are you using?
 
  • #4
nonequilibrium said:
So are you assuming the top homology (i.e. [itex]H_{n-1}[/itex]) of the boundary is non-zero?

No; not for now, I may if I think it is necessary, thanks.

jgens: I'm using Singular homology, to apply Mayer-Vietoris.
 
  • #5
WWGD said:
No; not for now, I may if I think it is necessary, thanks.

It's not. The argument I provided in my past post shows this.

jgens: I'm using Singular homology, to apply Mayer-Vietoris.

My opinion is that one should try to avoid arguments at the chain level. If you insist on doing so, then that is no problem, but I cannot make sense of your "proof" as currently written. I can offer the following simplification: Since B is the boundary of M, it trivially follows that M bounds B, so there is no need for orientability in that piece of the argument.
 
  • #6
jgens said:
It's not. The argument I provided in my past post shows this.



My opinion is that one should try to avoid arguments at the chain level. If you insist on doing so, then that is no problem, but I cannot make sense of your "proof" as currently written. I can offer the following simplification: Since B is the boundary of M, it trivially follows that M bounds B, so there is no need for orientability in that piece of the argument.

Someone I thought knew more than me insisted the manifold must be orientable. But, yes, my argument was basically that if B is a boundary, then, by basic dimension reasons, it must be the boundary of M; then M seen as a top cycle bounds, so it is , by definition, a trivial cycle, so it must be the zero cycle.
 
Last edited:
  • #7
WWGD said:
Someone I thought knew more than me insisted the manifold must be orientable.

Everyone makes mistakes. Read my previous argument through and see if you can find a hidden use of orientability. But everything there should check out.

But, yes, my argument was basically that if B is a boundary, then it must be the boundary of M; then M seen as a top cycle bounds, so it is , by definition, a trivial cycle, so it must be the zero cycle.

Well you defined B to be the boundary of M so that M bounds B is a triviality. I am not used to computing with singular chains, so there might be some obvious fixes here, but here are my hangups about the argument:
  1. You need to clarify what M is as a cycle and justify that M can be written this way.
  2. The whole argument is showing that a specific cycle bounds another. This is usually not enough to guarantee the nth homology group is zero. You need to show that all possible cycles are boundaries.
  3. If you want to show that the top homology of M is zero, then you need to establish that every singular cycle in M is a boundary. The argument you have currently looks like it is trying to show that B is a singular boundary. So this point needs clarification.
Anyway as mentioned before you can avoid descending to the chain level if you want. Something to really think about there.
 
  • #8
Thanks, jgens, you have been very helpful and patient, I appreciate it.
 
  • #9
This is not a proof but can be made into one with effort.

The idea for a triangulable manifold without boundary is that the top dimensional n-simplices share each of their n-1 faces with exactly one other n simplex and if the manifold is orientable the simplices can be oriented so that they cancel in pairs under the boundary operator. The Z homology class of this cycle can be shown to be unique up to sign, meaning that any attempt to create an n cycle from oriented n- simplices always leads to the same chain or its negative. It the manifold is not orientable then some of the n-1 faces get counted twice so there is no cycle. I think there is a proof in Spanier's Algebraic Topology.

For a manifold with boundary the n-1 simplices at the boundary are not paired off and so will remain uncancelled under the boundary operator. One can see this better by imagining gluing the manifold to itself along matching n-1 simplices along the boundary.

Also, and may this what what you were thinking about, if the manifold is orientable then the boundary of a properly oriented sum of the n simplices will be the fundamental cycle of the boundary manifold. So the fundamental cycle of the boundary manifold is homologous to zero in the larger manifold. If the manifold is not orientable then the boundary may not be homologous to zero as in the Mobius band.
 
Last edited:

1. What is the definition of homology?

Homology is a mathematical concept that measures the similarity between two topological spaces. It is based on the idea that topological spaces can be broken down into simpler pieces, called simplices, and the way these simplices are connected to each other can be used to determine their homology.

2. How is homology related to manifolds?

A manifold is a topological space that locally resembles Euclidean space. Homology is used to study the properties of manifolds by assigning a sequence of abelian groups, called homology groups, to the manifold. These groups can provide information about the number of holes or higher-dimensional features in the manifold.

3. What does it mean for a manifold to be orientable?

A manifold is orientable if it has a consistent notion of orientation, meaning that there is a consistent way to choose a direction for each point on the manifold. This is important for topological and geometric considerations, as well as for physical applications.

4. How does the presence of a boundary affect the homology of a manifold?

The presence of a boundary on a manifold can change its homology groups. In particular, the boundary itself can have its own homology groups that contribute to the overall homology of the manifold. This can provide useful information about the structure of the manifold, such as the number of boundary components.

5. Why is it important to study the top homology of connected, orientable manifolds with boundary?

Studying the top homology of connected, orientable manifolds with boundary is important for many reasons. It can provide insight into the structure and properties of these manifolds, as well as their relationship to other mathematical and scientific concepts. It also has applications in fields such as physics, computer science, and biology.

Similar threads

  • Differential Geometry
Replies
11
Views
696
Replies
6
Views
210
  • Differential Geometry
Replies
1
Views
2K
  • Differential Geometry
Replies
2
Views
4K
  • Differential Geometry
Replies
4
Views
3K
  • Differential Geometry
Replies
19
Views
5K
  • Differential Geometry
Replies
4
Views
2K
Replies
1
Views
4K
  • Differential Geometry
Replies
7
Views
2K
  • Differential Geometry
Replies
4
Views
2K
Back
Top