 PushPullTensor - Maple Help

Tensor[PushPullTensor] - transform a tensor from one manifold or coordinate system to another

Calling Sequences

PushPullTensor(Phi, Psi, T)

PushPullTensor(Phi, S)

Parameters

Phi      - a transformation from a manifold M to another manifold N

Psi      - the inverse of the transformation Phi, a transformation from the manifold N to the manifold M

T        - a vector, differential form, tensor, or a connection defined on the manifold M

S        - a differential form or a covariant tensor field defined on the manifold N Description

 • PushPullTensor(Phi, Psi, M) will apply the transformation Phi to the vector, form or tensor T on  M and return an object of the same type on N.
 • Applied to tensors on M, PushPullTensor acts as a ring homomorphism, that is, if T1 and T2 are tensors on M, then PushPullTensor(Phi, Psi, T1 &tensor T2) = PushPullTensor(Phi, Psi, T1) &tensor PushPullTensor(Phi, Psi, T2).  Therefore to completely describe the action of PushPullTensor on a tensor T, it suffices to note that [i] if T is a vector field on M, then PushPullTensor(Phi , Psi, T) = Pushforward(Phi, Psi, T) and [ii], if T is a 1-form on M, then PushPullTensor(Phi, Psi, T) = Pullback(Psi, T).
 • Let A be a connection on M and let B = PushPullTensor(Phi, Psi, A).  Let X, Y be vector fields on M and let Z = DirectionalCovariantDerivative(X, Y, A).  Let U, V, W be the vector fields on N which are the pushforwards of X, Y and Z using Phi and Psi.  The defining property of the connection B is the identity W = DirectionalCovariantDerivative(U, V, B).
 • Let A be a connection on M and let B = PushPullTensor(Phi, Psi, A).  Let R be the curvature tensor for A and let S be the curvature tensor for B.  We remark that PushPullTensor(Phi, Psi, R) = S.
 • Let S be a differential form or a covariant tensor field defined on the manifold N.  Then the command PushPullTensor(Phi, S) will Pullback S to a differential form or tensor on M.  With this calling sequence, the transformation Phi from M to N need not be invertible.  For example, suppose M is a submanifold of N and Phi : M -> N is the inclusion mapping.  Then, if g is a Riemannian metric on N, PushPullTensor(Phi, g) computes the induced metric on M.
 • The PushPullTensor command works with arbitrary frames and can therefore be used to re-express any tensor in the coordinate frame in terms of the user defined frame.
 • The PushPullTensor command may also be applied to tensor fields associated  with a vector bundle E -> M.
 • This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form PushPullTensor(...) only after executing the command with(DifferentialGeometry) and with(Tensor) in that order.  It can always be used in the long form DifferentialGeometry:-Tensor:-PushPullTensor. Examples

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

Example 1.

First create two manifolds M, N and define a diffeomorphism phi : M -> N.

 > $\mathrm{DGsetup}\left(\left[x,y,z\right],M\right):$
 M > $\mathrm{DGsetup}\left(\left[u,v,w\right],N\right):$

Define a transformation from M to N and calculate its inverse.

 N > $\mathrm{Φ1}≔\mathrm{Transformation}\left(M,N,\left[u=xy,v=y,w=xz\right]\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"transformation"}{,}\left[\left[{M}{,}{0}\right]{,}\left[{N}{,}{0}\right]\right]{,}\left[{}\right]{,}\left[{\mathrm{Matrix}}{}\left({\mathrm{%id}}{=}{4555846274}\right)\right]\right]{,}\left[\left[{x}{}{y}{,}{u}\right]{,}\left[{y}{,}{v}\right]{,}\left[{x}{}{z}{,}{w}\right]\right]\right]\right)$ (2.1)
 M > $\mathrm{Ψ1}≔\mathrm{InverseTransformation}\left(\mathrm{Φ1}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"transformation"}{,}\left[\left[{N}{,}{0}\right]{,}\left[{M}{,}{0}\right]\right]{,}\left[{}\right]{,}\left[{\mathrm{Matrix}}{}\left({\mathrm{%id}}{=}{4555847618}\right)\right]\right]{,}\left[\left[\frac{{u}}{{v}}{,}{x}\right]{,}\left[{v}{,}{y}\right]{,}\left[\frac{{w}{}{v}}{{u}}{,}{z}\right]\right]\right]\right)$ (2.2)

