DifferentialGeometry/Tensor/BelRobinson - Maple Help

Home : Support : Online Help : DifferentialGeometry/Tensor/BelRobinson

Tensor[BelRobinson] - calculate the Bel-Robinson tensor

Calling Sequences

BelRobinson(g, W, indexlist)

Parameters

g         - a metric tensor on a 4-dimensional manifold

W         - (optional) the Weyl tensor of the metric $g$

indexlist - (optional) the keyword argument indexlist = ind, where ind is a list of 4 index types "con" or "cov"

Description

 • The Bel-Robinson tensor ${B}_{\mathrm{ijhk}}$ is a covariant rank 4 tensor defined in terms of the Weyl tensor ${W}_{\mathrm{ijhk}}$ on a 4-dimensional manifold by (see, for example, Penrose and Rindler Vol. 1)

The Bel-Robinson tensor is totally symmetric: ${B}_{\mathrm{ijhk}}={B}_{\mathrm{jihk}}={B}_{\mathrm{hjik}}={B}_{\mathrm{kjhi}}$ . The Bel-Robinson tensor is trace-free: ${g}^{\mathrm{ij}}{B}_{\mathrm{ijhk}}=0$. If ${g}_{\mathrm{ij}}$ is an Einstein metric, that is, ${R}_{\mathrm{ij}}={\mathrm{Λg}}_{\mathrm{ij}}$ (where ${R}_{\mathrm{ij}}$ is the Ricci tensor for the metric ${g}_{\mathrm{ij}}$ and $\mathrm{Λ}$ is a constant), then the covariant divergence of Bel-Robinson vanishes:   Here ${\nabla }_{l}$ denotes the covariant derivative with respect to the Christoffel connection for ${g}_{\mathrm{ij}}$.

 • The keyword argument indexlist = ind allows the user to specify the index structure for the Bel-Robinson tensor. For example, with indexlist = ["con", "con", "con", "con"], the contravariant form ${B}^{\mathrm{ijhk}}$ is returned. The default output is the purely covariant form (as above).
 • This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form BelRobinson(...) only after executing the commands with(DifferentialGeometry); with(Tensor); in that order. It can always be used in the long form DifferentialGeometry:-Tensor:-BelRobinson.

Examples

 > $\mathrm{with}\left(\mathrm{DifferentialGeometry}\right):$$\mathrm{with}\left(\mathrm{Tensor}\right):$

Example 1.

First create a 4-dimensional manifold M and define a metric $g$on $M$. The metric shown below is a homogenous Einstein metric (see (12.34) in Stephani, Kramer et al).

 > $\mathrm{DGsetup}\left(\left[x,y,z,u\right],M\right)$
 ${\mathrm{frame name: M}}$ (2.1)
 M > $g≔\mathrm{evalDG}\left(\mathrm{exp}\left(z\right)\mathrm{dx}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dx}+\mathrm{exp}\left(-2z\right)\left(\mathrm{dy}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dy}+\mathrm{dx}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&s\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{du}\right)-\frac{3}{\mathrm{\Lambda }}\mathrm{dz}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dz}\right)$
 ${g}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{{ⅇ}}^{{z}}\right]{,}\left[\left[{1}{,}{4}\right]{,}\frac{{{ⅇ}}^{{-}{2}{}{z}}}{{2}}\right]{,}\left[\left[{2}{,}{2}\right]{,}{{ⅇ}}^{{-}{2}{}{z}}\right]{,}\left[\left[{3}{,}{3}\right]{,}{-}\frac{{3}}{{\mathrm{\Lambda }}}\right]{,}\left[\left[{4}{,}{1}\right]{,}\frac{{{ⅇ}}^{{-}{2}{}{z}}}{{2}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{{ⅇ}}^{{z}}\right]{,}\left[\left[{1}{,}{4}\right]{,}\frac{{{ⅇ}}^{{-}{2}{}{z}}}{{2}}\right]{,}\left[\left[{2}{,}{2}\right]{,}{{ⅇ}}^{{-}{2}{}{z}}\right]{,}\left[\left[{3}{,}{3}\right]{,}{-}\frac{{3}}{{\mathrm{\Lambda }}}\right]{,}\left[\left[{4}{,}{1}\right]{,}\frac{{{ⅇ}}^{{-}{2}{}{z}}}{{2}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{{ⅇ}}^{{z}}\right]{,}\left[\left[{1}{,}{4}\right]{,}\frac{{{ⅇ}}^{{-}{2}{}{z}}}{{2}}\right]{,}\left[\left[{2}{,}{2}\right]{,}{{ⅇ}}^{{-}{2}{}{z}}\right]{,}\left[\left[{3}{,}{3}\right]{,}{-}\frac{{3}}{{\mathrm{\Lambda }}}\right]{,}\left[\left[{4}{,}{1}\right]{,}\frac{{{ⅇ}}^{{-}{2}{}{z}}}{{2}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{{ⅇ}}^{{z}}\right]{,}\left[\left[{1}{,}{4}\right]{,}\frac{{{ⅇ}}^{{-}{2}{}{z}}}{{2}}\right]{,}\left[\left[{2}{,}{2}\right]{,}{{ⅇ}}^{{-}{2}{}{z}}\right]{,}\left[\left[{3}{,}{3}\right]{,}{-}\frac{{3}}{{\mathrm{\Lambda }}}\right]{,}\left[\left[{4}{,}{1}\right]{,}\frac{{{ⅇ}}^{{-}{2}{}{z}}}{{2}}\right]\right]\right]\right)$ (2.2)

