Copyright © 2002 jsd

1  Introduction

Presumably you have heard of the first law of motion, which says that a free particle moves in a straight line at a uniform velocity. That’s true, but in order to make it useful, we need to be able to recognize straight paths and distinguish them from non-straight paths.

Tangential remark: If you think about things in spacetime, both parts of the first law of motion – the “straight line” part and the “uniform velocity” part – turn out to be exactly the same thing. A uniform velocity is a straight line in spacetime, nothing more, nothing less. A discussion of this, along with an interactive diagram, can be found in reference 1.

Also, you have probably heard something about general relativity, including the idea that gravitation is explained by the “curvature” of spacetime. The purpose of this document is to explain some of the important details such as the direction in which the space is curved, how much it is curved, and how this produces the effects we call gravitation.

It would be helpful to have some prior understanding of what we mean by spacetime, as discussed in reference 1 and elsewhere.

*   Contents

1  Introduction
2  Masking Tape is As Straight As Can Be
3  Two Models of Gravitation
3.1  A Correct Model : Paths Controlled by Curvature
3.2  The Classical Model is Half-True
4  Spacetime Curvature
5  Clocks and Timing
6  A Real-World Application: Plumbing
7  Parallel Transport of Vectors
7.1  Parallel Transport in D=3
7.2  Parallel Transport in a Curved Space, D=2
7.3  Definition of Parallel
7.4  Calculating the Curvature
7.5  Intrinsic versus Extrinsic Curvature
7.6  Tabletop Model of Parallel Transport
8  How To Fabricate Darts
9  Quote
10  References

2  Masking Tape is As Straight As Can Be

Masking tape has the wonderful property that it very non-stretchy, as you can verify by trying to stretch a piece. (If you have some stretchy tape, set it aside and get some non-stretchy tape.)

Next, note that it has definitely nonzero width. It is non-stretchy across its width, and also across innumerable diagonals, so it can hold itself straight, the way a triangular truss holds itself rigid, as in the bridge in figure 1.

Figure 1: Triangular Truss Bridge

Figure 2 shows the kind of cross-bracing we are talking about. Lines drawn on the tape cannot stretch, and these define triangles that cannot change their shape. The length of line DB and line AC (shown in gray) cannot change, because the tape is non-stretchy. Similarly the length of line AD and line BC (shown in red) cannot change. In this way you can prove that all the triangles keep their shape. We know from high-school geometry that if the lengths stay the same, the angles must stay the same also. See reference 2 page 249 for a much more detailed and rigorous discussion.

Figure 2: Cross Bracing (Schild’s Ladder)

You can draw triangles like this on your tape if you want, but the tape keeps its shape whether you draw the triangles or not.

This notion of straightness, defined by cross-bracing, has numerous good properties. For one thing, if you stick an initial piece of tape to a surface, it defines a unique way of laying down the next piece, and then the next. And it is reversible: You can retrace the such a tape-path in the reverse direction and get the same result.

It is intriguing that in mathematics, lines are defined to be straight and have zero width, but in physics, if you want to make sure it is straight, it needs to have nonzero width (so the cross-braces have some leverage). You can pass to the limit of infinitesimal width, but not zero width.

In the first paragraph of the introduction to the Principia, Isaac Newton said: “The description of right lines and circles, upon which geometry is founded, belongs to mechanics. Geometry does not teach us to draw these lines, but requires them to be drawn”.

A more modern way of framing the issue is this:

In your imagination, you can postulate straight lines and circles that exist in some formal, mathematical space. Such lines and circles are abstractions, devoid of physical meaning.   If you want to construct a “line” or anything else real life, making it straight requires physics, not just mathematics.

Sometimes people try to “define” straightness by saying that a straight “line” is the shortest path between two points. That is, however, not the ideal definition. It would be better to say that any extremal path (either shortest or longest) is necessarily straight. You can show that the tape satisfies this definition, by the following argument: The two edges of the tape have equal length. The tape was made to have that property, and it retains that property because it is non-stretchy. If you choose a hypothetical path that is not a geodesic – not straight – then nearby paths to one side will be slightly longer, and nearby paths to the other side will be slightly shorter. You cannot make the tape follow such a path without buckling.

Once we have a good way to make straight paths, it is a simple matter to create curved paths, by forcing one edge of the tape to follow a longer path than the other.