CASE 1.  Acting on vectors on M, PushPullTensor is the same as the DifferentialGeometry command PushForward.

 N > $\mathrm{Pushforward}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{D_x}\right),\mathrm{Pushforward}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{D_y}\right),\mathrm{Pushforward}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{D_z}\right)$
 N > $\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{D_x}\right),\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{D_y}\right),\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{D_z}\right)$

CASE 2.  Acting on 1-forms on M, PushPullTensor is the same as the DifferentialGeometry command Pullback, using the inverse of Phi1, that is, the transformation Psi1.

 N > $\mathrm{Pullback}\left(\mathrm{Ψ1},\mathrm{dx}\right),\mathrm{Pullback}\left(\mathrm{Ψ1},\mathrm{dy}\right),\mathrm{Pullback}\left(\mathrm{Ψ1},\mathrm{dz}\right)$
 N > $\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{dx}\right),\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{dy}\right),\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{dz}\right)$

CASE 3.  The action of PushPullTensor on tensors on M is determined by Case1 and Case2 and the fact that PushPullTensor is a homomorphism.

 N > $\mathrm{W1}≔\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{D_x}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dx}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{1}\right]{,}\left[\left[{1}{,}{2}\right]{,}{-}\frac{{u}}{{v}}\right]{,}\left[\left[{3}{,}{1}\right]{,}\frac{{w}}{{u}}\right]{,}\left[\left[{3}{,}{2}\right]{,}{-}\frac{{w}}{{v}}\right]\right]\right]\right)$ (2.3)
 N > $\mathrm{W2}≔\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{D_x}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&tensor\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},\mathrm{dx}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{1}\right]{,}\left[\left[{1}{,}{2}\right]{,}{-}\frac{{u}}{{v}}\right]{,}\left[\left[{3}{,}{1}\right]{,}\frac{{w}}{{u}}\right]{,}\left[\left[{3}{,}{2}\right]{,}{-}\frac{{w}}{{v}}\right]\right]\right]\right)$ (2.4)
 N > $\mathrm{W1}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&minus\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{W2}$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{0}\right]\right]\right]\right)$ (2.5)

CASE 4.  The command PushPullTensor will pushforward a connection on M to a connection on N. Define a connection A on M and push it forward to get a connection B on N.

 N > $A≔\mathrm{Connection}\left(y\left(\mathrm{D_y}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dy}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dx}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"connection"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{2}{,}{2}{,}{1}\right]{,}{y}\right]\right]\right]\right)$ (2.6)
 M > $B≔\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},A\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"connection"}{,}{N}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{2}\right]{,}{-}\frac{{1}}{{v}}\right]{,}\left[\left[{1}{,}{3}{,}{1}\right]{,}\frac{{2}{}{w}}{{{u}}^{{2}}}\right]{,}\left[\left[{1}{,}{3}{,}{2}\right]{,}{-}\frac{{2}{}{w}}{{v}{}{u}}\right]{,}\left[\left[{1}{,}{3}{,}{3}\right]{,}{-}\frac{{1}}{{u}}\right]{,}\left[\left[{2}{,}{1}{,}{1}\right]{,}\frac{{u}{-}{1}}{{v}}\right]{,}\left[\left[{2}{,}{1}{,}{2}\right]{,}{-}\frac{{u}{}\left({u}{-}{2}\right)}{{{v}}^{{2}}}\right]{,}\left[\left[{2}{,}{2}{,}{1}\right]{,}{1}\right]{,}\left[\left[{2}{,}{2}{,}{2}\right]{,}{-}\frac{{u}}{{v}}\right]{,}\left[\left[{2}{,}{3}{,}{1}\right]{,}{-}\frac{{2}{}{w}}{{v}{}{u}}\right]{,}\left[\left[{2}{,}{3}{,}{2}\right]{,}\frac{{2}{}{w}}{{{v}}^{{2}}}\right]{,}\left[\left[{2}{,}{3}{,}{3}\right]{,}\frac{{1}}{{v}}\right]{,}\left[\left[{3}{,}{3}{,}{1}\right]{,}{-}\frac{{1}}{{u}}\right]{,}\left[\left[{3}{,}{3}{,}{2}\right]{,}\frac{{1}}{{v}}\right]\right]\right]\right)$ (2.7)

