Integrating Forms on Manifolds: Understanding the Concept and Techniques

In summary: The reference starts with the assumption that you want to integrate something over the entire manifold and states that n-forms are the natural candidates.But to do this one needs to in principal express the manifold as a n-chain and then piece a global form together using partitions of unity subordinate to the smooth simplices in the n chain. The fundamental object is the n-simplex. But one could have a k-simplex k<n and integrate a k form over it. The idea is exactly the same.
  • #1
"Don't panic!"
601
8
In all the notes that I've found on differential geometry, when they introduce integration on manifolds it is always done with top forms with little or no explanation as to why (or any intuition). From what I've manage to gleam from it, one has to use top forms to unambiguously define integration on a manifold (although I'm not quite sure why this is the case?!) and one can integrate lower dimensional forms via integration on a chain (through defining pullbacks). I'm really struggling to understand these notions, please could someone enlighten me on the subject?
 
Physics news on Phys.org
  • #2
Well, one issue is the independence of integration of forms on the choice of coordinates, which is not the case for functions.
 
  • #3
"Don't panic!" said:
In all the notes that I've found on differential geometry, when they introduce integration on manifolds it is always done with top forms with little or no explanation as to why (or any intuition). From what I've manage to gleam from it, one has to use top forms to unambiguously define integration on a manifold (although I'm not quite sure why this is the case?!) and one can integrate lower dimensional forms via integration on a chain (through defining pullbacks). I'm really struggling to understand these notions, please could someone enlighten me on the subject?

What is your reference? Can you illustrate what you are talking about?

k-forms can be integrated over smooth k-chains. These do not need to be top dimensional forms.
In fact, the entire cohomology with real coefficients can in principal be computed from integrals of k-forms over smooth k-chains..
 
  • #4
lavinia said:
What is your reference? Can you illustrate what you are talking about?

The notes that I've managed to find all introduce integration on manifolds with a phrase like "consider an n-form defined on an n-dimensional manifold. The integral of such an n-form is...". They also state things such as "n-forms are natural objects to integrate on a manifold as they do not require a metric". I was trying to find some motivation for these things and thought that it might have something to do with orientability issues, especially after reading this sentence on the Wiki page: "There is in general no meaningful way to integrate k-forms over subsets for
2f11c3f4b4fceb89653e4509a20b10f2.png
because there is no consistent way to orient k-dimensional subsets
".

The issue arose as myself and a colleague were trying to figure out the following expression: [tex] V=\int_{0}^{R}dr\;4\pi r^{2}\sqrt{1-\left(\frac{dt}{dr}\right)^{2}}[/tex] where [itex]t=t(r)[/itex].

Which is apparently the volume enclosed by a 3-dimensional sphere (of radius [itex]R[/itex]) in Minkowski spacetime?! We wondered why one couldn't just integrate over 3-dimensional space using a 3-D volume element and assumed that one had to integrate the 4-volume form for Minkowski space, i.e. [tex]\int dV= \int\sqrt{-g}dt\wedge dx\wedge dy \wedge dz[/tex] with the standard orientation [itex]+(t,x,y,z)[/itex], and introduce a pull-back map to constrain one of the degrees of freedom to obtain a 3-dimensional volume integral, but weren't sure as to why (or if our intuition was correct)?!
 
Last edited:
  • #5
"Don't panic!" said:
The notes that I've managed to find all introduce integration on manifolds with a phrase like "consider an n-form defined on an n-dimensional manifold. The integral of such an n-form is...". They also state things such as "n-forms are natural objects to integrate on a manifold as they do not require a metric". I was trying to find some motivation for these things and thought that it might have something to do with orientability issues, especially after reading this sentence on the Wiki page: "There is in general no meaningful way to integrate k-forms over subsets for
2f11c3f4b4fceb89653e4509a20b10f2.png
because there is no consistent way to orient k-dimensional subsets
".

The issue arose as myself and a colleague were trying to figure out the following expression: [tex] V=\int_{0}^{R}dr\;4\pi r^{2}\sqrt{1-\left(\frac{dt}{dr}\right)^{2}}[/tex] where [itex]t=t(r)[/itex].

Which is apparently the volume enclosed by a 3-dimensional sphere (of radius [itex]R[/itex]) in Minkowski spacetime?! We wondered why one couldn't just integrate over 3-dimensional space using a 3-D volume element and assumed that one had to integrate the 4-volume form for Minkowski space, i.e. [tex]\int dV= \int\sqrt{-g}dt\wedge dx\wedge dy \wedge dz[/tex] with the standard orientation [itex]+(t,x,y,z)[/itex], and introduce a pull-back map to constrain one of the degrees of freedom to obtain a 3-dimensional volume integral, but weren't sure as to why (or if our intuition was correct)?!

The reference starts with the assumption that you want to integrate something over the entire manifold and states that n-forms are the natural candidates.
But to do this one needs to in principal express the manifold as a n-chain and then piece a global form together using partitions of unity subordinate to the smooth simplices in the n chain. The fundamental object is the n-simplex. But one could have a k-simplex k<n and integrate a k form over it. The idea is exactly the same.

I do not know relativity theory but the formula seems to be a simplification of the general volume integral for the special case of a sphere. What is meant by a sphere in Space-Time?
 
Last edited:
  • #6
You can integrate k-forms over k-chains by pulling them back, at which point they become top forms that live on the k-chain itself. So you really only need to define integration of top forms, and pullbacks. My understanding of chains is that a chain is not just a set, but also has an orientation, so the integration of forms is well-defined.

Calculating volumes and areas is trickier, though. Consider the simpler case of calculating arc lengths. You know what the arc length functional is:

$$\int_\gamma d\lambda \, \sqrt{ \pm g_{\mu\nu} \frac{dx^\mu}{d\lambda} \frac{dx^\nu}{d\lambda} }$$
You can think of this as integrating the pullback along ##\gamma## of the form

$$\sqrt{ \pm g_{\mu\nu} \, dx^\mu \, dx^\nu }$$
But this object is not a 1-form, because it is not a linear map from ##T_xM \to \mathbb{R}##. In general, there is no linear form whose pullback along ##\gamma## gives the arc length functional for all possible ##\gamma##.

A similar situation applies to area functionals of any k-area for ##k < n##. These area functionals cannot be linear forms, but are more complicated objects (essentially, square roots of various determinants). The exception is the top form on ##M##, which is linear only because ##\Lambda^n T_xM## is 1-dimensional.
 
Last edited by a moderator:
  • #7
lavinia said:
The fundamental object is the n-simplex. But one could have a k-simplex k<n and integrate a k form over it. The idea is exactly the same.

So is it possible to directly integrate a k-form (with k<n) on an n-dimensional manifold?

lavinia said:
What is meant by a sphere in Space-Time?

The Minkowski space-time is a 4-dimensional manifold with zero curvature (by space-time in general it is meant that one is considering a 4-dimensional Pseudo-Riemannian manifold, with 3 spatial coordinates and 1 temporal coordinate). Basically, I think they are integrating a 3-d sphere on such a manifold, but I don't see where the expression I gave above comes from?!
 
  • #8
Ben Niehoff said:
You can integrate k-forms over k-chains by pulling them back, at which point they become top forms that live on the k-chain itself. So you really only need to define integration of top forms, and pullbacks

Ah, so is the reason that integration on manifolds seems to be introduced in terms of top forms because these are the natural objects to integrate on an n-dimensional manifold, and then by introducing the notion of a pull-back map one can always map a top-form to a lower dimensional form [k(<n) form] and integrate this on a submanifold?
 
  • #9
"Don't panic!" said:
So is it possible to directly integrate a k-form (with k<n) on an n-dimensional manifold?

Sure. What about a line integral around a closed curve in the plane.? This is a 1-form integrated over a 1 chain in a two dimensional manifold.
 
  • #10
"Don't panic!" said:
Ah, so is the reason that integration on manifolds seems to be introduced in terms of top forms because these are the natural objects to integrate on an n-dimensional manifold, and then by introducing the notion of a pull-back map one can always map a top-form to a lower dimensional form [k(<n) form] and integrate this on a submanifold?

No. What Ben was saying was the a k- form is integrated over a smooth k-simplex so with respect to the k-simplex it is automatically top dimensional. So you only need to define the integrals of forms in the top dimension.

When one pulls a k-form back along a k-simplex one ends up integrating over the standard k-simplex in Euclidean space. This is a k-manifold with boundary. For a k-manifold without boundary, one must in principal express the manifold as a linear combination of k-simplces with boundary components cancelling.
 
  • #11
lavinia said:
This is a 1-form integrated over a 1 chain in a two dimensional manifold.

So is the point that one defines integration for top forms on manifolds and then uses pullback maps to create chains to reduce it to a lower dimensional integral, e.g. for the example you gave would one pullback the 1-form defined on the two dimensional manifold to a 1-form defined on the one-dimensional sub-manifold? (for example, if [itex]\omega\in\Omega^{1}(\mathbb{R}^{2})[/itex] and [itex]\phi :\mathbb{R}\rightarrow\mathbb{R}^{2}[/itex], then [itex]\phi^{\ast}\omega\in\Omega^{1}(\mathbb{R})[/itex] such that [tex]\int_{\phi}\omega =\int_{\mathbb{R}}\phi^{\ast}\omega\;\;)[/tex]
 
  • #12
"Don't panic!" said:
So is the point that one defines integration for top forms on manifolds and then uses pullback maps to create chains to reduce it to a lower dimensional integral, e.g. for the example you gave would one pullback the 1-form defined on the two dimensional manifold to a 1-form defined on the one-dimensional sub-manifold? (for example, if [itex]\omega\in\Omega^{1}(\mathbb{R}^{2})[/itex] and [itex]\phi :\mathbb{R}\rightarrow\mathbb{R}^{2}[/itex], then [itex]\phi^{\ast}\omega\in\Omega^{1}(\mathbb{R})[/itex] such that [tex]\int_{\mathbb{R}^{2}}\omega =\int_{\mathbb{R}}\phi^{\ast}\omega\;\;)[/tex]

No. ω is defined on the plane but its integrals are defined on 1 chains. One can not integrate it over ##R^2##
 
  • #13
lavinia said:
No. ω is defined on the plane but its integrals are defined on 1 chains. One can not integrate it over R2

Sorry, I noticed my original error, but wasn't able to correct it quickly enough, is the subsequent correction I made correct? Is it correct to say that the chain is given via the map [itex]\phi :\mathbb{R}\rightarrow\mathbb{R}^{2}[/itex] such that [itex]\omega[/itex] is integrated over the chain [itex]\phi[/itex],i.e. [tex]\int_{\phi}\omega =\int_{\mathbb{R}}\phi^{\ast}\omega[/tex]
 
  • #14
"Don't panic!" said:
Sorry, I noticed my original error, but wasn't able to correct it quickly enough, is the subsequent correction I made correct? Is it correct to say that the chain is given via the map [itex]\phi :\mathbb{R}\rightarrow\mathbb{R}^{2}[/itex] such that [itex]\omega[/itex] is integrated over the chain [itex]\phi[/itex],i.e. [tex]\int_{\phi}\omega =\int_{\mathbb{R}}\phi^{\ast}\omega[/tex]

Yes except that a 1 simplex is an oriented line segment with end points included. It is not all of R.
 
  • #15
Can one extend this to arbitrary (but finite) dimension, i.e. given an n-form [itex]\omega\in\Omega^{n}(M)[/itex] defined on some n-dimensional manifold [itex]M[/itex], then one can define a set of [itex]k[/itex]-chains such that one can pull-back the n-form [itex]\omega[/itex] to a k-form defined on some k-dimensional sub-manifold [itex]N[/itex] of [itex]M[/itex] and then integrate this over a subset of [itex]N[/itex]. That is (something of the form) [tex]\int_{\phi (D)}\omega =\int_{D}\phi^{\ast}\omega[/tex] where [itex]D\subset N[/itex]?!
 
  • #16
"Don't panic!" said:
Can one extend this to arbitrary (but finite) dimension, i.e. given an n-form [itex]\omega\in\Omega^{n}(M)[/itex] defined on some n-dimensional manifold [itex]M[/itex], then one can define a set of [itex]k[/itex]-chains such that one can pull-back the n-form [itex]\omega[/itex] to a k-form defined on some k-dimensional sub-manifold [itex]N[/itex] of [itex]M[/itex] and then integrate this over a subset of [itex]N[/itex]. That is (something of the form) [tex]\int_{\phi (D)}\omega =\int_{D}\phi^{\ast}\omega[/tex] where [itex]D\subset N[/itex]?!

The pull back of a n-form will be an n-form not a k form. The process of pulling back does not change the dimension.
 
Last edited:
  • #17
lavinia said:
The pull back of a n-form will be an n-form not a k form. The process of pulling back does not change the dimension.

yes, sorry, you're right. It's the manifold that we are considering that changes dimension, right?
 
  • #18
"Don't panic!" said:
yes, sorry, you're right. It's the manifold that we are considering that changes dimension, right?

Not really. It is true that one starts with a n-manifold and ends up integrating on a k manifold. But one is not integrating over the n-manifold itself so you are not changing dimension. One is integrating over a k-dimensional simplex inside the manifold.
 
  • #19
lavinia said:
k-dimensional simplex inside the manifold.

Excuse my ignorance, but what is a "simplex". Are we integrating over a k-dimensional submanifold of the original manifold?
 
  • #20
"Don't panic!" said:
Excuse my ignorance, but what is a "simplex". Are we integrating over a k-dimensional submanifold of the original manifold?

A simplex is a smooth mapping of the standard simplex in Euclidean space into the manifold. One integrates it by pulling it back to the standard simplex in Euclidean space. A simplex is not a submanifold. It is a mapping. I apologize because I feel that I have confused things by bringing in the idea of simplexes.

Let's go back the case of a line integral. Here one integrates along a parameterized curve. The parameterization is a mapping of a closed interval into the plane.

If there is a 1-form defined on the plane one can pull it back and then integrate it over the interval. This is the same as integrating the function you get by evaluating the 1-form on the velocity vectors of the curve.

In higher dimensions you need to generalize the idea of an oriented interval and usually this is done formally by taking a standard set of oriented triangles, tertrahedra and their higher dimensional analogues. These are called standard simplexes. If you like you could instead use oriented squares and cubes and hypercubes or something similar. In Mathematics these these are all used but usually the formal definition is in terms of standard simplexes. Though I have seen papers where cubes are more convenient.

The terminology is a little confusing because a standard simplex is an oriented geometric object in Euclidean space while a smooth simplex is a smooth mapping of the standard simplex into a manifold.
 
Last edited:
  • #21
Thanks for your help, I feel I have a bit more of a conceptual idea , although I think I still need to do some reading up and studying of the subject. I understand the notions of line integrals surface integrals etc. in ordinary Euclidean space, but I think I'm getting myself confused when transitioning to consider the more general case of manifolds.
 
  • #22
"Don't panic!" said:
Thanks for your help, I feel I have a bit more of a conceptual idea , although I think I still need to do some reading up and studying of the subject. I understand the notions of line integrals surface integrals etc. in ordinary Euclidean space, but I think I'm getting myself confused when transitioning to consider the more general case of manifolds.

That seems right. But there really is no difference.

I was thinking that if you do not like pure math books - such as Spivak's Calculus on Manifolds - there is a book called ,I think, Differential Forms by Flanders that motivates everything from examples in Physics and vector calculus. The book is a bit slick but give it a try.

I would be happy to go through examples with you.
 
Last edited:
  • #23
lavinia said:
there is a book called ,I think, Differential Forms by Flanders that motivates everything from examples in Physics and vector calculus. The book is a bit slick but give it a try.

Thanks for the suggestion, I'll take a look :)
 
  • #24
"Don't panic!" said:
Thanks for the suggestion, I'll take a look :)

Given time, I will put together some examples for you.
 
  • #25
Thanks, I'd really appreciate that!
 
  • #26
"Don't panic!" said:
Thanks, I'd really appreciate that!

Here is the first example - presented as problems. All are designed to make you think about integrating forms - what that means - and how it is done.

Consider the two 1-forms defined in the plane minus the origin

##ω =( xdx + ydy)/ (x^2 + y^2)##

and

##τ = (-ydx + xdy)/(x^2 + y^2)##

1) Integrate each form over the unit circle using Cartesian coordinates
2) Integrate each form over the unit circle using polar coordinates

