Proving Cartan's Identity: Tips & Hints

  • Thread starter SeReNiTy
  • Start date
  • Tags
    Identity
Hope this helps!In summary, proving Cartan's formula is not difficult, but can become confusing with indices. The formula states that the Lie derivative of a p-form alpha along the flow generated by a vector field X is equal to the anticommutator of the interior product and the exterior derivative. The interior product is a map that takes a vector and a p-form as arguments and outputs a (p-1)-form. To prove the identity, you need to have knowledge of the Lie derivative, interior product, and exterior derivative. By plugging in the definitions and using component notation, you can show that the left and right-hand sides are equal.
  • #1
SeReNiTy
170
0
Hi can someone help me prove this identity? I'm having trouble understand the role of the interior product or more precisely how to calculate with it.

My professor uses the "cut" notation _| but i don't see this in any textbooks. Can someone give me some hints on how to prove the identity?
 
Physics news on Phys.org
  • #2
SeReNiTy said:
Hi can someone help me prove this identity? I'm having trouble understand the role of the interior product or more precisely how to calculate with it.

My professor uses the "cut" notation _| but i don't see this in any textbooks. Can someone give me some hints on how to prove the identity?

There's nothing difficult about proving Cartan's formula, although I admit that it can become a nightmare keeping track of the indices when you deal with a general [itex]p[/itex]-form. For those who aren't aware of what Cartan's formula states, it says that the Lie derivative of a [itex]p[/itex]-form [itex]\alpha[/itex] along the flow generated by a vector field [itex]X[/itex] is equal to the anticommutator of the interior product and the exterior derivative, i.e.,

[tex]\pounds_X\alpha = \{d,\iota_X\}\alpha = d(\iota_X\alpha) + \iota_X(d\alpha)[/tex]

There's really no mystery here: simply plug in the definitions of the exterior derivative, interior product, and Lie derivative, and show that the left-hand and right-hand sides are equal.

In case you're really having problems understanding the interior product, note that it's simply a map which takes a vector and a [itex]p[/itex]-form as arguments and spits out a [itex](p-1)[/itex]-form as an output. That is, the interior product is a map

[tex]\iota:T_xM\times\Lambda^p_x(M)\to\Lambda^{(p-1)}(M),\,\,\,\iota:(X,\alpha)\mapsto\iota_X\alpha.[/tex]

It is defined so that

[tex]\iota_X\alpha(X_{(2)},\ldots,X_{(p)}) \equiv \alpha(X,X_{(2)},\ldots,X_{(p)}).[/itex]

If this doesn't help, could you be a bit more specific about precisely what it is you're having difficulty with?
 
Last edited:
  • #3
My problem was i was trying to define the lie derivative of vector fields in the direction of vector fields ie, [X,Y] = LxY to equal the anticommutator.
 
  • #4
SeReNiTy said:
My problem was i was trying to define the lie derivative of vector fields in the direction of vector fields ie, [X,Y] = LxY to equal the anticommutator.

You can define the Lie derivative of one vector field along the flow generated by another to be equivalent to the Lie bracket. That is, if [itex]X,Y\in\mathfrak{X}(\mathcal{M})[/itex] then

[tex]
\pounds_XY = [X,Y].
[/tex]

However, Cartan's identity doesn't deal with the behaviour of vectors at all - it deals with the behaviour of [itex]p[/itex]-forms. Look, suppose that you have some [itex]p[/itex]-form [itex]\alpha[/itex] and [itex]X\in\mathfrak{X}(\mathcal{M})[/itex]. Then Cartan's identity states that

[tex]
\pounds_X\alpha = \{d,\iota_X\}\alpha.
[/tex]

In order to prove this identity you need to have explicit knowledge of three things: the Lie derivative, the interior product, and the exterior derivative. Suppose that we have a metric on our manifold with an associated covariant derivative operator [itex]\nabla[/itex]. Then recall that, in component notation, the Lie derivative of [itex]\alpha[/itex] along the flow generated by [itex]X[/itex] is

[tex]
(\pounds_X\alpha)_{i_1i_2\ldots i_p} = X^m\nabla_m \alpha_{i_1i_2\ldots i_p} +\sum_{\mu=1}^p\alpha_{i_1\ldots i_{\mu-1}mi_{\mu+1}\ldots i_p}\nabla_{i_\mu}X^m
[/tex]

(This is a standard identity for the Lie derivative - you should memorise not only this but also the more general expressions for the Lie derivative of a tensor of type [itex](r,s)[/itex] along a vector field, and a weight-[itex]w[/itex] tensor density of type [itex](r,s)[/itex] along a vector field.) The above equation gives you the left-hand side of Cartan's identity. Now focus on the right-hand side. Recall that the interior product has components

[tex]
(\iota_X\alpha)_{i_2\ldots i_p} = \frac{1}{p}X^{i_1}\alpha_{i_1i_2\ldots i_p}.
[/tex]

If you take the exterior derivative of this you should then have an expression for the components of [itex]d(\iota_X\alpha)[/itex]. Now reverse the process so that you obtain an expression for the components of [itex]\iota_X(d\alpha)[/itex]. Add them together to show that

[tex]
(d(\iota_X\alpha))_{i_1\ldots i_p} + (\iota_X(d\alpha))_{i_1\ldots i_p} = (\pounds_X\alpha)_{i_1\ldots i_p}.
[/tex]

You've then proved that Cartan's identity holds for a general [itex]p[/itex]-form.
 

1. What is Cartan's Identity?

Cartan's Identity is a mathematical equation that relates the Lie bracket of two vector fields to the Lie bracket of their commutators.

2. Why is Cartan's Identity important?

Cartan's Identity is important because it is a fundamental tool in the theory of Lie algebras, which has applications in many areas of mathematics and physics.

3. How can I prove Cartan's Identity?

Proving Cartan's Identity requires a good understanding of Lie algebras and their properties. It is also helpful to have knowledge of the Jacobi identity and the properties of Lie brackets.

4. What are some tips for proving Cartan's Identity?

Some tips for proving Cartan's Identity include using the definition of the Lie bracket, manipulating the terms using the Jacobi identity, and breaking down the proof into smaller steps.

5. Are there any common mistakes to avoid when proving Cartan's Identity?

One common mistake to avoid when proving Cartan's Identity is assuming that the Lie bracket is commutative. Another mistake is not keeping track of the signs of the terms in the proof. It is also important to check that the vector fields used in the proof satisfy the necessary conditions for Cartan's Identity to hold.

Similar threads

Replies
4
Views
873
  • Precalculus Mathematics Homework Help
2
Replies
57
Views
3K
  • Calculus and Beyond Homework Help
Replies
16
Views
3K
  • Linear and Abstract Algebra
Replies
4
Views
2K
  • General Math
Replies
1
Views
707
  • Differential Geometry
Replies
1
Views
2K
  • Quantum Physics
Replies
5
Views
1K
  • Classical Physics
Replies
1
Views
768
Replies
8
Views
2K
Back
Top