We check the defining property of the pushforward connection B.  Pick two vectors X and Y on M and calculate the directional covariant derivative with respect to A.  Call it Z.

 N > $X≔\mathrm{D_x}:$$Y≔\mathrm{D_y}:$$Z≔\mathrm{DirectionalCovariantDerivative}\left(X,Y,A\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{2}\right]{,}{y}\right]\right]\right]\right)$ (2.8)

Push the vectors X, Y, Z over to N and get vector fields U, V, W.

 M > $U≔\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},X\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"vector"}{,}{N}{,}\left[{}\right]\right]{,}\left[\left[\left[{1}\right]{,}{v}\right]{,}\left[\left[{3}\right]{,}\frac{{w}{}{v}}{{u}}\right]\right]\right]\right)$ (2.9)
 N > $V≔\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},Y\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"vector"}{,}{N}{,}\left[{}\right]\right]{,}\left[\left[\left[{1}\right]{,}\frac{{u}}{{v}}\right]{,}\left[\left[{2}\right]{,}{1}\right]\right]\right]\right)$ (2.10)
 N > $W≔\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},Z\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"con_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}\right]{,}{u}\right]{,}\left[\left[{2}\right]{,}{v}\right]\right]\right]\right)$ (2.11)

Check that W is the directional covariant derivative of V in the direction of U with respect to the connection B.

 N > $\mathrm{DirectionalCovariantDerivative}\left(U,V,B\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"con_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}\right]{,}{1}\right]{,}\left[\left[{2}\right]{,}\frac{{{u}}^{{2}}{+}{{v}}^{{2}}{-}{u}}{{v}}\right]\right]\right]\right)$ (2.12)

We can also calculate the curvature tensor R of A, the curvature tensor S of B and check that the PushPullTensor applied to R gives S.

 N > $R≔\mathrm{CurvatureTensor}\left(A\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{2}{,}{2}{,}{1}{,}{2}\right]{,}{-}{1}\right]{,}\left[\left[{2}{,}{2}{,}{2}{,}{1}\right]{,}{1}\right]\right]\right]\right)$ (2.13)
 M > $S≔\mathrm{CurvatureTensor}\left(B\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{3}{,}{1}{,}{2}\right]{,}\frac{{4}{}{w}}{{v}{}{{u}}^{{2}}}\right]{,}\left[\left[{1}{,}{3}{,}{1}{,}{3}\right]{,}{-}\frac{{2}}{{{u}}^{{2}}}\right]{,}\left[\left[{1}{,}{3}{,}{2}{,}{1}\right]{,}{-}\frac{{4}{}{w}}{{v}{}{{u}}^{{2}}}\right]{,}\left[\left[{1}{,}{3}{,}{2}{,}{3}\right]{,}\frac{{4}}{{v}{}{u}}\right]{,}\left[\left[{1}{,}{3}{,}{3}{,}{1}\right]{,}\frac{{2}}{{{u}}^{{2}}}\right]{,}\left[\left[{1}{,}{3}{,}{3}{,}{2}\right]{,}{-}\frac{{4}}{{v}{}{u}}\right]{,}\left[\left[{2}{,}{1}{,}{1}{,}{2}\right]{,}{-}\frac{{u}{-}{2}}{{{v}}^{{2}}}\right]{,}\left[\left[{2}{,}{1}{,}{2}{,}{1}\right]{,}\frac{{u}{-}{2}}{{{v}}^{{2}}}\right]{,}\left[\left[{2}{,}{2}{,}{1}{,}{2}\right]{,}{-}\frac{{1}}{{v}}\right]{,}\left[\left[{2}{,}{2}{,}{2}{,}{1}\right]{,}\frac{{1}}{{v}}\right]{,}\left[\left[{2}{,}{3}{,}{1}{,}{2}\right]{,}{-}\frac{{4}{}{w}}{{{v}}^{{2}}{}{u}}\right]{,}\left[\left[{2}{,}{3}{,}{1}{,}{3}\right]{,}\frac{{4}}{{v}{}{u}}\right]{,}\left[\left[{2}{,}{3}{,}{2}{,}{1}\right]{,}\frac{{4}{}{w}}{{{v}}^{{2}}{}{u}}\right]{,}\left[\left[{2}{,}{3}{,}{2}{,}{3}\right]{,}{-}\frac{{6}}{{{v}}^{{2}}}\right]{,}\left[\left[{2}{,}{3}{,}{3}{,}{1}\right]{,}{-}\frac{{4}}{{v}{}{u}}\right]{,}\left[\left[{2}{,}{3}{,}{3}{,}{2}\right]{,}\frac{{6}}{{{v}}^{{2}}}\right]\right]\right]\right)$ (2.14)
 N > $\mathrm{PushPullTensor}\left(\mathrm{Φ1},\mathrm{Ψ1},R\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&minus\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}S$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{2}{,}{1}{,}{2}\right]{,}{-}\frac{{u}}{{{v}}^{{2}}}\right]{,}\left[\left[{1}{,}{2}{,}{2}{,}{1}\right]{,}\frac{{u}}{{{v}}^{{2}}}\right]{,}\left[\left[{1}{,}{3}{,}{1}{,}{2}\right]{,}{-}\frac{{4}{}{w}}{{v}{}{{u}}^{{2}}}\right]{,}\left[\left[{1}{,}{3}{,}{1}{,}{3}\right]{,}\frac{{2}}{{{u}}^{{2}}}\right]{,}\left[\left[{1}{,}{3}{,}{2}{,}{1}\right]{,}\frac{{4}{}{w}}{{v}{}{{u}}^{{2}}}\right]{,}\left[\left[{1}{,}{3}{,}{2}{,}{3}\right]{,}{-}\frac{{4}}{{v}{}{u}}\right]{,}\left[\left[{1}{,}{3}{,}{3}{,}{1}\right]{,}{-}\frac{{2}}{{{u}}^{{2}}}\right]{,}\left[\left[{1}{,}{3}{,}{3}{,}{2}\right]{,}\frac{{4}}{{v}{}{u}}\right]{,}\left[\left[{2}{,}{1}{,}{1}{,}{2}\right]{,}\frac{{u}{-}{2}}{{{v}}^{{2}}}\right]{,}\left[\left[{2}{,}{1}{,}{2}{,}{1}\right]{,}{-}\frac{{u}{-}{2}}{{{v}}^{{2}}}\right]{,}\left[\left[{2}{,}{3}{,}{1}{,}{2}\right]{,}\frac{{4}{}{w}}{{{v}}^{{2}}{}{u}}\right]{,}\left[\left[{2}{,}{3}{,}{1}{,}{3}\right]{,}{-}\frac{{4}}{{v}{}{u}}\right]{,}\left[\left[{2}{,}{3}{,}{2}{,}{1}\right]{,}{-}\frac{{4}{}{w}}{{{v}}^{{2}}{}{u}}\right]{,}\left[\left[{2}{,}{3}{,}{2}{,}{3}\right]{,}\frac{{6}}{{{v}}^{{2}}}\right]{,}\left[\left[{2}{,}{3}{,}{3}{,}{1}\right]{,}\frac{{4}}{{v}{}{u}}\right]{,}\left[\left[{2}{,}{3}{,}{3}{,}{2}\right]{,}{-}\frac{{6}}{{{v}}^{{2}}}\right]\right]\right]\right)$ (2.15)

