# Contraction of the Christoffel Symbols and the Metric Determinant - Contraction Simplifies the Christoffel Symbol: The contraction of the upper index $c$ with the lower index $b$ in the Christoffel symbol of the second kind, $\Gamma_{a b}^c \rightarrow \Gamma_{a b}^b$, leads to a dramatic simplification, reducing a complex expression involving three metric derivatives to a single partial derivative. - Direct Relation to the Metric Determinant: The result demonstrates a direct and fundamental relationship between the contracted Christoffel symbol and the determinant of the metric tensor ( $g$ ). The contracted Christoffel symbol is not a tensor, but its simple form allows it to be easily calculated from the geometry defined by $g$. - Essential Identity Used: The derivation critically relies on the identity for the derivative of the determinant of a matrix: $$ \partial_a g=g g^{b d} \partial_a g_{b d} \quad \text { or equivalently } \quad g^{b d} \partial_a g_{b d}=\partial_a(\ln g) $$ This identity is the main step in converting the terms involving $g^{b d} \partial_a g_{b d}$ into a logarithmic derivative. - Cancellation of Terms: The complexity in the original definition, $\frac{1}{2} g^{b d}\left(\partial_a g_{b d}+\partial_b g_{a d}-\partial_d g_{a b}\right)$, is resolved by cancellation of the second and third terms: $$ \frac{1}{2} g^{b d} \partial_b g_{a d}-\frac{1}{2} g^{b d} \partial_d g_{a b}=0 $$ This cancellation is possible due to the symmetry of the inverse metric $g^{b d}$ and relabeling of dummy indices. - Geometric Significance: This result is crucial in divergence calculations in curved spacetime. The term $\Gamma_{a b}^b$ is often written as $\frac{1}{\sqrt{g}} \partial_a(\sqrt{g})$, which appears as a factor in the covariant derivative of a vector when calculating the divergence $\nabla_a V^a$ : $$ \nabla_a V^a=\partial_a V^a+\Gamma_{a b}^b V^a=\frac{1}{\sqrt{g}} \partial_a\left(\sqrt{g} V^a\right) $$ This factor is the Jacobian of the transformation, $\sqrt{g}$, necessary to properly define volume and integration in curved space. <iframe src="https://viadean.notion.site/ebd/2791ae7b9a32802097f9c0e27208605b" width="100%" height="600" frameborder="0" allowfullscreen />