# Lie derivative of volume form

The volume from on an oriented 4-dimensional (pseudo-) Riemannian manifold $(M,g)$ is given by $$\Omega :=\sqrt{\lvert g\rvert}\,dx^{0}dx^{1}dx^{2}dx^{3}:=\sqrt{\lvert g\rvert}\,d^{4}x$$ where $g=\text{det}(g_{\mu\nu})$ is the determinant of the metric tensor $g_{\mu\nu}$ (apologies for my sloppy physicist notation).

Given a diffeomorphism $\phi:M\rightarrow M$, the volume form $\Omega$ should change by a Lie derivative, i.e. $$\delta\Omega =\mathcal{L}_{X}\Omega$$ where $X$ is the vector field generating the diffeomorphism. Now I know that $$\delta\left(\sqrt{\lvert g\rvert}\right)=\mathcal{L}_{X}\left(\sqrt{\lvert g\rvert}\right) =\frac{1}{2}\sqrt{\lvert g\rvert}g^{\mu\nu}\delta g_{\mu\nu}=\sqrt{\lvert g\rvert}g^{\mu\nu}\nabla_{\mu}X_{\nu}$$ where I have used that $\delta g_{\mu\nu}=\mathcal{L}_{X}g_{\mu\nu}=\nabla_{\mu}X_{\nu}+\nabla_{\nu}X_{\mu}$. And so, so far I have $$\mathcal{L}_{X}\Omega=\mathcal{L}_{X}\left(\sqrt{\lvert g\rvert}\right)d^{4}x+\sqrt{\lvert g\rvert}\,\mathcal{L}_{X}\left(d^{4}x\right)=g^{\mu\nu}\nabla_{\mu}X_{\nu}\,\Omega+\sqrt{\lvert g\rvert}\,\mathcal{L}_{X}\left(d^{4}x\right)$$

However, I'm not sure how $d^{4}x$ transforms, so my question is: what is the Lie derivative of $d^{4}x$? i.e. what is $$\mathcal{L}_{X}\left(d^{4}x\right)\;?$$ I'm a physicist and so my knowledge of differential geometry is not that extensive, any help would be much appreciated.

• Does the identity $\mathcal{L}_X = d\iota_{X} + \iota_{X}d$ help? – Matthew Leingang Dec 14 '17 at 13:53
• I'm not sure your calculation is correct - when you expand $\mathcal L_X \sqrt {|g|},$ I think the derivative acting on $g$ should be $X^\mu \partial_\mu$, not $\mathcal L_X$. The correct end result is well-known: $\mathcal L_X \Omega = \mathrm{div}(X) \Omega = \nabla_\mu X^\mu \Omega.$ – Anthony Carapetis Dec 14 '17 at 14:09
• @MatthewLeingang I've seen this identity (Cartan's identity, right?), but I'm not confident using it - how does one use it in coordinate form? – user35305 Dec 14 '17 at 14:15
• @AnthonyCarapetis I thought it was $\delta\sqrt{\lvert g\rvert}=\frac{1}{2}\frac{1}{\sqrt{\lvert g\rvert}}\frac{\partial\lvert g\rvert}{\partial g_{\mu\nu}}\delta g_{\mu\nu}$? How does one derive the result $\mathcal{L}_{X}\Omega =\nabla_{\mu}X^{\mu}\Omega$? – user35305 Dec 14 '17 at 14:20
• 1. The action of $X$ on $\Omega$ is the infinitesimal action of $\phi_t$, the flow of $X$, at $t=0$. This is different than the action of $\phi$ on $\Omega$ which should be a pull-back. 2. Use Cartan formula. Since $\Omega$ is closed, the Lie derivative of $\Omega$ by $X$ is $d \iota_X \Omega$. This is direct to compute if you know $X$. – NAC Dec 14 '17 at 14:29

