AdaptedSpinorDyad - Maple Help

All Products Maple MapleSim

Home : Support : Online Help : Mathematics : DifferentialGeometry : Tensor : AdaptedSpinorDyad

Tensor[AdaptedSpinorDyad] - find a spinor dyad which transforms the Weyl spinor to normal form

Calling Sequences

AdaptedSpinorDyad( W, PT, options)

Parameters

W - a symmetric rank 4 covariant spinor

PT - the Petrov type of the spinor $W$

options - one or more of the keyword arguments method and output

Description

Examples

Description

•	Let $W_{ABCD}$ be a rank 4 symmetric spinor and let $σ_{a}^{AA'}$ be a solder form on a 4-dimensional spacetime of signature [1, -1, -1, -1]. Then the rank 4 tensor

$W_{abcd}$ = $σ_{a}^{AA'}$ $σ_{b}^{BB'}$ $σ_{c}^{CC'}$ $σ_{d}^{DD'} (W_{ABCD} ε_{A' B'} ε_{C' D'} + ε_{A B} ε_{CD} {\overline{W}}_{A' B' C' D'})$

enjoys all the symmetries of the Weyl tensor. It is skew-symmetric in the indices $ab$ and $cd,$ satisfies the cyclic identity on $bcd,$ and is trace-free with respect to the metric defined by the solder form $σ$ .

•	If $\{ι_{A}, ο_{A}\}$ is a spinor dyad (a pair of rank-2 spinors with $ι_{A} ο^{A} = 1$ ) then the spinor $W_{ABCD}$ can be expressed as

$W_{ABCD} = Ψ_{0} ι_{A} ι_{B} ι_{C} ι_{D} - 4 Ψ_{1} ι_{(A} ι_{B} ι_{C} ο_{D)} + 6 Ψ_{2} ι_{(A} ι_{B} ο_{C} ο_{D)} - 4 Ψ_{3} ι_{(A} ο_{B} ο_{C} ο_{D)} + Ψ_{4} ο_{A} ο_{B} ο_{C} ο_{D}$ . (*)

The coefficients $Ψ_{0}, Ψ_{1}, Ψ_{2}, Ψ_{3}, Ψ_{4}$ coincide with the Newman-Penrose Weyl scalars for the Weyl tensor $W_{abcd}$ constructed from the null tetrad defined by the spinor dyad $\{ι_{A}, ο_{A}\} &period;$

•	The Petrov type of the spinor $W_{ABCD}$ coincides with the Petrov type of the Weyl tensor $W_{abcd}$ or the Petrov type of the spacetime determined by the Newman-Penrose Weyl scalars. See NPCurvatureScalars, NullTetrad, PetrovType, SolderForm, WeylSpinor.

•	The normal forms for the Newman-Penrose coefficients are as follows.

Type I. $Ψ_{0} = \frac{3}{2} η χ, Ψ_{1} = 0, Ψ_{2} = \frac{1}{2} η (2 - χ), Ψ_{3} = 0, Ψ_{4} = \frac{3}{2} η χ &period;$

Type II. $Ψ_{0}$ $= 0, Ψ_{1} = 0, Ψ_{2} = η, Ψ_{3} = 0, Ψ_{4} = 6 η &period;$

Type III. $Ψ_{0} = 0, Ψ_{1} = 0, Ψ_{2} = 0, Ψ_{3} = 1, Ψ_{4} = 0.$

Type D. $Ψ_{0} = 0, Ψ_{1} = 0, Ψ_{2} = η, Ψ_{3} = 0, Ψ_{4} = 0.$

Type N. $Ψ_{0} = 0, Ψ_{1} = 0, Ψ_{2} = 0, Ψ_{3} = 0, Ψ_{4} = 1.$

Type O. $Ψ_{0} = 0, Ψ_{1} = 0, Ψ_{2} = 0, Ψ_{3} = 0, Ψ_{4} = 0.$

See Penrose and Rindle Vol. 2, Section 8.3.

Thus, for example, if the Petrov type of the Weyl spinor is $D$ , then there is a spinor dyad $\{ι_{A}, ο_{A}\}$ such that the Weyl spinor takes the form $W_{ABCD} = 6 η ι_{(A} ι_{B} ι_{C} ο_{D)}$ . Such a spinor dyad is said to be an adapted spinor dyad.

•	The command AdaptedSpinorDyad returns a contravariant spinor dyad which will put the given Weyl spinor in the above normal form. If the Petrov type is I, then the values of $η, χ$ are also returned. If the Petrov type is II or D, the value of $η$ is given.

•

The adapted spinor dyads need not be unique; multiple adapted spinor dyads may be returned. All computed dyads will be returned with the keyword argument output = $all$ . If the type is III or N, then a quasi-adapted dyad (where the 1 non-zero Newman-Penrose coefficient is not normalized to 1) will be calculated if method = "unnormalized".

•

The command AdaptedSpinorDyad is part of the DifferentialGeometry:-Tensor package. It can be used in the form AdaptedSpinorDyad(...) only after executing the commands with(DifferentialGeometry) and with(Tensor), but can always be used by executing DifferentialGeometry:-Tensor:-AdaptedSpinorDyad(...).

Examples

>	$with (DifferentialGeometry) &colon;$ $with (Tensor) &colon;$

Set the global environment variable _EnvExplicit to true to insure that our results are free of $RootOf$ expressions.

Spin >

$_EnvExplicit ≔ true &colon;$

We give examples of Weyl spinors of each Petrov type and calculate an adapted spinor dyad. We check that the spinor dyad has the desired properties.

First create the spinor bundle over a 4 dimensional spacetime.

>	$DGsetup ([t, x, y, z], [z1, z2, w1, w2], Spin)$

$frame name: Spin$

(2.1)

In order to construct the Weyl spinors for our examples, we need a basis for the vector space of symmetric rank 4 spinors. This we obtain from the GenerateSymmetricTensors command.

Spin >

$S ≔ GenerateSymmetricTensors ([dz1, dz2], 4)$

$S := [dz1 dz1 dz1 dz1, \frac{1}{4} dz1 dz1 dz1 dz2 + \frac{1}{4} dz1 dz1 dz2 dz1 + \frac{1}{4} dz1 dz2 dz1 dz1 + \frac{1}{4} dz2 dz1 dz1 dz1, \frac{1}{6} dz1 dz1 dz2 dz2 + \frac{1}{6} dz1 dz2 dz1 dz2 + \frac{1}{6} dz1 dz2 dz2 dz1 + \frac{1}{6} dz2 dz1 dz1 dz2 + \frac{1}{6} dz2 dz1 dz2 dz1 + \frac{1}{6} dz2 dz2 dz1 dz1, \frac{1}{4} dz1 dz2 dz2 dz2 + \frac{1}{4} dz2 dz1 dz2 dz2 + \frac{1}{4} dz2 dz2 dz1 dz2 + \frac{1}{4} dz2 dz2 dz2 dz1, dz2 dz2 dz2 dz2]$

(2.2)

Example 1. Type I

Define a rank 4 spinor $W_{1} &period;$

Spin >

$W1 ≔ DGzip ([6, 12, 30, 24, 6], S, plus)$

$W1 := 6 dz1 dz1 dz1 dz1 + 3 dz1 dz1 dz1 dz2 + 3 dz1 dz1 dz2 dz1 + 5 dz1 dz1 dz2 dz2 + 3 dz1 dz2 dz1 dz1 + 5 dz1 dz2 dz1 dz2 + 5 dz1 dz2 dz2 dz1 + 6 dz1 dz2 dz2 dz2 + 3 dz2 dz1 dz1 dz1 + 5 dz2 dz1 dz1 dz2 + 5 dz2 dz1 dz2 dz1 + 6 dz2 dz1 dz2 dz2 + 5 dz2 dz2 dz1 dz1 + 6 dz2 dz2 dz1 dz2 + 6 dz2 dz2 dz2 dz1 + 6 dz2 dz2 dz2 dz2$

(2.3)

Calculate the Newman-Penrose coefficients for $W_{1}$ with respect to the initial dyad basis $[dz1, dz2]$ .

Spin >

$NP1 ≔ NPCurvatureScalars (W1, [dz1, dz2])$

$NP1 := table ([Psi2 = 5, Psi0 = 6, Psi1 = - 6, Psi3 = - 3, Psi4 = 6])$

(2.4)

Use these coefficients to find the Petrov type of $W_{1} &period;$

Spin >

$PetrovType (NP1)$

$I$

(2.5)

Compute an adapted contravariant spinor dyad for $W_{1} and the corresponding η, χ &period;$

Spin >

$SpinorDyadCon1, η1, χ1 ≔ AdaptedSpinorDyad (W1, I)$

$SpinorDyadCon1, η1, χ1 := [D_z1 - D_z2, D_z2], 1, 4$

(2.6)

Here is the covariant form of the spinor dyad.

Spin >

$Dyad1 ≔ map (RaiseLowerSpinorIndices, SpinorDyadCon1, [1])$

$Dyad1 := [dz1 + dz2, - dz1]$

(2.7)

We check that this answer is correct in two ways. First we can re-calculate the Newman-Penrose coefficients and confirm that they are in the correct normal form.

Spin >

$NPCurvatureScalars (W1, Dyad1)$

$table ([Psi2 = - 1, Psi0 = 6, Psi1 = 0, Psi3 = 0, Psi4 = 6])$

(2.8)

This is the correct normal form since $Ψ_{1} = Ψ_{3} = 0, Ψ_{0} = Ψ_{4} = \frac{3}{2} η \cdot χ = \frac{3}{2} \cdot 1 \cdot 4 = 6$ and $Ψ_{2} = \frac{1}{2} η \cdot (2 - χ) = \frac{1}{2} \cdot 1 \cdot (- 2) = - 1.$

Second, we can calculate a type I Weyl spinor from this spinor dyad using the command WeylSpinor and check that the result coincides with the original spinor $W_{1}$ .

Spin >

$W1Check ≔ WeylSpinor (Dyad1, I, 1, 4)$

$W1Check := 6 dz1 dz1 dz1 dz1 + 3 dz1 dz1 dz1 dz2 + 3 dz1 dz1 dz2 dz1 + 5 dz1 dz1 dz2 dz2 + 3 dz1 dz2 dz1 dz1 + 5 dz1 dz2 dz1 dz2 + 5 dz1 dz2 dz2 dz1 + 6 dz1 dz2 dz2 dz2 + 3 dz2 dz1 dz1 dz1 + 5 dz2 dz1 dz1 dz2 + 5 dz2 dz1 dz2 dz1 + 6 dz2 dz1 dz2 dz2 + 5 dz2 dz2 dz1 dz1 + 6 dz2 dz2 dz1 dz2 + 6 dz2 dz2 dz2 dz1 + 6 dz2 dz2 dz2 dz2$

(2.9)

Spin >

$W1 &minus W1Check$

$0 dz1 dz1 dz1 dz1$

(2.10)

Alternative dyads will be computed with the keyword argument output $= all &period;$

Spin >

$_EnvExplicit ≔ true &colon;$

Spin >

$AdaptedSpinorDyad (W1, I, output = all)$

$[[[- D_z2, D_z1 - D_z2], 1, 4], [[(\frac{1}{2} + \frac{I}{2}) D_z1 - (1 + I) D_z2, (\frac{1}{2} - \frac{I}{2}) D_z1], 3, - \frac{1}{3}], [[- (\frac{1}{2} + \frac{I}{2}) D_z1 + I D_z2, (\frac{1}{2} + \frac{I}{2}) D_z1 - D_z2], - 4, \frac{3}{4}], [[\frac{I}{2} \sqrt{2} D_z1, \frac{I}{2} \sqrt{2} D_z1 - I \sqrt{2} D_z2], 4, \frac{1}{4}], [[- (\frac{\sqrt{2}}{2} - \frac{I \sqrt{2}}{2}) D_z1 + (\frac{\sqrt{2}}{2} - \frac{I \sqrt{2}}{2}) D_z2, - (\frac{1}{2} + \frac{I}{2}) \sqrt{2} D_z2], - 3, \frac{4}{3}], [[- \frac{\sqrt{2}}{2} D_z1 + (\frac{\sqrt{2}}{2} - \frac{I \sqrt{2}}{2}) D_z2, - \frac{I}{2} \sqrt{2} D_z1 - (\frac{\sqrt{2}}{2} - \frac{I \sqrt{2}}{2}) D_z2], - 1, - 3]]$

(2.11)

Example 2. Type II

Define a rank 4 spinor $W_{2} &period;$

Spin >

$W2 ≔ DGzip ([4, 4, 6, 16, 10], S, plus)$

$W2 := 4 dz1 dz1 dz1 dz1 + dz1 dz1 dz1 dz2 + dz1 dz1 dz2 dz1 + dz1 dz1 dz2 dz2 + dz1 dz2 dz1 dz1 + dz1 dz2 dz1 dz2 + dz1 dz2 dz2 dz1 + 4 dz1 dz2 dz2 dz2 + dz2 dz1 dz1 dz1 + dz2 dz1 dz1 dz2 + dz2 dz1 dz2 dz1 + 4 dz2 dz1 dz2 dz2 + dz2 dz2 dz1 dz1 + 4 dz2 dz2 dz1 dz2 + 4 dz2 dz2 dz2 dz1 + 10 dz2 dz2 dz2 dz2$

(2.12)

Calculate the Newman-Penrose coefficients for $W_{2}$ with respect to the standard dyad basis $[dz1, dz2]$ .

Spin >

$NP2 ≔ NPCurvatureScalars (W2, [dz1, dz2])$

$NP2 := table ([Psi0 = 10, Psi1 = - 4, Psi3 = - 1, Psi4 = 4, Psi2 = 1])$

(2.13)

Find the Petrov type of $W_{2} &period;$

Spin >

$PetrovType (NP2)$

$II$

(2.14)

Compute an adapted contravariant spinor dyad for $W_{2}$ .

Spin >

$SpinorDyadCon2, η2 ≔ AdaptedSpinorDyad (W2, II)$

$SpinorDyadCon2, η2 := [\frac{1}{3} \sqrt{3} D_z1 - \frac{1}{3} \sqrt{3} D_z2, - \frac{2}{3} \sqrt{3} D_z1 - \frac{1}{3} \sqrt{3} D_z2], 3$

(2.15)

Here is the covariant form of the adapted spinor dyad.

Spin >

$Dyad2 ≔ map (RaiseLowerSpinorIndices, SpinorDyadCon2, [1])$

$Dyad2 := [\frac{1}{3} \sqrt{3} dz1 + \frac{1}{3} \sqrt{3} dz2, \frac{1}{3} \sqrt{3} dz1 - \frac{2}{3} \sqrt{3} dz2]$

(2.16)

We check that this answer is correct in two ways. First we can re-calculate the Newman-Penrose coefficients and confirm that they are in the correct normal form.

Spin >

$NPCurvatureScalars (W2, Dyad2)$

$table ([Psi0 = 0, Psi1 = 0, Psi3 = 0, Psi4 = 18, Psi2 = 3])$

(2.17)

This is the correct normal form since $Ψ_{0} = Ψ_{1} = Ψ_{3} = 0, Ψ_{2} = η = 3$ and $Ψ_{4} = 6 \cdot η = 18.$

Second, we can calculate a type II Weyl spinor from this spinor dyad and check that the result coincides with the original spinor $W_{2}$ .

Spin >

$W2Check ≔ WeylSpinor (Dyad2, II, 3)$

$W2Check := 4 dz1 dz1 dz1 dz1 + dz1 dz1 dz1 dz2 + dz1 dz1 dz2 dz1 + dz1 dz1 dz2 dz2 + dz1 dz2 dz1 dz1 + dz1 dz2 dz1 dz2 + dz1 dz2 dz2 dz1 + 4 dz1 dz2 dz2 dz2 + dz2 dz1 dz1 dz1 + dz2 dz1 dz1 dz2 + dz2 dz1 dz2 dz1 + 4 dz2 dz1 dz2 dz2 + dz2 dz2 dz1 dz1 + 4 dz2 dz2 dz1 dz2 + 4 dz2 dz2 dz2 dz1 + 10 dz2 dz2 dz2 dz2$

(2.18)

Spin >

$W2 &minus W2Check$

$0 dz1 dz1 dz1 dz1$

(2.19)

Example 3. Type III

Define a rank 4 spinor $W_{3} &period;$

Spin >

$W3 ≔ DGzip ([- 8, - 20 I, 12, - 4 I, 4], S, plus)$

$W3 := - 8 dz1 dz1 dz1 dz1 - I dz2 dz1 dz2 dz2 - 5 I dz1 dz1 dz1 dz2 + 2 dz1 dz1 dz2 dz2 - I dz1 dz2 dz2 dz2 + 2 dz1 dz2 dz1 dz2 + 2 dz1 dz2 dz2 dz1 - I dz2 dz2 dz1 dz2 - 5 I dz1 dz2 dz1 dz1 + 2 dz2 dz1 dz1 dz2 + 2 dz2 dz1 dz2 dz1 - 5 I dz1 dz1 dz2 dz1 + 2 dz2 dz2 dz1 dz1 - I dz2 dz2 dz2 dz1 - 5 I dz2 dz1 dz1 dz1 + 4 dz2 dz2 dz2 dz2$

(2.20)

Calculate the Newman-Penrose coefficients for $W_{3}$ with respect to the initial dyad basis $[dz1, dz2]$ .

Spin >

$NP3 ≔ NPCurvatureScalars (W3, [dz1, dz2])$

$NP3 := table ([Psi0 = 4, Psi1 = I, Psi3 = 5 I, Psi4 = - 8, Psi2 = 2])$

(2.21)

Find the Petrov type of $W_{3} &period;$

Spin >

$PetrovType (NP3)$

$III$

(2.22)

Compute an adapted contravariant spinor dyad for $W_{3} &period;$

Spin >

$SpinorDyadCon3 ≔ AdaptedSpinorDyad (W3, III)$

$SpinorDyadCon3 := [(- \frac{1}{2} - \frac{1}{2} I) \sqrt{6} D_z1 + (\frac{1}{2} \sqrt{6} - \frac{1}{2} I \sqrt{6}) D_z2, (- \frac{1}{18} - \frac{1}{18} I) \sqrt{6} D_z1 + (- \frac{1}{9} + \frac{1}{9} I) \sqrt{6} D_z2]$

(2.23)

Here is the covariant form of the spinor dyad.

Spin >

$Dyad3 ≔ map (RaiseLowerSpinorIndices, SpinorDyadCon3, [1])$

$Dyad3 := [(- \frac{1}{2} \sqrt{6} + \frac{1}{2} I \sqrt{6}) dz1 + (- \frac{1}{2} - \frac{1}{2} I) \sqrt{6} dz2, (\frac{1}{9} - \frac{1}{9} I) \sqrt{6} dz1 + (- \frac{1}{18} - \frac{1}{18} I) \sqrt{6} dz2]$

(2.24)

We check that this answer is correct in two ways. First we can re-calculate the Newman-Penrose coefficients and confirm that they are in the correct normal form.

Spin >

$NPCurvatureScalars (W3, Dyad3)$

$table ([Psi0 = 0, Psi1 = 0, Psi3 = 1, Psi4 = 0, Psi2 = 0])$

(2.25)

This is the correct normal form since $Ψ_{0} = Ψ_{1} = Ψ_{2} = Ψ_{4} = 0, Ψ_{3} =$ $1.$

Second, we can calculate a type III Weyl spinor from this spinor dyad and check that the result coincides with the original spinor $W_{3}$ .

Spin >

$W3Check ≔ WeylSpinor (Dyad3, III)$

$W3Check := - 8 dz1 dz1 dz1 dz1 - I dz2 dz2 dz2 dz1 - 5 I dz1 dz1 dz2 dz1 + 2 dz1 dz1 dz2 dz2 - I dz1 dz2 dz2 dz2 + 2 dz1 dz2 dz1 dz2 + 2 dz1 dz2 dz2 dz1 - I dz2 dz2 dz1 dz2 - 5 I dz1 dz2 dz1 dz1 + 2 dz2 dz1 dz1 dz2 + 2 dz2 dz1 dz2 dz1 - 5 I dz1 dz1 dz1 dz2 + 2 dz2 dz2 dz1 dz1 - 5 I dz2 dz1 dz1 dz1 - I dz2 dz1 dz2 dz2 + 4 dz2 dz2 dz2 dz2$

(2.26)

Spin >

$W3 &minus W3Check$

$0 dz1 dz1 dz1 dz1$

(2.27)

Example 4. Type D

Define a rank 4 spinor $W_{4} &period;$

Spin >

$W4 ≔ DGzip ([3, - 18, 3, 72, 48], S, plus)$

$W4 := 3 dz1 dz1 dz1 dz1 - \frac{9}{2} dz1 dz1 dz1 dz2 - \frac{9}{2} dz1 dz1 dz2 dz1 + \frac{1}{2} dz1 dz1 dz2 dz2 - \frac{9}{2} dz1 dz2 dz1 dz1 + \frac{1}{2} dz1 dz2 dz1 dz2 + \frac{1}{2} dz1 dz2 dz2 dz1 + 18 dz1 dz2 dz2 dz2 - \frac{9}{2} dz2 dz1 dz1 dz1 + \frac{1}{2} dz2 dz1 dz1 dz2 + \frac{1}{2} dz2 dz1 dz2 dz1 + 18 dz2 dz1 dz2 dz2 + \frac{1}{2} dz2 dz2 dz1 dz1 + 18 dz2 dz2 dz1 dz2 + 18 dz2 dz2 dz2 dz1 + 48 dz2 dz2 dz2 dz2$

(2.28)

Calculate the Newman-Penrose coefficients for $W_{4}$ with respect to the initial dyad basis $[dz1, dz2]$ .

Spin >

$NP4 ≔ NPCurvatureScalars (W4, [dz1, dz2])$

$NP4 := table ([Psi0 = 48, Psi1 = - 18, Psi3 = \frac{9}{2}, Psi4 = 3, Psi2 = \frac{1}{2}])$

(2.29)

Find the Petrov type of $W_{4} &period;$

Spin >

$PetrovType (NP4)$

$D$

(2.30)

Compute an adapted contravariant spinor dyad for $W_{4} &period;$

Spin >

$SpinorDyadCon4, η4 ≔ AdaptedSpinorDyad (W4, D)$

$SpinorDyadCon4, η4 := [D_z1 - D_z2, \frac{4}{5} D_z1 + \frac{1}{5} D_z2], \frac{25}{2}$

(2.31)

Here is the covariant form of the spinor dyad.

Spin >

$Dyad4 ≔ map (RaiseLowerSpinorIndices, SpinorDyadCon4, [1])$

$Dyad4 := [dz1 + dz2, - \frac{1}{5} dz1 + \frac{4}{5} dz2]$

(2.32)

We check that this answer is correct in two ways. First we can re-calculate the Newman-Penrose coefficients and confirm that they are in the correct normal form.

Spin >

$NPCurvatureScalars (W4, Dyad4)$

$table ([Psi0 = 0, Psi1 = 0, Psi3 = 0, Psi4 = 0, Psi2 = \frac{25}{2}])$

(2.33)

This is the correct normal form since $Ψ_{0} = Ψ_{1} = Ψ_{3} = Ψ_{4} = 0, Ψ_{2}$ $= η = \frac{25}{2} &period;$

Second, we can calculate a type D Weyl spinor from this spinor dyad and check that the result coincides with the original spinor $W_{4}$ .

Spin >

$W4Check ≔ WeylSpinor (Dyad4, D, η4)$

$W4Check := 3 dz1 dz1 dz1 dz1 - \frac{9}{2} dz1 dz1 dz1 dz2 - \frac{9}{2} dz1 dz1 dz2 dz1 + \frac{1}{2} dz1 dz1 dz2 dz2 - \frac{9}{2} dz1 dz2 dz1 dz1 + \frac{1}{2} dz1 dz2 dz1 dz2 + \frac{1}{2} dz1 dz2 dz2 dz1 + 18 dz1 dz2 dz2 dz2 - \frac{9}{2} dz2 dz1 dz1 dz1 + \frac{1}{2} dz2 dz1 dz1 dz2 + \frac{1}{2} dz2 dz1 dz2 dz1 + 18 dz2 dz1 dz2 dz2 + \frac{1}{2} dz2 dz2 dz1 dz1 + 18 dz2 dz2 dz1 dz2 + 18 dz2 dz2 dz2 dz1 + 48 dz2 dz2 dz2 dz2$

(2.34)

Spin >

$W4 &minus W4Check$

$0 dz1 dz1 dz1 dz1$

(2.35)

Example 5. Type N

Define a rank 4 spinor $W_{5} &period;$

Spin >

$W5 ≔ DGzip ([1, 12, 54, 108, 81], S, plus)$

$W5 := dz1 dz1 dz1 dz1 + 3 dz1 dz1 dz1 dz2 + 3 dz1 dz1 dz2 dz1 + 9 dz1 dz1 dz2 dz2 + 3 dz1 dz2 dz1 dz1 + 9 dz1 dz2 dz1 dz2 + 9 dz1 dz2 dz2 dz1 + 27 dz1 dz2 dz2 dz2 + 3 dz2 dz1 dz1 dz1 + 9 dz2 dz1 dz1 dz2 + 9 dz2 dz1 dz2 dz1 + 27 dz2 dz1 dz2 dz2 + 9 dz2 dz2 dz1 dz1 + 27 dz2 dz2 dz1 dz2 + 27 dz2 dz2 dz2 dz1 + 81 dz2 dz2 dz2 dz2$

(2.36)

Calculate the Newman-Penrose coefficients for $W_{5}$ with respect to the initial dyad basis $[dz1, dz2]$ .

Spin >

$NP5 ≔ NPCurvatureScalars (W5, [dz1, dz2])$

$NP5 := table ([Psi0 = 81, Psi1 = - 27, Psi3 = - 3, Psi4 = 1, Psi2 = 9])$

(2.37)

Find the Petrov type of $W_{5} &period;$

Spin >

$PetrovType (NP5)$

$N$

(2.38)

Compute an adapted contravariant spinor dyad for $W_{5} &period;$

Spin >

$SpinorDyadCon5 ≔ AdaptedSpinorDyad (W5, N)$

$SpinorDyadCon5 := [3 D_z1 - D_z2, D_z1]$

(2.39)

Here is the covariant form of the spinor dyad.

Spin >

$Dyad5 ≔ map (RaiseLowerSpinorIndices, SpinorDyadCon5, [1])$

$Dyad5 := [dz1 + 3 dz2, dz2]$

(2.40)

We check that this answer is correct in two ways. First we can re-calculate the Newman-Penrose coefficients and confirm that they are in the correct normal form.

Spin >

$NPCurvatureScalars (W5, Dyad5)$

$table ([Psi0 = 0, Psi1 = 0, Psi3 = 0, Psi4 = 1, Psi2 = 0])$

(2.41)

This is the correct normal form since $Ψ_{0} = Ψ_{1} = Ψ_{2} = Ψ_{3} = 0, Ψ_{4} =$ $1.$

Second, we can calculate a type N Weyl spinor from this spinor dyad and check that the result coincides with the original spinor $W_{5}$ .

Spin >

$W5Check ≔ WeylSpinor (Dyad5, N)$

$W5Check := dz1 dz1 dz1 dz1 + 3 dz1 dz1 dz1 dz2 + 3 dz1 dz1 dz2 dz1 + 9 dz1 dz1 dz2 dz2 + 3 dz1 dz2 dz1 dz1 + 9 dz1 dz2 dz1 dz2 + 9 dz1 dz2 dz2 dz1 + 27 dz1 dz2 dz2 dz2 + 3 dz2 dz1 dz1 dz1 + 9 dz2 dz1 dz1 dz2 + 9 dz2 dz1 dz2 dz1 + 27 dz2 dz1 dz2 dz2 + 9 dz2 dz2 dz1 dz1 + 27 dz2 dz2 dz1 dz2 + 27 dz2 dz2 dz2 dz1 + 81 dz2 dz2 dz2 dz2$

(2.42)

Spin >

$W5 &minus W5Check$

$0 dz1 dz1 dz1 dz1$

(2.43)

Maple

Maple Add-Ons

MapleSim

MapleSim Add-Ons

Systems Engineering

Consulting Services

Maple T.A. and Möbius

Education

Industries

Automotive and Aerospace

Robotics

Machine Design & Industrial Automation

Other

Application Areas

Product Pricing

Purchasing

Institutional Student Licensing

Maplesoft Elite Maintenance (EMP)

Support

Product Training

Online Product Help

Webinars & Events

Publications

Content Hubs

Examples & Applications

Community

About Maplesoft

Media Center

User Community

Contact

Online Help

All Products Maple MapleSim

Maple

Powerful math software that is easy to use

Maple Add-Ons

MapleSim

Advanced System Level Modeling

MapleSim Add-Ons

Systems Engineering

Consulting Services

Maple T.A. and Möbius

Education

Industries

Automotive and Aerospace

Robotics

Machine Design & Industrial Automation

Other

Application Areas

Product Pricing

Purchasing

Institutional Student Licensing

Maplesoft Elite Maintenance (EMP)

Support

Product Training

Online Product Help

Webinars & Events

Publications

Content Hubs

Examples & Applications

Community

About Maplesoft

Media Center

User Community

Contact

Online Help

All Products Maple MapleSim