3) Consider the 1- form dθ is defined on the unit circle and let ψ be the mapping of the plane minus the origin onto the unit circle that divides each vector by its Euclidean length.

What is the pull back,ψ*(dθ), of dθ to the plane minus the origin?
What does this mapping tell you about the integral of ##ψ^*(dθ)## around a closed curve that does not enclose the origin?
 
Last edited:

1. What is a manifold?

A manifold is a mathematical space that is locally similar to Euclidean space. It can be thought of as a smooth, continuous surface or space that can be described using mathematical equations.

2. What is integration on manifolds?

Integration on manifolds is a mathematical technique used to calculate the total value of a function over a specific region on a manifold. It involves breaking down the region into smaller parts and summing up the values of the function over each part.

3. Why is integration on manifolds important?

Integration on manifolds is important because it allows us to calculate various physical quantities, such as volume, area, and mass, on curved surfaces or in higher-dimensional spaces. It is also a fundamental tool in many branches of mathematics, such as differential geometry and topology.

4. What are some common integration techniques used on manifolds?

Some common integration techniques used on manifolds include Riemann integration, Stokes' theorem, and Gauss's theorem. These techniques allow for the evaluation of integrals over surfaces, curves, and higher-dimensional spaces, respectively.

5. Are there any applications of integration on manifolds in the real world?

Yes, integration on manifolds has numerous applications in the real world. For example, it is used in physics to calculate physical quantities like electric and magnetic fields, in engineering for designing curved structures, and in computer graphics for rendering 3D images of surfaces and volumes.

Similar threads

  • Differential Geometry
Replies
4
Views
2K
  • Differential Geometry
Replies
9
Views
2K
  • Differential Geometry
Replies
1
Views
1K
Replies
5
Views
268
  • Differential Geometry
Replies
9
Views
2K
  • Differential Geometry
2
Replies
40
Views
6K
  • Differential Geometry
Replies
16
Views
3K
Replies
13
Views
2K
Replies
3
Views
2K
  • Differential Geometry
Replies
17
Views
2K
Back
Top