MATH 4220/6220 ERRATA Guillemin and Pollack, Dierential Topology p. 5 p. 6 p. 7 p. p. p. p.

12 16 24 25 #4 #8 #18b #8 line 16 line 11 #6 #11(a) #13 line 9 line 12 #6 #22 line 9 line 15 #11 |x| < a hyperboloid g (x) = f (x a)f (b x); h(x) =
x

Fall 2011

g (t) dt g (t) dt

p. 27 p. p. p. p. p. p. p. 28 35 45 48 51 52 55

p. 56 p. 61 p. p. p. p. p. 62 64 66 70 75

#15 line 6 line 6,5,3 line 1 #10 #4 line 10 #7 #9 #18 #5 #6 #9 #15 #16

p. 76 p. 83

p. 84 p. 85

hyperboloid, and delete the parentheses in f (X ) Y In particular, taking X to be . . . This is the denition of homogeneity of degree m; 0 is the only possible critical value Remark: This is really a special case of Exercise 6. Delete of at the end of the rst line. g f : U R Z needs to be closed simply connected ri = |x xi | v) g (x, 1 t exercise 15 f 1 (a) should be {x X : F (x, v ) = a for some v }. The HINT should read as follows. Show rst that F 1 (a) lies in a compact subset {(x, v ) : |v | constant} of T (X ): for if F (xi , vi ) = a and |vi | , pick a subsequence . . . . Now use the proof of the Stack of Records Theorem (p. 26, #7) to show that F 1 (a) is indeed nite. A and B are disjoint, closed subsets. Z = 1 (0) dgs and d(g )s map to R ker dgs has dimension k , ker d(g )s has dimension k 1 dfz (n(z )) < 0 |x| < a S Y ane subspace V ; the map given in the hint should be R S RN RN , dened by (t, v, a) t v + a f : Rk R X T (X ) refers to X {0} contractible; there still is a dimension 0 anomaly, so one should require dim X > 0 contractible I2 (f, Z ) = 0, p / f (X ) Z closed manifold C Consider the submanifold F 1 ()

p. 90

line 10 #9

p. 91 p. 99 p. 106

#11 line 8 #18 #21 #23 #9 #4 #1 #7 #12 #14a #17 #3 #3 #6 #8 #11 line 17 line 10 line 3 line 2 line 8 #9 #11 #13 line 5

p. p. p. p. p.

117 131 138 139 140

p. 141 p. 144-5 p. 147

p. p. p. p. p.

148 155 164 166 170

Corollary to Exercises 18 and 19, obviously Not so fast! To apply Exercise 8, we must use the fact that X is a compact hypersurface to produce a ray intersecting X (and transversely). D 1 is compact; parametrization in last line. sign (b) nonzero normal vectors What does it mean to dene a manifold with boundary by independent functions? X orientable and connected g (t + 2 ) = g (t) + 2q is stable ht (z ) = et z v1 should have only nondegenerate zeroes inside U In the last formula, g ij , not gij , where (g ij ) = (gij )1 the matrix (g ij ) is nonsingular sum of the indices of f at its critical points The new map will only agree with f on the complement of a slightly larger ball, so its not quite an extension f (tx) = gt (x) Replace with , b with a in the last three lines Now apply the corollary of the special case should be after the right parenthesis is not a submersion, but the rest is right (T ) = T dfI = dfi1 dfip X is a k -dimensional oriented manifold with boundary f1 h, f2 h, f3 h F = (f1 , f2 , f3 ) h The reference should be to Exercise 7 1, 2, 3 magically become (a), (b), (c) The reference should be to Exercise 12 We need Z0 and Z1 oriented, and the denition of cobordism needs to be updated to W = Z0 {0} Z1 {1}. Y should be connected (cf. the proof on p. 191) In the lemma, X, Y should be compact, and S should be X ; in the proof, U should be a connected neighborhood of y x dy x 2 +y 2 last line: Identify c. parallelepiped before the Hessian matrix Delete the 1 2

p. 173 p. 174-5 p. 187

p. 188 p. 190 p. 191 p. 194 p. 195 p. 200

#1 #7 line 18 #8