Is $H_n(X)$ Torsion Free if $H_{n-1}(X)$ is Torsion Free?

  • Context: Undergrad 
  • Thread starter Thread starter Euge
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on proving that if the homology group $H_{n-1}(X)$ of a closed connected orientable manifold $X$ of dimension $2n$ is torsion free, then the homology group $H_n(X)$ is also torsion free. The proof involves applying Poincaré duality and the universal coefficients theorem, which are essential tools in algebraic topology. No solutions were provided by participants, indicating a need for further exploration of these concepts.

PREREQUISITES
  • Understanding of homology groups in algebraic topology
  • Familiarity with Poincaré duality
  • Knowledge of the universal coefficients theorem
  • Concept of torsion elements in homology
NEXT STEPS
  • Study the implications of Poincaré duality in algebraic topology
  • Explore the universal coefficients theorem in detail
  • Research examples of torsion free homology groups
  • Investigate the properties of closed connected orientable manifolds
USEFUL FOR

Mathematicians, particularly those specializing in algebraic topology, graduate students studying manifold theory, and researchers interested in homological algebra.

Euge
Gold Member
MHB
POTW Director
Messages
2,072
Reaction score
245
Here is this week's POTW:

-----
Suppose $X$ is a closed connected orientable manifold of dimension $2n$. Prove that if the homology group $H_{n-1}(X)$ is torsion free, then $H_n(X)$ is also torsion free.

-----

Remember to read the https://mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to https://mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
Here is a hint: Consider using Poincaré duality and the universal coefficients theorem.
 
No one answered this week's problem. You can read my solution below.

By Poincaré duality and the universal coefficients theorem, it follows that
$$H_n(X) \approx H^n(X) \approx H_n(X)^{\text{free}} \oplus H_{n-1}(X)^{\text{torsion}}$$
Since $H_{n-1}(X)$ is torsion-free, then $H_{n-1}(X)^{\text{torsion}} = 0$. Therefore $H_n(X) \approx H_n(X)^{\text{free}}$, showing that $H_n(X)$ is also torsion-free.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K