Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If I choose two open sets $A$ and $B$ as depicted on Wikipedia here:

Mayer-Vietoris for the Torus

then I have an isomorphism between $H_n(A \cap B)$ and $H_n(A) \oplus H_n(B)$ because the two tubes in $A \cap B$ are disjoint.

OK, so far so good. Then I write down the Mayer-Vietoris sequence and try to compute $H_n(T^2)$ but it seems to me I don't have enough information to do so. Can you confirm this?

I then computed the reduced MVS instead and used that to compute $H_n(T^2)$. What I would like to know is if this is the only way or if there is a way to do it with MVS directly, without the reduced MVS.

Many thanks for your help, I appreciate it.

share|improve this question
5  
What do you mean, an isomorphism between $H_n(A\cap B)$ and $H_n(A)\oplus H_n(B)$? They are isomorphic as groups, but the inclusions don't induce isomorphisms! For example, the map from $H_1(A\cap B)$ to $H_1(A)\oplus H_1(B)$ has kernel $(1,-1)$, where $H_1(A\cap B)\cong \mathbb{Z}\oplus\mathbb{Z}$. –  user641 Aug 18 '11 at 18:12

2 Answers 2

up vote 8 down vote accepted

Maybe I can add some details to Dylan's answer.

First of all, with the open cover you have chosen, you have

$$ A, B \quad \cong \quad \text{cilinder} \quad \simeq \quad S^1 $$

and

$$ A \cap B \quad \cong \quad \text{disjoint union of two cilinders} \quad \simeq \quad S^1 \sqcup S^1 \ . $$

Hence

$$ H_n(A) = H_n(B) = \begin{cases} \mathbb{Z} & \text{if}\ n=0,1 \\ 0 & \text{otherwise} \end{cases} $$

and

$$ H_n(A\cap B) = \begin{cases} \mathbb{Z}\oplus \mathbb{Z} & \text{if}\ n=0,1 \\ 0 & \text{otherwise} \end{cases} $$

Hence, in particular, for $n\geq 2$, $H_n(A) = H_n(B) = H_n(A\cap B) = 0$. Thus, from the MVS,

$$ \dots \longrightarrow H_n(A)\oplus H_n(B) \longrightarrow H_n(\mathbb{T}^2) \longrightarrow H_{n-1}(A \cap B) \longrightarrow \dots $$

which, for $n > 2$, is just

$$ \dots \longrightarrow 0 \longrightarrow H_n(\mathbb{T}^2) \longrightarrow 0 \longrightarrow \dots $$

follows that

$$ H_n(\mathbb{T}^2) = 0, \quad \text{for} \quad n> 2 . $$

So, again we can focus on what happens for $n=0,1,2$. For $n=0$ there is no big deal, because, since $\mathbb{T}^2$ is connected,

$$ H_0 (\mathbb{T}^2) = \mathbb{Z} \ . $$

For $n= 2$, we look at this piece of the MVS:

$$ \dots \longrightarrow H_2(A)\oplus H_2(B) \longrightarrow H_2(\mathbb{T}^2) \stackrel{\partial}{\longrightarrow} H_1(A\cap B) \stackrel{(i_*, j_*)}{\longrightarrow} H_1(A) \oplus H_1(B) \longrightarrow \dots \ , $$

of which we know all the groups, except the torus's one:

$$ \dots \longrightarrow 0 \longrightarrow H_2(\mathbb{T}^2) \stackrel{\partial}{\longrightarrow} \mathbb{Z}\oplus\mathbb{Z} \stackrel{(i_*, j_*)}{\longrightarrow} \mathbb{Z}\oplus\mathbb{Z} \longrightarrow \dots $$

Now, as Steve D. pointed you out, despite the two last groups being isomorphic, it doesn't mean that the morphism $(i_*, j_*)$ between them in the MVS, induced by the inclusions $i: A\cap B \longrightarrow A$ and $j: A\cap B \longrightarrow B$, is an isomorphism. And actually it is not. (If it was, then $H_2(\mathbb{T}^2) $ would be zero.)

At this stage, you need to compute who this $(i_*, j_*)$ is. For this, you choose $1$-cicles generating the homologies of $A, B $ and $A\cap B$ as follows: for each cilinder of the intersection $A\cap B$, take an equatorial circumference. Name their homology classes $\alpha$ and $\beta$. So, actually, those $\mathbb{Z}$ in the piece of MVS depicted above are the free abelian groups generated by $\alpha$ and $\beta$:

$$ (i_*, j_*) : \mathbb{Z}\langle \alpha \rangle \oplus \mathbb{Z}\langle \beta \rangle \longrightarrow \mathbb{Z}\langle \alpha \rangle \oplus \mathbb{Z}\langle \beta \rangle $$

And now we compute:

$$ (i_* , j_*) (\alpha , 0) = (i_* , j_*) (0, \beta ) = (\alpha , \beta) $$

since $\alpha = \beta$ in $H_1(A)$ and $H_1(B)$.

