a covariant form of the Schouten bracket for symmetric tensors - Maple Help

Online Help

All Products    Maple    MapleSim

Home : Support : Online Help : Mathematics : DifferentialGeometry : Tensor : DifferentialGeometry/Tensor/KillingBracket

Tensor[KillingBracket] - a covariant form of the Schouten bracket for symmetric tensors

Calling Sequences

     KillingBracket(g, R, S)


     g         - a covariant metric tensor on a manifold M

     R, S      - symmetric covariant tensor fields on M



If R and S are symmetric covariant tensor fields of rank r and s, respectively, then T = KillingBracket(g, R, S) is a symmetric covariant tensor field of rank r+s1. If R and S correspond to Killing tensors for the metric g, then T is also a Killing tensor.


KillingBracket(g, R, S) can be defined in terms of the Schouten bracket for symmetric contravariant tensors by using the metric g to raise all the indices on the tensors R and S to obtain contravariant tensors U and V, then computing the Schouten bracket W = TensorBrackets(g, U, V, "Schouten") and then lowering all the indices of W. An explicit formula for the KillingBracket can be found in the article of N. M. J. Woodhouse.


This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form KillingBracket(...) only after executing the commands with(DifferentialGeometry), with(Tensor) in that order.  It can always be used in the long form DifferentialGeometry:-Tensor:-KillingBracket.




Example 1.

We compute the Killing bracket of two rank-2 tensors.

R and S are Killing tensors on M with respect to g.


g:=evalDGxdx &s dy+xdz &t dz


M > 

R:=evalDGzx2dx &t dx1x3dx &t dz21x3dz &t dx2


M > 

S:=evalDG1x2dx &t dz2+1x2dz &t dx2


M > 





We compute the Killing bracket of R and S and verify that the result is a Killing tensor.

M > 



M > 



M > 

See Also

DifferentialGeometry, JetCalculus, Tensor,  CheckKillingTensor, KillingTensors, TensorBrackets

Download Help Document

Was this information helpful?

Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam