Help with Differential Forms - self wedge product terms

  • #1
thatboi
121
18
I'm completely new to differential forms so I am having trouble following the arguments from the following post: https://physics.stackexchange.com/q...non-trivial-fiber-bundles-chern-simons-theory
Specifically:
1.) In equation (12) of the accepted answer, where did the self wedge product terms go, i.e. ##F_{D} \wedge F_{D}##?
2.) Similarly, in (18), where did terms like ##A_{S_{1}} \wedge dA_{S_{1}}## go?
3.) What is the intuition behind the last statement: " the contributions from the adjacent parts of the different patches' boundaries cancel each other". How do I see this?

Any help is appreciated.
 
Physics news on Phys.org
  • #2
Wedge is antisymmetric, i.e., ##A \wedge B = -(B \wedge A)##. This implies that ##A \wedge A = -(A \wedge A)=0##.
 
  • #3
Hill said:
Wedge is antisymmetric, i.e., ##A \wedge B = -(B \wedge A)##. This implies that ##A \wedge A = -(A \wedge A)=0##.
I thought this only held for A and B that are odd-number forms.
 
  • #4
##a\wedge a=0## is part of the definition of a Graßmann algebra and ##d\omega \wedge d\omega =0## for differential forms. Note that exterior (Cartan) derivatives have a sign in ##d(\omega_1\wedge \omega_2).## See Cartan derivative in
https://www.physicsforums.com/insig...#C-–-Exterior-Derivative-or-Cartan-Derivative
\begin{align*}
\int_X F\wedge F&=\int_X (F_D+F_{S^2})\wedge (F_D+F_{S^2})\\
&=\int_X\underbrace{F_D\wedge F_D}_{=0}+ \int_X (F_D\wedge F_{S^2}) +\int_X (F_{S^2}\wedge F_D)+ \int_X \underbrace{F_{S^2}\wedge F_{S^2}}_{=0} \\
&=\left(\int_D F_D\right)\cdot \left(\int_{S^2}F_{S^2}\right) +\left(\int_{S^2}F_{S^2}\right)\cdot\left(\int_D F_D\right)\\
&=2\left(\int_D F_D\right)\cdot \left(\int_{S^2}F_{S^2}\right)
\end{align*}
Hence, the question is why ##\int_{D\times S^2} (F_D\wedge F_{S^2}) =\left(\int_D F_D\right)\cdot \left(\int_{S^2}F_{S^2}\right)## where the LHS seems to be oriented and the RHS is not. I assume that ##F_D\wedge F_{S^2}=F_D \times F_{S^2}## for physical reasons but I don't know enough about the field ##F## and the physical background.
 
  • #5
fresh_42 said:
##a\wedge a=0## is part of the definition of a Graßmann algebra and ##d\omega \wedge d\omega =0## for differential forms. Note that exterior (Cartan) derivatives have a sign in ##d(\omega_1\wedge \omega_2).## See Cartan derivative in
https://www.physicsforums.com/insights/pantheon-derivatives-part-iv/#C-–-Exterior-Derivative-or-Cartan-Derivative
\begin{align*}
\int_X F\wedge F&=\int_X (F_D+F_{S^2})\wedge (F_D+F_{S^2})\\
&=\int_X\underbrace{F_D\wedge F_D}_{=0}+ \int_X (F_D\wedge F_{S^2}) +\int_X (F_{S^2}\wedge F_D)+ \int_X \underbrace{F_{S^2}\wedge F_{S^2}}_{=0} \\
&=\left(\int_D F_D\right)\cdot \left(\int_{S^2}F_{S^2}\right) +\left(\int_{S^2}F_{S^2}\right)\cdot\left(\int_D F_D\right)\\
&=2\left(\int_D F_D\right)\cdot \left(\int_{S^2}F_{S^2}\right)
\end{align*}
Hence, the question is why ##\int_{D\times S^2} (F_D\wedge F_{S^2}) =\left(\int_D F_D\right)\cdot \left(\int_{S^2}F_{S^2}\right)## where the LHS seems to be oriented and the RHS is not. I assume that ##F_D\wedge F_{S^2}=F_D \times F_{S^2}## for physical reasons but I don't know enough about the field ##F## and the physical background.
So were you using the fact that ##d\omega \wedge d\omega =0## above? Does this formula hold for any n-form ##\omega##?
 
  • #6
