Contraction of Curvature 2-Form for Calculating Ricci Tensor and Einstein Tensor

  • Thread starter Oxymoron
  • Start date
In summary, the Ricci scalar is a constant and the Ricci tensor has all the same components, so the Einstein tensor is just c(1-\frac{1}{2}g_{ij}).
  • #1
Oxymoron
870
0
I have

[tex]R^{ij} = c(e^i \wedge e^j)[/tex]

as my curvature 2-form, (and c represents "constant" curvature). I would like to contract to form the Ricci 1-forms, [itex]P_a[/itex], which in turn, would allow me to write out the Ricci tensor as

[tex]\mbox{Ric} = P_a \otimes e^a[/tex]

and eventually, the Einstein tensor.

My question is, how would I go about contracting my 2-form? I think it is fairly easy and I am just missing something. I mean there is a big difference between saying that [itex]R^i{}_i[/itex] is the Ricci 1-form because I contracted the 2-form, [itex]R_{ij}[/itex] and writing down exactly what just happened.
 
Physics news on Phys.org
  • #2
Perhaps all I have to do is take the interior product of the 2-form.

So could I write

[tex]P_a = i(X_i)R^i{}_i = ce^i \wedge e^j \wedge e^i = ce^j[/tex]

So could I say that the contracted 2-form, [itex]R_{ij}[/itex], equals

[tex]P_a = R^i{}_i = ce^j[/itex]

therefore

[tex]\mbox{Ric} = ce^j \wedge e^a[/tex]

Then, the Einstein tensor is

[tex]G_{ij} = R_{ij} - \frac{1}{2}\mbox{Ric}g_{ij}[/tex]
[tex] = ce^i \wedge e^j - \frac{c}{2}e^i \wedge e^j g_{ij}[/tex]
 
Last edited:
  • #3
Oxymoron said:
I have

[tex]R^{ij} = c(e^i \wedge e^j)[/tex]

as my curvature 2-form, (and c represents "constant" curvature). I would like to contract to form the Ricci 1-forms, [itex]P_a[/itex], which in turn, would allow me to write out the Ricci tensor as

[tex]\mbox{Ric} = P_a \otimes e^a[/tex]

and eventually, the Einstein tensor.

My question is, how would I go about contracting my 2-form? I think it is fairly easy and I am just missing something. I mean there is a big difference between saying that [itex]R^i{}_i[/itex] is the Ricci 1-form because I contracted the 2-form, [itex]R_{ij}[/itex] and writing down exactly what just happened.

Just contract one index with something or other.

Your notation seems a bit sloppy to me. For one thing [itex]R^{ij}[/itex] are the components of the Ricci tensor, which are not equal to [itex]c(e^i \wedge e^j)[/itex], but [itex]\mathbf{R}(\vec{e}_i, \vec{e}_j)[/itex], to write the components as a wedge product doesn't make any sense, as components are just numbers. Furthermore the wedge product is anti-symmetric, the Ricci tensor, at least in Riemannian geometry (as opposed to Cartan-Riemann), is symmetric. The wedge product of two basis forms is not the basis for the dual tangent space ([itex]\tilde{e}^i\wedge\tilde{e}^j[/itex]), [itex]\tilde{e}^i[/itex] is. [itex]\tilde{e}^i\wedge\tilde{e}^j[/itex] is a notation used for differential forms, it being shorthand for [itex]\tilde{e}^i\otimes\tilde{e}^j-\tilde{e}^j\otimes\tilde{e}^i[/itex], so that all the components of the form are anti-symmetric.

For example, I can write the exterior derivative of a one-form [itex]\tilde{\omega}[/itex] as

[tex]d\tilde{\omega}=\partial_i\omega_j\tilde{e}^i\wedge\tilde{e}^j[/tex]

But its components are

[tex]\omega_{ij}=\partial_i\omega_j-\partial_j\omega_i[/tex]

Not [itex]\partial_i\omega_j[/itex].

Unless you're using abstract indices or something here, in which case I don't see why you've bothered expanding the tensor into sums over components and basis forms, as the whole point of abstract indices is to remove the inference that tensors are dependant on coordinate frames made by writing [itex]V_j[/itex] etc.

Your outer product also doesn't make any sense. If [itex]P_a[/itex] are the components of your one forms and [itex]\tilde{e}^a[/itex] your dual vector basis, the form is simply [itex]P_a\tilde{e}^a[/itex]. The outer product doesn't come into it; the outer product is a rule for making higher rank tensors from lower rank tensors, such as one-forms and vectors.

If you want to make a one-form from the Ricci tensor [itex]\mathbf{R}[/itex] supply it with a vector argument, that way you're left with one more vector "slot" to fill, making it a one-form: [itex]\mathbf{R}(\vec{e}_i,-)[/itex].