Let $X = X^i \partial_i$ be a vector field generating a flow $\phi_t$. Then you can use three methods to compute $\mathcal L_X \Omega$ : $$\mathcal L_X \Omega = \left.\frac{d}{d t}\right|_{t=0} \phi_t^*\Omega$$ or Cartan's magic formula : $$\mathcal L_X \Omega = \iota_X d \Omega + d \iota_X \Omega \\ = d \iota_X \Omega \\ = d(\sqrt{|\det g_{ij}|} \iota_X d^4 x)$$ or even use Leibniz rule then Cartan's formula : $$\mathcal L_X \Omega = \mathcal L_X (\sqrt{|\det g_{ij}|}d^4 x) \\ = \mathcal L_X (\sqrt{|\det g_{ij}|})d^4 x + \sqrt{|\det g_{ij}|}\mathcal L_X (d^4 x) \\ = \left(\iota_X d \sqrt{|\det g_{ij}|}\right)d^4 x + \sqrt{|\det g_{ij}|} d \iota_X \left(d^4 x\right)$$ Those two last methods are equivalent and are direct to compute using $X=X^i \partial_i$. Lets consider the last method. Lets fix $f:=\sqrt{|\det g_{ij}|}$ for clarity. Then : $$\mathcal L_X \Omega = \left(\iota_X d \sqrt{|\det g_{ij}|}\right)d^4 x + \sqrt{|\det g_{ij}|} d \iota_X \left(d^4 x\right) \\ = \left(\iota_X d f\right)d^4 x + f d \iota_X \left(d^4 x\right) \\ = (X^i \partial_i f)d^4 x + f d(X^1 dx^2 \wedge dx^3\wedge dx^4 - ...+... - X^4 dx^1 \wedge dx^2 \wedge dx^3) \\ = (X^i \partial_i f)d^4 x + f (\partial_1 X^1 dx^1 \wedge dx^2 \wedge dx^3\wedge dx^4 + ... + \partial_4 X^4 dx^1 \wedge dx^2 \wedge dx^3\wedge dx^4) \\ = (X^i \partial_i f)d^4 x + f (\partial_i X^i)d^4 x \\ = (X^i \partial_i f)d^4 x + (\partial_i X^i) \Omega \\$$ Now, using derivative formulas on $f$ you can continue from here.
• Thanks for the detailed answer. One question: in the third line, how did you get $\iota_{X}\,d^{4}x=X^{1}dx^{2}\wedge dx^{3}\wedge dx^{4}+\cdots -X^{4}dx^{1}\wedge dx^{2}\wedge dx^{3}$? Is this just the way the interior product is defined? – user35305 Dec 14 '17 at 15:07
• Yes the alternating sign is because of the interior product. Those signs disappear the line after when I move the new $dx^i$ where it belongs to get the order $dx^1 \wedge ... \wedge dx^4$. – NAC Dec 14 '17 at 15:10
{"ft_lang_label":"__label__en","ft_lang_prob":0.65181583,"math_prob":0.99998534,"size":1402,"snap":"2019-35-2019-39","text_gpt3_token_len":527,"char_repetition_ratio":0.1788269,"word_repetition_ratio":0.0,"special_character_ratio":0.3473609,"punctuation_ratio":0.088815786,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000083,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-09-17T14:44:19Z\",\"WARC-Record-ID\":\"<urn:uuid:ef779538-1941-4813-8774-8329af185576>\",\"Content-Length\":\"147642\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:79bca80f-cbf4-4e35-a128-0751c6936b8e>\",\"WARC-Concurrent-To\":\"<urn:uuid:5db76580-2016-4ad7-859f-83cefa2907b0>\",\"WARC-IP-Address\":\"151.101.193.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/2566381/lie-derivative-of-volume-form\",\"WARC-Payload-Digest\":\"sha1:P6J4NYRI3I4QPEAOIVGZWGAAPBJMPO5V\",\"WARC-Block-Digest\":\"sha1:2B5HOWRVKSMD2FZ7JOVJD4MY5365TH32\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-39/CC-MAIN-2019-39_segments_1568514573080.8_warc_CC-MAIN-20190917141045-20190917163045-00403.warc.gz\"}"}