thatboi said:
So were you using the fact that ##d\omega \wedge d\omega =0## above? Does this formula hold for any n-form ##\omega##?
Yes. It is part of the definition of the wedge product.

The Cartan derivative on the other hand is a function of differential forms and can have therefore a different definition that involves signs depending on the rank of the differential forms.

Your question still stands: Why is the integral on the LHS not orientated although the wedge product is? I assume that we have a disc and a separate sphere and the integral over both doesn't distinguish which one is first, i.e. that ##\int_X F_D \wedge F_S^2=\int_{D\times S^2}F_D\times F_{S^2}.##
 
  • #7
fresh_42 said:
Yes. It is part of the definition of the wedge product.

The Cartan derivative on the other hand is a function of differential forms and can have therefore a different definition that involves signs depending on the rank of the differential forms.

Your question still stands: Why is the integral on the LHS not orientated although the wedge product is? I assume that we have a disc and a separate sphere and the integral over both doesn't distinguish which one is first, i.e. that ##\int_X F_D \wedge F_S^2=\int_{D\times S^2}F_D\times F_{S^2}.##
Thanks for the replies. I first want to clarify your point on wedge product vs Cartan derivative. I thought the definition of the wedge product was ##\alpha \wedge \beta = (-1)^{pq} \beta \wedge \alpha## for ##p,q## the degrees of ##\alpha,\beta## respectively. Now ##F## is a 2-form, so shouldn't the product commute?
 
  • #8
Forget all of the above.

I confused myself. We have ##\omega \wedge \omega =0## for differential forms of odd degrees and especially for the underlying vector space. The exterior product is graded, i.e.
$$
\alpha \wedge \beta = (-1)^{\deg \alpha \deg\beta } \beta \wedge \alpha
$$

This explains ...
\begin{align*}
(F_D +F_{S^2})\wedge (F_D +F_{S^2})&= \underbrace{F_D\wedge F_D}_{=0}+(F_D \wedge F_{S^2})+ (F_{S^2} \wedge F_{D})+\underbrace{F_{S^2}\wedge F_{S^2}}_{=0}\\
&=(F_D \wedge F_{S^2})+(-1)^{2\cdot 2}(F_D \wedge F_{S^2})\\
&=2(F_D \wedge F_{S^2})
\end{align*}
... but it leaves me clueless as of why ##\int_X F_D\wedge F_D = \int_X F_{S^2}\wedge F_{S^2}=0.##
 
  • #9
fresh_42 said:
Forget all of the above.

I confused myself. We have ##\omega \wedge \omega =0## for differential forms of odd degrees and especially for the underlying vector space. The exterior product is graded, i.e.
$$
\alpha \wedge \beta = (-1)^{\deg \alpha \deg\beta } \beta \wedge \alpha
$$

This explains ...
\begin{align*}
(F_D +F_{S^2})\wedge (F_D +F_{S^2})&= \underbrace{F_D\wedge F_D}_{=0}+(F_D \wedge F_{S^2})+ (F_{S^2} \wedge F_{D})+\underbrace{F_{S^2}\wedge F_{S^2}}_{=0}\\
&=(F_D \wedge F_{S^2})+(-1)^{2\cdot 2}(F_D \wedge F_{S^2})\\
&=2(F_D \wedge F_{S^2})
\end{align*}
... but it leaves me clueless as of why ##\int_X F_D\wedge F_D = \int_X F_{S^2}\wedge F_{S^2}=0.##
Ah ok, so we have the same question. I'm wondering if it has to do with the fact that we are integrating over ##X##, which is a direct product ##D \times S^{2}## but ##F_{D} \wedge F_{D}## is only defined on ##D## so I was wondering how such an integral would even work/make sense?
 
  • #10