Calculate the Bel-Robinson tensor for the metric $g$.  The result is clearly a symmetric tensor.

 M > $B≔\mathrm{BelRobinson}\left(g\right)$
 ${B}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{1}{,}{1}\right]{,}\frac{{{\mathrm{\Lambda }}}^{{2}}{}{{ⅇ}}^{{2}{}{z}}}{{4}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{1}{,}{1}\right]{,}\frac{{{\mathrm{\Lambda }}}^{{2}}{}{{ⅇ}}^{{2}{}{z}}}{{4}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{1}{,}{1}\right]{,}\frac{{{\mathrm{\Lambda }}}^{{2}}{}{{ⅇ}}^{{2}{}{z}}}{{4}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{1}{,}{1}\right]{,}\frac{{{\mathrm{\Lambda }}}^{{2}}{}{{ⅇ}}^{{2}{}{z}}}{{4}}\right]\right]\right]\right)$ (2.3)

Use the optional keyword argument indexlist to calculate the contravariant form of the Bel-Robinson tensor.

 M > $\mathrm{B1}≔\mathrm{BelRobinson}\left(g,\mathrm{indexlist}=\left["con","con","con","con"\right]\right)$
 ${\mathrm{B1}}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{4}{,}{4}{,}{4}{,}{4}\right]{,}{4}{}{{ⅇ}}^{{10}{}{z}}{}{{\mathrm{\Lambda }}}^{{2}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{4}{,}{4}{,}{4}{,}{4}\right]{,}{4}{}{{ⅇ}}^{{10}{}{z}}{}{{\mathrm{\Lambda }}}^{{2}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{4}{,}{4}{,}{4}{,}{4}\right]{,}{4}{}{{ⅇ}}^{{10}{}{z}}{}{{\mathrm{\Lambda }}}^{{2}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{4}{,}{4}{,}{4}{,}{4}\right]{,}{4}{}{{ⅇ}}^{{10}{}{z}}{}{{\mathrm{\Lambda }}}^{{2}}\right]\right]\right]\right)$ (2.4)

