Math 501 - Differential Geometry Herman Gluck Tuesday April 17, 2012 8. THE FARY-MILNOR THEOREM The curvature of a smooth curve in 3-space is 0 by definition, and its integral w.r.t. arc length, (s) ds , is called the total curvature of the curve. According to Fenchel's Theorem, the total curvature of any simple closed curve in 3-space is 2 , with equality if and only if it is a plane convex curve. 1 According to the Fary-Milnor Theorem, if the simple closed curve is knotted, then its total curvature is > 4 . In 1949, when Fary and Milnor proved this celebrated theorem independently, Fary was 27 years old and Milnor, an undergraduate at Princeton, was 18. In these notes, we'll prove Fenchel's Theorem first, and then the Fary-Milnor Theorem. 2 Istvan Fary (1922-1984) in 1968 3 John Milnor (1931 - ) 4 Fenchel's Theorem. We consider a smooth closed curve : [0, L] R3 , parametrized by arc-length. In order to make use of the associated Frenet frame, we assume that the curvature is never zero. FENCHEL's THEOREM (1929?). The total curvature of a smooth simple closed curve in 3-space is 2 , with equality if and only if it is a plane convex curve. 5 Proof. In this first step, we will show that the total curvature is 2 . We start with the smooth simple closed curve , construct a tubular neighborhood of radius r about it, and focus on the toroidal surface S of this tube. 6 Taking advantage of our assumption that the curvature of our curve never vanishes, we have a well-defined Frenet frame T(s) , N(s) , B(s) at each point (s) . We recall the Frenet equations: T' = N N' = — T + B B' = — N . The surface S bounding our tubular neighborhood of radius r is parametrized by X(s, v) = (s) + r cos v N(s) + r sin v B(s) . 7 Then Xs = ' + r cos v N' + r sin v B' = T + r cos v (— T + B) + r sin v (— N) = (1 — r cos v) T — r sin v N + r cos v B , where , T , N and B all depend on s , and Xv = — r sin v N + r cos v B . 8 Thus Xs Xv = — rcos v(1 — rcos v)N — rsin v(1 — rcos v)B |Xs Xv| = r (1 — r cos v) . We choose the radius r of our tube sufficiently small so that the tube is smoothly embedded in R3 , and in particular so that r < 1/max , which guarantees that |Xs Xv| = r (1 — r cos v) > 0 . 9 Next we calculate the coefficients of the first fundamental form of the surface S . 2 2 2 E = < Xs , Xs > = (1 — r cos v) + r 2 F = < Xs , Xv > = r 2 G = < Xv , Xv > = r EG — F2 = r2 (1 — r cos v)2 2 1/2 (EG — F ) = r (1 — r cos v) = |Xs Xv| . 10 The inward pointing unit normal vector to the surface S is M = (Xs Xv) / |Xs Xv| = — cos v N — sin v B . Note that we are using the letter "M" for the surface normal, since we have already used "N" for the principal normal to our curve . Then Ms = — cos v N' — sin v B' = — cos v (— T + B) — sin v (— N) = cos v T + sin v N — cos v B , Mv = sin v N — cos v B . 11 From this we get 2 Ms Mv = cos v N + sin v cos v B |Ms Mv| = cos v . We compare Xs Xv = — rcos v(1 — rcos v)N — rsin v(1 — rcos v)B = —r (1 — r cos v) (cos v N + sin v B) , 2 Ms Mv = cos v N + sin v cos v B = cos v (cos v N + sin v B) . 12 We see that Ms Mv = {— cos v / [r (1 — r cos v)]} Xs Xv . Since Gaussian curvature K is the explosion factor for oriented area under the Gauss map M: S S2 , we have K = — cos v / [r (1 — r cos v)] . 13 Problem. Double check this value of K by computing the coefficients of the second fundamental form: e = — cos v (1 — r cos v) + r 2 f = r g = r . Then use the formula K = (eg — f 2) / (EG — F2) to compute the Gaussian curvature. 14 Focus on the formula for the Gaussian curvature of the surface S bounding the tubular neighborhood of radius r about our curve : K = — cos v / [r (1 — r cos v)] . 15 We note that the Gaussian curvature K is 0 when cos v 0 , that is when /2 v 3/2 , which appears as the bottom S+ of S in the figure. K 0 on the remaining (closed) half S— of S . By the Gauss-Bonnet Theorem, the total Gaussian curvature of the surface S is zero, S K d(area) = 0 , because S is a torus with Euler characteristic (S) = 0 . 16 By contrast, let's compute the integral of the Gaussian curvature only over the region S+ where K 0 . 2 1/2 S+ K d(area) = S+ K (EG — F ) ds dv = S+ (—cos v / [r(1 — rcos v)]) r (1 — rcos v) ds dv = S+ — cos v ds dv 3/2 L = v=/2 (— cos v) dv s=0 ds L = 2 s=0 ds . Thus the total Gaussian curvature of the "positive half" S+ of the toroidal surface S equals twice the total curvature of the curve . 17 2 It is easy to see that the Gauss image M(S+) covers S at least once, as follows. 2 3 Given any unit vector V S , take a plane in R which is orthogonal to V , far away from and containing in its negative half-space. Then move this plane towards , always keeping it orthogonal to V . When the moving plane first touches the boundary S of our tubular neighborhood of , it will do so at a point of S where K 0 . 18 2 This shows that M(S+) = S , and hence that S+ K d(area) 4 L Since S+ K d(area) = 2 s=0 ds , L we conclude that s=0 ds 2 . 19 Plane convex curves. Suppose next that our simple closed curve is a convex curve in the plane. We have seen earlier in this course that its total curvature is 2 , but let us see this again by the present methods. To that end, consider the boundary S of our tubular nbhd of . The points on S with a given value of s form a circle of radius r , whose image under the Gauss map M: S S2 is a great circle s . + Denote by s the closed semi-circle of s corresponding to points where K 0 . 20 + Since is a plane curve, all the semi-circles s run between the north and south poles on S2 . Since is convex, and in fact, strictly convex because we are assuming its curvature never vanishes, the various + semi-circles s meet only at the north and south poles. 2 It follows that the Gaussian image M(S+) covers S just once (except for the overlaps at the two poles) and hence that S+ K d(area) = 4 . It follows that the total curvature of satisfies L s=0 ds = 2 . 21 Curves with total curvature 2 . Assume now that the L total curvature s=0 ds of is 2 . We must show that is a convex plane curve. We know that S+ K d(area) = 4 and S— K d(area) = —4 . Thus, the area of the Gauss image M(S) of S is 8 , counting multiplicity but not orientation. 22 Problem. Let T() S2 denote the curve traced on S2 by the unit tangent vectors T(s) = '(s) to the curve . (a) Show that the length of T() is the same as the total curvature of . (b) Show that area of the Gauss image M(S) , counted as above, is four times the length of T() . (c) Show that the curve T() meets every great circle on S2 . Problem. Show that if the total curvature of is 2 , + then all the semi-circles s have the same endpoints. 23 + 2 Now, since all the semi-circles s on S have the same endpoints, we see from an earlier the figure that all the points (s) on the curve have the same binormal vector B = B(s) . Problem. Show that if all the points on a curve in 3-space have the same binormal vector B , then the curve lies in a plane orthogonal to B . Now we know that our curve of total curvature 2 lies in a plane. 24 If we let (s) denote the signed curvature of as a plane curve, then we have L L 2 = 0 |(s)| ds 0 (s) ds = 2 . It follows that the signed curvature (s) > 0 , and therefore that is a convex plane curve. This completes the proof of Fenchel's Theorem. Problem. Fenchel's Theorem was proved under the hypothesis that the curve had nowhere vanishing curvature. Show how to get rid of this hypothesis. 25 The Fary-Milnor Theorem. FARY-MILNOR THEOREM. The total curvature of a smooth simple closed curve in 3-space which is knotted is > 4 . Proof. We'll use the same notation as in the proof of Fenchel's Thm, : [0, L] R3 is a smooth simple closed curve parametrized by arc length, and with nowhere vanishing curvature, S is the boundary of a tubular neighborhood of of radius r , and S+ is the portion of S where its Gaussian curvature K 0 .