Help Me Understand Differential Forms on Riemannian Manifolds

In summary, the section on principal bundles is incomplete and the author recommends José Miguel Figueroa-O'Farrill's Lecture Notes on the Theory of Connections as a supplement.
  • #1
Kontilera
179
23
Hello! I think I got something wrong here, maybe someone can help me out.

Lets consider a n-manifold. A differential n-form describing a signed volume element will then transform as:
[tex]f(x^i) dx^1 \wedge dx^2 \wedge \cdots \wedge dx^n = f(y^i) \;\text{det}\left( \frac{\partial x^i}{\partial y^j}\right) dy^1 \wedge dy^2 \wedge \cdots \wedge dy^n,[/tex]
which we can compare to the unsigned volume element in Euclidean space that transforms as:
[tex]f(x^i) dx^1 dx^2 \cdots dx^n = f(y^i) \left|\text{det}\left( \frac{\partial x^i}{\partial y^j}\right)\right|dy^1 dy^2 \cdots dy^n.[/tex]Clearly we can get a sign wrong when integrating and conisdering coordinate changes from systems of different orientation. What I don't see is the need for the factor of
[tex]\sqrt{|g|}[/tex]
on Riemannian manifolds. Will this factor only fix the sign error or have I missunderstood something basic?
 
Physics news on Phys.org
  • #2
Let me try to sum up the situation so you can sort out what you understood and what you did not.

On a n-manifold, we can meaningfully integrate n-forms because of the way they transform under change of coordinates. We do this using local charts and a partition of unity. Moreover, you need to choose an orientation on M and use only charts coherently oriented (det > 0).

One way to meaning fully integrate functions on a manifold then is to fix once and for all a volume form (nowhere 0 n-form) dV (generally not an exact form, despite the notation), and integrate a function f:M-->R "against" dV; i.e. integrate the n-form fdV.

The existence of a volume form is equivalent to orientability: ==>) If a volume form exist, define an orientation by saying that a basis v1,..,vn is "positively oriented" iff dV(v1,...,vn)>0.
<==) Conversely, if an orientation has been chosen, choose a covering of M by open sets Ui on which there exists a (smooth) local basis of TM v1,...,vn. Then define a local nowhere vanishing n-form on Ui by setting Ωi(v1,..,vn)=1 (Equivalently, [itex]\Omega_i=v_1^*\wedge\ldots\wedge v_n^*[/itex] when {vi*} is the dual basis of {vi}). Then patch up the local n-forms Ωi's to a global volume form dV using a partition of unity.

Now, on an oriented riemannian manifold (M,g), there is a natural choice of the form dVg: if v1,...,vn is a (smooth) local positively oriented orthonormal basis of TM defined on U, then define dVg over U by dVg(v1,...,vn)=1. Equivalently, [itex]dV_g=v_1^*\wedge\ldots\wedge v_n^*[/itex].) This in fact defines dVg globally. This is because if w1,..,wn is another (smooth) local positively oriented orthonormal basis of TM defined on U, then the transition matrix between the two basis is in SO(n), and so has determinant 1!

Note that in general, you cannot take the v1,..,vn to be coordinate vector fields. If you can, then the metric is called flat. But you can write the riemannian volume form dVg in terms of a coordinate basis, and you will find (good exercice) that you get [itex]dV_g=\sqrt{|g|}dx^1\wedge\ldots\wedge dx^n[/itex] where [itex]\sqrt{|g|}[/itex] is the crazy physicist notation for [itex]\sqrt{\det(g_{ij})|}[/itex].
 
Last edited:
  • #3
Thanks! I can see the logic of what you are saying but it feels like the different explanations I've encountered about this are contradictive. If I understand you right is a matter of finding a "global convention" (i.e. our Ω) for measuring volumes.

I will try to melt this and come back in some days. :)
Thanks for your time quasar.
 
  • #4