Tangential remark: Similar notions of curvature play a role in the expansion of the universe, as discussed in reference 3.

3  Two Models of Gravitation

3.1  A Correct Model : Paths Controlled by Curvature

Here is a convenient way to correctly demonstrate the motion of a free particle in curved space.

We use a two-dimensional surface as our model universe. To model the path of a particle, apply masking tape to this surface.

For reasons explained in section 2, the tape will follow a geodesic (straight line) in the two-dimensional universe. Meanwhile, masking tape is so thin that it can bend as necessary in the third dimension (the embedding dimension). Be sure you use masking tape, which is designed to be non-stretchy (as opposed to something stretchy like electrical tape).

1) Let’s start with an uncurved universe. Use a flat sheet of construction paper or (if you’re using an overhead projector) a blank acetate foil. Lay out some tape and see what happens. Put down a couple of inches of tape to get things started, and then lay down the rest bit by bit. Allow the most-recently attached bit to guide the placement of the next bit. Hold the supply of tape slightly slack; do not try to “force” the result to go in any particular direction. Observe that the result is automatically straight, to an excellent approximation.

As long as you don’t allow “crumpling” or “air pockets” under the tape, it should guide itself quite well.

2) Lay out another line of tape that is initially parallel to the first. Extend it, letting the tape itself do the guiding, and observe that the two lines remain parallel for a long ways.

3) Bend the sheet into a cylinder, in such a way that it doesn’t stretch the sheet. (Wrap it around an oatmeal carton if you need help maintaining a cylindrical shape.) This creates extrinsic curvature without creating any intrinsic curvature.

A cone is another shape that has extrinsic curvature but no intrinsic curvature (except at the single point at the tip of the cone).

Observe that rolling the sheet into a cylinder or cone has no consequences for the geodesics; things that start out parallel remain parallel, et cetera. This is important because it shows that extrinsic curvature has no effect on the path of particles in our two-dimensional model world. That contrasts with intrinsic curvature, which will be demonstrated next.

4) On top of a flat sheet, put a large bowl, upside down. I have a large salad bowl that works beautifully.

Lay out a geodesic that starts on the flat sheet and heads toward the bowl. When it reaches the bowl, it will refract.

5) Lay out a geodesic that starts out parallel to the previous one. It will hit the bowl with a different impact parameter, and refract differently.

*) Et cetera. You get the idea.

Note: If you are not using an overhead projector, choose the color of the paper and the color of the bowls to contrast with the color of the tape. If you can get multiple colors of non-stretchy tape, so much the better.

Another suggestion: You can pile smaller bowls onto the back of the larger bowl, to change the shape of the potential.

Remark: The embedding world’s gravity has no effect on the tape. This model would work perfectly in the weightless environment in a spaceship.

Related remark: The tape does not care whether the curvature is a bump or a pit. Consider what happens if you have a flat countertop with a bowl-shaped sink set into it. The tape runs straight along the countertop, but then drops down and follows the curvature of the inside of the sink. In all cases the geodesic will be bent toward the region of high intrinsic curvature.

A bump and a bowl both have positive intrinsic curvature, as discussed in section 7.5. By way of contrast, a saddle has negative intrinsic curvature.

3.2  The Classical Model is Half-True

Let us now consider a different model, namely a marble rolling in a bowl. This can be contrasted with the curvature-based model introduced in section 3.1.

Rolling in a bowl is a decent model of classical physics, i.e. Newtonian gravitation.   Rolling in a bowl is a false and deceptive model of the modern physics, i.e. general relativity.

Rolling in a bowl depends on the fact that the bowl sits in the earth’s gravitational field.   The correct model, as introduced in section 3.1, works just fine in zero-gravity conditions.

If the shape of the bowl is just right – a paraboloid – the height of the bowl faithfully represents the classical gravitational potential. At each point, the slope of the bowl represents the gravitational field. (The fact that the marble rolls – rather than sliding freely – introduces some nonidealities, but let’s ignore that.)

If you use a glass bowl, you can demonstrate this to the whole room using an overhead projector.

Although this models the classical physics to a fair approximation, it does not correctly model general relativity. In particular, the curvature of the bowl is not a good model of the spacetime curvature that general relativity uses to explain gravitation. Not at all.

There are several ways of seeing that it would be wrong to consider the bowl a model of general relativity.

