2 questions on coholomogy groups

  • Context: Graduate 
  • Thread starter Thread starter kakarotyjn
  • Start date Start date
  • Tags Tags
    Groups
Click For Summary
SUMMARY

This discussion addresses two key questions regarding cohomology groups in the context of algebraic topology. The first question focuses on proving the exactness of the long cohomology sequence derived from the short exact sequence $$0 \to A \to B \to C \to 0$$, specifically demonstrating that $${\mathop{\rm Im}\nolimits} f^* = \ker g^*$$. The second question explores the impact of removing two points from $$R^2$$ on the cohomology groups, highlighting that certain differential forms become closed but not exact, as exemplified by the 1-form $$\frac{-ydx+xdy}{x^2+y^2}$$.

PREREQUISITES
  • Understanding of exact sequences in algebraic topology
  • Familiarity with cohomology groups and their properties
  • Knowledge of differential forms and their classifications
  • Proficiency in basic concepts of algebraic topology, particularly in relation to $$R^2$$
NEXT STEPS
  • Study the proof of the long exact sequence in cohomology derived from short exact sequences
  • Explore the concept of closed and exact forms in differential geometry
  • Investigate the implications of punctured spaces on cohomology groups
  • Learn about the relationship between chain maps and homology in algebraic topology
USEFUL FOR

Mathematicians, particularly those specializing in algebraic topology, differential geometry, and anyone interested in the properties of cohomology groups and their applications in topology.

kakarotyjn
Messages
95
Reaction score
0
Question 1: $$0 \to A\mathop \to \limits^f B\mathop \to \limits^g C \to 0$$ is an exact short sequence,in order to prove $$\cdots \to H^q (A)\mathop \to \limits^{f^* } H^q (B)\mathop \to \limits^{g^* } H^q (C)\mathop \to \limits^{d^* } H^{q + 1} (A) \to \cdots$$ is an exact long cohomology sequence,we need to prove$${\mathop{\rm Im}\nolimits} f^* = \ker g^* $$,I can prove $$
{\mathop{\rm Im}\nolimits} f^* \subset \ker g^* $$ because $${\mathop{\rm Im}\nolimits} f = \ker g$$,but how to prove $
{\mathop{\rm Im}\nolimits} f^* \supset \ker g^* $? \\
\\
\\
Question 2: What makes the cohomology groups different by digging 2 points of $R^2$ from that of $R^2$ ?How does the closed and exact differential forms change?

Thank you!

the visualized questions are also in the attach files
 

Attachments

  • 3.pdf
    3.pdf
    65.7 KB · Views: 325
Physics news on Phys.org
A1: Simple diagram chasing. Take in Hq(B), b in Ker d such that g*=[g(b)]=0. I.e. g(b)=dc for some c in Cq-1(C). To show: there exists a in Cq(A) and b' in Cq-1(B) such that b-db'=f(a).

Choose b' in g-1(c) (which exists since g is surjective). Note that since g is a chain map, g(b-db')=g(b)-dg(b')=dc-dc=0. So, since Ker(g)=Im(f), there exists a in Cq(A) such that f(a)=b-db'.

A2: This question is kinda vague, but notice that by digging points in R^2, new forms appear. Here is an example that illustrated the nature of the phenomenon: Consider on R²-0 the 1-form (-ydx+xdy)/(x²+y²) [<---ill defined on all of R²]. This form is closed but it is not exact. This is because it is equal to d\theta everywhere where \theta (the polar angle) is defined (i.e. R² - {a half-ray}). Were (-ydx+xdy)/(x²+y²) exact, this would imply that there exists a differentiable extension of the polar angle function \theta(x,y) to all of R²-0. But clearly, there exists no such even continuous extension.
 
Thank you very much! quasar987 :)
 

Similar threads

  • · Replies 21 ·
Replies
21
Views
5K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 17 ·
Replies
17
Views
5K