10

I am having trouble understanding how to compute the induced map for the second homology. For example say I have $\varphi:\mathbb{T}^2\rightarrow \mathbb{T}^2$ that is a self homeomorphism, then what would be the general strategy to compute $\varphi_*:H_2(\mathbb{T}^2)\rightarrow H_2(\mathbb{T}^2)$.

I would appreciate if someone could work through a non trivial example. Thank you in advance.

Steven
  • 101

2 Answers2

11

There are several different ways of computing the induced map on $H_2$. For example, one can give $\mathbb{T}^2$ a CW- complex structure. It's a general theorem that every map of CW complexes is homotopic to a CW-map (one which maps the $k$-skeleton to the $k$-skeleton), and that homotopic maps induce the same map on homology. One your map is CW, it's easy (or at least, easier) to compute induced maps.

One can also use a simplicial decomposition, etc.

Another approach is to factor your map $f:X\rightarrow Y$ as a composition of maps $X\rightarrow Y \rightarrow Z$ whose induced maps you know.

A third approach is to try to understand induced maps on cohomology and then relate that back to homology. The main advantange here is that the cohomology groups fit together to have a natural ring structure, and $\phi^\ast$ ends up being a ring homomorphism. Thus knowledge of $\phi^\ast$ on $H^1$ often (but not always) informs one what $\phi^\ast$ is doing on $H^2$.

Finally, in the case where the dimension of your space is $2$ and your space is nice enough (like an orientable manifold), then degree theory helps to answer the question.

In your case, since your specified that $\phi$ is a homeomorphism, it follows that $\phi_\ast$ is an isomorphism, and the only isomorphisms of $\mathbb{Z} = H_2(\mathbb{T}^2)$ are multiplication by $\pm 1$. It follows that $\phi_\ast(x) = x$ or $\phi_\ast(x) = -x$. (Without more information, we can't tell which - there are maps realizing either $\phi_\ast$).

Jason DeVito - on hiatus
  • 51,620
  • 1
    I realize you wanted us to "work through a non-trivial example". If you suggest such an example, I can edit this with any progress I make. On second though, this user hasn't been active for a year and a half, so I probably just wasted my time... – Jason DeVito - on hiatus Jan 13 '15 at 19:29
1

If i understood what you mean, your problem is "what this inducted function do in the Mayer-Vietoris sequence of Homology of a space X". Generally speaking, you have to work with the inducted inclusion function from a subspace into the space $X$. Check if you can write the generators using the new generators of the group you are injecting into

Riccardo
  • 7,583
  • no I want the induced map of $\varphi$,$\varphi_*:H_2(\mathbb{T}^2)\rightarrow H_2(\mathbb{T}^2)$ – Steven Apr 24 '13 at 18:03
  • 1
    By definition, $\varphi_* [x] = [\varphi (x)]$ So, suppose x is a generator (once you have definite what exactly a homomorphism do on the generator you have finished) and then you check: "is $\varphi (x)$ a generator? If no, try and Write it using generators. It is pretty much like linear algebra, you have a 2 bases and a homomorphism between them. The "work" is pretty the same. – Riccardo Apr 25 '13 at 07:13