To repeat: the alleged connection between “rolling in a bowl” and general relativity is essentially 100% wrong.

4  Spacetime Curvature

The model introduced in section 3.1 demonstrated the qualitative effects of curvature, but we have to refine it a bit if we want a really accurate model of, say, planetary orbits. It turns out that bowl-shaped potentials are not what we need. Not even close.

The world-line of a particle in orbit is best described as a helix. It goes around and around in two spacelike dimensions, while moving steadily forward in the timelike direction.

As pointed out by David Bowman, if you try to project that helix onto a two-dimensional model, there will be problems. Spacetime is curved (by gravity) in the timelike direction as well as the spacelike directions. So if you build a model that represents the two spacelike directions, suppressing the timelike direction, you can’t properly represent the sort of curvature that leads to planetary orbits.

We can do much better if we use our model to represent one timelike dimension and only one spacelike dimension. We will illustrate the gravitational field of a planet that exists for a long time (a long ways along the time axis). The gravitational field decreases as we move away from the planet in either direction along the X axis.

This can be modeled using darts, as shown in figure 3. The time axis runs vertically up the page, and the spacelike X axis runs horizontally across the page. The five ribs are made of two darts each, for a total of 10 darts. See section 8 for hints on how to fabricate darts.

Figure 3: Orbits due to Curvature due to Darts

I emphasize that the tape follows geodesics determined by the local curvature of spacetime at each point. Given an arrangement of darts, each trajectory is completely determined by its starting point and initial direction; there is no other choice involved.

Whenever the tape crosses a dart, the curvature of spacetime will deflect the trajectory toward the center. As it continues along, it will “orbit” the center, as you can see in the figure. In D=1+1, each trajectory looks like a sine-wave when viewed from above the page. One trajectory starts with an X value slightly left of center and completes a half-cycle before exiting at the top of the diagram. The next trajectory starts with an X value slightly right of center, and also completes a half-cycle. The third trajectory starts farther right of center, and completes only a small fraction of a cycle.

It is interesting to think about “what is the shortest path from point A1 to point A2”. The path in the presence of the darts is very different from what it would be in the absence of the darts. Actually in the presence of the darts (spacetime curvature) there are a couple of different geodesics that connect A1 to A2.

Hint: The stores around here sell masking tape that is 3/4” or 1” wide. Narrower tape is better for this demo. So you may want to divide the tape in half lengthwise. Do this while it was still on the roll, using a very sharp knife to cut through many layers.

If you attach the darts to a piece of acetate foil, you can set the whole thing on an overhead projector so everybody can see it. But letting people play with it hands-on is the best.

5  Clocks and Timing

By way of background, suppose you travel from point A to point B along some chosen path. You can use an odometer to measure the length of the path. This length will not usually be the same as the length of some other path from A to B. In particular, an odometer is not like a rigid ruler, which measures the straight-line distance from A to B.

It turns out that ordinary clocks are more like odometers than like rulers. Suppose you travel from point A to point B along some chosen path, perhaps one of the paths shown in figure 3. The elapsed time along this path will not usually be the same as the elapsed time along some other path.

One way that the elapsed times can be different is if one of the paths has a lot of curvature in the time direction. You can see in figure 3 that a path that is deeper in the gravitational potential will have more curvature. Our simple model is quite faithful to the real gravitational physics in this regard: A clock deep in a gravitaitional potential will rack up more time than a clock not so deep in the gravitational potential.

You might be tempted to say that the deeper clock “runs fast” ... but you should resist this temptation. There is nothing wrong with either clock; both clocks run at the standard rate of 60 minutes per hour. (In our model, that is represented by saying the tape does not stretch.) The difference in elapsed time has nothing to do with the clocks. It has everything to do with the difference in path-length. Clocks are like odometers. They measure the length (in the time direction) of the path. This very much depends on which path you choose. The deeper clock is following a path that is more crumpled in the time direction.

6  A Real-World Application: Plumbing

Suppose you are helping a buddy with a plumbing project that involves cutting PVC pipes and gluing them into fittings. Your buddy sees no reason to buy a pipe cutter, since he has a perfectly good hacksaw. The problem is, if you want the joint to be strong, the pipe needs to be cut square, and this isn’t always easy to do. It’s not too hard under favorable conditions in the shop, but not so easy out in the field when the pipe is at a funny angle and there are other constraints.

