Parallel Transport on the Torus

Transcription

1 MLI Home Mathematics The Torus Parallel Transport Parallel Transport on the Torus Because it really is all about the torus, baby After reading about the torus s curvature, shape operator, and geodesics, you re probably asking yourself how parallel transport on the torus affects tangent vectors. Good question! We start as always with our standard parameterization of the surface: x( u, v) x ( c + a cos v)cos u y ( c + a cos v)sin u z a sin v This parameterization is particularly nice, since it s an orthogonal patch ( F x u x v 0). This lets us easily compute the associated frame field E 1,E 2 : E 1 x u E E 2 x v G ( sin u,cos u,0 ) ( cos u sin v, sin u sin v,cos v ) Let s check that E 1 and E 2 are orthogonal by computing their dot product. Also, the cross product should be normal to the surface: E 1 E 2 sin u cos u sin v sin u cos u sin v + 0 0, check x y z E 1 E 2 sin u cos u 0 cos u cos v, sin u cos v, sin 2 u sin v + cos 2 u sin v cos u sin v sin v sin u cos v Taking partial derivatives of E and G, we have an equation that gives the connection form ω 12 : 1 of 6 10/07/ :19 AM

2 ( ω 12 E ) v ( d u + G ) u d v a sin v d u + 0sin vd u G E a ω 12 tells us how a vector rotates as it is parallel transported. It encodes pretty much everything about the space s curvature. What does this tell us about parallel transport on the torus? First, the d u term tells us that parallel transport along lines of constant u (longitude lines) doesn t affect vectors: We could have predicted this from the symmetry of the torus; along a line of longitude, the neighborhoods to the left and right are mirror images, so there s no preferred direction for a vector to rotate. Second, the sinv term tells us that parallel transport along lines of constant v (latitude lines) causes vectors to rotate through the angle 2π sin v during their journey back to their starting point. Let s look at some specific cases, starting with parallel transport along the outer equator: Here v 0, so sin v is also zero, and the vectors don t rotate at all. This is also true at the inner equator. 2 of 6 10/07/ :19 AM

3 At the top of the torus (v π ), sin v 1, so a vector rotates through a full 2π during 2 its journey. Note how the angle between the blue vector and its path (red) changes as the vector is parallel transported: Something else interesting is happening simultaneously: the vector s origin is also rotating through 2π. These rotations cancel, leaving the blue vector pointing in the same direction in the embedding space. So someone living on the torus would say the vector rotates as it is parallel transported, while someone living outside the surface would not. (Note that at v π the torus s Gaussian curvature is zero, so it s 2 not surprising that vectors parallel transported along that path don t appear to rotate in the embedding space.) Parallel transport along other lines of latitude causes vectors to rotate varying amounts (2π sin v). In the next illustration, four frames aligned with the u and v axes (at v 0, π, π, and π ) are parallel transported widdershins around the torus The amount of rotation is a function of their v coördinate. By the time these frames return to their starting point, each will have rotated 2π sin v around its origin. For example, the second line of latitude from the bottom 3 of 6 10/07/ :19 AM

4 is at v π, so vectors parallel transported along it will have rotated through an 6 angle of 2π sin π 2π 1 π, as indeed they have. 6 2 Putting all of this together, here s how a whole bunch of frames rotate while being parallel transported widdershins along lines of latitude, starting at the red longitude line: When creating these images, one thing that surprised me was how quickly the value of 2π sin v changed near v 0. Then I remembered that d sin v cos v, which d v has extremes at v k π, k an integer. So the rate of change of the effect of parallel transport along lines of latitude is most extreme at the outer and inner equators. 4 of 6 10/07/ :19 AM

5 Finally, parallel transport on the bottom half of the torus is the same except for direction of rotation, since sin v is negative there. Students of differential geometry may have noticed that sin vd u is also the ω 12 of the sphere. The difference is that for the sphere, the range of v is π, π, while for 2 2 the torus it s [ π,π]. Indeed, you can see that parallel transport on the outer half of the torus mirrors parallel transport on the sphere. Bonus: computing the Gaussian curvature from the patch Given an orthogonal patch, we can directly compute the Gaussian curvature K from E and G: K 1 EG ( G) u E u ( E) v + G v 1 a( c + a cos v) a sin v ( sin v) v a v a( c + a cos v) cos v a( c + a cos v) This agrees with the value for the Gaussian curvature we computed from the shape operator, but unlike that calculation this one doesn t require a normal to the surface. Thus, if we lived on the torus, we could compute our space s Gaussian curvature directly from measurements made within our space, and we don t have to assume the existence of an embedding space. That s the beauty of differential geometry. Last updated 18 November of 6 10/07/ :19 AM

6 All contents released into the public domain by Mark L. Irons MLI Home Mathematics The Torus Parallel Transport 6 of 6 10/07/ :19 AM