Vtgyjfy

I think I understood 1-forms fairly well with the help of these two sources. They are dual to vectors, so they measure them which can be visualized with planes the vectors pierce.

• 
  Gravitation 1973
  


• 
  On the Visualisation of Differential Forms - Dan Piponi
  

But I struggle with the explanations for higher order forms.

The goal is to answer and understand these questions with drawings:

1. How can I visualize the wedge between two 1-forms $alphawedgebeta$?
   I think I understood the wedge between two vectors, as the parallelogram created by the two in a "area sense". The determinant comes in to make it only about the area which is why $vwedge w = frac{1}{2}vwedge 2w$ since stretching the parallelogram by two in the w direction is compensated by squishing it in the v direction, so the area stays constant.
   So the wedge between two vectors is the area it spans with its vectors.
   But how does that translate to the dual space? Where 1-forms measure the length of the component of its dual vector. And can be visualized as planes the vectors pierce through.
   What is the visualization between two of these 1-forms as a wedge?

Gravitation has this picture:

Dan-Piponi drew it like this:

Now these pictures make some sense as they are generated by intersecting the 1-forms. But I am not quite getting how the result is evaluated. The result (2-form) should map two vectors as input to a number. And I don't see how these intersections do that. While for 1-forms you count the numbers of planes a vector pierced.

2. Why does it make sense that $d(dalpha))=0$ for every differential form $alpha$
   


3. What does Dan Piponi mean by saying: "exterior derivative is none other than finding the boundary of the picture" (4 Exterior Derivatives)


4. Understand part 5 about stokes theorem from Dan Piponi's paper

Note: I should maybe add that I have no background in physics, so I didn't understand a lot of the stuff in Gravitation. I just tried to read it after I couldn't quite understand other source since it was cited there.

Similar questions:

• What's the geometrical intuition behind differential forms?


• Geometric understanding of differential forms.


• Visualizing Exterior Derivative

1. How can I visualize the wedge between two 1-forms α∧β?

First we need to understand what the wedge actually does. In your case it creates a new full anti-symmetric tensor (think determinant) of order 2. A 2-form is a thing that take two vectors and return a scalar. If, for example, we plug a vector into a 1-form we get a number. We also know that forms are a multi-linear, therefore we can pull out all the factors and apply the form on each basis-vector individually. So in practice a 1-form just projects a vector and measures the length of that projection. Following this, a 2-form can be visualized as a thing that first take a vector and becomes a 1-form.

But how does that translate to the dual space? What is the visualization between two of these 1-forms as a wedge?

Let's say we are in $Lambda(mathbb{R}^3)$, your 2-vector $a wedge b$ can be thought of as something with the magnitude of the enclosed parallelogram of $a,b$ and an additional other property path orientation. These two properties are computed by the 2-form and return a number. You might get the impression that this looks very similar to integration, and you would be right. The way they scale and how they compute vectors is exactly how integration works.

2. Why does it make sense that $d(dalpha))=0$ for every differential form $alpha$
   

We know that the exterior derivative $d$ take a (n-1)-form to an n-form. Since a form is also full anti-symmetric we combine that with the Schwarz integrability condition, that the second derivatives are symmetric and arrive at statements like div(rot$ a$) $= 0$ or rot(grad $phi$)$ = 0$. This is just the general statement.

3. What does Dan Piponi mean by saying: "exterior derivative is none other than finding the boundary of the picture" (4 Exterior Derivatives)

Let us operate in $Omega (mathbb{R^3})$ and look at the object
begin{eqnarray}
phi &=& x_1+x_2+x_3\
dphi &=& frac{partial phi}{partial x_1}dx^1+frac{partial phi}{partial x_2}dx^2+frac{partial phi}{partial x_3}dx^3\
dphi &=& dx^1+dx^2+dx^3\
end{eqnarray}
Over what boundary do you need to integrate $dphi$ to retrieve the information of $phi$?