Christoffel Symbols

Research Depth 113 in the knowledge graph I know this Set as goal
Unlocks 22 downstream topics
christoffel-symbols connection covariant-derivative metric-compatibility levi-civita

Core Idea

The Christoffel symbols Γ^λ_{μν} are the connection coefficients of the unique torsion-free, metric-compatible connection on a pseudo-Riemannian manifold (the Levi-Civita connection). They are computed entirely from the metric tensor and its first partial derivatives: Γ^λ_{μν} = (1/2) g^{λσ}(∂_μ g_νσ + ∂_ν g_μσ - ∂_σ g_μν). Although Christoffel symbols are not tensors — they can be made to vanish at any single point by choosing locally inertial coordinates — they are essential for constructing the covariant derivative, the geodesic equation, and ultimately the curvature tensors. They encode how the coordinate basis vectors change from point to point, serving as the gravitational analog of a force in the equations of motion.

Explainer

When you write the covariant derivative of a vector field V^λ, you need to account for the fact that the coordinate basis vectors e_μ = ∂/∂x^μ themselves change from point to point in curved spacetime (or even in curvilinear coordinates on flat spacetime). The Christoffel symbols Γ^λ_{μν} quantify exactly this change: ∇_μ e_ν = Γ^λ_{μν} e_λ. The covariant derivative of V^λ is then ∇_μ V^λ = ∂_μ V^λ + Γ^λ_{μσ} V^σ, where the first term captures how the components change and the second term corrects for the changing basis. For a covariant vector (one-form) W_λ, the correction has the opposite sign: ∇_μ W_λ = ∂_μ W_λ - Γ^σ_{μλ} W_σ. The pattern extends straightforwardly to arbitrary-rank tensors, with one Christoffel term for each index.

The specific form of the Christoffel symbols in GR is fixed by two requirements: the connection must be torsion-free (Γ^λ_{μν} = Γ^λ_{νμ}) and metric-compatible (∇_σ g_μν = 0). These two conditions together uniquely determine the Levi-Civita connection, whose components are given by the textbook formula Γ^λ_{μν} = (1/2) g^{λσ}(∂_μ g_νσ + ∂_ν g_μσ - ∂_σ g_μν). Metric compatibility means that the covariant derivative preserves inner products: if two vectors are parallel-transported along a curve, the angle and magnitudes measured by the metric remain constant. Vanishing torsion means that the antisymmetric part of the connection is zero, which ensures that coordinate-based constructions like the commutator of partial derivatives behave consistently.

Computing Christoffel symbols from a given metric is one of the core mechanical tasks in GR. For the Schwarzschild metric, for example, only a handful of the 40 potentially independent components are nonzero (thanks to the spherical symmetry and static nature of the solution), but each one is a specific function of the radial coordinate involving the mass parameter M. In the weak-field, slow-motion limit, the dominant Christoffel symbol Γ^i_{00} ≈ (1/2) ∂_i g_{00} reduces to ∂_i Φ/c², where Φ is the Newtonian gravitational potential — recovering Newton's gravitational acceleration from the geometry of spacetime.

The most important conceptual point about Christoffel symbols is their coordinate dependence. At any chosen point P, you can always find coordinates (Riemann normal coordinates) in which all 40 Christoffel symbols vanish and the metric equals the Minkowski metric. This is the mathematical statement of the equivalence principle: a freely falling observer at P sees no gravitational acceleration. But the first derivatives of the Christoffel symbols — which enter the Riemann curvature tensor — generally cannot be made to vanish. The Christoffel symbols themselves encode the "gravitational field" (which is coordinate-dependent and locally removable), while the curvature tensor encodes the tidal gravitational effects (which are coordinate-independent and physically real). This distinction between connection and curvature is one of the deepest insights in the mathematical structure of GR.

Practice Questions 4 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsCombining Like TermsOne-Step EquationsTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIterated Integrals and Fubini's TheoremDouble Integrals in Cartesian CoordinatesDouble Integrals over Rectangular RegionsDouble Integrals in Polar CoordinatesDouble Integrals: Definition and SetupIterated Integrals and Fubini's TheoremDouble Integrals over Rectangular RegionsDouble Integrals over General RegionsApplications of Double Integrals: Area, Mass, and MomentsTriple Integrals in Cartesian CoordinatesTriple Integrals in Cylindrical and Spherical CoordinatesChange of Variables and the Jacobian DeterminantApplications of Triple Integrals: Volume and MassVector Fields and Their RepresentationsLine Integrals of Vector FieldsGreen's TheoremSurface Integrals and Flux of Vector FieldsSurface Integrals and Flux of Vector FieldsDivergence Theorem: Flux and OutflowDivergence TheoremElectric FluxGauss's LawConductors in Electrostatic EquilibriumCapacitance and CapacitorsDielectricsDielectric Constant and Relative PermittivityElectric Field Inside Dielectric MaterialsDielectric Materials and PolarizationDielectric Susceptibility and PermittivityEnergy Density in Electric FieldsElectric Current and Current DensityElectrical Resistance and ResistivityOhm's Law and Circuit ElementsElectromotive Force (EMF) and BatteriesKirchhoff's Circuit Laws: Voltage and CurrentDC Circuit Network Analysis MethodsTransient Response in RC CircuitsRC CircuitsLC and RLC CircuitsAC Circuits: FundamentalsImpedance and ReactanceAC Power and ResonanceElectromagnetic WavesPostulates of Special RelativitySpacetime Diagrams and Minkowski GeometryCurved Spacetime and the Metric TensorTensor Calculus in General RelativityChristoffel Symbols

Longest path: 114 steps · 664 total prerequisite topics

Prerequisites (3)

Leads To (2)