Fundamentals of GR: Metric Tensor

To understand the "machine" of gravity, we have to look at the Metric Tensor ($g_{\mu \nu }$gμν​). If space is a fabric, the metric tensor is the set of instructions that tells us how to measure the distance between two threads.

In flat space (like a standard sheet of graph paper), the rules are simple: we use the Pythagorean theorem. But when space is curved, those rules change.

In general relativity, we represent these rules using a 4x4 matrix (because there are 3 dimensions of space + 1 of time).

A metric tensor $g$g is essentially a grid of numbers that sits at every point in space:

gμν​=​gxx​gyx​gzx​​gxy​gyy​gzy​​gxz​gyz​gzz​​​

• The Diagonal ($g_{xx},g_{yy},g_{zz}$gxx​,gyy​,gzz​): These are the "Stretch/Squeeze" gears. If $g_{xx}$gxx​ increases, the "meter sticks" in the X-direction grow longer.
• The Off-Diagonal ($g_{xy},g_{xz}$gxy​,gxz​, etc.): These are the "Shear" gears. They tell us how much the axes are tilting toward each other (changing the angle from ${90}^{\circ }$90∘).

Graviton is Spin-2 and that tied directly to the fact that the metric tensor has two indices ($\mu$μ and $\nu$ν).

Think of it like this:

1. Spin-0 (Scalar): A single number (like temperature). It has no direction.
2. Spin-1 (Vector): It points in one direction (like $\mu$μ). To define it, we only need to know "where it is pointing".
3. Spin-2 (Tensor): A "relationship" between two directions (like $\mu$μ and $\nu$ν). To define the metric, we need to know how the X-direction interacts with the Y-direction.

Because the metric describes a symmetric relationship (the distance from A to B is the same as B to A), the matrix is symmetric. This symmetry is exactly what creates that ${180}^{\circ }$180∘ rotational profile we discussed earlier. If we swap the two directions, the "machine" looks the same.

"The Transformer"

The metric is the most important tool for a gravity specialist. It allows us to move indices up and down (Lowering/Raising).

• Lowering an index: $V_{\mu }=g_{\mu \nu }{V}^{\nu }$Vμ​=gμν​Vν
• Raising an index: $V^{\mu }=g^{\mu \nu }{V}_{\nu }$Vμ=gμνVν​
• The Inverse Metric: $g^{\mu \nu }$gμν is the inverse of $g_{\mu \nu }$gμν​, meaning $g^{\mu \nu }{g}_{\mu \nu }={\delta }_{\nu }^{\mu }$gμνgμν​=δνμ​ (The Kronecker Delta).
• The Kronecker Delta (${\delta }_{\nu }^{\mu }$δνμ​): The "Identity Matrix" of tensors. It is 1 if $\mu =\nu$μ=ν and 0 otherwise.

Why Raise or Lower Indices using Metric Tensor?

In flat Euclidean space, we often ignore the difference between the "upper" and "lower" indices because they look the same. But in General Relativity or even Special Relativity, they represent two different perspective of the same object.

• Contravariant $\left(V^{\mu }\right)$(Vμ): Think of these as the "natural" components of a vector (like velocity or a displacement).
• Covariant $\left(V_{\mu }\right)$(Vμ​): Also called "one-forms" or "dual vectors". These represent how a function changes along those directions (like gradient).

The Role of the Metric $\left(g_{\mu \nu }\right)$(gμν​)

The metric tensor is the "bridge" between these two spaces. We need it because:

1. Defining Length: We cannot simply square the components of a vector $\left(V^{\mu }{V}^{\mu }\right)$(VμVμ) to find its magnitude in curved space. We must "contract" a vector with its dual:$V^{\mu }{V}_{\mu }$VμVμ​. To get $V_{\mu }$Vμ​, we use the metric: $V_{\mu }=g_{\mu \nu }{V}^{\nu }$Vμ​=gμν​Vν.
2. Dot Product: To find the scalar product of two vectors $A$A and $B$B, we need one of each index type: $A\cdot B=A^{\mu }{B}_{\mu }=g_{\mu \nu }{A}^{\mu }{B}^{\nu }$A⋅B=AμBμ​=gμν​AμBν.
3. Physical Meaning: In Minkowski space (Special Relativity), the metric is ${\eta }_{\mu \nu }$ημν​ = diag(-1,1,1,1). Lowering the "0" index actually flips the sign of the time component $(V_0=-V^0)$(V0​=−V0). If we didn't lower the index, our physics would be flat-out wrong!

Quick Example on the function of Metric Tensor in Minkowski Space

The Minkowski metric, ${\eta }_{\mu \nu }$ημν​:

ημν​=​−1000​0100​0010​0001​​

The Calculation: Lowering an Index

Let's take a standard position four-vector $x^{\mu }$xμ. Its components are time $\left(x^0\right)$(x0) and space $(x^1,x^2,x^3)$(x1,x2,x3):

$x^{\mu }=(ct,x,y,z)$xμ=(ct,x,y,z)

To find the covariant version $\left(x_{\mu }\right)$(xμ​), we perform the contraction: $x_{\mu }={\eta }_{\mu \nu }{x}^{\nu }$xμ​=ημν​xν. This is essentially matrix multiplication:

​x0​x1​x2​x3​​​=​−1000​0100​0010​0001​​​ctxyz​​

The Result:

• Time components:

  $x_0=-1\cdot ct+(0\cdot x)+\dots =-ct$x0​=−1⋅ct+(0⋅x)+…=−ct

• Spatial components:

  $x_1=(0\cdot ct)+(1\cdot x)+(0\cdot y)+(0\cdot z)=x$x1​=(0⋅ct)+(1⋅x)+(0⋅y)+(0⋅z)=x

  $x_2=(0\cdot ct)+(0\cdot x)+(1\cdot y)+(0\cdot z)=y$x2​=(0⋅ct)+(0⋅x)+(1⋅y)+(0⋅z)=y

  $x_3=(0\cdot ct)+(0\cdot x)+(0\cdot y)+(1\cdot z)=z$x3​=(0⋅ct)+(0⋅x)+(0⋅y)+(1⋅z)=z

So, $x_{\mu }=(-ct,x,y,z)$xμ​=(−ct,x,y,z). The metric tensor "flipped" the sign of the time component.

Why does this matter?

We do this to calculate invariants—things that stay the same no matter how fast you are moving. The "length" of a vector in spacetime (the interval $s^2$s2) is found by multiplying the upper and lower versions together:

$s^2=x^{\mu }{x}_{\mu }=\left(ct\right)(-ct)+\left(x\right)\left(x\right)+\left(y\right)\left(y\right)+\left(z\right)\left(z\right)$s2=xμxμ​=(ct)(−ct)+(x)(x)+(y)(y)+(z)(z)

$s^2=-c^2{t}^2+x^2+y^2+z^2$s2=−c2t2+x2+y2+z2

If we didn't have that sign flip from the matrix, we would have just $c^2{t}^2+x^2+y^2+z^2$c2t2+x2+y2+z2, which is just another spatial dimension, and the Speed of Light wouldn't be constant!