Lagmental Vicfred

The Wedge Product Is Alternating Multiplication of Forms by Vicfred

Last updated: Thu 14 September 2023

tags: mathematics, smooth manifolds, tangent spaces, differential forms

Differential forms multiply with a graded sign and vanish when a one-form is repeated. The formulas are more useful when each symbol has a job rather than merely decorating the theorem.

Notation

A smooth \(n\)-manifold is locally modeled on \(\mathbf R^n\) with smooth transition maps. A smooth map \(F:M\to N\) differentiates to linear maps between tangent spaces.

$$ \wedge:\Omega^p(M)\times\Omega^q(M)\to\Omega^{p+q}(M) $$

The first display fixes the mathematical data. I label it \(\mathsf{data}\) mentally, while the next is the \(\mathsf{claim}\); the bridge between them is the displayed \(\Longrightarrow\), not an automatic implication.

$$ \alpha\wedge\beta=(-1)^{pq}\beta\wedge\alpha $$

Stress the formula

Now evaluate one representative case. The result should agree with the structural law above, but it is obtained without assuming the conclusion.

$$ (a\,dx+b\,dy)\wedge(c\,dx+d\,dy)=(ad-bc)\,dx\wedge dy $$

Interpretation

The invariant statement is the one that does not depend on a convenient choice of coordinates, representatives, basis, or enumeration.

$$ \begin{aligned} \mathsf{D}\;&:\quad \wedge:\Omega^p(M)\times\Omega^q(M)\to\Omega^{p+q}(M),\\[5pt] \mathsf{C}\;&:\quad \alpha\wedge\beta=(-1)^{pq}\beta\wedge\alpha. \end{aligned} $$

Limit of the argument

Coordinates are computational tools, not intrinsic data. Tensorial formulas must transform correctly on chart overlaps.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \alpha\wedge\beta=(-1)^{pq}\beta\wedge\alpha \end{gathered}} $$

The final box is a summary, not a new assumption; the proof still lives in the definitions and the intervening calculation. The source keeps each scope delimiter visible for later inspection.

This article was posted on Mon 26 June 2023. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.