# Weyl Tensor Theorems

Is there any quick way of proving that for a conformal metric of the form:

$$g^{}_{\mu\nu}=\Omega^2\eta^{}_{\mu\nu}$$

where the $$\eta^{}_{\mu\nu}$$ is the usual Minkowski metric, the Weyl tensor vanishes in the whole space? Knowing that its given by:

$$C^{}_{ijkl}=R^{}_{ijkl}-\frac{1}{n-2}(R^{}_{ik}g^{}_{jl}-R^{}_{il}g^{}_{jk}+R^{}_{jl}g^{}_{ik}-R^{}_{jk}g^{}_{il})+\frac{R}{(n-1)(n-2)}(g^{}_{ik}g^{}_{jl}-g^{}_{il}g^{}_{jk})$$

Can this fact help us in proving that any 2D Riemannian manifold is conformally planar? If so, how?

• Can you just use the fact that the Weyl tensor is conformally invariant? – Javier Oct 4 '20 at 0:13
• Actually they asked me to prove that one necessary and suficient condition for the metric to be conformal as above would be for the Weyl tensor to vanish everywhere, so the only quick way i found was to plug the metric in and by index manipulation conclude that all the terms would cancel each other out, Unfortunatly they force me to go this way sorry. – MicrosoftBruh Oct 4 '20 at 9:37

The metrics, $$g_{ab}$$ and $$\bar{g}_{ab}$$ are conformally equivalent if we can write $$\bar{g}_{ab} = \Omega^2g_{ab}\,,$$ where $$\Omega\equiv \Omega(x)$$ is a non-zero differentiable function of the space-time coordinates.

In this case, their Weyl tensors are equivalent, i.e., $$\bar{C}^{a}_{\,\,bcd} = {C}^{a}_{\,\,bcd}$$.

Setting $$g_{ab}$$ equal to the Minkowski space-time metric (the metric of flat space-time in special relativity), $$\eta_{ab}$$, we have that all the components of the Riemann tensor and the Ricci tensor are equal to zero and that the Ricci scalar is zero.

This means that the Weyl tensor for Minkowski space-time vanishes. This follows from the expression of the Weyl tensor in terms of the Riemann tensor, the Ricci tensor, the Ricci scalar and the metric tensor that is given in the opening post. Since

$${C}^{a}_{\,\,bcd} \equiv 0$$

for $$\eta_{ab}$$ it follows that $$\bar{C}^{a}_{\,\,bcd} \equiv 0$$ for $$\bar{g}_{ab}\,.$$

Without doing all the maths that's the shortest proof I can give.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 14, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9672866463661194, "perplexity": 147.98618186096442}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2021-31/segments/1627046154486.47/warc/CC-MAIN-20210803222541-20210804012541-00638.warc.gz"}