[Math] First and Second Fundamental Form Intuition

differential-geometryintuitionphilosophysurfaces

I was just wondering what various quantities relating to the first and second fundamental forms of a regular surface mean intuitively. First of all, another explanation as to what the first and second fundamental forms are could be good. Then, what do its coefficients E, F, G and e, f, g mean? Last, could you explain the intuitive/geometric meaning/interpretation of the Christoffel symbols?

I would like to concentrate on two-dimensional surfaces, but further explanation pertinent to or in the context of higher-dimensional manifolds could be additionally helpful to me.

Best Answer

Intuitively, the first fundamental form tells you how to compute the distances along the paths within the surface (it is just a Riemannian metric of the surface thought as a standalone manifold, that is if we forget about the embedding/immersion). This explains why it is also called the intrinsic metric.

The second fundamental form describes how "curved" the embedding is, in other words, how the surface is located in the ambient space. It is a kind of derivative of the unit normal along the surface or, equivalently, the rate of change of the tangent planes, taken in various directions within the surface. Alternatively, it is called the shape tensor (it has a close relation to the shape, or Weingarten, operator), and is an extrinsic quantity in the sense that it depends on the embedding.

The Bonnet theorem (see a discussion here) ensures that (under certain conditions) these two fundamental form uniquely characterize the surface (locally), that is we can "integrate" them to a piece of surface in the space uniquely up to a rigid motion of the space.

The bottom line is that the Ist and IInd fundamental forms are as good as a complete set of local invariants of a surface, and thus they are extremely useful and important in differential geometry.


Remark 1. With regards to the coefficients, the comments have fully addressed this question: they are just components of these tensors in a coordinate patch.

Remark 2. The Christoffel symbols is a coordinate way to represent the invariant differentiation of vector (and all tensor) fields along the surface that arises from the given structures. In our case we have the usual (standard, Euclidean) metric in the ambient space and the Levi-Civita connection of this metric is just the usual (flat, Euclidean) derivative (just partial derivatives of the component in the standard coordinates). This (ambient) connection has its own Christoffel symbols but in our setting they all are zero, so it is customary not to mention them. Taking a vector field tangential to the surface we can try to differentiate it with this ambient derivative but for this to work we need to extend this vector field off the surface. The result of the differentiation will certainly depend on the extension but the tangential part of this result turns out to be independent of extensions when restricted to the surface. This way we obtain the covariant derivative (of tangential vector, tensor, ... fields) in the surface, and the Christoffel symbols that you may have met are the "components" of this covariant derivative (the Levi-Civita connection of the first fundamental form).

Related Question