Differential geometry MOC

Semi-Riemannian manifold

A semi-Riemannian 𝐶𝛼-manifold (𝑀,𝒜,𝑔) is a 𝐶𝛼-manifold (𝑀,𝒜) equipped with a special kind of tensor field 𝑔𝑎𝑏 T02(𝑀) called a metric tensor. #m/def/geo/diff This means 𝑔𝑎𝑏 must satisfy

  1. symmetry, i.e. 𝑔𝑎𝑏 =𝑔𝑏𝑎;
  2. non-degeneracy, i.e. 𝑔𝑎𝑏 𝑣𝑎 =0 iff 0 =𝑣𝑎 𝔛(𝑀);

Note that by non-degeneracy we can define the inverse metric tensor 𝑔𝑎𝑏 so that 𝑔𝑎𝑏 𝑔𝑏𝑐 =𝛿𝑎𝑐. See Raising and lowering of indices.

Further terminology

Locally the metric tensor can be brought into the form of a diagonal matrix with entries ±1. For a connected manifold, the numbers of positive and negative entries is an invariant (𝑠,𝑡), called the signature.

See also


#state/tidy | #lang/en | #SemBr