CASE 5.  If S is a covariant tensor on N, then the second calling sequence to PushPullTensor will generate a covariant tensor field on M.

 N > $S≔\mathrm{evalDG}\left(\mathrm{du}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dw}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{3}\right]{,}{1}\right]\right]\right]\right)$ (2.16)
 N > $\mathrm{PushPullTensor}\left(\mathrm{Φ1},S\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]{,}{y}{}{z}\right]{,}\left[\left[{1}{,}{3}\right]{,}{x}{}{y}\right]{,}\left[\left[{2}{,}{1}\right]{,}{x}{}{z}\right]{,}\left[\left[{2}{,}{3}\right]{,}{{x}}^{{2}}\right]\right]\right]\right)$ (2.17)

Example 2.

In this example, we define a mapping from R^3 to R^4 whose image is the unit sphere S^3 in R^4.  The Pullback of the standard metric on R^4 by this map gives the metric on S^3 in conformal coordinates.

 M > $\mathrm{DGsetup}\left(\left[u,v,w\right],\mathrm{R3}\right):$
 R3 > $\mathrm{DGsetup}\left(\left[\mathrm{x1},\mathrm{x2},\mathrm{x3},\mathrm{x4}\right],\mathrm{R4}\right):$
 R4 > $\mathrm{Φ2}≔\mathrm{Transformation}\left(\mathrm{R3},\mathrm{R4},\left[\mathrm{x2}=\frac{2v}{{v}^{2}+{w}^{2}+1+{u}^{2}},\mathrm{x1}=\frac{2u}{{v}^{2}+{w}^{2}+1+{u}^{2}},\mathrm{x4}=\frac{{u}^{2}+{w}^{2}+{v}^{2}-1}{{v}^{2}+{w}^{2}+1+{u}^{2}},\mathrm{x3}=\frac{2w}{{v}^{2}+{w}^{2}+1+{u}^{2}}\right]\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"transformation"}{,}\left[\left[{\mathrm{R3}}{,}{0}\right]{,}\left[{\mathrm{R4}}{,}{0}\right]\right]{,}\left[{}\right]{,}\left[{\mathrm{Matrix}}{}\left({\mathrm{%id}}{=}{4544847106}\right)\right]\right]{,}\left[\left[\frac{{2}{}{u}}{{{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}}{,}{\mathrm{x1}}\right]{,}\left[\frac{{2}{}{v}}{{{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}}{,}{\mathrm{x2}}\right]{,}\left[\frac{{2}{}{w}}{{{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}}{,}{\mathrm{x3}}\right]{,}\left[\frac{{{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{-}{1}}{{{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}}{,}{\mathrm{x4}}\right]\right]\right]\right)$ (2.18)

We check that the image of Phi2 is the unit sphere in R4.

 R3 > $f≔\mathrm{Pullback}\left(\mathrm{Φ2},{\mathrm{x1}}^{2}+{\mathrm{x2}}^{2}+{\mathrm{x3}}^{2}+{\mathrm{x4}}^{2}\right)$
 $\frac{{4}{}{{u}}^{{2}}}{{\left({{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}\right)}^{{2}}}{+}\frac{{4}{}{{v}}^{{2}}}{{\left({{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}\right)}^{{2}}}{+}\frac{{4}{}{{w}}^{{2}}}{{\left({{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}\right)}^{{2}}}{+}\frac{{\left({{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{-}{1}\right)}^{{2}}}{{\left({{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}\right)}^{{2}}}$ (2.19)
 R3 > $\mathrm{simplify}\left(f\right)$
 ${1}$ (2.20)

We Pullback the standard Euclidean metric on R4 to R3.

 R3 > $g≔\mathrm{evalDG}\left(\mathrm{dx1}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dx1}+\mathrm{dx2}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dx2}+\mathrm{dx3}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dx3}+\mathrm{dx4}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dx4}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{\mathrm{R4}}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{1}\right]{,}\left[\left[{2}{,}{2}\right]{,}{1}\right]{,}\left[\left[{3}{,}{3}\right]{,}{1}\right]{,}\left[\left[{4}{,}{4}\right]{,}{1}\right]\right]\right]\right)$ (2.21)
 R4 > $\mathrm{PushPullTensor}\left(\mathrm{Φ2},g\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{\mathrm{R3}}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}\frac{{4}}{{\left({{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}\right)}^{{2}}}\right]{,}\left[\left[{2}{,}{2}\right]{,}\frac{{4}}{{\left({{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}\right)}^{{2}}}\right]{,}\left[\left[{3}{,}{3}\right]{,}\frac{{4}}{{\left({{u}}^{{2}}{+}{{v}}^{{2}}{+}{{w}}^{{2}}{+}{1}\right)}^{{2}}}\right]\right]\right]\right)$ (2.22)

Example 3.

In this example we return to the manifold M defined in Example 1 and introduce on M a local frame E1, E2, E3 with dual 1-forms Theta1, Theta2, Theta3.

 R3 > $\mathrm{ChangeFrame}\left(M\right)$
 ${\mathrm{R3}}$ (2.23)
 M > $\mathrm{FR}≔\mathrm{FrameData}\left(\left[x\mathrm{D_x}+y\mathrm{D_y},x\mathrm{D_y},y\mathrm{D_z}\right],\mathrm{M1}\right):$
 M > $\mathrm{DGsetup}\left(\mathrm{FR}\right):$

Define the identity transformation from M to M1 and its inverse.

 M1 > $\mathrm{Φ3}≔\mathrm{Transformation}\left(M,\mathrm{M1},\left[x=x,y=y,z=z\right]\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"transformation"}{,}\left[\left[{M}{,}{0}\right]{,}\left[{\mathrm{M1}}{,}{0}\right]\right]{,}\left[{}\right]{,}\left[{\mathrm{Matrix}}{}\left({\mathrm{%id}}{=}{4553395650}\right)\right]\right]{,}\left[\left[{x}{,}{x}\right]{,}\left[{y}{,}{y}\right]{,}\left[{z}{,}{z}\right]\right]\right]\right)$ (2.24)
 M > $\mathrm{Ψ3}≔\mathrm{Transformation}\left(\mathrm{M1},M,\left[x=x,y=y,z=z\right]\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"transformation"}{,}\left[\left[{\mathrm{M1}}{,}{0}\right]{,}\left[{M}{,}{0}\right]\right]{,}\left[{}\right]{,}\left[{\mathrm{Matrix}}{}\left({\mathrm{%id}}{=}{4535464194}\right)\right]\right]{,}\left[\left[{x}{,}{x}\right]{,}\left[{y}{,}{y}\right]{,}\left[{z}{,}{z}\right]\right]\right]\right)$ (2.25)