The desired result can be obtained more easily and more reliably if the pipe is first properly marked ... then all you need to do is cut along the mark.

So now we come to the heart of the matter: What is the quick and easy way to create a “cut here” guide on the pipe?

Answer: Masking tape.

As discussed in previous sections, masking tape follows a geodesic. We assume the pipe is accurately cylindrical (otherwise the glue joint would fail anyway, so the whole exercise would be pointless). The geodesics of a cylinder are helices, including the zero-pitch helix which is a circle.

If you start the tape perpendicular to the axis of the pipe, the tape will come around and meet itself, making a zero-pitch helix, and you know you have succeeded. Cut parallel to the edge of the tape.

If you start the tape at an angle, it will come around and make a non-zero-pitch helix, and you know you need to re-do the taping.

This trick with the tape is super-accurate, super-quick, and super-easy.

7  Parallel Transport of Vectors

The previous discussion has focused on what happens to a single point as it moves from place to place along a geodesic. In this section, we consider what happens to a vector as it moves from place to place along a geodesic. This is important, because it provides us with a particularly easy way to measure the curvature of the space.

Note the contrast:

When we were just talking about position-space, at each position there was a point, and that’s all there was.   Now are talking about a vector field. That means at each point in position-space there is a vector space. We have a space of spaces.

7.1  Parallel Transport in D=3

Consider the scenario shown in figure 4. We start with the yellow arrow that is located just north of the eastern tip of Brazil, on the equator at 45 degrees west longitude. The vector points due north. We then construct another vector 18 degrees farther west, at a point near the mouth of the Amazon. We take care that the new vector is parallel to the old vector. It also points due north. We keep constructing new vectors, each parallel to the previous one, until we come to 90 degrees west longitude, in the ocean south of Guatemala.

Figure 4: Parallel Transport in D=3

The next vector is constructed at a position due north of the previous one. We are now moving northward along a line of constant longitude, namely 90 degrees west longitude. All the arrows point toward the celestial north pole, i.e. a point high above the earth’s geographic north pole. As we move north, each of the arrows is parallel to the previous arrow.

In this context moving north means moving closer to the geographic north pole, following the surface of the earth (as opposed to moving directly closer to the celestial north pole, which would take us away from the surface). Note the contrast: We are using geographic north for the positioning, but we are comparing the orientation against celestial north.

We continue around the triangular path until we get back to the starting point. The final arrow appears to be parallel to the original arrow. There is nothing surprising about this.

Actually, due to general relativity, the final arrow is not quite exactly parallel to the original arrow, but the difference is far too small to be perceptible in figure 4. The rest of this section is devoted to explaining how it is possible for these two arrows to wind up not exactly parallel.

7.2  Parallel Transport in a Curved Space, D=2

Consider the scenario shown in figure 5. It starts out exactly the same as the previous scenario. However, in this case we suppose that the arrows exist in a two-dimensional space, namely a sphere, i.e. the surface of the earth.

Figure 5: Parallel Transport on the Earth, D=2

The yellow arrows along the equator are exactly the same here as in the previous scenario. Even though the arrows are the same, we have to describe them differently. We say they all point north along the earth’s surface. They point toward the earth’s geographic pole, not toward the celestial north pole, because the latter does not exist in the two-dimensional space we are using.

As we move northward along the leg of the triangle that goes through North America, the arrows in figure 4 continue to point north toward the geographic north pole. Relative to the arrows in figure 5, these arrows must pitch down so that they remain within the two-dimensional space. They are confined to be everywhere tangent to the surface of the earth. As we move north, each of the arrows is parallel to the previous arrow, as parallel as it possibly could be.

Let’s be clear: Each new arrow is constructed to be parallel to the previous one, as parallel as it possibly could be. What we mean by “parallel” is discussed in more detail in section 7.3.

After we get to the north pole, we start moving south along a the prime meridian. We move south through Greenwich and keep going until we reach the equator at a point in the Gulf of Guinea. As always, each newly constructed vector is parallel to the previous arrow. All the arrows on this leg point due east.

Finally, we move west along the equator until we reach the starting point. Again each arrow is parallel to the previous one. All the red arrows on this leg point due east.

At this point we see something remarkable: The final arrow is not parallel to the arrow we started with.

