Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Contracting my 2-form?

  1. Jun 3, 2006 #1
    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 Im 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.
  2. jcsd
  3. Jun 3, 2006 #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]


    [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: Jun 3, 2006
  4. Jun 3, 2006 #3
    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


    But its components are


    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: Jun 4, 2006
  5. Jun 4, 2006 #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: Jun 4, 2006
  6. Jun 4, 2006 #5

    George Jones

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    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: Jun 4, 2006
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook