Differential Forms Forms Form
Differential Forms Forms Form
Chapter 13
Differential forms
ω (v1 , · · · , vi , · · · , vj , · · · , vp ) = −ω (v1 , · · · , vj , · · · , vi , · · · , vp )
(13.1)
for any pair i, j . 2
A 0-form is defined to be a function, i.e. an element of C (M) , ∞
Similarly, for a p-form ω , the components are ωi1 ···ip , and compo-
nents are multiplied by (−1) whenever any two indices are inter-
changed.
n
It follows that a p-form has independent components in n-
p
dimensions.
Any 1-form produces a function when acting on a vector field. So
given a pair of 1-forms A, B, it is possible to construct a 2-form ω
47
48 Chapter 13. Differential forms
c Amitabha Lahiri: Lecture Notes on Differential Geometry for Physicists 2011
by defining
ω = A ∧ B = −B ∧ A , (13.4)
1
ωij dxi ⊗ dxj − dxj ⊗ dxi (u, v)
ω(u, v) =
2!
1
= ωij ui v j − uj v i = ωij ui v j .
(13.9)
2!
49
c Amitabha Lahiri: Lecture Notes on Differential Geometry for Physicists 2011
2
A 2-form in three dimensions can be written as
1
ω = ωij dxi ∧ dxj
2!
= ω12 dx1 ∧ dx2 + ω23 dx2 ∧ dx3 + ω31 dx3 ∧ dx1 (13.15)
50 Chapter 13. Differential forms
c Amitabha Lahiri: Lecture Notes on Differential Geometry for Physicists 2011
2
In three dimensions, consider two 1-forms α = αi dxi , β = βi dxi .
Then
1
α∧β = (αi βj − αj βi ) dxi ∧ dxj
2!
= αi βj dxi ∧ dxj
= (α1 β2 − α2 β1 ) dx1 ∧ dx2
+ (α2 β3 − α3 β2 ) dx2 ∧ dx3
+ (α3 β1 − α1 β3 ) dx3 ∧ dx1 . (13.16)
The components are like the cross product of vectors in three dimen-
sions. So we can think of the wedge product as a generalization of
the cross product.
• We can also define the wedge product of a p−form α and a
q−form β as a (p + q)−form satisfying, for any p + q vector fields
v1 , · · · , vp+q ,
1 X
α ∧ β (v1 , · · · , vp+q ) = (−1)deg P α ⊗ β (P (v1 , · · · , vp+q )) .
p!q!
P
(13.17)
Here P stands for a permutation of the vector fields, and deg P is 0 or
1 for even and odd permutations, respectively. In the outer product
on the right hand side, α acts on the first p vector fields in a given
permutation P , and β acts on the remaining q vector fields. 2
The wedge product above can also be defined in terms of the
components of α and β in a chart as follows.
1
α= αi ···i dxi1 ∧ · · · ∧ dxip
p! 1 p
1
β = βj ···j dxj1 ∧ · · · ∧ dxjq
q! 1 q
1
αi1 ···ip βj1 ···jq dxi1 ∧ · · · ∧ dxip ∧ dxj1 ∧ · · · ∧ dxjq .
α∧β =
p!q!
(13.18)
Note that α ∧ β = 0 if p + q > n , and that a term in which some i
is equal to some j must vanish because of the antisymmetry of the
wedge product.
a × (b × c) = (a × b) × c . (13.20)
α ∧ β = (−1)pq β ∧ α . (13.21)
α ∧ β = (−1)pq β ∧ α (13.24)
as wanted. 2
• The wedge product defines an algebra on the space of differential
forms. It is called a graded commutative algebra . 2
• Given a vector field v , we can define its contraction with a
p-form by
ιv ω = ω(v, · · · ) (13.25)
with p − 1 empty slots. This is a (p − 1)-form. Note that the position
of v only affects the sign of the contracted form. 2
Example: Consider a 2-form made of the wedge product of two
ϕ∗ (λ ∧ µ) = ϕ∗ λ ∧ ϕ∗ µ
ϕ∗ (dxi ∧ dxj ) = ϕ∗ dxi ∧ ϕdxj . (13.34)
and we can continue this for any number of basis 1-forms. So for any
p-form ω , let us define the pullback ϕ∗ ω by