This article discusses some possible answers to some of the problems posed in the article " Geometry and Gravity 1 " .

1. Question on curvature

2. Task with geodesics

The diagram depicts a tabletop viewed from above on which there is a pyramid with a square base. The geodesic starts on the tabletop, meets and climbs the pyramid, and eventually returns to the tabletop. We define the deflection angle d of the geodesic as shown in the diagram.

(i) the nearer the path goes to the top vertex the greater d is,
(ii) the steeper the pyramid the greater d is,
(iii) there is a complicated dependence on the angle of approach and where the geodesic first hits the pyramid. (These two factors together determine how near the line goes to the top vertex.)

number of triangles crossed by geodesic	DEFLECTION equilateral triangles (this is obviously a special case of the more general isosceles case with z=60°)	DEFLECTION isosceles triangles
2	30°	(2z-90)°
3	60°	(4z-180) °
4	90°	(6z-270) °

To see how we can prove this, let's look at the situation when the geodesic crosses just two of the isosceles triangles. Remember that when they are flattened the geodesic is just a straight line but, to find the deflection in the plane, we have to put the pyramid up again in its initial position.

Let the geodesic be at angle x to side A B.

Then angle B D E=x

angle B E D=180^°-x-z

angle F E O=180^°-x-z.

Using the property that the external angle equals the sum of the interior opposite angles, angle B F E=(180^°-x-z)-z, so the geodesic makes angle 180^°-x-2z to side B C.

Now stand up the pyramid in its original position.

d=90°-x-(180°-x- 2z)=2z-90°

We see that the more triangles the geodesic crosses the greater d is, and the nearer the line goes to the top vertex, the more triangles it crosses. This is rule (i) above.

Also the greater the value of z, the greater d is, and the steeper the pyramid the greater the value of z. This is rule (ii) above.

Notice that given that the geodesic crosses a certain number of triangles, the deflection does not depend on x. However the number of triangles crossed does depend on x and on the length A D. For the equilateral case the conditions, with all the edge lengths of one unit, are:

The geodesic crosses only two triangles if

A D+

Ö3 2

cotx >

3 2

.

The geodesic crosses only three triangles if

A D+

Ö3 2

cotx <

3 2

and A D+Ö3cotx > 1.

The geodesic crosses only four triangles if A D+Ö3cotx < 1 and

A D+

Ö3 2

cotx >

1 2

,

so this is quite complicated.

**This experiment models the deflection of an object in the gravitational field of another object, e.g. the deflection of a comet in the gravitational field of the sun. The vertex of the pyramid represents the sun, a heavy object producing curvature around it. The geodesic is the path of the comet. If it is far away (so that the geodesic never touches the pyramid) there is no deflection. If it passes very close to the vertex of the pyramid the deflection is large.**

3. Final problem

You should have found the following values of E:

For any triangulation (regular or irregular) of a sphere, E=720^°.

For any triangulation of a doughnut, E=0.

For any triangulation of a doughnut with two holes, E=-720^°.

e.g. For a cube: gap angle at each vertex =360^°-(3×90^°) = 90^°, number of vertices =8 so E=8×90^°=720^°.

For a doughnut a simple triangulation looks like the sketch.

There are two types of vertices.

At type A, the gap angle =360^°-(2×90^°+2×45 ^°)=90^°. At type B, the gap angle =360^°-(2× 135^°+2×90^°)=-90^°. There are 8 of each type of vertex so E=8×90^°+8×(-90^°)=0.

We can stick together two one-holed doughnuts to give a doughnut with two holes, as seen from above in the sketch. There are now 8 type A vertices, 16 type B vertices and 4 type C vertices, where the gap angle is 0.

E=8×90^°+16×(-90^°)=-720^°.

The general rule is E=720^°×(1-h) where h is the number of holes (or handles). This does not depend on the triangulation, it is a topological invariant.

To see how the proof might go, consider a triangle with angles a, b, c. What is the contribution to E? Now replace it by 3 triangles with angles (a1, b1, d1), (b2, c2, d2), (c3, a3, d3). What is the contribution of this to E?

The theorem is the Gauss- Bonnet theorem which says that the total curvature of a 2-dimensional closed surface depends only on its topology.