Write a type (1, 1) tensor given in the coordinate frame in terms of the frame FR and its dual.

 M1 > $\mathrm{PushPullTensor}\left(\mathrm{Φ3},\mathrm{Ψ3},\mathrm{D_x}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dy}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{\mathrm{M1}}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}\frac{{y}}{{x}}\right]{,}\left[\left[{1}{,}{2}\right]{,}{1}\right]{,}\left[\left[{2}{,}{1}\right]{,}{-}\frac{{{y}}^{{2}}}{{{x}}^{{2}}}\right]{,}\left[\left[{2}{,}{2}\right]{,}{-}\frac{{y}}{{x}}\right]\right]\right]\right)$ (2.26)

Write a type (3, 0) tensor given in the frame FR in the coordinate frame.

 M1 > $\mathrm{PushPullTensor}\left(\mathrm{Ψ3},\mathrm{Φ3},\left(\mathrm{E3}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{E2}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{E1}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{3}{,}{2}{,}{1}\right]{,}{{x}}^{{2}}{}{y}\right]{,}\left[\left[{3}{,}{2}{,}{2}\right]{,}{x}{}{{y}}^{{2}}\right]\right]\right]\right)$ (2.27)

Example 4.

Create a pair of rank 2 vector bundles over a common 3 dimension base and define a bundle automorphism.

 M > $\mathrm{DGsetup}\left(\left[x,y,z\right],\left[u,v\right],E\right):$
 E > $\mathrm{DGsetup}\left(\left[x,y,z\right],\left[p,q\right],F\right):$
 F > $\mathrm{Φ4}≔\mathrm{Transformation}\left(E,F,\left[x=x,y=y,z=z,p=xu+yv,q=yu-xv\right]\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"transformation"}{,}\left[\left[{E}{,}{0}\right]{,}\left[{F}{,}{0}\right]\right]{,}\left[{}\right]{,}\left[{\mathrm{Matrix}}{}\left({\mathrm{%id}}{=}{4537407298}\right)\right]\right]{,}\left[\left[{x}{,}{x}\right]{,}\left[{y}{,}{y}\right]{,}\left[{z}{,}{z}\right]{,}\left[{u}{}{x}{+}{v}{}{y}{,}{p}\right]{,}\left[{u}{}{y}{-}{v}{}{x}{,}{q}\right]\right]\right]\right)$ (2.28)
 E > $\mathrm{Ψ4}≔\mathrm{InverseTransformation}\left(\mathrm{Φ4}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"transformation"}{,}\left[\left[{F}{,}{0}\right]{,}\left[{E}{,}{0}\right]\right]{,}\left[{}\right]{,}\left[{\mathrm{Matrix}}{}\left({\mathrm{%id}}{=}{4537408578}\right)\right]\right]{,}\left[\left[{x}{,}{x}\right]{,}\left[{y}{,}{y}\right]{,}\left[{z}{,}{z}\right]{,}\left[\frac{{p}{}{x}{+}{q}{}{y}}{{{x}}^{{2}}{+}{{y}}^{{2}}}{,}{u}\right]{,}\left[{-}\frac{{-}{p}{}{y}{+}{q}{}{x}}{{{x}}^{{2}}{+}{{y}}^{{2}}}{,}{v}\right]\right]\right]\right)$ (2.29)
 F > $\mathrm{PushPullTensor}\left(\mathrm{Φ4},\mathrm{Ψ4},y\mathrm{D_u}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"vector"}{,}{F}{,}\left[{}\right]\right]{,}\left[\left[\left[{4}\right]{,}{x}{}{y}\right]{,}\left[\left[{5}\right]{,}{{y}}^{{2}}\right]\right]\right]\right)$ (2.30)

