I’m continuing my series of articles for the Princeton Companion to Mathematics through the holiday season with my article on “Differential forms and integration“. This is my attempt to explain the concept of a differential form in differential geometry and several variable calculus; which I view as an extension of the concept of the signed integral in single variable calculus. I briefly touch on the important concept of de Rham cohomology, but mostly I stick to fundamentals.
I would also like to highlight Doron Zeilberger‘s PCM article “Enumerative and Algebraic combinatorics“. This article describes the art of how to usefully count the number of objects of a given type exactly; this subject has a rather algebraic flavour to it, in contrast with asymptotic combinatorics, which is more concerned with computing the order of magnitude of number of objects in a class. The two subjects complement each other; for instance, in my own work, I have found enumerative and other algebraic methods tend to be useful for controlling “main terms” in a given expression, while asymptotic and other analytic methods tend to be good at controlling “error terms”.
23 comments
Comments feed for this article
26 December, 2007 at 6:09 am
Frank Morgan
DIFFERENTIAL FORMS. Geometric measure theory has a more direct and general definition of the integral of a differential form, which requires no parametrization and applies to any kD rectifiable subset of R^n. It uses kD Hausdorff measure (which can be defined in one line) and the fact that a kD rectifiable set has an (approximate) tangent plane at almost every point. Namely, apply the differential form to the tangent plane and integrate with respect to Hausdorff measure. This definition is also more clearly related to the unsigned definite integral.
26 December, 2007 at 11:53 am
finelli
I think I spotted a typo in the paper http://www.math.ucla.edu/~tao/preprints/forms.pdf
If I am not mistaken, on page 5 it should read
$f(x+v) \approx f(x) + df_x(v)$ and consequently the equation just below.
Thank you for your wonderful papers !
26 December, 2007 at 6:44 pm
Terence Tao
Dear finelli: Thanks for the correction!
Dear Frank: Thanks for the comment! It appears to me that one also needs to specify an orientation on each tangent plane in order to define the integral of a form properly (and in case the subset is a non-orientable manifold, this orientation will necessarily be discontinuous) but still, the point that the signed definite integral (i.e. integration of forms) can be represented in terms of the unsigned one (integration against a measure) is a valid one. Which notion of integral is “better” probably depends on what type of mathematics one is doing, though. For geometric measure theory, integration against a measure is much more important than integration on forms (as term “measure” in “geometric measure theory” already suggests); but for differential topology, for instance, the reverse would be true.
26 December, 2007 at 9:35 pm
Anonymous
This was a very nice little article. I am a second year graduate student and I am planning to study Geometry and I find that differential forms, among my fellows students as well, are very difficult objects to understand well. Even after doing many textbook problems and computations, I often find myself discovering “simple” features that had eluded me in the past. I think the difficulty lies in the variety of ways in which they can be described; certainly being told they’re sections of the exterior algebra of the cotangent bundle is probably the least illuminating for most first year graduate students. I especially liked the intuitive description of them as “infinitesimal” multi-linear maps, which would fall under the category of “simple” feature I mentioned earlier. Nevertheless, thanks for this addition. I am always excited to hear intuitive surveys of topics that are all too often immediately treated with a “cold” formalism and are thus abstruse even to students that might pretend to understand them.
27 December, 2007 at 2:37 am
Michael Kinyon
Terry:
There are various books out there (Edwards, Flanders, Bressoud, etc.) which use differential forms, but the whole idea finally clicked for me when I found the marvelous “Applied Differential Geometry” by the late William L. Burke. It’s certainly not the book one should look to for formalities, but it has the best pictures around. Please have a look at it if you haven’t already done so.
27 December, 2007 at 4:33 am
Frank Morgan
GEOMETRIC MEASURE THEORY. Differential forms are actually fundamental to geometric measure theory, where the space of generalized kD surfaces (with unrestricted topology and singularities) called “currents” is defined as the dualspace of the space of smooth differential forms. In other words, a surface is defined by what you get when you integrate differential forms over it. The space of all currents is too big, so one restricts attention to the “rectifiable currents” associated with rectifiable sets.
27 December, 2007 at 8:18 am
davidspeyer
This article would have been a big help to me when I was first trying, and failing, to understand differential forms. I’ll certainly consult it if I have to teach about them.
Is there any chance of a follow up article explaining the definition of the exterior derivative in equally well motivated terms? To me, this is still one of those things that I just have to accept without understanding.
27 December, 2007 at 11:26 am
Dan Carney
Hi Prof. Tao,
When you define the derivative df of a function f:R^n -> R on the top of page 5, you do so by demanding that it gives the first order Taylor approximation mentioned in a comment above,
f(x+v) \approx f(x) + df_x(v).
This is fine in R^n since the tangent space of any point is just a copy of the base manifold, but I don’t see the generalization to a generic manifold where this is no longer true. Since I too am still trying to make sense out of the exterior derivative, I was wondering how you would explain how the construction makes sense in general.
27 December, 2007 at 8:48 pm
Terence Tao
Dear Dan: well, the quick and dirty fix is simply to place an arbitrary smooth coordinate chart on the manifold near x, and verify by hand that the above definition is consistent across all changes of coordinate charts. Another approach is to go back to the abstract definition of the tangent space , which is the space of all curves with , with two curves which are tangent to each other in the sense that as are considered equivalent. Such curves give a way to make sense of for , up to errors of which can be hidden inside the notation that I didn’t bother defining.
More generally, at the infinitesimal level, all errors of o(|t|) can be ignored (until one starts differentiating twice or more, but we’re not doing that here), and so all smooth manifolds can be viewed as infinitesimally flat for the purposes of first derivatives. Curvature only shows up at the second derivative level.
Dear David: I’m afraid I only have some unsatisfactory “motivations” for the exterior derivative also. One way is to decide from the fundamental theorem of calculus that differentiation is the adjoint of the boundary operation , and then seek to compute what the adjoint of the boundary operator in higher dimensions is (i.e. to derive Stokes’ theorem). Another motivation is to try to work out the correct notion of a derivation is on an exterior algebra; there is basically only one non-trivial notion which is compatible with the antisymmetry of the wedge product, and then d is going to be the only such derivation (up to scalars) from k forms to k+1 forms which is covariant (I think). A third way that appeals to my Fourier-analytic background is to write , where is the 1-form that represents the “frequency” of . (This can be made rigorous using Fourier analysis or pseudodifferential calculus.) Viewed in this way, d is basically the only natural operation that combines the k-form with the 1-form of frequency.
Dear Michael: Thanks for the reference. I myself learnt forms initially the old-fashioned way, from Spivak, but I really only understood it when I got frustrated at doing differential geometry computations in coordinates and decided that there had to be a better way.
Dear Frank: Thanks again for the comments. I was vaguely aware of currents as some sort of “weighted combination of surfaces” but didn’t realise that they were defined as the dual to smooth forms (much as distributions are the dual to test functions, I suppose.)
28 December, 2007 at 12:12 am
Emmanuel Kowalski
Another way to define the operator which is somewhat abstract at first but very convenient comes from interpreting the tangent space at as the linear space of derivations on the space of smooth (say real-valued) functions on which are “based at “: a tangent vector is then seen as an -linear map such that
for all functions and . [In a chart centered at , this amounts to interpreting, say, a unit tangent vector in the -th coordinate direction as the operator of partial derivation in this direction, evaluated at the origin.]
Then , which at must map a tangent vector to a number, is simply the map , i.e., evaluating the “variable” derivation for the given function.
(This approach has the feature of working essentially unchanged in algebraic geometry.)
28 December, 2007 at 12:14 am
Emmanuel Kowalski
P.S. I noticed the following typos:
page 2 line 1 delete “the”
page 7, line 19, a backslash is missing in one R^n
page 8, line -10, there seems to be missing “=0” at the end of the line.
28 December, 2007 at 12:23 pm
Terence Tao
Dear Emmanuel: Thanks for the corrections! I do find the abstract approach of viewing the tangent bundle as the space of derivations on some abstract algebra , then defining forms etc. by purely algebraic means to be very pretty. Indeed, with this approach, one doesn’t even really need to know that there is an underlying space X consisting of points x involved at all. In differential geometry, this approach leads to various extremely clean proofs of geometric identities (e.g. Bianchi identities for curvature), without any messing around with infinitesimals or limits at all. Though I did find it tricky to connect this “point-less” perspective with geometric intuition, at times…
23 December, 2022 at 6:32 am
Anonymous
Is there any tradeoff with using the clean algebraic approach? Does one have to use “infinitesimals” or “limits” at some point?
23 December, 2022 at 6:27 pm
Terence Tao
The literature on synthetic differential geometry has, I believe, largely replicated all the key features of traditional differential geometry in a purely algebraic format without limits, though they still use infinitesimals as a substitute for limits. The field of noncommutative geometry also adopts a primarily algebraic approach. There are also other more classical ways to work with differential forms on manifolds, such as relying on Cartan’s moving frames formalism rather than on coordinate systems. So there are a lot of options and to some extent the formalism one selects is a matter of personal preference, its ease of calculation, its familiarity with the target audience, and whether it conveys the geometric intuition one wishes to exploit and communicate. I personally am most comfortable with the traditional formalism of tensor fields (manipulated for instance using Penrose abstract index notation), but in certain situations other formalisms may be more convenient to use.
31 December, 2007 at 12:32 am
t8m8r
Reading the article was very useful to me. Two typos to report:
page 2, end of the fifth (counting backwards) line before eq. (3): “be to” should probably be “to be”;
page 9, towards the end of the second paragraph: probably ““, not ““.
1 January, 2008 at 5:27 pm
Terence Tao
Dear t8m8r: Thanks for the corrections to this article, and the phase space article also!
2 January, 2008 at 3:31 am
Orr
Dear Prof. Tao,
This exposition is more or less the opposite of any exposition I ever saw in a course or textbook and it is therefore very illuminating, thanks!
Here are some (perhaps) typos that haven’t been mentioned above:
page 6, the first line of equations – should muliply by delta t.
page 9, line 7, perhaps it should be “… another n-form fdx_1 …”
page 9, line 6 into the second paragraph, perhaps you meant “…based at phi(x)”.
Also, in page 9, there is some confusion between capital phi and lowercase phi.
3 January, 2008 at 3:18 pm
Terence Tao
Thanks for the corrections!
29 March, 2011 at 8:36 pm
Anonymous
What type of the line integrals with respect to arc length in differential geometry? It seems that there is no “sign” and it is not a “anti-derivative”. So is it the “unsigned definite integral”?
Generally speaking, can one say that all kinds of integration can be categorized into these three concepts? What about the integration in complex analysis? Are they kind of the same as those in the real world(say, can also be put into these three categories) though they have some special properties?
11 December, 2012 at 7:46 pm
Jack
What “definition” do you use for integration of forms? In page 5 of the article, you points out a connection between integration of differential forms and the Lebesgue (or Riemann) integral. I saw several textbooks actually use this connection to “define” integration of differential forms. Is there an advantage of not defining it in terms of the Lebesgue (or Riemann) integral?
16 December, 2018 at 2:37 pm
255B, Notes 1: The Lagrangian formulation of the Euler equations | What's new
[…] we will pull back are that of differential forms, which we will define using coordinates. (See also my previous notes on this topic for more discussion on differential forms.) For any , a -form on will be defined as a family of […]
7 April, 2022 at 5:18 am
J
On page 7, it is said that
By convention, if , the integral of a -dimensional form on a -dimensional surface is understood to be zero.
I may misread something in the article. Isn’t the line integral in the plane a 1-dimensional form on a 2-dimensional (trivial) surface that is not necessarily zero?
7 April, 2022 at 11:15 am
Terence Tao
Line integrals are on one-dimensional curves, which may be contained in 2-dimensional surfaces, but the integral is not being performed on the entirety of the surface.