Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Importance of differential forms is obvious to any geometer and some analysts dealing with manifolds, partly because so many results in modern geometry and related areas cannot even be formulated without them: for example if you want to learn the definition of symplectic manifold, you must first learn what is differential form.

However I have heard another opinion from people with non-geometric background (say, functional analysis, probability) that differential forms are probably used only in problems where they already appear in basic definitions (like symplectic geometry). When I taught an undergraduate course "Analysis on manifold" I had a feeling that my students might have got the same impression at the end: in the second half of the semester I developed calculus of differential forms with rather few concrete applications. Personally I am completely convinced in usefulness of differential forms, but find it not so easy to explain this to people who are not used to them.

I would like to make a list of concrete applications of differential forms. Also it would be interesting to know historical reasons to introduce them. To start the list, below are some examples which come to my mind.

1) The general Stokes formula $\int_M d\omega=\pm \int_{\partial M}\omega$ generalizes all classical formulas of Green, Gauss, Stokes.

2) The Haar measure on a Lie group can be easily constructed as a translation invariant top differential form. (Some experts often prefer to consider this as a special case of a more general and more difficult fact of existence of Haar measure on locally compact groups. In that generality there is no such a simple and relatively explicit description of Haar measure as there is no language similar to differential forms.)

3) The cohomology of the de Rham complex of differential forms on a manifold is canonically isomorphic to singular cohomology (with real coefficients) of the manifold. One use of this isomorphism is that even Betti numbers of a symplectic manifold are non-zero. Another non-trivial use of this fact is the Hodge decomposition of the cohomology (with complex coefficients) of a compact Kahler manifold which makes it, in particular, a bi-graded algebra (rather than just graded) and provides new information on the Betti numbers, say $\beta_{2k+1}$ must be even.

share|improve this question
    
Why is there a $\pm$ in your Stokes' theorem? –  Geoffrey Irving Jul 9 at 18:19
    
@GeoffreyIrving: In different books there are different conventions how to orient the boundary: take either inner or outer normal, add it to either first or last place to get positive basis. –  semyon alesker Jul 10 at 6:31

9 Answers 9

The Maxwell's equations become infinitely more elegant (not to mention explicitly covariant) when stated in the differential form language.

share|improve this answer
1  
As do Einstein's equations of general relativity. –  Lee Mosher Jun 17 at 17:18
3  
@LeeMosher: Right, but that requires a full-blown tensor calculus, not just differential forms. –  Alexander Shamov Jun 17 at 20:50

When I think of differential forms, two remarks from lecturers stick out:

  • “The definition of differential form is: something you can integrate.” (from Joe Harris)
  • “If you think that functions can be integrated in a natural way, then I ask you: What is the integral of the constant function 1 over this blackboard?” (from Alexander Kirillov)

We are using differential forms all the time: when integrating a function over an interval, we are tacitly multiplying that function by $dx$. When computing the flux of a vector field $P \mathbf{i} + Q \mathbf{j} + R \mathbf{k}$ over a surface, we are integrating $P \,dy\wedge dz + Q \,dz\wedge dx + R\, dx\wedge dy$. In a Riemannian manifold the metric determines a volume form, but in local coordinates that form is still a multiple of $dx_1 \wedge \dots \wedge dx_n$.

So I would answer the question with: Differential forms are important because they are a natural way to express and generalize the idea of integration.

