Tensor[CottonTensor] - calculate the Cotton tensor for a metric
Calling Sequences
CottonTensor(g, C, R)
Parameters
g - a metric tensor on the tangent bundle of a 3 dimensional manifold
C - (optional) the Christoffel connection for the metric g
R - (optional) the curvature tensor of the metric g
|
Description
|
|
•
|
Let R_{hl} be the Ricci tensor for the metric g. The Cotton tensor is defined in components by C^{ij} = e^{ihk} g^{jl} nabla_k R_{hl} (symmetrize on i, j). Here e^{ihk} denotes the contravariant permutation symbol and nabla_k R_{hl} is the covariant derivative of the Ricci tensor with respect to the Christoffel connection.
|
•
|
The Cotton tensor is symmetric, trace-free, divergence-free and a relative conformally invariant of the metric.
|
•
|
This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form CottonTensor(...) only after executing the command with(DifferentialGeometry) and with(Tensor) in that order. It can always be used in the long form DifferentialGeometry:-Tensor:-CottonTensor.
|
|
|
Examples
|
|
>
|
|
Example 1.
First create a 3 dimensional manifold M and define a metric on the tangent space of M.
>
|
|
| (2.1) |
M >
|
|
| (2.2) |
M >
|
|
| (2.3) |
Check that the Cotton tensor CotTen1 is trace-free.
M >
|
|
| (2.4) |
Check that the Cotton tensor is divergence-free.
M >
|
|
M >
|
|
| (2.5) |
Check that the Cotton tensor is a relative conformal invariant on the metric.
M >
|
|
M >
|
|
M >
|
|
M >
|
|
| (2.6) |
M >
|
|
| (2.7) |
|
|
Download Help Document
Was this information helpful?