Hence, in terms of these basis, our morphism $(i_* , j_*)$ can be represented by the matrix

$$ \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} : \mathbb{Z} \oplus \mathbb{Z} \longrightarrow \mathbb{Z} \oplus \mathbb{Z} $$

Hence,

$$ H_2(\mathbb{T}^2 ) = \mathrm{im}\ \partial = \mathrm{ker}\ \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} = \mathbb{Z}\langle \alpha - \beta \rangle = \mathbb{Z} $$

As for $H_1(\mathbb{T}^2)$, let's focus on the following piece of the MVS:

$$ \dots \longrightarrow H_1(A\cap B) \stackrel{(i_*, j_*)}{\longrightarrow} H_1(A) \oplus H_1(B) \stackrel{k_* - l_*}{\longrightarrow} H_1(\mathbb{T}^2) \stackrel{\partial}{\longrightarrow} H_0 (A\cap B) \stackrel{(i_* , j_*)}{\longrightarrow} H_0(A) \oplus H_0(B) \longrightarrow \dots \ , $$

where $k_* - l_*$ is the morphism induced by the inclusions $k: A \longrightarrow \mathbb{T}^2$ and $l : B \longrightarrow \mathbb{T}^2$.

Again, we know all the groups except $H_1(\mathbb{T}^2)$:

$$ \dots \longrightarrow \mathbb{Z}\oplus\mathbb{Z} \stackrel{(i_*, j_*)}{\longrightarrow} \mathbb{Z}\oplus\mathbb{Z} \stackrel{k_* - l_*}{\longrightarrow} H_1(\mathbb{T}^2) \stackrel{\partial}{\longrightarrow} \mathbb{Z}\oplus\mathbb{Z} \stackrel{(i_* , j_*)}{\longrightarrow}\mathbb{Z}\oplus\mathbb{Z} \longrightarrow \dots $$

And again, we need some knowledge of the morphisms involved. I claim that, taking as generators for $H_0(A)$ and $ H_0(B)$ two points $p,q$, one in each component of $A\cap B$, you have also generators for $H_0(A\cap B)$ and, with these generators and similar computations that the ones we have already done, the second morphism $(i_*, j_*)$ can also be represented by the matrix

$$ \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} : \mathbb{Z} \oplus \mathbb{Z} \longrightarrow \mathbb{Z} \oplus \mathbb{Z} $$

Now, you get a short exact sequence from that piece of the MVS in the standard way:

$$ 0\longrightarrow \mathrm{ker}\ \partial \longrightarrow H_1(\mathrm{T}^2) \longrightarrow \mathrm{im}\ \partial \longrightarrow 0 $$

But, on one hand,

$$ \mathrm{im}\ \partial = \mathrm{ker}\ (i_*, j_*) = \mathrm{\ker}\ \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} = \mathbb{Z} $$

On the other hand,

$$ \mathrm{ker}\ \partial = \mathrm{im}\ (k_*-l_*) =(\mathbb{Z}\oplus \mathbb{Z}) /\!\mathrm{ker}(k_*-l_* ) = (\mathbb{Z}\oplus \mathbb{Z})/\!\mathrm{im}(i_*, j_*) = \mathbb{Z} $$

Hence, we have the following short exact sequence:

$$ 0 \longrightarrow \mathbb{Z} \longrightarrow H_1(\mathbb{T}^2) \longrightarrow \mathbb{Z} \longrightarrow 0 \ . $$

Thus

$$ H_1(\mathbb{T}^2) = \mathbb{Z} \oplus \mathbb{Z} \ . $$

EDIT. Some more details. Inclusions

$$ A \stackrel{i}{\longleftarrow} A\cap B \stackrel{j}{\longrightarrow} B $$

induce morphims

$$ H_1(A) \stackrel{i_*}{\longleftarrow} H_1(A\cap B ) \stackrel{j_*}{\longrightarrow} H_1(B) \ . $$

Hence a morphism

$$ (i_*, j_*) : H_1(A\cap B) \longrightarrow H_1(A) \times H_1(B) = H_1(A) \oplus H_1(B) \ , $$

whose value on $1$-cycles $\sigma : \Delta^1 \longrightarrow A\cap B$ is

$$ (i_*, j_*) [\sigma] = (i_*[\sigma], j_* [\sigma]) = ([i\circ \sigma],[j\circ \sigma]) . $$

Hence, if $a: \Delta^1 \longrightarrow A\cap B$ and $b: \Delta^1 \longrightarrow A\cap B$ are $1$-cycles representatives of the homology classes $\alpha$ and $\beta$, respectively, you have

$$ (i_*,j_*) (\alpha, 0) = (i_*,j_*) [a] = ([i\circ a],[j\circ a]) = (\alpha, \alpha) = (\alpha , \beta) $$

and analogously for $\beta$.

EDIT2. More details. To break a long exact sequence