share|improve this answer
9  
But as long as you put a metric on the blackboard there shouldn't be a problem. They might just wonder why you would ever do integrals on manifolds without a metric. –  JLA Jun 17 at 18:53
12  
Another thing you can integrate is a measure. So I wouldn't call differential forms "the" natural way to express "the" idea of integration. :) –  Alexander Shamov Jun 17 at 21:05
5  
Actually what you integrate is densities and those just happen to be canonically isomorphic to differential forms if the manifold is orientable. When you want to integrate over non-orientable manifols, then you have to use densities (which also nicely fit together with measures which differential forms don't). @JLA: Don't they already have a metric? At least any student with a ruler should have one. –  Johannes Hahn Jun 17 at 22:53
1  
K must have been saying the numerical result will vary depending on the choice of the metric, inches or cms., i.e., which side of the ruler you choose in America. –  Tom Copeland Jun 17 at 23:27
2  
@MatthewLeingang: I like a lot the slogan "differential form is something you can integrate", and used it in some form in my class. But it is only (the largest) half of the truth: there is much larger class of objects one can integrate over $k$-dimensional oriented submanifolds. Let $M^n$ be the ambient manifold. For any $x\in M$ and any linear $k$-subspace $L\subset T_xM$ choose an element from $\wedge^k L^*$ depending smoothly on $x$ and $L$. Such section can be integrated. Differential forms are special cases of such sections coming from $\wedge^kT_x^*M\to \wedge^k L^*$. –  semyon alesker Jun 18 at 7:06

In Chern-Weil Theorym, characteristic classes appear as certain closed differential forms associated to vector bundles with connections (constructed via the curvature form of the connection).

When you deal with Clifford bundles, e.g. spinors (which are an interesting thing to study from the physics perspective, I hear), there is Getzler's symbol map that sends Clifford elements to differential forms; in this sense, the Clifford Algebra appears as a "quantized version" of the Grassmann Algebra.

When you follow the Heat Kernel Proof of the Atiyah-Singer Index Theorem, differential forms jump out of the semiclassical asymptotics of the heat kernel using Getzler's symbol mapping, and by some miracle, these are exactly the $\hat{A}$ genus and the Chern character, defined by Chern-Weil theory.

share|improve this answer

Recall that the determinant of a matrix $A$ is the volume of the parallelepiped formed using the columns of that matrix. If I have an $n$ manifold and the differential $n$-form $\omega = dx^1 \wedge .. \wedge dx^n$ and feed it $n$ vectors then this gives me $$\omega(v_1,..,v_n) = \det( dx^i(v_j) )$$ This is precisely the volume of the $n$-parallelepiped formed using the $v_i$'s as columns.

Now for a $k$-form on an $n$-manifold, it is a similar idea. If $\eta$ is a $k$-form and we hit it with $k$ vectors, it should give us the volume of a $k$-parallelepiped (the parallelepiped should live in the plane spanned by the vectors fed into the $k$-form). These can be used to determine the the area of $k$ submanifolds. The usual thing we do if we have a submanifold is to use the imbedding map to pull back the volume form to get a $k$-form on the submanifold.

The point of all this is it naturally gives us integration over manifolds. The vectors we choose to feed into the differential form come from the tangent space of the manifold/submanifold. We can gridify the manifold using the homeomorphism and get tangent vectors using the homeomorphism (for smooth manifolds at least) and use the $k$-form we chose to set up integrals and get volumes.

share|improve this answer

Differential forms are used in geometric measure theory to define currents. One use of currents is as a generalization of submanifolds, with better compactness properties. That is, it's easier to show that a subsequence of currents converge to a current. This can give one approach to the minimal surface problem; see this encyclopediaofmath.org article.

Maybe someone else can give some better detail or more uses of currents.

share|improve this answer
    
What do you mean by compactness properties? The Federer-Fleming compactness theorem? If yes, this is indeed very nice example of applications which is broadly used in minimal surfaces, as far as I understand. If not, I would be curious to learn what it is. –  semyon alesker Jun 19 at 3:01

From a more topological viewpoint, I think it is worth reading the famous paper of Dennis Sullivan, Infinitesimal computations in topology (Publications Mathématiques de l'IHES, 1977), in which he builds algebraic models of manifolds from their differential forms. He explains how to construct recursively such models and gives several examples. He obtains from this construction deep results about homotopy types and diffeomorphism types of manifolds.

share|improve this answer

The first sections of Whitney's book on Geometric Integration Theory contain an attempt to motivate the differential forms formalism in low dimensions.

share|improve this answer

Differential forms and exterior derivatives are used in Cartan's moving frame method, which allows one to calculate the curvature and Levi-Civita connection of a Riemannian manifold quite elegantly.

Normally the differential form calculations are shorter and less error prone than if one where to try to use Christoffel symbols.

The method is especially well adapted to cases where it's easy to find a section of the orthonormal frame bundle. Examples include: Conformal metrics (say the Poincaré metric), Thurston's NIL and SOL geometries on $\mathbb{R}^3$, and, more generally, invariant metrics on Lie groups.

share|improve this answer

Implicit but rarely stated above is the whole range of cohomological physics arising from the diff forms appearing in physics so often

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.