4.10.11 · D5Advanced Topics (Elite Level)
Question bank — Christoffel symbols — intro
True or false — justify
A nonzero Christoffel symbol proves the space is curved.
False. Flat 2D space in polar coordinates has yet zero curvature — the symbols report how the coordinate grid bends, not how space bends.
If all Christoffel symbols vanish at a point, the space is flat there.
False. You can always make every vanish at a single chosen point by picking "normal coordinates"; flatness needs to stay zero (or its curvature combination to vanish) in a whole neighbourhood.
Christoffel symbols are components of a tensor.
False. Under a coordinate change they pick up an inhomogeneous second-derivative term, so they violate the homogeneous Tensor Transformation Laws that define a tensor.
always holds.
True in a coordinate (holonomic) basis, because (mixed partials of position commute); in a non-coordinate basis it can fail.
The metric alone determines all the Christoffel symbols.
True. The boxed formula builds them entirely from and its first derivatives — nothing else is needed.
In Cartesian coordinates on flat space, every Christoffel symbol is zero.
True. There is constant, so every and the formula gives everywhere.
The difference of two connections' Christoffel symbols is a tensor.
True. Both carry the same inhomogeneous term, so subtracting them cancels the non-tensorial junk and the remainder transforms cleanly.
Raising an index on with the metric turns it into a proper tensor.
False. Raising/lowering with never fixes the transformation law; the extra second-derivative term is still there whatever the index placement.
Spot the error
"Since the derivative of a vector field is just the derivative of its components, no correction is needed."
The error ignores that in curvilinear coordinates the basis vectors also change; the true derivative is , and dropping the term gives a quantity that isn't even a tensor.
" and , both from the same ."
The one is wrong: it needs the inverse metric , giving , not . Forgetting to contract with is the classic slip.
"In the formula the minus sign sits on the term ."
No — the minus sits on , the derivative with respect to the dummy index (the one tied to ). The two cyclic terms with the free indices are the plusses.
"The upper index and lower indices of are interchangeable."
False; the upper names the output basis vector while the lower name (which basis vector, moved in which direction). Only the two lowers may swap.
"Because , the symbol blows up at the origin, so polar space is singular there."
The blow-up is a coordinate artefact — the origin is a perfectly smooth flat point; polar coordinates just degenerate there because is undefined at .
"A car at constant speed round a circle has zero acceleration, so its covariant derivative of velocity is zero."
Constant speed is not zero acceleration; the velocity vector turns. The covariant derivative captures the real centripetal turning via , giving .
Why questions
Why do we build from the metric instead of from the basis vectors directly?
Because in practice the Metric Tensor is the one object we always have (from ), while explicit basis vectors in an embedding may be unavailable — the formula frees us from needing an ambient space.
Why are the two lower indices symmetric only in a coordinate basis?
Because that symmetry comes from ; in a non-coordinate frame the basis isn't obtained by differentiating a coordinate, so the mixed-partial argument fails.
Why does curvature require rather than just itself?
Since can be made zero at any point by coordinates, no single-point value of can be geometric; only a combination that survives coordinate changes — the Riemann Curvature Tensor — measures true bending.
Why does the covariant derivative, not the plain derivative, "transform as a tensor"?
The plain derivative's transformation leaks a non-tensorial term; the term carries an equal and opposite non-tensorial term, and their sum cancels the junk, leaving a clean tensor.
Why does a straight line () in polar coordinates read as ?
The extra is exactly ; the geodesic equation turns "no real force" into these -driven "fictitious force" terms demanded by the rotating basis.
Why can't ever be removed by a smart choice of coordinates in a curved space?
You can kill at one point, but curvature forces to stay nonzero nearby, so no coordinate system makes vanish everywhere at once — that impossibility is the invariant signature of curvature.
Edge cases
What happens to as ?
It diverges, but harmlessly: it flags that polar coordinates break down at the origin, not that geometry is singular — a Cartesian patch there has all .
If the metric is diagonal, does every off-diagonal Christoffel symbol automatically vanish?
No. A diagonal metric still has derivatives like , which feed off-diagonal-looking symbols such as ; diagonality of does not make diagonal.
For a constant (but non-Cartesian, e.g. skew) metric with all , what are the Christoffel symbols?
All zero, since every term in the formula is a derivative of ; a constant metric — even if non-orthonormal — gives a flat, -free connection.
On a sphere, can any coordinate choice make every zero everywhere?
No. The sphere is genuinely curved, so its Riemann tensor is nonzero and no coordinates can globally flatten the connection — at best vanishes at one chosen point.
If two different metrics share the same Christoffel symbols, must they be equal?
Not necessarily — they must agree up to a constant scaling that leaves all derivative ratios unchanged, since only derivatives of (weighted by ) enter, so overall constant factors can differ.
Recall One-line summary of the traps
Every trap here springs from one confusion ::: mixing up "coordinate artefact" () with "real geometry" (curvature); keep those separate and the bank becomes easy.