Let $M$ be an $n$-dimensional smooth manifold equipped with a volume form $\omega$ , and let $\omega_0:=dx_1\wedge …\wedge dx_n$ be the standard volume form on $\mathbb R^n$ , then is it true that for every $a \in M$ , there exists an open set $U$ containing $a$ in $M$ and a diffeomorphism $g:U \to \mathbb R^n$ such that $\omega = g^*\omega_0$ ?
[Math] Any volume form on a smooth $n$-dimensional manifold is locally a pullback of the standard volume form $dx_1\wedge …\wedge dx_n$ on $\mathbb R^n$
differential-formsdifferential-geometrypullbacksmooth-manifolds
Best Answer
The following is a variation of Pedro's answer (which doesn't work in my opinion, as explained in Ted's comment).
Take a coordinate chart around $a$ and write $\omega=fdx^1\wedge\ldots\wedge dx^n$. Try new coordinates as follows: $y_1=gx_1,y_2=x_2,\ldots,y_n=x_n$, where $g$ is some smooth function. Then$$\begin{align}dy^1&=\left(\frac{\partial g}{\partial x^1}x_1+g\right)dx^1+\frac{\partial(gx_1)}{\partial x^2}dx^2+\ldots+\frac{\partial(gx_1)}{\partial x^n}dx^n,\end{align}$$and so,$$\begin{align}dy^1\wedge\ldots\wedge dy^n=\left(\frac{\partial g}{\partial x^1}x_1+g\right)dx^1\wedge\ldots\wedge dx^n.\end{align}$$Hence, in order for the $y$'s to be good coordinates, we need to solve $$\frac{\partial g}{\partial x^1}x_1+g=f.$$ For convenience, we may assume that $x_1$ does not vanish, and then the above first order linear equation is easy to solve.
Edit: In second thought, the computation is even easier when guessing a coordinate change of the form $y_1=g,y_2=x_2,\ldots,y_n=x_n$, where $g$ is a smooth function (here, $g$ replaces $gx_1$). Now we have $$dy^1\wedge\ldots\wedge dy^n=dg\wedge dx^2\wedge\ldots\wedge dx^n=\frac{\partial g}{\partial x^1}dx^1\wedge\ldots\wedge dx^n,$$and so, the function $g$ only has to satisfy $\frac{\partial g}{\partial x^1}=f.$