HW12

From 0506Topology

#	Week of...	Links (edit)
Fall
1	Sep 12	About, Tue, Thu, Std2Disc
2	Sep 19	Tue, Thu, HW1, 14 Sets
3	Sep 26	Tue, Thu, Photo
4	Oct 3	Tue, Thu
5	Oct 10	HW2, Tue, Thu
6	Oct 17	Tue, Thu, HW3
7	Oct 24	Mon, Tue, Thu
8	Oct 31	Tue, Thu, HW4
9	Nov 7	TE1, Tue, Thu
10	Nov 14	Tue, Thu, HW5
11	Nov 21	Tue, Thu
12	Nov 28	Tue, Thu, HW6
13	Dec 5	Tue, Thu
E	Dec 12	TE2
Spring
14	Jan 9	Tue, IT83, Thu, HW7
15	Jan 16	Tue, Thu
16	Jan 23	Tue, HW8, Thu
17	Jan 30	Tue, Thu
18	Feb 6	TE3, Tue, Thu
19	Feb 13	Tue, Thu
R	Feb 20
20	Feb 27	Tue, Thu, HW9
21	Mar 6	Tue, Thu, HW10
22	Mar 13	Tue, Thu
23	Mar 20	Tue, Thu, HW11
24	Mar 27	Tue, Thu
25	Apr 3	Tue, Thu, HW12
26	Apr 10	Tue, Thu
Study	Apr 17	Office Hours
Exams	Apr 24	Final, PM

Homework Assignment 12

Required reading. Read, reread and rereread your notes to this point, and make sure that you really, really really, really really really understand everything in them. Do the same every week! Also, lightly read Hatcher's treatment of cohomology, just enough to get a general impression of that subject.

Solve the following problems. (But submit only the underlined ones). In Hatcher's book problems 5, 6, 8, 9 on page 205.

Due date. Place your assignment in my mailbox by Tuesday April 18th at noon. Put it in the brown envelope marked "Topology TE12" which will be placed there on the last day of classes.

Above the line, edit only if you are sure

Feel free to edit below the line

[edit]

Problems for Submission

[edit]

Hatcher $\S$ 3.1, p. 205

5.

Regarding a cochain $\varphi\in C^1(X;G)$ as a function from paths in

X

G

, show that if $\varphi$ is a cocycle, then

$\varphi(f\cdot g)=\varphi(f)+\varphi(g)$ ,
$\varphi$ takes the value 0 on constant paths,
$\varphi(f)=\varphi(g)$ if $f\simeq g$ ,
$\varphi$ is a coboundary iff $\varphi(f)$ depends only on the endpoints of $f$ , for all $f$ .

(In particular, the first and third properties give a map $H^1(X;G)\to \operatorname{Hom}(\pi_1(X),G)$ , which the universal coefficient theorem says is an isomorphism if

X

is path-connected.)

6.

Directly from the definitions, compute the simplicial cohomology groups of $S^1\times S^1$ with $\mathbb{Z}$ and $\mathbb{Z}_2$ coefficients, using the