The tensor B is trace-free.

 > $h≔\mathrm{InverseMetric}\left(g\right)$
 ${h}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{4}\right]{,}{2}{}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{2}{,}{2}\right]{,}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{3}{,}{3}\right]{,}{-}\frac{{\mathrm{\Lambda }}}{{3}}\right]{,}\left[\left[{4}{,}{1}\right]{,}{2}{}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{4}{,}{4}\right]{,}{-}{4}{}{{ⅇ}}^{{5}{}{z}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{4}\right]{,}{2}{}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{2}{,}{2}\right]{,}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{3}{,}{3}\right]{,}{-}\frac{{\mathrm{\Lambda }}}{{3}}\right]{,}\left[\left[{4}{,}{1}\right]{,}{2}{}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{4}{,}{4}\right]{,}{-}{4}{}{{ⅇ}}^{{5}{}{z}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{4}\right]{,}{2}{}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{2}{,}{2}\right]{,}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{3}{,}{3}\right]{,}{-}\frac{{\mathrm{\Lambda }}}{{3}}\right]{,}\left[\left[{4}{,}{1}\right]{,}{2}{}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{4}{,}{4}\right]{,}{-}{4}{}{{ⅇ}}^{{5}{}{z}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{4}\right]{,}{2}{}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{2}{,}{2}\right]{,}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{3}{,}{3}\right]{,}{-}\frac{{\mathrm{\Lambda }}}{{3}}\right]{,}\left[\left[{4}{,}{1}\right]{,}{2}{}{{ⅇ}}^{{2}{}{z}}\right]{,}\left[\left[{4}{,}{4}\right]{,}{-}{4}{}{{ⅇ}}^{{5}{}{z}}\right]\right]\right]\right)$ (2.5)
 > $\mathrm{ContractIndices}\left(h,B,\left[\left[1,1\right],\left[2,2\right]\right]\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{0}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{0}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{0}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{0}\right]\right]\right]\right)$ (2.6)