From this we learn that in a curved space, there cannot be any global notion of A parallel to B. We must instead settle for a notion of parallel transport along a specified path. That is: the notion of parallelism is path-dependent. It also depends on whether you go around the path clockwise or counter-clockwise.

If you start with a northward-pointing vector in Brazil and parallel-transport it to the Gulf of Guinea, you get a northward-pointing vector.   If you start with the same vector and transport it clockwise around two legs of the triangle as shown in figure 5, you get an eastward-pointing vector.

Creatures who live in the curved space can perceive this in a number of ways. Careful surveying is one way. Gyroscopes provide another way. That is, a gyroscope that is carried all the way around a loop will precess relative to a gyroscope that remains at the starting point.

It must be emphasized that this precession has got nothing to do with the spin of the earth or the peculiarities of the latitude/longitude coordinate system. In figure 6 the sphere is completly abstract, with no spin, no latitude, no longitude, and no poles. As we shall see in section 7.4, the area of the loop is what matters, not the shape or orientation.

Figure 6: Parallel Transport on an Abstract Sphere

You can also see in figure 6 that the initial arrow does not need to be parallel or perpendicular to the path. Any initial orientation is allowed. The orientation of each successive arrow is dictated by the requirement that it be parallel to the previous arrow.

7.3  Definition of Parallel

In all these diagrams, each new arrow is constructed to be parallel to the previous one, as parallel as it possibly could be. If you don’t see each successive arrow in this part of the diagram as being exactly parallel to the previous one, that’s because you live in three dimensions. Creatures who actually live in the curved space – the two-dimensional curved surface in this model system – cannot detect the third dimension.

This is related to the idea that the tape used in figure 3 is non-stretchy in two dimensions but is free to bend in the third dimension. We are modeling the physics as seen by creatures who live in the two-dimensional space. The third dimension – the embedding dimension – is not part of their world.

In particular, in the discussion associated with figure 2 we said that all the triangles keep their shape, whatever that shape might be. Now, if we impose the further requirement that the midpoint of line DB coincides with the midpoint of line AC, then we have similar triangles (indeed congruent triangles) and this guarantees that line BC is parallel to line AD. We use this to define what we mean by parallel transport. We use this construction – called Schild’s Ladder – to transport vector AD along the path AB and thereby prove, by construction, that it AD is parallel to BC.

Here is another argument that leads to the same conclusion: The situation in figure 7 is very similar to the situation in figure 5. The main difference is that rather than having a single vector at each point, we have two vectors. This is one way of representing a bivector. (If the term “bivector” doesn’t mean anything to you, don’t worry about it.)

Figure 7: Parallel Transport of a Bivector

In particular, let’s look at the six bivectors on the leg of the triangle that goes through North America. Each of the gray vectors here points due west, along a line of constant latitude. Such lines are called parallels of latitude – as in the 49th parallel – and they are called that for a reason. The gray arrows are undoubtedly parallel. If you treat them as existing in the embedding space they are parallel, as surely as the arrows in figure 4 are parallel. Also if you treat them as existing in the D=2 surface they are parallel.

Once you are convinced that these six gray arrows are parallel, the rest of the argument is easy. The yellowish arrows are perpendicular to the gray arrows. In two dimensions, this implies that the yellowish arrows must be parallel to one another. In two dimensions, there is no other possibility.

7.4  Calculating the Curvature

The amount of precession is proportional to the area enclosed by the loop, times the amount of curvature. In two dimensions we can write:

precession = 
K dA

where dA is an element of area, and K denotes something we call the Gaussian curvature.

We can always define the average curvature (averaged over some area) as follows:

K := 
K dA
   (by definition of “average”)   

Then as an immediate corollary to equation 1 we obtain:

K := 
K dA

This gives us a convenient way of measuring the average curvature. Let’s see how it works for the spherical triangle shown in figure 5. The loop comprises one octant, i.e. one eighth of the area of the sphere. A sphere of radius R has curvature K = 1/R2 everywhere.

area = 
curvature = 
precession = 

which is nicely consistent with equation 1 and equation 3.

Figure 8 is similar to Figure 5 except that the path encompasses a smaller area. You can see that there is correspondingly less precession.

Figure 8: Parallel Transport, Smaller Area

7.5  Intrinsic versus Extrinsic Curvature

