Problem 30 - A First Course in General Relativity

Question

Calculate the Riemann curvature tensor of the cylinder. (Since the cylinder is flat, this should vanish. Use whatever coordinates you like, and make sure you write down the metric properly!)

Step-by-Step Solution

Answer

The Riemann curvature tensor of the cylinder is zero, indicating it is flat.

Step 1: Choose the Appropriate Coordinates

The easiest coordinates to use when dealing with a cylinder are cylindrical coordinates. In these coordinates, the cylinder is parametrized by the variables \( (r, \theta, z) \), where \( r \) is the radius (constant for a cylinder), \( \theta \) is the angular coordinate, and \( z \) is the height along the cylinder.

Step 2: Write Down the Metric

In cylindrical coordinates, the metric tensor for a flat cylinder is given by:\[g_{ij} = \begin{pmatrix} 1 & 0 & 0 \0 & r^2 & 0 \0 & 0 & 1 \end{pmatrix}\]This reflects the fact that locally, flat surfaces can be represented in Euclidean form.

Step 3: Understand the Riemann Curvature Tensor

The Riemann curvature tensor \( R^i_{\ jkl} \) describes the intrinsic curvature of a space. If all components of this tensor are zero, the space is flat. Our task is to compute this tensor based on the metric we wrote down.

Step 4: Calculate the Christoffel Symbols

Christoffel symbols are used to construct the Riemann curvature tensor and are derived from the metric tensor. The formula for the Christoffel symbol is:\[\Gamma^i_{jk} = \frac{1}{2} g^{il} \left( \partial_j g_{kl} + \partial_k g_{jl} - \partial_l g_{jk} \right)\]For our metric, the only non-zero Christoffel symbols are:\[ \Gamma^\theta_{\theta r} = \Gamma^\theta_{r \theta} = \frac{1}{r} \]

Step 5: Compute the Riemann Curvature Tensor

Now, compute the Riemann curvature tensor components using the formula:\[R^i_{\ jkl} = \partial_k \Gamma^i_{jl} - \partial_l \Gamma^i_{jk} + \Gamma^i_{km} \Gamma^m_{jl} - \Gamma^i_{lm} \Gamma^m_{jk}\]Since the only non-zero Christoffel symbols involve derivatives with respect to \( r \), and all are canceled out by each other due to symmetry and properties of the derivatives, all Riemann curvature components are zero.

Step 6: Conclusion About the Curvature

Given that all components of the Riemann curvature tensor are zero, we conclude that the cylinder is indeed flat, confirming that our calculations are consistent with its known geometric properties.

Key Concepts

Cylindrical Coordinates

Cylindrical coordinates are particularly useful in situations involving symmetry around a central axis, such as the shape of a cylinder or even the space around it. In this system, any point is described by three parameters: \( (r, \theta, z) \). Here:

• The variable \( r \) represents the radial distance from the axis of symmetry. For a perfect cylinder, this value remains constant.
• The angle \( \theta \) denotes the angular position around the axis.
• The variable \( z \) signifies the height or position along the axis of the cylinder.

These coordinates simplify the equations and integrals by exploiting the natural symmetry of the cylinder.
Cylindrical coordinates are convenient since they reduce problems involving three-dimensional objects to two-dimensional ones by holding one of the coordinates constant, significantly easing calculations.

Christoffel Symbols

Christoffel symbols are critical in the study of curved spaces and general relativity. They are not tensors themselves but rather mathematical objects that help express how vectors change as they move along a surface.
Given a metric tensor \( g_{ij} \), the Christoffel symbols \( \Gamma^i_{jk} \) are computed as:\[ \Gamma^i_{jk} = \frac{1}{2} g^{il} \left( \partial_j g_{kl} + \partial_k g_{jl} - \partial_l g_{jk} \right) \]Christoffel symbols are essential in constructing the geodesic equations, which describe the shortest paths between points on curved surfaces.
In the exercise, the only non-zero Christoffel symbols for cylindrical coordinates are \( \Gamma^\theta_{\theta r} = \Gamma^\theta_{r \theta} = \frac{1}{r} \), reflecting the dependency on radial distance.
The presence of these non-zero symbols indicates that the basis vectors of the space undergo rotation, which is expected when dealing with angular coordinates.

Metric Tensor

The metric tensor is a fundamental concept in differential geometry and the study of curved spaces. It provides a way to define distances and angles in any given space. In cylindrical coordinates, the metric tensor for a flat cylinder is expressed as:\[g_{ij} = \begin{pmatrix} 1 & 0 & 0 \ 0 & r^2 & 0 \ 0 & 0 & 1 \end{pmatrix}\]This matrix indicates:

• The distance in the radial direction is standard, represented by \( 1 \) for \( g_{rr} \).
• The angular component \( g_{\theta\theta} = r^2 \) highlights that as the radial position \( r \) changes, the influence on distance does too due to circular motion.
• The vertical component \( g_{zz} = 1 \) shows standard Euclidean distance along the cylinder's height.

Understanding the metric tensor is crucial because it influences all derived properties of the space, like Christoffel symbols and curvature tensors.
In the exercise, the specified metric correctly represents a flat cylinder, which is why all components of the Riemann curvature tensor ultimately equate to zero.