Differential Geometry

branch of mathematics that studies the geometry of curves, surfaces, and manifolds (the higher-dimensional analogues of surfaces). It is called *differential *geometry because traditionally DG has used the ideas and techniques of calculus, but modern DG often uses algebraic and purely geometric techniques instead of calculus. Although basic definitions, notations, and analytic description vary widely, the following geometric questions prevail: *How does one measure the curvature of a curve within a surface (intrinsic) versus within the encompassing space (extrinsic)? How can the curvature of a surface be measured? What is the shortest path within a surface between two points on the surface? How is the shortest path on a surface related to the concept of a straight line? *Rigorous answers to these questions, involving techniques from __calculus__, __differential equations__, __algebra__, and other areas are beyond the scope of this article. Instead, we present an informal and intuitive introduction to the main concepts, interspersed with some motivational history.

**Introduction**

The discovery of calculus opened up the study of complicated plane curves — such as those Descartes produced with his "compass" (see __history of geometry__) — beyond the simpler curves of antiquity. The methods of calculus, in particular integration, led to the solution of the ancient problems of finding the arc length of a plane curve and of finding the area of a plane figure. This opened the stage to the investigation of curves and surfaces in space — it is this investigation that was the start of differential geometry.

**Example: Strakes and "spiral" staircases**

The strake and helical staircase railing: To give structural support to large metal cylinders, such as large smoke stacks, engineers sometimes attach a spiraling strip called a *strake*. (See Figure 1: Strake and helical "spiral" stair railings.) Similarly, the strake shape may be used as the hand rail for a "spiral" (more properly called "helical") staircase or the trim along the top of the stair treads. To produce the strake it is convenient to cut annular strips (the region between two concentric circles) from a flat sheet of steel (plywood or similar material) as illustrated in the figure. These annular pieces are then bent along a __helix__ on the cylinder to form the strake.

Figure 1: Strakes and "Spiral" staircases

*But what should the radius r of the annulus be, in order to make the best fit? *This is answered in DG by defining the curvature of a curve and then adjusting *r* until the curvature of the inside edge of the annulus is equal to the curvature of the helix.

* And, will the annular strip fit without stretching onto the strake around the cylinder?* It will certainly have to be bent, bending (such as in bending a sheet a paper to form a half-cylinder) is OK. In particular, we want that no distances (as measured along the surfaces) will change when we bend the annular strip into the strake. Two surfaces are said to be ** isometric** if they can be bent (or transformed in anyway) one onto the other without changing distances as measured along the surfaces. Thus the second question becomes:

The strake and related surfaces are common surfaces in the physical world — for example, if we make the strake very wide compared to the diameter of the cylinder, then we get an auger or spiral parking ramp. If we double the auger (extend it in both directions from the cylinder) and then shrink the cylinder to zero radius, the resulting figure is called a __helicoid__**. (See Figure 2.)
**

** Auger. Helicoid.
Figure 2: **

**Curvature of curves**

Although mathematicians from antiquity had described some curves as curving more than others and straight lines as not curving at all, Gottfried Leibniz (in 1686) was the first to define the curvature of a curve at each point in terms of the circle that best approximates the curve at that point, this circle he called the osculating circle (latin, *osculare*, to kiss) (see the figure). He then defined the curvature of the curve (and the circle) as 1/*r*, where *r* is the radius of the osculating circle. As a curve becomes straighter, a circle with a larger radius must be used to approximate it and the resulting curvature decreases. In the limit, a straight line is said to be equivalent to a circle of infinite radius and its curvature defined as zero everywhere. The only curves with constant curvature are a straight line, a circle, or a __helix__. In practice, the numerical curvature is found with a formula (discovered by Newton and Leibniz for plane curves and by Euler (1736) for curves in space) which gives the rate-of-change (__derivative__) of the tangent to the curve as one moves along the curve.

For the study of space curves, the curvature alone is not enough; in addition one needs to know at each point the plane of the osculating circle (which is also the plane most closely containing the curve at the point) and the rate (called the *torsion*) at which the curve is leaving that plane. These were first studied independently about 1850 by F. Fernet and J.A. Serret. The helix is the only curve with constant non-zero torsion (and constant curvature).

Now we can compute the ideal inner radius *r* of the annular strip that goes into making the strake or helical hand rail. (See Figure 1.) The curvature of the inner arc of the annular strip, 1/*r*, we want to be equal to the curvature of the helix on the cylinder. If *R* is the radius of the cylinder and *H* is the height of one turn of the helix, then the curvature of the helix can be computed to be 4p^{2}*R*/[*H*^{2}+(2p*R*)^{2}]. In the case of *R* = 1m and *H* = 10m, this gives us *r* = 3.533m.

