The pullback of omega with respect to a transformation Phi: M -> Nis an r-form theta on the manifold M and is denoted by theta = Phi^*(omega).  If p is a point of M and X_1, X_2, ..., X_r are vectors in T_pM, then:

In components, let J be the Jacobian matrix of Phi computed with respect to a system of coordinates x^i on M and y^j on N and evaluated at p.  Let a be the row vector whose entries are the components of a 1-form omega at q = Phi(p), computed with respect to the coordinate basis on N. Then the matrix vector product b = a.J gives the components of theta = Phi^*(omega) with respect to the coordinate basis on M.

From the definition (*), it follows that Phi^* is a homomorphism from the ring of all differential forms on N to the ring of differential forms on M, that is, Phi^*(omega1 + omega2) = Phi^*(omega1) + Phi^*(omega2) and Phi^*(omega1 &w omega2) = Phi^*(omega1) &w Phi^*(omega2) (**) for all forms omega1 and omega2 on N.  Pullback uses property (*), applied to 1-forms, together with (**) to calculate the pullback of an r-form.

The Pullback command can be applied to a list of differential forms.

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

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

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

$\mathrm{p1}≔\left[x=1\,y=2\right]$

$\mathrm{p1}≔\left[x=1\,y=2\right]$

$\mathrm{\Φ1}≔\mathrm{Transformation}\left(M\,N\,\left[u=x+2y\,v=3x+4y\,w=5x+6y\right]\right)$

$\mathrm{\Φ1}≔\left[u=x+2y\,v=3x+4y\,w=5x+6y\right]$

$\mathrm{\ω1}≔v\mathrm{du}+w\mathrm{dv}+u\mathrm{dw}$

$\mathrm{\ω1}≔\mathrm{du}v+\mathrm{dv}w+\mathrm{dw}u$

$\mathrm{\θ1}≔\mathrm{Pullback}\left(\mathrm{\Φ1}\,\mathrm{\ω1}\right)$

$\mathrm{\θ1}≔\left(23x+32y\right)\mathrm{dx}+\left(32x+44y\right)\mathrm{dy}$

$\mathrm{theta1\_at\_p1}≔\mathrm{eval}\left(\mathrm{\θ1}\,\mathrm{p1}\right)$

$\mathrm{theta1\_at\_p1}≔87\mathrm{dx}+120\mathrm{dy}$

$\mathrm{q1}≔\mathrm{ApplyTransformation}\left(\mathrm{\Φ1}\,\mathrm{p1}\right)$

$\mathrm{q1}≔\left[u=5\,v=11\,w=17\right]$

$\mathrm{omega1\_at\_q1}≔\mathrm{eval}\left(\mathrm{\ω1}\,\mathrm{q1}\right)$

$\mathrm{omega1\_at\_q1}≔11\mathrm{du}+17\mathrm{dv}+5\mathrm{dw}$

$a≔\mathrm{Vector}\left[\mathrm{row}\right]\left(\left[11\,17\,5\right]\right)$

$a≔\left[\begin{array}{ccc}11& 17& 5\end{array}\right]$

$J≔\mathrm{Tools}:-\mathrm{DGinfo}\left(\mathrm{\Φ1}\,''JacobianMatrix''\right)$

$J≔\left[\begin{array}{cc}1& 2\\ 3& 4\\ 5& 6\end{array}\right]$

$b≔a·J$

$b≔\left[\begin{array}{cc}87& 120\end{array}\right]$

$\mathrm{Pullback}\left(\mathrm{\Φ1}\,\left[\mathrm{du}\,\mathrm{dv}\right]\right)$

$\left[\mathrm{dx}+2\mathrm{dy}\,3\mathrm{dx}+4\mathrm{dy}\right]$

$\mathrm{DGsetup}\left(\left[x\,y\,z\right]\,\mathrm{E3}\right)\:$$\mathrm{DGsetup}\left(\left[\mathrm{\rho }\,\mathrm{\theta }\,\mathrm{\phi }\right]\,\mathrm{Sp}\right)\:$

$\mathrm{f2}≔x^2+y^2+z^2$

$\mathrm{f2}≔x^2+y^2+z^2$

$\mathrm{\ω2}≔\mathrm{evalDG}\left(z\mathrm{dx}\&w\mathrm{dy}-y\mathrm{dx}\&w\mathrm{dz}+x\mathrm{dy}\&w\mathrm{dz}\right)$

$\mathrm{\ω2}≔z\mathrm{dx}\bigwedge \mathrm{dy}-y\mathrm{dx}\bigwedge \mathrm{dz}+x\mathrm{dy}\bigwedge \mathrm{dz}$

$\mathrm{\Φ2}≔\mathrm{Transformation}\left(\mathrm{Sp}\,\mathrm{E3}\,\left[x=\mathrm{\rho }\cos \left(\mathrm{\theta }\right)\sin \left(\mathrm{\phi }\right)\,y=\mathrm{\rho }\sin \left(\mathrm{\theta }\right)\sin \left(\mathrm{\phi }\right)\,z=\mathrm{\rho }\cos \left(\mathrm{\phi }\right)\right]\right)$

$\mathrm{\Φ2}≔\left[x=\mathrm{\rho }\cos \left(\mathrm{\theta }\right)\sin \left(\mathrm{\phi }\right)\,y=\mathrm{\rho }\sin \left(\mathrm{\theta }\right)\sin \left(\mathrm{\phi }\right)\,z=\mathrm{\rho }\cos \left(\mathrm{\phi }\right)\right]$

$\mathrm{simplify}\left(\mathrm{Pullback}\left(\mathrm{\Φ2}\,\mathrm{f2}\right)\right)$

${\mathrm{\rho }}^2$

$\mathrm{simplify}\left(\mathrm{Pullback}\left(\mathrm{\Φ2}\,\mathrm{\ω2}\right)\right)$

$-{\mathrm{\rho }}^3\sin \left(\mathrm{\phi }\right)\mathrm{d\θ}\bigwedge \mathrm{d\φ}$