5
$\begingroup$

Let $(M,g)$ be an oriented Riemannian surface. Then globally $(M,g)$ has a canonical area-$2$ form $\mathrm{d}M$ defined by $$\mathrm{d}M=\sqrt{|g|} \mathrm{d}u^1 \wedge \mathrm{d}u^2$$ with respect to a positively oriented chart $(u_{\alpha}, M_{\alpha})$ where $|g|=\mathrm{det}(g_{ij})$ is the determinant of the Riemannian metric in the coordinate frame for $u_{\alpha}$.

Let $u^{i}=\Phi^{i}(v^1,v^2)$ be a change of variables (so $\Phi: V \to U$ is the diffeomorphism of the coordinate change). Calculate the effect on $\sqrt{|g|}$ and $\mathrm{d}u^1 \wedge \mathrm{d}u^2$ to prove $\mathrm{d}M$ is independent of the choice of positively oriented coordinates.

Remark: I know $g$ is invariant under an orientation preserving change of variables ($\mathrm{det}(\Phi)>0$), but how to compute explicitly the effect of $\Phi$ on $\mathrm{d}u^1 \wedge \mathrm{d}u^2$? I want to use this as an example to learn the exterior calculus.

  • 1
    "$g$ is invariant" really? Think about that there. Recall that $|g|$ is the determinant of the matrix $(g_{ij})$ as expressed in the coordinate system. How does the matrix change? How then does the determinant change?2012-10-17
  • 0
    In other words, if $u^1 = u^1(v^1, v^2)$, what is $\mathrm{d}u^1$ as a one-form expressed in $v^1, v^2$ coordinates?2012-10-17
  • 0
    I got $\mathrm{d}u^1 \wedge \mathrm{d}u^2=\mathrm{det}(\Phi) \mathrm{d}v^1\wedge\mathrm{d}v^2$. Iknow $g_{ij}=\langle \frac{\partial}{\partial u^i} \frac{\partial}{\partial u^j} \rangle$, also for a surface $f: U \to \mathbb{R}^3$ the components of its first fundamental form $g$ after a change of variables $u=\Phi(v)$ becomes $g'_{ij}(v)=\frac{\partial u^k}{\partial v^i}\frac{\partial u^l}{\partial v^j}g_{kl}(\Phi(v))$. But I don't know how to apply chain rule to the expression $g_{ij}=\langle \frac{\partial}{\partial u^i} \frac{\partial}{\partial u^j} \rangle$ which is not related to any $f$?2012-10-17

1 Answers 1