Showing Determinant of Metric Tensor is a Tensor Density

Click For Summary

Discussion Overview

The discussion revolves around demonstrating that the determinant of the metric tensor, denoted as ##g \equiv \det(g_{ij})##, is a tensor density. Participants explore the transformation properties of the metric tensor under a change of basis and the implications for the determinant's behavior in this context.

Discussion Character

  • Exploratory
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • One participant proposes that to show ##g'=\operatorname{sgn}\bigg(\big(\det(C)\big)\bigg)\big(\det(C)\big)^w g## under a change of basis, they need to identify matrix multiplication in the transformation of the metric tensor.
  • Another participant states that in matrix notation, the determinant transforms as ##\mathrm{det} \tilde{g}=\mathrm{det}(C^{\text{T}} g C)=(\mathrm{det} C)^2 \mathrm{det} g##, suggesting that ##g_{\mu \nu}## is a tensor density of weight 2.
  • Several participants mention the cyclic identity of determinants, noting that ##\mathrm{det}(ABC)=\mathrm{det}(BCA)=\mathrm{det}(CAB)## and that ##\mathrm{det}(A^T)=\mathrm{det}(A)##, which may aid in the demonstration.
  • One participant expresses gratitude for the mathematical insights provided, indicating that these were the "tricks" they were looking for.

Areas of Agreement / Disagreement

Participants generally agree on the transformation properties of the determinant of the metric tensor, but there is no explicit consensus on the demonstration itself, as some participants are still exploring the necessary steps.

Contextual Notes

The discussion includes references to linear algebra identities and properties of determinants, which may be relevant for understanding the transformation of the metric tensor, but the application of these properties to the specific problem remains under exploration.

AndersF
Messages
27
Reaction score
4
TL;DR
I'm trying to show that the determinant ##g \equiv \det(g_{ij})## of the metric tensor is a tensor density.
I'm trying to show that the determinant ##g \equiv \det(g_{ij})## of the metric tensor is a tensor density. Therefore, in order to do that, I need to show that the determinant of the metric tensor in the new basis, ##g'##, would be given by

##g'=\operatorname{sgn}\bigg(\big(\det(C)\big)\bigg)\big(\det(C)\big)^wg \quad \quad \quad (1)##

With ##C=(C^a_b)_{n \times n}## the change-of-basis matrix.

I know that the metric tensor transforms under a change of basis in this way

##\tilde{g}_{i j}=C_{i}^{\alpha} C_{j}^{\beta} g_{\alpha \beta} \quad \quad \quad (2)##

I see that if I could identify in this last equation (2) a matrix multiplication, then I could use the properties of the determinants to get something similar to equation (1). But I'm stuck here, since these terms don't have the form of "classical" matrix multiplications, ##P^i_j=M^i_k N^k_j##.

Could somebody give me a hint on how to accomplish this demonstration?
 
Last edited:
Physics news on Phys.org
In matrix notation you can write ##\mathrm{det} \tilde{g}=\mathrm{det}(C^{\text{T}} g C)=(\mathrm{det} C)^2 \mathrm{det} g##. So ##g_{\mu \nu}## is a tensor density of weight 2.
 
  • Like
Likes   Reactions: AndersF
To add: in linear algebra one has the cyclic identity det(ABC)=det(BCA)=det(CAB), and det(A^T)=det(A) ;)

Edit: typo corrected, thnx robphy!
 
Last edited:
  • Like
Likes   Reactions: vanhees71 and AndersF
haushofer said:
To add: in linear algebra one has the cyclic identity det(ABC)=det(BCA)=det(CBA), and det(A^T)=det(A) ;)
Typo: The third expression in this cyclic identity should be det(CAB).
 
  • Like
Likes   Reactions: vanhees71, haushofer and AndersF
vanhees71 said:
In matrix notation you can write ##\mathrm{det} \tilde{g}=\mathrm{det}(C^{\text{T}} g C)=(\mathrm{det} C)^2 \mathrm{det} g##. So ##g_{\mu \nu}## is a tensor density of weight 2.
haushofer said:
To add: in linear algebra one has the cyclic identity det(ABC)=det(BCA)=det(CAB), and det(A^T)=det(A) ;)

Edit: typo corrected, thnx robphy!

Ok, these were just the "tricks" I was looking for, thank you very much!
 
  • Like
Likes   Reactions: vanhees71

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
7
Views
2K
Replies
5
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K