Occasionally, we choose to imagine that our curved space is embedded in some higher-dimensional space. For example, the spherical surface shown in figure 5 is intrinsically a two-dimensional space. We only need two numers (e.g. latitude and longitude) to span the space. In this subsection, we imagine that it sits in a three-dimensional embedding space.

This allows us to write the Gaussian curvature in the form

K = k1 k2

where k1 is the principal curvature in one direction and k2 is the principal curvature in the other direction. For example, a sphere of radius R has k1 = k2 = 1/R everywhere, which is consistent with our previous assertion that K = 1/R2.

By way of constrast, a cylinder of radius R has zero Gaussian curvature, because k1 = 1/R but k2 = 0. The cylinder is curved in one direction but not the other. We can apply similar reasoning to a cone. We conclude that a cone has zero intrinsic curvature (except at the tip).

Each principal curvature is related to the corresponding radius of curvature:

k1 = 1/r1            
k2 = 1/r2            

It must be emphasized that r1, r2, k1, and k2 are extrinsic, and cannot be measured by the creatures who live in the two-dimensional space. In contrast, they can measure the intrinsic curvature, i.e. the Gaussian curvature K, by carrying out parallel-transport experiments and applying equation 3.

7.6  Tabletop Model of Parallel Transport

To demonstrate parallel transport using the same tabletop model shown in figure 3, proceed as follows:

From a strip of masking tape at least one inch wide, cut out a parallelogram. The exact shape doesn’t matter.

Draw the long diagonal on the parallelogram, as shown in figure 9. Use a pen with a moderate width, not too fine, for reasons that will become obvious in a moment. Label the corners {A, B, C, D}. Add another label, C}, so that there are labels on both sides of the diagonal at corner C. For strain relief (aka crimp relief), make a keyhole-shaped cut, as shown in figure 9. That is, make a round hole in the middle, and then make a cut from the middle to corner C, running right down the middle of the line you marked. Try to cut the line in half. I found it easy to make the crimp-relief cuts by putting the tape on a firm board and using a scalpel (aka “hobbyist razor knife”). Using a scissors is possible but probably less convenient.

Figure 9: Parallelogram for Parallel Transport

Lay the parallelogram on the model, so that the tip of a dart falls into the crimp-relief hole. I did it starting from point B and proceeding counterclockwise to point C, then re-starting at point B and proceeding clockwise to point C. There are probably other satisfactory tactics. The result is shown in figure 10.

Figure 10: Parallel Transport Past a Dart

The parallel transport story goes like this: Start at point C. The initial vector that we wish to transport is the line that is drawn on the tape, the line that runs from the center to point C. We transport that via B, A, and D all the way to C. The transported vector is now parallel to the line from the center to C. Since the space between point C and point C is flat, you can easily use your imagination to transport the vector the rest of the way, all the way back to the starting point C. As you can see in figure 10, the vector has precessed by about 7 degrees.

If you look closely, you find that the direction of precession is the opposite of what we saw in figure 5. There if you go around the loop clockwise the precession is also clockwise, but here if you go around the loop clockwise the precession is counterclockwise. This is the hallmark of negative Gaussian curvature. A sheres has positive intrinsic curvature, while a saddle has negative intrinsic curvature.

Also: If you think about it for a while, and/or do some experiments with the model, you discover that for transport around any path that encompasses the tip of a dart, the amount of precession is the same, namely −7 degrees. The only way to describe this is to say that there is a Dirac delta-function of curvature, located at the tip of the dart.

If you don’t know what a delta-function is, don’t worry about it too much. In general, it’s just a fancy way of saying something is hugely concentrated, with a high density in one place and zero density elsewhere. Imagine a very tall, very narrow spike. In the present contect, when we talk about curvature, we are not talking about the curvature of the spike; the spike is not what’s curved. The space is curved, and the spike is telling us where the curvature is.

We can formalize this concentration of curvature as follows:

K(xy) = θ δ(xx0)δ(yy0)

where θ is −7 degrees in this model, and the tip of the dart is located at the point (x0, y0). When we integrate this curvature in accordance with equation 1, we get the correct total precession. Note that a δ-function has units of inverse length, so the dimensions in equation 7 are correct.

Meanwhile for any path that encompasses the base of a dart, the precession is +7 degrees. In the model, there is no way to encompass the base of one dart without encompassing the base of its partner, so we see a total precession of +14. For any path that does not encompass the tip or base of any dart, there is no precession.