**Curvature of Surfaces**

To measure the curvature of a surface at a point *p*, Euler (in 1760) looked at cross-sections of the surface made by planes which contained the line perpendicular (or "normal") to the surface at *p*. (See figure: illustrating a cylinder and a sphere cut by various planes containing a normal to the cylinder or sphere)* *Euler called the curvatures of these cross-sections the ** normal curvatures** of the surface at

The theory of surfaces and principle normal curvatures was extensively developed by the French Geometry school led by Gaspard Monge (1746-1818). But it was in an 1827 paper that C.F. Gauss made the big breakthrough that allows DG to answer the question of whether the annular strip can be made into the strake without distortion. The ** (Gaussian) curvature** of a surface at the point

**Gauss' Theorema Egregium (Remarkable Theorem)** (1827). *If two smooth surfaces are isometric then the two surfaces have the same Gaussian curvature at corresponding points.* (That is, Gaussian curvature is an intrinsic notion though defined extrinsically.)

** Theorem (Minding 1839).** *Two smooth surfaces with the same constant Gaussian curvature are locally isometric.*

* ***Corollaries.**

*A surface with constant positive Gaussian curvature c has locally the same intrinsic geometry as a sphere of radius*Ö(1/c). This is because a sphere of radius r has Gaussian curvature 1/r^{2}.*A surface with constant zero Gaussian curvature has locally the same intrinsic geometry as a plane.*Such surfaces are called developable.*A surface with constant negative Gaussian curvature c has locally the same intrinsic geometry as a hyperbolic plane.*(See__non-Euclidean geometry__.)

The Gaussian curvature of an annular strip (being in the plane) is constantly zero. So to answer whether or not the annular strip can be isometric to the strake we need only check whether a strake has constant zero Gaussian curvature. In fact, it can be calculated that Gaussian curvature of the strake is negative and not zero. Thus in making a strake or helical hand rail there must be some stretching, but if the strake is narrow the amount of stretching is very small. Sidebar?[This can be seen by looking at an auger which is an extended strake (see figure: normal curvatures on strake and auger). The horizontal straight line segments are normal cross-sections on the strake with zero curvature; but if we look at cross-sections to either side of these they will curve up on one side and curve down on the other and thus the Gaussian curvature must be negative.]

**What are shortest paths on a surface?**

From our outside, or extrinsic, point-of-view no curve is straight on a sphere -- they all have (extrinsic) curvature. However, the great circles are intrinsically straight: From the point-of-view of an ant crawling along a great circle, there will be no turning or curving with respect to the surface. (see __spherical geometry__.) Ferdinand Minding (1806-85, taught at Dorpat, now Tartu in Estonia) defined in about 1830 a curve on a surface to be a ** geodesic** if it is intrinsically straight; that is, there is no curvature identifiable from within the surface. It is one of the major tasks of DG to determine what are the geodesics on a surface. The great circles (being circles) do extrinsically have curvature but the curvature is in the direction of the center of the sphere and thus can not be experienced intrinsically. The

A great circle arc that is longer than a half circle is (intrinsically) straight on the sphere but is not the shortest distance between its endpoints. On certain cones (those with cone angles greater than 360°) the shortest paths are not always straight. (See Figure 3: Shortest is not straight!)

**Figure 3. Shortest paths that are not straight, and Straight paths are not shortest.**

However, an important theorem is:

*On a surface which is complete (every geodesic can be extended indefinitely) and smooth then every shortest curve is intrinsically straight and every intrinsically straight curve is the shortest curve between nearby points.*