$$ \dots \stackrel{f_{i-2}}{\longrightarrow} A_{i-1} \stackrel{f_{i-1}}{\longrightarrow} A_i \stackrel{f_i}{\longrightarrow} A_{i+1} \stackrel{f_{i+1}}{\longrightarrow} \dots $$

in "the standard way" means that, at any point, you can get short exact sequences like

$$ 0 \longrightarrow \mathrm{ker}\ f_i \longrightarrow A_i \longrightarrow \mathrm{im}\ f_i \longrightarrow 0 $$

where the arrow on the left is the inclusion and that on the right just $f_i$.

share|improve this answer
    
Very nice, thank you! I understand that $(i_\ast, j_\ast) (\alpha, 0 ) = (i_\ast, j_\ast) (\beta, 0 )$ but how is $(i_\ast, j_\ast) (\alpha, 0 ) = (\alpha, \beta)$? I think $(i_\ast, j_\ast) (\alpha, 0 ) = (\alpha, 0)$... –  Matt N. Aug 19 '11 at 7:34
    
and $(i_\ast, j_\ast) (\alpha, \alpha) = (\alpha, \beta)$. –  Matt N. Aug 19 '11 at 7:40
    
See what I added to my answer. –  a.r. Aug 19 '11 at 8:27
    
Thank you! When you wrote cocycles you meant to write cycles really, didn't you? –  Matt N. Aug 19 '11 at 8:54
1  
What I did. :-) -See my second addition to my answer. –  a.r. Aug 19 '11 at 16:58

$\newcommand{\Z}{\mathbf{Z}}$You can do this, but you need to know something about the maps — the exactness of the sequence is wonderful, but that often won't compute everything on its own. Anyway, if I want to get $H_1(T)$ then I write out $$ H_1(A \cap B) \stackrel{f}{\to} H_1(A) \oplus H_1(B) \to H_1(T) \to H_0(A \cap B) \stackrel{g}{\to} H_0(A) \oplus H_0(B). $$ We're going to replace the outer terms using certain isomorphisms, but let's think carefully about those. The picture is

A Mayer-Vietoris decomposition for the torus

If we view $A$ as $S^1 \times [0, 1]$, then the projection $p\colon S^1 \times [0, 1] \to S^1 \times \{1\}$ onto the top circle is a homotopy equivalence. Thus it induces an isomorphism $p_*$ on homology. Picking a generating loop for $H_1(S^1 \times \{1\})$, as shown, yields an isomorphism $H_1(A) \to \Z$. Any loop in $A$ whose projection is that generator, with the same orientation, will map to $1 \in \Z$.

I'll let you finish this program, using the orientation on $B$ shown and the like orientations on the two components of $A \cap B$. The upshot is that if we make these identifications and view our sequence as $$ \Z \oplus \Z \stackrel{f}{\to} \Z \oplus \Z \to H_1(T) \to \Z \oplus \Z \stackrel{g}{\to} \Z \oplus \Z, $$ then $f$ is given by $\begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix}$; after changing bases, this is $\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}$. It's easier to check that $g$ can be expressed by the same matrix. We obtain a short exact sequence $$ 0 \to \operatorname{Coker} f \to H_1(T) \to \operatorname{Ker} g \to 0. $$ We know that the outside terms are both isomorphic to $\mathbf{Z}$; since $\Z$ is free, it follows that $H_1(T) \approx \Z \oplus \Z$.

Getting $H_2 \approx \Z$ is similar, but of course $H_2(A)$, $H_2(B)$, and $H_2(A \cap B)$ are all trivial. Try the Klein bottle when you're done!

share|improve this answer
    
This is a little sketchy (I haven't thought about this stuff in a while), but I thought you should get some answer. Let me know if it's confusing. –  Dylan Moreland Aug 19 '11 at 0:04
    
Thank you! Where do you use the orientation? –  Matt N. Aug 19 '11 at 12:46
    
And where does $0 \rightarrow Coker f \rightarrow H_1(T) \rightarrow Ker g \rightarrow 0$ come from? –  Matt N. Aug 19 '11 at 12:47
1  
@Matt This is the trick of splitting long exact sequences up into short ones. Here $H_1(T)$ surjects onto the kernel of $g$, and the kernel of that map is the image of $H_1(A) \oplus H_1(B)$ in $H_1(T)$, which is isomorphic to $H_1(A) \oplus H_1(B)$ mod the kernel of $H_1(A) \oplus H_1(B) \to H_1(T)$, and this kernel is the image of $f$. –  Dylan Moreland Aug 19 '11 at 15:46
1  
@Matt For the orientation I'm a little less sure. I wanted to be careful in order to not compute the homology of the Klein bottle (that would be a good next exercise in Mayer-Vietoris), for one thing. It seems important for the top and bottom of $A$ to be consistently oriented (similarly for $B$), but if I flip around the orientations on $B$ I don't think anything bad happens. –  Dylan Moreland Aug 19 '11 at 16:17

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.