Tangential remark: If you carefully measure the angle in figure 10, you find that the angle is very close to −8 degrees, rather than the −7 that we were expecting based on the specifications of the darts. I don’t know whether this has to do with imperfections in the darts, or imperfections in the way I laid down the tape.

To repeat: To us, living in the embedding space, the darts may “look” like they have curvature all along their length, but really the darts are like cones: zero intrinsic curvature except at the tips and bases. To say the same thing another way: the dart has one extrinsic curvature (k1) that is nonzero all along its length, but the other extrinsic curvature (k2) is zero, so the intrinsic Gaussian curvature is zero (except at the tip and the base).

As a consequence, the gravitational field that we are modeling in figure 5 is a piecewise-constant field. On the left side of the midline there is a field of constant strength pointing to the right, and on the right side of the midline there is a field of constant strength pointing to the left. This is similar to the field you would find in a three-plate parallel-plate capacitor, with charges of −Q, +2Q, and −Q (respectively) on the plates.

In particular, in the main region of the diagram, between the tips and the bases of the darts, there is no geodesic deviation. As seen by creatures who live in the two-dimensional space, there is no spacetime curvature in this region. We who live in the embedding space see geodesics that seem to curve, but in this region they all curve together. A pair of geodesics that starts out parallel will remain parallel. That is to say, they do not deviate from each other, so there is no geodesic deviation.

The parallel geodesics remain parallel unless and until the pair straddles the tip or the base of a dart, whereupon there will be geodesic deviation. This is the fundamental mechanism of general relativity: Curvature causes geodesic deviation.

The analogy to real-world gravitation goes like this: Any region where the gravitational acceleration g is essentially uniform does not have any appreciable spacetime curvature. In particular, over the typical laboratory lengthscale, spacetime curvature is negligible. This is related to Einstein’s principle of equivalence, which says that a uniform gravitational field is indistinguishable from an acceleration of the reference frame. To say the same thing the other way, you can make a uniform gravitational field disappear by choosing a different reference frame. Therefore it is obvious that a uniform gravitational field has got nothing to do with spacetime curvature, because you can’t make curvature go away by choosing a different reference frame.

8  How To Fabricate Darts

Many of the following fabrication ideas are due to Paul Fuoss.

Maple is an excellent material for making darts. (Any hard, fine-grained wood will do.) The grain should run down the long axis of the dart; this makes fabrication harder but makes the final result nicer. We found that Paul’s compound miter saw was the smart way to make them. We tried making them with a table saw but the compound miter saw was a much better choice.

Attach the hardwood piece (from which you are cutting the darts) to a much larger carrier piece, using wood screws, so you can hold it very securely without endangering your fingers. (Holding the piece securely is vastly more important for miter cuts than for regular cuts, where slight vertical motions are harmless.)

Each dart is a thin pyramid. The base of the pyramid is an equilateral triangle, 1/2 inch on a side. The pyramid is about 4 inch long in the other direction.

Set the saw so that the blade is inclined 30 degrees to the vertical. Then set it so that the arm is angled 3.6 degrees away from perpendicular to the fence. That gives a slope of 1 part in 16, i.e. 1/4 inch (half the base of the pyramid) per 4 inch.

Make the first cut. Cut just enough off one end of the stock so that the shape of the edge is determined by the cut. Then flip the stock over. If the stock was to the left of the blade to begin with, it will be to the right of the blade now. This may require unbolting the stock from the carrier and rebolting it (although you might avoid this step by using an extra-fancy carrier). Mark the starting point for the second cut. The base of the pyramid should be against the fence. Make the second cut. The first dart should fall free.

Jessica MacNaughton pointed out that you can make darts that are just as functional (but perhaps not as beautiful) out of clay. If you don’t have access to a compound miter saw, this may be your best option.

9  Quote

"The description of right lines and circles, upon which geometry is founded, belongs to mechanics. Geometry does not teach us to draw these lines, but requires them to be drawn."
             – Sir Isaac Newton
                (preface to the Principia)

10  References

John Denker, “Welcome to Spacetime” www.av8n.com/physics/spacetime-welcome.htm

Misner, Thorne, Wheeler Gravitation

John S. Denker “Expansion of the Universe” ./expansion-of-the-universe.htm

Copyright © 2002 jsd