Furthermore [itex]R^i_i[/itex] is a scalar, not a one-form. It's equivalent to [itex]g_{ij}R^{ij}[/itex], the double sum of the components of the Ricci tensor with those of the metric.

If your Ricci scalar is a constant and your Ricci tensor has all the same components, then the Einstein tensor is just [itex]c(1-\frac{1}{2}g_{ij})[/itex]. Don't worry about there being no indices on the one, [itex]g_{ij}[/itex] is just a number as well, and when it comes to actually explicitly computing the ij-th component of the Einstein tensor you won't have indices in there any who. If it bothers you that much, make up your own notation for the matrix with ones in every entry. Though the Ricci tensor components aren't likely to be constant in every coordinate system, so the previous expression isn't the best way of writing it.

I may well be getting confused because of your notation here.
 
Last edited:
  • #4
Wow. Thanks for your reply Perturbation. It sounds like I have a lot of things wrong.

Basically what happened is this: I was given a metric

[tex]g=-\mbox{d}t\otimes\mbox{d}t + f^2\hat{g}[/tex]

where [itex]\hat{g}[/itex] is the metric on some 3-space of constant curvature. and f is a function of t only. an orthonormal coframe:

[tex]e^0 = \mbox{d}t \quad\quad e^i = f\hat{e}_i[/tex]

then I differentiated to get

[tex]\mbox{d}e^i = f^{\prime}e^0 \wedge e^i + f\mbox{d}\hat{e}_i \quad\quad \mbox{d}e^0 = 0[/tex]

where i = 1,2,3

then I calculated the connection 1-forms:

[tex]\omega_{ab} = \hat{\omega}_{ab} + \mbox{some other stuff}[/tex]

[tex]\omega_{0b} = -\omega_{b0} = -\frac{f^{\prime}}{f}\hat{e}^k[/tex]

where k = 1,2,3. Then I got my curvature 2-forms:

[tex]R_{ab} = \mbox{d}\omega_{ab} + \omega_{ak}\wedge\omega^k{}_a + \omega_{a0}\wedge\omega^0{}_a[/tex]

So I differentiated [itex]\omega_{ab}[/itex] and substituted everything and got:

[tex]R_{ab} = \left(\frac{f^{\prime}}{f}\right)^2 e_a \wedge e_b[/tex]

and are you saying that this last equation does not make sense?
 
Last edited:
  • #5
Oxymoron said:
So I differentiated [itex]\omega_{ab}[/itex] and substituted everything and got:

[tex]R_{ab} = \left(\frac{f^{\prime}}{f}\right)^2 e_a \wedge e_b[/tex]

and are you saying that this last equation does not make sense?

I have not checked to see whether I agree with it, but it does make sense. It also sucks notationally :tongue: , and this is causing confusion.

In your equation, the indices label which second rank tensor. In the more standard interpretation of the notation for [itex]R_{ab}[/itex], the indices label which component (with respect to a basis) of *one* particular second rank tensor. This is why, e.g., the curvature 2-forms are denoted by [itex]\theta[/itex] in Frankel, by [itex]\rho[/itex] in Szekeres, and by [itex]\mathcal{R}[/itex] in Misner, Thorne, and Wheeler.

I also have notational problems with [itex]e^i = f\hat{e}_i[/itex] and

[tex]\omega_{0b} = -\omega_{b0} = \frac{f^{\prime}}{f}\hat{e}^k.[/tex]
 
Last edited:

1. How do I contract a 2-form?

Contracting a 2-form involves taking the inner product between the 2-form and a vector. This is also known as the contraction operator, denoted by the symbol "<".

2. What is the purpose of contracting a 2-form?

Contracting a 2-form allows us to reduce the rank of the form, making it easier to work with in calculations. It also gives us a scalar value, which can be useful in certain applications.

3. Can I contract a 2-form with any vector?

No, the vector must be orthogonal to the form in order for the contraction to be defined. This means that the vector must be perpendicular to every vector in the form's basis.

4. How does contracting a 2-form relate to exterior derivatives?

The exterior derivative of a 2-form is a 3-form, but contracting the 2-form with a vector will give us a 1-form. This is because the exterior derivative and contraction operations commute with each other.

5. Are there any common applications for contracting a 2-form?

Contracting a 2-form is commonly used in physics and engineering, particularly in fluid dynamics and electromagnetism. It is also used in differential geometry and calculus of variations.

Similar threads

  • Differential Geometry
Replies
1
Views
1K
Replies
2
Views
2K
  • Special and General Relativity
Replies
10
Views
655
  • Differential Geometry
Replies
6
Views
2K
Replies
3
Views
4K
  • Differential Geometry
Replies
8
Views
2K
  • Differential Geometry
Replies
4
Views
4K
  • Differential Geometry
Replies
8
Views
2K
Replies
4
Views
2K
  • Advanced Physics Homework Help
Replies
3
Views
814
Back
Top