Lorentzian inner product

A Lorentzian inner product is a nondegenerate symmetric bilinear form with one negative and the remaining positive eigenvalues in the mostly-plus convention. Two nonzero future causal vectors have nonpositive inner product; if either is timelike, it is strictly negative.

A nonzero covector $\ell$ is null when its squared dual Lorentzian inner product is zero: $g^{\alpha \beta }{\ell }_{\alpha }{\ell }_{\beta }=0$. Raising its index gives a null vector. Null covectors describe normals to characteristic light cones and are the test directions in the classical null condition for wave equations.