What is the formal name of the following object: \begin{align}\tag{4} \Delta^{\alpha \beta} = \dfrac{\partial y^\alpha}{\partial x^m} g^{mn} \dfrac{\partial y^\beta}{\partial x^n} \end{align} where $g^{mn}$ is the inverse of the metric tensor $$ g_{mn} = \dfrac{\partial y^\alpha}{\partial x^m} \dfrac{\partial y_\alpha}{\partial x^n} $$ and $$ \dfrac{\partial y^\alpha}{\partial x^m} $$ is a Jacobian transformation from $x$ to $y$ coordinates. Willie Wong states that its related to the coordinate values of the pushforward of the inverse metric on an embedded manifold, however I am unsure if this is the formal name or not.

  • 2
    $\begingroup$ If $y(x)$ really is just a change of coordinates, then it's just the components of the inverse metric in the coordinate system $y$. $\endgroup$ – Anthony Carapetis Jun 3 '15 at 18:20
  • $\begingroup$ @AnthonyCarapetis Does it change its meaning if the dimension of $y$ is bigger than the dimension of $x$? $\endgroup$ – linuxfreebird Jun 3 '15 at 21:03

If $y : M \to N$ is a map of smooth manifolds, then your coordinate expression for $\Delta$ defines a "tensor field along $y$" known as the pushforward of $g^{-1}$ by $y$, often notated by $y_* g^{-1}$. Thus "pushforward of the inverse metric" is an appropriate name. See e.g. this Wikipedia article for a description of the pushforward of vector fields - the situation here is identical in spirit.

  • $\begingroup$ What is a pushforward? Is that a Jacobian transformation matrix? $\endgroup$ – linuxfreebird Jun 4 '15 at 1:15
  • $\begingroup$ @linuxfreebird: in general it's the idea of taking objects on the domain space and "pushing them on to" the target space using the map $y$ in the most natural way. For tensor fields this means applying the Jacobian to each index. $\endgroup$ – Anthony Carapetis Jun 4 '15 at 9:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.