First of all, is my transformation:
[tex]f(x^i) dx^1 \wedge dx^2 \wedge \cdots \wedge dx^n = f(y^i) \;\text{det}\left( \frac{\partial x^i}{\partial y^j}\right) dy^1 \wedge dy^2 \wedge \cdots \wedge dy^n,[/tex]
correct? Carroll refers to this object as a tensor density and says that it doesn't transform as a n-form.. :/
If this is not an n-form I guess don't know what an n-form is. After all the subspace of totally antisymmetric n-tensors is 1 dimensional so what else can t look like?
 
Last edited:
  • #5
The transformation is correct. I don't know what Carroll means by that. The LHS in what you wrote is certainly an n-form defined on the open set where the coordinate x are defined, and if you write it in terms of the y coordinates, then you get the RHS on the region where both the x and y coordinates are defined.
 
  • #6
Thanks! Maybe I should consider leaving Carroll's text. It has only confused me so far.
Does anybody know a good introduction text to curvature forms? :/
 
  • #7
Yes, Chris Wendl's Lecture notes on the theory of connections does a wonderful job of presenting all the different aspects of the theory and tying them together.

The section of principal bundles is a bit lacking however. So as a supplement, I would recommend José Miguel Figueroa-O'Farrill's notes.

http://www.homepages.ucl.ac.uk/~ucahcwe/connections.html

http://empg.maths.ed.ac.uk/Activities/GT/
 
  • #8
I think Carroll says it is not a tensor precisely because it obeys the transformation law you've written. In many conventions, tensors are defined as those objects whose components obey a certain transformation law, while those objects whose components obey the transformation law you've written - where there's a multiplication by a determinant, are just, by definition, called tensor densities or relative tensors
 
  • #9
See the section starting on page 375 of Lee - Smooth Manifolds. He gives an excellent account of densities i.e. what they are, what properties they hold, and why they are used (e.g. integration). Also see appendix B of Wald's General Relativity where he talks about them using a continuous, nowhere vanishing n-form field ##\epsilon_{a_1...a_n} = \epsilon_{[a_1...a_n]}##.
 

1. What are differential forms on Riemannian manifolds?

Differential forms on Riemannian manifolds are mathematical objects that generalize the concept of a differential form in multivariable calculus to curved spaces. They are used in differential geometry to study the properties of Riemannian manifolds, which are smooth, curved spaces that can be described using coordinates.

2. How are differential forms related to tangent spaces on Riemannian manifolds?

Differential forms are closely related to tangent spaces on Riemannian manifolds. In fact, a differential form can be thought of as an element of the cotangent space at a point on the manifold. This means that it is a linear functional that maps tangent vectors to real numbers.

3. What is the role of the metric in differential forms on Riemannian manifolds?

The metric on a Riemannian manifold plays a crucial role in the definition and properties of differential forms. It is used to define an inner product on the tangent and cotangent spaces, which is necessary for defining the Hodge star operator and the exterior derivative, two important operations on differential forms.

4. How are differential forms used in Riemannian geometry?

Differential forms are used extensively in Riemannian geometry to study the geometric properties of Riemannian manifolds. They can be used to define concepts such as curvature and volume, and are essential for formulating important theorems, such as the Gauss-Bonnet theorem and the Stokes theorem.

5. Are there any applications of differential forms on Riemannian manifolds outside of mathematics?

Yes, there are several applications of differential forms on Riemannian manifolds outside of mathematics. They are used in physics, particularly in general relativity, to study the behavior of matter and energy in curved space-time. They also have applications in engineering, such as in the design of optimal paths on surfaces and in computer graphics for simulating fluid flow.

Similar threads

Replies
13
Views
398
  • Differential Geometry
Replies
13
Views
831
  • Differential Geometry
Replies
7
Views
477
  • Differential Geometry
Replies
4
Views
2K
  • Differential Geometry
Replies
8
Views
2K
  • Differential Geometry
Replies
21
Views
3K
  • Differential Geometry
Replies
2
Views
511
  • Differential Geometry
Replies
10
Views
639
  • Differential Geometry
Replies
29
Views
1K
Replies
24
Views
3K
Back
Top