Understanding Wedge Products in General Relativity

[kyp4]

I am studying general relativity from Sean Carroll's text and I have a simple question about the wedge product. According to the text, the wedge product of two one-forms (dual vectors) is

(A \wedge B)_{\mu\nu} = 2A_{[\mu}B_{\nu]} = A_\mu B_\nu - A_\nu B_\mu

I understand the why the first two expressions are equal given the definition of the wedge product. I also understand that the square brackets in the third second expression denotes antisymmetry and that the two indices can be exchanged at the cost of a minus sign. However, the third expression seems to imply that the antisymmetry of the two indices (perhaps because they belong to two different quantities) really means the expansion given in the third expression. Can anyone clear up what I'm sure is a simple misunderstanding of notation?

Followup question: what is the meaning of, for example in Minkowski spacetime with spherical spatial coordinates, d\theta \wedge d\phi? I know that each of these is a (basis) one-form but I'm not sure how exactly to apply the wedge product to them.

 

[dx]

A_[μB_ν] is defined as (1/2)(A_μB_ν - A_νB_μ)

For n indices, A_[abc...d] = (1/n!)(A_abc...d + ... ).

This is just a matter of convention. If we define antisymmterization without the 1/n! factor, then we also change the definition of the wedge product to make it all work out the same.

 

[kyp4]

Yes, I see that now. Thanks dx! Anyone have any insight as to the meaning of d\theta \wedge d\phi? I guess my confusion is what are the "components" of these basis dual vectors to which to apply the definition of the wedge product?

 

[dx]

In what basis? The components of dφ in the (dθ, dφ) basis are (0, 1).

 

[Ben Niehoff]

d\theta \wedge d\phi is a two-form, which means it is a map T_xM \times T_xM \rightarrow {\mathbb R}, whose action on a pair of vectors u, v is like follows:

(d\theta \wedge d\phi)(u, v) = \det \left| \begin{array}{cc} d\theta(u) & d\phi(u) \\ d\theta(v) & d\phi(v) \end{array} \right| = d\theta(u) \; d\phi(v) - d\theta(v) \; d\phi(u)

That is the meaning of a wedge product.

 

[kyp4]

Yes, I think I see now. The components, in matrix form, of the resulting two-form would then be

<br /> (d\theta \wedge d\phi)_{\mu\nu} = \left[\begin{array}{cccc}<br /> 0 &amp; 0 &amp; 0 &amp; 0\\<br /> 0 &amp; 0 &amp; 0 &amp; 0\\<br /> 0 &amp; 0 &amp; 0 &amp; 1\\<br /> 0 &amp; 0 &amp; -1 &amp; 0<br /> \end{array}\right]<br />

in the dx^\mu \otimes dx^\nu basis in Minkowski spacetime with spherical spatial coordinates.