thatboi said:
Ah ok, so we have the same question. I'm wondering if it has to do with the fact that we are integrating over ##X##, which is a direct product ##D \times S^{2}## but ##F_{D} \wedge F_{D}## is only defined on ##D## so I was wondering how such an integral would even work/make sense?
That's a nice idea. We have
$$
\int_X (F_D\wedge F_{S^2})=\int_{D\times S^2} (F_D\wedge F_{S^2})=\int_D F_D \cdot \int_{S^2} F_{S^2}
$$
By that logic, we would get
$$
\int_X (F_D\wedge F_{D})=\int_{D\times S^2} (F_D\wedge F_{D})=\int_D F_D \cdot\int_{S^2} F_{D}=\int_D F_D \cdot 0=0
$$
 
  • #11
fresh_42 said:
That's a nice idea. We have
$$
\int_X (F_D\wedge F_{S^2})=\int_{D\times S^2} (F_D\wedge F_{S^2})=\int_D F_D \cdot \int_{S^2} F_{S^2}
$$
By that logic, we would get
$$
\int_X (F_D\wedge F_{D})=\int_{D\times S^2} (F_D\wedge F_{D})=\int_D F_D \cdot\int_{S^2} F_{D}=\int_D F_D \cdot 0=0
$$
Right, but I'm guessing ##\int_{D \times S^{2}} F_{D} \wedge F_{S^{2}} = \int_{D} F_{D} \cdot \int_{S^{2}}F_{S^{2}}## is not generally a true identity (thus your initial concern)?
 
  • #12
If we consider ##F## as a two-form and ##D## and ##S^2## as vector fields instead of geometric objects, i.e. the geometric object endowed with the field strength ##F## then ##0=F(D,D)=:F_D\wedge F_D## but I'm not sure whether this is a correct point of view.

(If you have Google Chrome installed then you can have a look at
https://de.wikipedia.org/wiki/Differentialform
Chrome allows a translation into English via right-click and the option "Translate to English" which I found easier to read than https://en.wikipedia.org/wiki/Differential_form.)
 
  • Like
Likes thatboi
  • #13
I just had a very brief look, but it appears to me ##F_D## is a 2-form on ##D##, which is 2-dimensional. Therefore ##F_D\wedge F_D## would be a 4-form, but there are no 4-forms on a two-dimensional manifold. As the tangent space is 2-dimensional, there are not enough independent one-forms to create 4-forms.
 
  • Like
Likes thatboi and mathwonk
  • #14
What @Orodruin said is the correct explanation, but I will expand on that, in case you're still confused about this. It is true that on an ##n##-dimensional manifold the wedge product of 2-form is commutative. However, consider the specific case where a 2-form is a product of 2 basis 1-forms(thus being a basis 2-form).
Then you have:
$$\alpha = b^1 \wedge b^2$$
and so
$$\alpha \wedge \alpha = b^1 \wedge b^2 \wedge b^1 \wedge b^2 = 0$$
just by anticommuting the basis 1-forms twice(##b^1 \wedge b^1 = 0##). So in this specific case the product is zero. A general product of 2-forms is a linear combination of such products of basis forms, and such product indeed isn't zero. But a product of two same basis 2-forms constructed in this way is zero.

In your case you're looking at ##F_D## as a 2-form on a 4-dimensional manifold, however this 2-form is defined on a 2-dimensional submanifold ##D##, and because this submanifold is 2-dimensional, it must be proportional to the basis form ##F_D = f(x)\alpha^1 \wedge \alpha^2##, where ##\alpha^i## are basis forms of this submanifold. From what we mentioned above we have to have ##F_D \wedge F_D = 0##. So what is mentioned in the post above is correct, and follows from the fact that you can't have forms of bigger dimension than 2 defined from basis forms of ##D##. So despite looking at ##F_D## as a 2-form on a 4-dimensional manifold, you still know that this form must be proportional to a precise basis 2-form. Same conclusion goes for ##F_{S^2}##. Hope that clears it up.
 
  • Like
Likes thatboi

Similar threads

Replies
13
Views
400
  • Differential Geometry
Replies
4
Views
2K
  • Differential Geometry
Replies
2
Views
2K
Replies
0
Views
422
  • Differential Geometry
Replies
5
Views
2K
  • Differential Geometry
Replies
11
Views
677
  • Differential Geometry
Replies
2
Views
2K
Replies
2
Views
2K
  • Differential Geometry
Replies
5
Views
6K
  • Differential Geometry
Replies
2
Views
1K
Back
Top