The covariant divergence of the tensor B1 vanishes.  To check this, first calculate the Christoffel connection C for the metric g and then calculate the covariant derivative of B1.

 > $C≔\mathrm{Christoffel}\left(g\right)$
 ${C}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"connection"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{3}\right]{,}{-1}\right]{,}\left[\left[{1}{,}{3}{,}{1}\right]{,}{-1}\right]{,}\left[\left[{2}{,}{2}{,}{3}\right]{,}{-1}\right]{,}\left[\left[{2}{,}{3}{,}{2}\right]{,}{-1}\right]{,}\left[\left[{3}{,}{1}{,}{1}\right]{,}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{z}}}{{6}}\right]{,}\left[\left[{3}{,}{1}{,}{4}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{6}}\right]{,}\left[\left[{3}{,}{2}{,}{2}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{3}}\right]{,}\left[\left[{3}{,}{4}{,}{1}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{6}}\right]{,}\left[\left[{4}{,}{1}{,}{3}\right]{,}{3}{}{{ⅇ}}^{{3}{}{z}}\right]{,}\left[\left[{4}{,}{3}{,}{1}\right]{,}{3}{}{{ⅇ}}^{{3}{}{z}}\right]{,}\left[\left[{4}{,}{3}{,}{4}\right]{,}{-1}\right]{,}\left[\left[{4}{,}{4}{,}{3}\right]{,}{-1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"connection"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{3}\right]{,}{-1}\right]{,}\left[\left[{1}{,}{3}{,}{1}\right]{,}{-1}\right]{,}\left[\left[{2}{,}{2}{,}{3}\right]{,}{-1}\right]{,}\left[\left[{2}{,}{3}{,}{2}\right]{,}{-1}\right]{,}\left[\left[{3}{,}{1}{,}{1}\right]{,}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{z}}}{{6}}\right]{,}\left[\left[{3}{,}{1}{,}{4}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{6}}\right]{,}\left[\left[{3}{,}{2}{,}{2}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{3}}\right]{,}\left[\left[{3}{,}{4}{,}{1}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{6}}\right]{,}\left[\left[{4}{,}{1}{,}{3}\right]{,}{3}{}{{ⅇ}}^{{3}{}{z}}\right]{,}\left[\left[{4}{,}{3}{,}{1}\right]{,}{3}{}{{ⅇ}}^{{3}{}{z}}\right]{,}\left[\left[{4}{,}{3}{,}{4}\right]{,}{-1}\right]{,}\left[\left[{4}{,}{4}{,}{3}\right]{,}{-1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"connection"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{3}\right]{,}{-1}\right]{,}\left[\left[{1}{,}{3}{,}{1}\right]{,}{-1}\right]{,}\left[\left[{2}{,}{2}{,}{3}\right]{,}{-1}\right]{,}\left[\left[{2}{,}{3}{,}{2}\right]{,}{-1}\right]{,}\left[\left[{3}{,}{1}{,}{1}\right]{,}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{z}}}{{6}}\right]{,}\left[\left[{3}{,}{1}{,}{4}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{6}}\right]{,}\left[\left[{3}{,}{2}{,}{2}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{3}}\right]{,}\left[\left[{3}{,}{4}{,}{1}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{6}}\right]{,}\left[\left[{4}{,}{1}{,}{3}\right]{,}{3}{}{{ⅇ}}^{{3}{}{z}}\right]{,}\left[\left[{4}{,}{3}{,}{1}\right]{,}{3}{}{{ⅇ}}^{{3}{}{z}}\right]{,}\left[\left[{4}{,}{3}{,}{4}\right]{,}{-1}\right]{,}\left[\left[{4}{,}{4}{,}{3}\right]{,}{-1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"connection"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{3}\right]{,}{-1}\right]{,}\left[\left[{1}{,}{3}{,}{1}\right]{,}{-1}\right]{,}\left[\left[{2}{,}{2}{,}{3}\right]{,}{-1}\right]{,}\left[\left[{2}{,}{3}{,}{2}\right]{,}{-1}\right]{,}\left[\left[{3}{,}{1}{,}{1}\right]{,}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{z}}}{{6}}\right]{,}\left[\left[{3}{,}{1}{,}{4}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{6}}\right]{,}\left[\left[{3}{,}{2}{,}{2}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{3}}\right]{,}\left[\left[{3}{,}{4}{,}{1}\right]{,}{-}\frac{{\mathrm{\Lambda }}{}{{ⅇ}}^{{-}{2}{}{z}}}{{6}}\right]{,}\left[\left[{4}{,}{1}{,}{3}\right]{,}{3}{}{{ⅇ}}^{{3}{}{z}}\right]{,}\left[\left[{4}{,}{3}{,}{1}\right]{,}{3}{}{{ⅇ}}^{{3}{}{z}}\right]{,}\left[\left[{4}{,}{3}{,}{4}\right]{,}{-1}\right]{,}\left[\left[{4}{,}{4}{,}{3}\right]{,}{-1}\right]\right]\right]\right)$ (2.7)
 > $\mathrm{nablaB1}≔\mathrm{CovariantDerivative}\left(\mathrm{B1},C\right)$
 ${\mathrm{nablaB1}}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{3}{,}{4}{,}{4}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{3}{,}{4}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{3}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{4}{,}{3}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{4}{,}{4}{,}{3}\right]{,}{24}{}{{ⅇ}}^{{10}{}{z}}{}{{\mathrm{\Lambda }}}^{{2}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{3}{,}{4}{,}{4}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{3}{,}{4}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{3}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{4}{,}{3}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{4}{,}{4}{,}{3}\right]{,}{24}{}{{ⅇ}}^{{10}{}{z}}{}{{\mathrm{\Lambda }}}^{{2}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{3}{,}{4}{,}{4}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{3}{,}{4}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{3}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{4}{,}{3}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{4}{,}{4}{,}{3}\right]{,}{24}{}{{ⅇ}}^{{10}{}{z}}{}{{\mathrm{\Lambda }}}^{{2}}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}{,}{"cov_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{3}{,}{4}{,}{4}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{3}{,}{4}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{3}{,}{4}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{4}{,}{3}{,}{1}\right]{,}{-}\frac{{2}{}{{\mathrm{\Lambda }}}^{{3}}{}{{ⅇ}}^{{8}{}{z}}}{{3}}\right]{,}\left[\left[{4}{,}{4}{,}{4}{,}{4}{,}{3}\right]{,}{24}{}{{ⅇ}}^{{10}{}{z}}{}{{\mathrm{\Lambda }}}^{{2}}\right]\right]\right]\right)$ (2.8)
 > $\mathrm{Divergence}≔\mathrm{ContractIndices}\left(\mathrm{nablaB1},\left[\left[1,5\right]\right]\right)$
 ${\mathrm{Divergence}}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{1}\right]{,}{0}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{1}\right]{,}{0}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{1}\right]{,}{0}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{1}\right]{,}{0}\right]\right]\right]\right)$ (2.9)

The divergence of the Bel-Robinson tensor is not automatically zero; the divergence vanishes when the metric g is an Einstein metric.  To check this, compute the Ricci tensor of g.

 > $R≔\mathrm{RicciTensor}\left(g\right)$
 ${R}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}\right]\right]\right]\right]\right)$