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

Covariant and exterior derivatives

  1. Aug 23, 2010 #1
    Reading Roger Penrose's The Road to Reality, I wondered what is the relationship/difference between these? Can one be expressed simply in terms of the other? The exterior derivative seems to be only defined for form fields. He says the covariant derivative of a scalar field (0-form field) is the same as its exterior derivative. Is this the case for higher dimensional forms, or can the covariant derivative of a form field be different from its exterior derivative? The rules Penrose gives for them look different on some points, but are there differences that aren't accounted for by the antisymmetric property of forms? In the following, alpha and beta are tensors, phi a scalar.

    *

    Covariant derivative:

    [tex](1)\enspace \nabla (\alpha + \beta)=\nabla \alpha + \nabla \beta[/tex]

    [tex](2)\enspace \nabla (\alpha \cdot \beta)= (\nabla \alpha) \cdot \beta + \alpha \cdot (\nabla \beta)[/tex]

    [tex](3)\enspace \nabla \phi = \mathrm{d}\phi=\frac{\partial \phi}{\partial x^i} \mathrm{d}x^i[/tex]

    (The dot in (2) stands for a contraction of some number of pairs of indices, including possibly a contraction of no indices, i.e. a tensor product.)

    *

    Exterior derivative:

    [tex](1)\enspace \mathrm{d}(\alpha + \beta)=\mathrm{d} \alpha + \mathrm{d} \beta[/tex]

    [tex](2)\enspace \mathrm{d}(\alpha \wedge \beta)=\mathrm{d} \alpha \wedge \beta + (-1)^p \, \alpha \wedge \mathrm{d} \beta[/tex]

    [tex](3)\enspace \mathrm{d}(\mathrm{d} \alpha)=0[/tex]

    *

    I guess one difference would be that in general [itex]\nabla (\nabla \phi) \neq 0 = \mathrm{d}(\mathrm{d}\phi)[/itex].
     
    Last edited: Aug 24, 2010
  2. jcsd
  3. Aug 24, 2010 #2

    haushofer

    User Avatar
    Science Advisor

    The exterior derivative sends p-forms to (p+1)-forms, the covariant derivative sends (p,q)-tensors to (p+1,q)-tensors (the p here gives the "number of covariant indices"). For symmetric connections, so no torsion, one can replace the partial derivative in the exterior derivative with a covariant one.

    Besides this I'm not aware of any relationship between them.
     
  4. Aug 24, 2010 #3
    To take the example of a 1-form, is this right?

    [tex]\mathrm{d}(f_k \mathrm{d}x^k) = \frac{\partial f_k}{\partial x^j} \mathrm{d}x^j \mathrm{d}x^k=\nabla(f_k)\mathrm{d}x^k[/tex]

    Then the covariant derivative replaces the partial derivatives and corresponding basis 1-forms (rather than just the partial derivatives), or, to put it another way, the exterior derivative would have the same effect as the covariant derivative if the latter was restricted to operate only on the coordinates of the 1-form but not the basis 1-forms. Whereas the true covariant derivative of the 1-form would be

    [tex]\nabla(f_k\mathrm{d}x^k)=\nabla (f_k) \mathrm{d}x^k+f_k \nabla(\mathrm{d}x^k)[/tex]

    [tex]=\frac{\partial f_k}{\partial x^j}\mathrm{d}x^j\mathrm{d}x^k+f_k \frac{\partial (\mathrm{d}x^k)}{\partial x^j} \mathrm{d}x^j\mathrm{d}x^k[/tex]

    with an extra term dependent on how the basis field is changing.
     
  5. Aug 26, 2010 #4
    In his diagram notation, Penrose denotes the covariant derivative with a circle around a tensor and with "connector string" dangling down from the circle. Does anyone know what his notation for the exterior derivative is in this system?
     
  6. Aug 26, 2010 #5
    Covariant derivative is a very general concept. In general it operates on "sections of fibre bundles" endowed with connections (infinitesimal parallel transport law). Here, for Penrose, it can operate on tensor fields. Differential forms are particular cases of tensor fields. One way to see that acting on forms it reduces to exterior derivative is to take a general expression for a covariant derivative of a tensor field with a bunch of covariant and contravariant indices and amuse yourself finding that for forms (antisymmetric covariant tensors) all extra terms cancel. But this happens only with so called Levi-Civita connection in Riemannian geometry. If there is torsion present, than it is not true. Penrose did not mention it.
     
    Last edited: Aug 26, 2010
  7. Aug 26, 2010 #6

    lavinia

    User Avatar
    Science Advisor

    I think that covariant derivatives are along curves. exterior derivatives are not.

    Also I think that exterior derivative is only defined in the tangent bundle whereas connections can be defined on any vector bundle.
     
    Last edited: Aug 26, 2010
  8. Aug 26, 2010 #7
    You are right. However if you have covariant derivatives, you can use them in such a way that that they map p-forms into (p+1)-forms. For instance, for one form [tex]\omega_{\mu}[/tex]

    [tex]\nabla_{\mu}\omega_{\nu}-\nabla_{\nu}\omega_{\mu}=(d\omega)_{\mu\nu}[/tex]

    And yes, covariant derivatives are for general vector bundles. You also have exterior covariant derivatives for vector-valued forms. For scalar-valued forms they coincide with simple exterior derivatives.


    P.S. I do not know how to use tex on this forum. What is the format? Where it is explained? I need to learn it! ... OK. I got it.
     
    Last edited: Aug 26, 2010
  9. Aug 26, 2010 #8
    In this book, Penrose treats the word connection as a synonym of covariant derivative. Is that how you understand it?

    I tried it with a 1-form. Let

    [tex]\pmb{\omega}=\omega \, \mathrm{d}x^\mu[/tex]

    Then

    [tex]\mathrm{d}\pmb{\omega} = \left ( \frac{\partial \omega_\mu}{\partial x^\nu}\mathrm{d}x^\nu \right ) \wedge \mathrm{d}x^\mu = \frac{\partial \omega_\mu}{\partial x^\nu}\mathrm{d}x^\nu \wedge \mathrm{d}x^\mu[/tex]

    Is that right? For the covariant derivative, I get

    [tex]\nabla \pmb{\omega} = \nabla (\omega_\mu) \, \mathrm{d}x^\mu + \omega_\mu \nabla (\mathrm{d}x^\mu)[/tex]

    [tex]= \frac{\partial \omega_\mu}{\partial x^\nu}\mathrm{d}x^\nu \wedge \mathrm{d}x^\mu + \omega_\mu \nabla (\mathrm{d}x^\mu)[/tex]

    where the final term would vanish iff the coordinate basis 1-form field, and hence the coordinate basis tangent vector field, was constant. Now, I'm unsure how to interpret this. On the one hand, there is a difference, and the we can't expect the basis to be constant. On the other hand, the difference seems to be coordinate dependent, but I thought these derivatives were supposed to be independent of coordinates, which makes me think I've made a mistake, or else the final term in the last equation really does reduce to zero in general. If so, how can we tell?

    [tex]\omega_\mu \nabla (\mathrm{d}x^\mu) = \omega_\mu \frac{\partial (\mathrm{d}x^\mu)}{\partial x^\kappa} \mathrm{d}x^\kappa = ... ?[/tex]

    Well, the partial should be 0 wrt every coordinate not equal to mu, and if it was a tangent vector would it be of unit magnitude tangent to the coordinate curve [itex]x^\mu[/itex]. So maybe it's something analogous to that. And scaled by [itex]\omega_\mu[/itex]. I don't know.
     
  10. Aug 26, 2010 #9

    lavinia

    User Avatar
    Science Advisor

    But this works only on the tangent bundle since exterior derivative is not defined on an arbitrary vector bundle?

    Also is this formula is correct for an arbitrary connection, no restrictions?
     
  11. Aug 26, 2010 #10
    My (extremely shaky) understanding was that the covariant derivative turns any (p,q) tensor field into a (p,q+1) tensor field. If you then specify a curve, you can contract [itex]\nabla (T)[/itex] with a tangent vector tangent to the curve at any point. And the exterior derivative acts on a q-form field (field of antisymmetric tensors of valence (0,q) to give a (q+1)-form field. So the exterior derivative is defined on the cotangent bundle, and various other bundles that I don't have the terminology for yet, but--if I've got this right--not on the tangent bundle. I was wondering whether the covariant derivative of a q-form field would ever or always be the same as its exterior derivative.
     
  12. Aug 26, 2010 #11
    First of all, a connection (sometimes called 'affine connection') on the tangent bundle (for vector fields) determines naturally, by demanding the Leibniz rule to hold, a connection, and thus a covariant derivative, for all tensors. Differential forms can be considered as a special case of tensors (totally antisymmetric covariant). Therefore you can take a covariant derivative of a differential form. This will not be a differential form, it will be a covariant tensor, alright, but not totally antisymmetric. But then you can antisymmetrize it (sum over all permutations of indices with proper factors). You will get a differential form this way. If the connection has no torsion, then the result coincides with exterior derivative.

    That is the idea.
     
  13. Aug 26, 2010 #12

    lavinia

    User Avatar
    Science Advisor

    So this only makes sense for special connections - and only on the tangent bundle.
     
  14. Aug 26, 2010 #13
    (Assuming no torsion...)

    Ah, great. If I've understood correctly, this answers my other question too, about Penrose's diagram notation. I guess another way of writing it would be:

    [tex]2\nabla_{[\mu} \omega_{\nu]} = (\mathrm{d}\omega)_{\mu\nu}[/tex]

    from which we can generalise to any number of indices:

    [tex]k! \, \nabla_{[\mu_1} \omega_{\mu_2...\mu_k]} = (\mathrm{d}\omega)_{\mu_1...\mu_k}[/tex]
     
    Last edited: Aug 26, 2010
  15. Aug 26, 2010 #14
    Right. But be very careful. In mathematical literature you will find two different conventions for the exterior derivative. For instance in your first equation you have factor 2. In some textbooks you will find it lacking!

    For instance here is an extract from Kobayashi-Nomizu, Foundations of Differential Geometry, Vol. I p. 149

    Kobayashi%20Ip49.jpg
     
    Last edited: Aug 26, 2010
  16. Aug 26, 2010 #15
    Thanks, arkajad. What, only two different conventions? That's spectacularly consistent for mathematical literature ;-)
     
  17. Aug 28, 2010 #16
    Ivan Avramidi defines the exterior derivative [itex]\mathrm{d}\alpha[/itex] of a p-form [itex]\alpha[/itex] by its components thus:

    [tex](\mathrm{d}\alpha)_{\mu_1...\mu_{p+1}} = (p + 1) \partial_{[\mu_1}\alpha_{\mu_2...\mu_{p+1}]}[/tex]

    Why is there no term due to variation of the basis forms? (Do these notes implicitly assume a constant basis field, and could that be the reason? I'm thinking of his statement: "The Euclidean metric is given just by the Kronecker delta symbol," which is only true in constant orthonormal coordinates.)

    Why is the coefficient before the partial sign neither [itex](p + 1)![/itex], in agreement with the one convention, nor [itex]1[/itex], in agreement with the other? (Is this a typo, a third convention, or only apparently different from the definitions in posts #13 and #14?)
     
    Last edited: Aug 28, 2010
  18. Aug 28, 2010 #17
    The formula expresses exterior derivatives in terms of components. Try to derive it yourself and you will know the answer for your both questions. If you get stuck at some point - ask for help. But first try.
     
  19. Aug 28, 2010 #18
    Derive Avramidi's definition from one of these?

    [tex](\mathrm{d}\alpha)_{\mu_1...\mu_{p+1}}=\frac{1}{p+1!} \epsilon^{\mu_1...\mu_{p+1}} \nabla_{\mu_1} \alpha_{\mu_2...\mu_{p+1}}[/tex]

    or

    [tex](\mathrm{d}\alpha)_{\mu_1...\mu_{p+1}}=\epsilon^{\mu_1...\mu_{p+1}} \nabla_{\mu_1} \alpha_{\mu_2...\mu_{p+1}}[/tex]

    where the latter, for example, is

    [tex]\epsilon^{\mu_1...\mu_{p+1}} (\partial_{\mu_1} \alpha_{\mu_2...\mu_{p+1}} +(\alpha_{\mu_2...\mu_{p+1}} \nabla(\mathrm{d}x^{\mu_{2}}\otimes...\otimes \mathrm{d}x^{\mu_{p+1}}))_{\mu_1...\mu_{p+1}})[/tex]

    To get further, I probably need to read up more about the covariant derivative and how to calculate Cristoffel symbols. My one previous attempt at that I got about half of the coefficients right (a draw!), so that's something I need to sort out anyway. My first priority though has been to get some of these definitions straight, and then move on to computations and what can be derived from the definitions. It certainly helps to know what various conventions there are, so that I'm not reading a bit of one author's definition, half understanding it, and trying to supplement my half-understanding with another author's conflicting definition.


    Question 2. Looking at Avramidi's,

    [tex](\mathrm{d}\alpha)_{\mu_1...\mu_{p+1}}=\frac{p+1}{(p+1)!} \epsilon^{\mu_1...\mu_{p+1}} \partial_{\mu_1} \alpha_{\mu_2...\mu_{p+1}}[/tex]

    [tex]=(\mathrm{d}\alpha)_{\mu_1...\mu_{p+1}}=\frac{1}{p!} \epsilon^{\mu_1...\mu_{p+1}} \partial_{\mu_1} \alpha_{\mu_2...\mu_{p+1}}[/tex]

    it seems that either [itex]\epsilon^{\mu_1...\mu_{p+1}} (\alpha_{\mu_2...\mu_{p+1}} \nabla(\mathrm{d}x^{\mu_{2}}\otimes...\otimes \mathrm{d}x^{\mu_{p+1}}))_{\mu_1...\mu_{p+1}})=0[/itex] (either because a constant frame has been implicitly assumed, or in general, perhaps by some symmetry involving the permutation symbol or some symmetry between the components of alpha and the covariant derivative of the basis p-forms, or for some other reason) and he's using a third convention where, instead of 1 or (p+1)!, he inserts a coefficient of (p+1), or [itex]\epsilon^{\mu_1...\mu_{p+1}} (\alpha_{\mu_2...\mu_{p+1}} \nabla(\mathrm{d}x^{\mu_{2}}\otimes...\otimes \mathrm{d}x^{\mu_{p+1}}))_{\mu_1...\mu_{p+1}})[/itex] always has a value such that the whole expression on the right hand side of one or other of the first two equations in this post is equal to the right hand side of his eq. (57) defining the exterior derivative.
     
  20. Aug 29, 2010 #19
    I see your problems. Look at that (taken from Penrose):

    penrose_p232.jpg

    Now, when Penrose writes "Some people", it may well mean "most people". So, please, tell me whether you want to learn using the convention of Roger Penrose, or the convention of "some people". Or, perhaps, you want to learn both. Mixing two different conventions will necessarily lead to confusion. If not today, then tomorrow or after-tomorrow.
     
  21. Aug 29, 2010 #20
    I'd like to learn both. If it helps to pick one convention to concentrate on begin with, I'd pick what most people use. When I see an expression in which Penrose has used an "is proportional to" sign, I'd like to know where most people would put the 1/p! to make it an equality.

    Avramidi has the coefficient 1/p! in his definition of antisymmetrisation, eq. (20), where p is the number of arguments (indices) of the tensor being antisymmetrised. In the first part of eq. (57), which gives a component expression for the exterior derivative, the square brackets indicate antisymmetrisation, which for him here must include the coefficient 1/((p+1)!), since the number of arguments of the tensor being antisymmetrised is p+1. But unless I'm mistaken, he also, as well as antisymmetrising, multiplies the whole expression by p+1. Does this account for the missing term (due to variation of the basis with respect to position), making connection equal to coordinate connection:

    [tex]\nabla_{[\mu_1} \alpha_{\mu_2...\mu_{p+1}]}=(p+1)\partial_{[\mu_1} \alpha_{\mu_2...\mu_{p+1}]} \enspace ??[/tex]

    If so, how, and is that a further difference between Avramidi's convention and Penrose's, besides the difference you highlighted?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Covariant and exterior derivatives
  1. Exterior derivative (Replies: 6)

  2. Exterior derivative (Replies: 5)

Loading...