8

I am trying to solve out Exercise 3.3.35 of Hatcher's Book on Algebraic Topology:

Hatcher's AT-3.3.35

I have two basic questions:

  1. How to define the long exact sequence in the first row? For example, can we first find a directed system of long exact sequences, which will be the first row after the direct limit is taken?
  2. After the proceeding question is solved, how to prove that the second vertical mapping is an isomorphism? I am wondering it because it is essential to the application of the five-lemma and any other duality with boundary in the book, e.g., Lefschetz duality, does not apply to it because $M$ now is non-compact.
Smart Yao
  • 662
  • 2
    Please ask only one question per post. If you have multiple questions, you can post them separately. – D.W. Aug 15 '25 at 20:39

1 Answers1

1

Response to 1st question: We can define the long exact sequence by compact sets as required. I show the process here.

Take $\{K_i\}$ to be a sequence of compact submanifolds of $M$ such that $M = \bigcup_i K_i$ and $\partial K_i = \partial M \cap K_i$. Then we take the direct limits on first row first to show that $$H_c^{k}(M, \partial M ; R) \cong \lim_i H^k(M, \partial M \cup \{M\setminus K_i \} \cong \lim_i H^k(K_i, \partial K_i) .$$ We also have $$H_c^k(M;R) \cong \lim_i H^k(M,M\setminus K_i;R)\cong \lim_i H^k(K,\partial K;R)$$ since $\partial K$ is the collar neighborhood of $M$. In addition, we also have $$H_c^k(\partial M;R) \cong \lim_iH^k(\partial M, \partial M \setminus \partial K_i;R) $$ since the direct limit of homology is $H_k(M;R)\cong \lim_i H_k(K_i;R)$.

We have the following long exact sequence. $$ \require{AMScd}\tiny{\begin{CD} ...@>>>H^{k-1}(\partial K_i;R) @>\delta_i>> H^k(K_i,\partial K;R)@>g_i>> H^k(K;R) @>a_i>> H^k(\partial K_i;R) @>y_i>>.. \end{CD}} $$ As a result, we have the following diagram. $$ \require{AMScd}\small{\begin{CD} H^{k-1}(\partial K_i;R) @>\delta_i>> H^k(K_i,\partial K_i;R)\\ @VD_{\partial M}VV @VVD_MV \\ H_{n-k}(\partial K_i;R) @>i_i>> H_{n-k}(K_i;R) \end{CD}} $$ The maps $D_M$ and $D_{\partial M}$ are actually isomorphisms by using Poincare duality and Lefchetz duality, since $K$ is compact as well as that isomorphisms commute with boundary and inclusions. Hence this square commutes. It is clear to see that the other squares commute too.

Response to 2nd question: We can't use Lefschetz duality since $M$ is noncompact. However, some of the maps like $D_{\partial M}$ are isomorphisms by Poincare duality for noncompact manifolds. Let's make the sequence into the 5-lemma form and use descending induction to assume 5th map is an isomorphism. Under this assumption, we can simply use 5-lemma to prove that two maps of $D_M$ are isomorphisms and finish the induction.

Let's use descending induction. As we know, when $k \gt n$ all maps are isomorphisms $(H^{0}, H^{-1}, \ldots )$. Let's further assume there exists a number $j$ such that for all $j \gt k$ the maps $H_c^k(M;R) \rightarrow H_{n-k}(M,\partial M;R)$ and $H_c^k(M,\partial M;R) \rightarrow H_{n-k}(M;R)$ are isomorphisms. Assume the statements hold for $k$. Now for the case with $k+1$ we have a 5th isomorphism map $D_{M_A}:H_c^{k+1}(M,\partial M;R) \rightarrow H_{n-k-1}(M;R)$. Let's now expand this map.

Under our assumptions, the last two maps are isomorphisms by the 5-lemma.

$$ \require{AMScd}\tiny{\begin{CD} H_c^{k-1}(\partial M;R) @>\delta_i>> H_c^k(M,\partial M;R)@>g_i>> H_c^k(M;R) @>a_i>> H_c^k(\partial M;R) @>y_i>>H_c^{k+1}(M,\partial M;R)\\ @VD_{\partial M}VV @VVD_MV @VVD_MV @VD_{\partial M}VV @VVD_{M_A}V \\ H_{n-k}(\partial M;R) @>i_i>> H_{n-k}(M;R) @>>>H_{n-k}(M,\partial M;R)@>>> H_{n-k-1}(\partial M;R)@>>> H_{n-k-1}(M;R) \end{CD}}$$

As descending induction start from $k \gt n$ to all integers $k$, we have that $D_M$ is an isomorphism.

Dean Miller
  • 9,566
VINCERE
  • 75
  • Did I get wrong or smt, guys im really young I never done this type of stuffs before and its the first I day I used lateX and I spent 8 hours to write all of these , plz tell me – VINCERE Aug 06 '25 at 06:18
  • Is this AI generated? – Shaun Aug 14 '25 at 08:51
  • 1
    Please consider using some kind of grammar checker/spell checker tool to go over your answer and make necessary adjustments. At the moment, the numerous grammar issues make it hard for the reader and leave a bad impression. – Dean Miller Aug 20 '25 at 03:42
  • Okay ill do it later but im busy rn – VINCERE Aug 20 '25 at 06:19
  • 3
    I attempted to improve the answer. I highlighted some sections in bold where you will definitely need to take another look as I couldn't work out what you were trying to say. Another issue was that your references to the diagrams were frequently very vague, which makes it very hard to follow along with your argument. – Dean Miller Aug 20 '25 at 22:16
  • I used the grammar checkers but it f ed up my diagrams and notations – VINCERE Aug 23 '25 at 07:45
  • Thanks for making the changes. The answer presentation looks good now. It is ok that the diagrams and notations do not interact well with the grammar checking tools as you can just use them to point out parts that can be changed in your post, not just to be copied and pasted in place of the original answer. – Dean Miller Aug 25 '25 at 23:45
  • 1
    Nah, I should be thank you. You helped me a lots – VINCERE Aug 27 '25 at 02:10