Riemannian index form (source code)

= Riemannian index form
{c}
{title2=$I(V,W)$}

= Index form
{synonym}

Along a geodesic $\gamma$ with tangent $T$, the index form on endpoint-vanishing vector fields is
$$
I(V,W)=\int\bigl(\langle D_tV,D_tW\rangle-\langle R(V,T)T,W\rangle\bigr)dt.
$$