To pushover a one form on the fibers of E to F, first convert it to a tensor.

 F > $\mathrm{PushPullTensor}\left(\mathrm{Φ4},\mathrm{Ψ4},\mathrm{convert}\left(\mathrm{dv},\mathrm{DGtensor}\right)\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{F}{,}\left[\left[{"cov_vrt"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{4}\right]{,}\frac{{y}}{{{x}}^{{2}}{+}{{y}}^{{2}}}\right]{,}\left[\left[{5}\right]{,}{-}\frac{{x}}{{{x}}^{{2}}{+}{{y}}^{{2}}}\right]\right]\right]\right)$ (2.31)
 F > $\mathrm{ChangeFrame}\left(E\right):$

Transform a connection on E to one on F.

 E > $\mathrm{ConE}≔\mathrm{Connection}\left(\left(\mathrm{D_u}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{du}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&t\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{dx}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"connection"}{,}{E}{,}\left[\left[{"con_vrt"}{,}{"cov_vrt"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{4}{,}{4}{,}{1}\right]{,}{1}\right]\right]\right]\right)$ (2.32)
 E > $\mathrm{ConF}≔\mathrm{PushPullTensor}\left(\mathrm{Φ4},\mathrm{Ψ4},\mathrm{ConE}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"connection"}{,}{F}{,}\left[\left[{"con_vrt"}{,}{"cov_vrt"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{4}{,}{4}{,}{1}\right]{,}\frac{{x}{}\left({x}{-}{1}\right)}{{{x}}^{{2}}{+}{{y}}^{{2}}}\right]{,}\left[\left[{4}{,}{4}{,}{2}\right]{,}{-}\frac{{y}}{{{x}}^{{2}}{+}{{y}}^{{2}}}\right]{,}\left[\left[{4}{,}{5}{,}{1}\right]{,}\frac{{y}{}\left({x}{+}{1}\right)}{{{x}}^{{2}}{+}{{y}}^{{2}}}\right]{,}\left[\left[{4}{,}{5}{,}{2}\right]{,}{-}\frac{{x}}{{{x}}^{{2}}{+}{{y}}^{{2}}}\right]{,}\left[\left[{5}{,}{4}{,}{1}\right]{,}\frac{{y}{}\left({x}{-}{1}\right)}{{{x}}^{{2}}{+}{{y}}^{{2}}}\right]{,}\left[\left[{5}{,}{4}{,}{2}\right]{,}\frac{{x}}{{{x}}^{{2}}{+}{{y}}^{{2}}}\right]{,}\left[\left[{5}{,}{5}{,}{1}\right]{,}{-}\frac{{-}{{y}}^{{2}}{+}{x}}{{{x}}^{{2}}{+}{{y}}^{{2}}}\right]{,}\left[\left[{5}{,}{5}{,}{2}\right]{,}{-}\frac{{y}}{{{x}}^{{2}}}\right]\right]\right]\right)$