Orientable Manifold with Boundary

  • Thread starter kakarukeys
  • Start date
190
0
How does the orientation on M induce an orientation on the boundary of M?

I follow the book Lectures on Differential Geometry by Chern, do not understand the proof.

The proof is
the Jacobian Matrix of the transformation between coordinates of two charts has positive determinant (oriented charts), so the smaller Jacobian Matrix with one row and one column deleted (corresponding to the only one coordinate axis that runs away from the boundary) has positive determinant.

Please do me a favour by explaining the proof clearly, or give me another easier proof.
 

Hurkyl

Staff Emeritus
Science Advisor
Gold Member
14,845
17
Hrm.

I would have said "Because it does in Euclidean space", but I don't know how easy it is to prove you can patch together orientations of the pieces of the boundary when it spans multiple charts.
 

mathwonk

Science Advisor
Homework Helper
10,732
909
how does counter clockwise orientation on the upper half plne induce an orientation on the real line?

by noticing that at a point of the real line, one can distinguish between an arrow pointing into the upper half plane and one pointing out of it.

so a vector v along the x axis is oriented positively if, when it is supplemented by an arrow w pointing into the upper half plane, we get an oriented (counterclockwise) basis <v,w> for the (tangent space to the) upper half plane.
 

mathwonk

Science Advisor
Homework Helper
10,732
909
oh, that is the euliden space acse. but an oriented manifold is by definition one that admits an orientation preserving atlas, so those charts do preserve the euclidean orientation.
 
190
0
Hrm.

I would have said "Because it does in Euclidean space", but I don't know how easy it is to prove you can patch together orientations of the pieces of the boundary when it spans multiple charts.
Suppose we have charts that cover regions not containing the boundary and charts that cover regions containing the boundary. They are oriented (coordinate transformations among them have positive-determinant Jacobian matrix).

for a region D, let [tex]{u^1, u^2, ...., u^m}[/tex] be the coordinates, suppose [tex]u^m = 0[/tex] is the boundary.

Let [tex]du^1 \wedge du^2 \wedge ... \wedge du^m[/tex] be the positive orientation.

then since [tex]du^1 \wedge du^2 \wedge ... \wedge du^{m-1}[/tex] is non-zero and gives an orientation on the boundary contained in region D. Minus sign gives another orientation.

if we can transform to other charts on boundary, preserving the orientation, we can extend the orientation to the entire boundary.

And thus we need to show

[tex]\frac{\partial (v^1, ..., v^m)}{\partial (u^1, ..., u^m)} > 0[/tex]
implies
[tex]\frac{\partial (v^1, ..., v^{m-1})}{\partial (u^1, ..., u^{m-1})} > 0[/tex]

I don't understand the proof of the above in the book, anyone has any idea?
I can type the proof out, if you want.
 
Last edited:

mathwonk

Science Advisor
Homework Helper
10,732
909
did my comments mean nothing at all?
 

mathwonk

Science Advisor
Homework Helper
10,732
909
another suggestion: just ebcause chern is a great mathematiciazn does not mean he writes learnable boks. read guillemin and pollack instead. or my notes. i will send them to you if you give me an address.
 
190
0
Yes your comments explained the basic idea behind the proof.
I am still struggling with the steps of the proof.
 

mathwonk

Science Advisor
Homework Helper
10,732
909
the point is that if you have an n-1 dimensional subspace spanned by the first n-1 vectors in a basis, and then the last vector points in a giuven direction, if you choose another such absis, the change of basis matrix will be in 2 blocks.

there will be an n-1 by n-1 block in the upper left corner say, and a positive number in the lower right corner, and all zeroes otherwise in the last row and last column.

hence the determinant of the whole matrix being positive forces also the determinant of the upper left block to be positive also.

but i warn you, chern's writings are the worlds most terse and merciless. they are also non conceptual and highly compoutational. he was a great great mathematician but i do not recommend his works to anyone as the sole source for learning any subject at all.

here is a review by another outstanding mathematician:
""This excellent and polished book may not be suitable for the very beginning student, but it is highly recommended for all mathematicians, from the advanced undergraduate student to the experienced professor. For many mathematicians it will be a work of reference for their research. It will be welcome by physicists."

Prof. F Hirzebruch
Max-Planck Institute, Bonn"
 
Last edited:

mathwonk

Science Advisor
Homework Helper
10,732
909
i will try to pdf my notes and make them sendable. but they are just a rewrite of the treatment in guillemin and pollack which may be in your library.
 

mathwonk

Science Advisor
Homework Helper
10,732
909
did i answer your question? (about the matrices) in the first half of post 10?
 
190
0
mathwonk said:
i will try to pdf my notes and make them sendable. but they are just a rewrite of the treatment in guillemin and pollack which may be in your library.
Please don't if it is too laborious, I don't want to waste your precious time.

mathwonk said:
the point is that if you have an n-1 dimensional subspace spanned by the first n-1 vectors in a basis, and then the last vector points in a giuven direction, if you choose another such absis, the change of basis matrix will be in 2 blocks.

there will be an n-1 by n-1 block in the upper left corner say, and a positive number in the lower right corner, and all zeroes otherwise in the last row and last column.

hence the determinant of the whole matrix being positive forces also the determinant of the upper left block to be positive also.
In my case, I only have
[tex]\frac{\partial v^m}{\partial u^m} > 0[/tex]
[tex]\frac{\partial (v^1, ..., v^m)}{\partial (u^1, ..., u^m)} > 0[/tex]

There may not be zeroes in the last row and last column.
 

mathwonk

Science Advisor
Homework Helper
10,732
909
well if you think about the definition of a matrix of a linear transformation, the last row is hte image of the last vector, expanded in terms of the basis ofm the target space.

now we have chsoen both bases to end with a vector pointing into the manifold, so i guess al i can say is that the last entry of the last comloumn is positive, since the component of an inner pointing vector is a positive multiple of another inner pointing vector.

but if you look at the previous columns, you are expanding the images of the basis vectors for the boundaryu space, in terms of anmother absis for that same subspace. so there is no need to use the last inner pointing vector in that expansion. so every columnh except the last has a zero in the last entry.

thus the last row is all zeroes except for the alst right bottom corner. then the same argument applies. i.e. the determinant is positive iff the determinant of the upper left block is positive. how about that?
 
190
0
your argument is sound unless the following is true.

a cotagent space at a point on the boundary is a direct sum of the cotagent space of that point when the boundary is considered an independent manifold and its complement.

Every first m - 1 basis vectors given by any chart span the first subspace, and the last vector pointing into the manifold always spans the other subspace.

I think it's true by definition of the chart. or is it true?
 
Last edited:
190
0
only then can it be that

when we transform from u basis to v basis,
the first m-1 vectors are shuffled.
and the last vector is only multiplied by a constant.
 
190
0
Ok, forget about the cotangent space direct sum.
Here's the argument

We know given two charts, at a point on boundary
the first m - 1 cotangent vectors obtained [tex]\{du^1, .... du^{m-1}\}, \{dv^1, .... dv^{m-1}\}[/tex]
span the cotangent space of the boundary at the point, by definition of the chart.

so entries of last column of the m by m Jacobian Matrix we considered are all zeros except the last one. (Because [tex]\{dv^1, .... dv^{m-1}\}[/tex] can be expressed solely as a linear combination of [tex]\{du^1, .... du^{m-1}\}[/tex]).
And so the conclusion follows.

P/S the last vector [tex]dv^m[/tex] need not be multiple of [tex]du^m[/tex], it can contains some linear combination of [tex]\{du^1, .... du^{m-1}\}[/tex].
 
Last edited:

mathwonk

Science Advisor
Homework Helper
10,732
909
it depends on your definition of the complementary space. some people take the normal space to be the quotient of the full tangent space by the tangent space to the boundary. when you do that lkinear combinations of baoiundary tangent vectors are set to zero, so the normal vectors are scalar multiples of each other in that quotient space. that is the point of view in guillemin pollack, and hence also in the pdf notes i sent you.

but you seem to understand it now.
 
190
0
I thought I understand, but when I tried a simple example, I couldn't get what I want.

Consider the Manifold, closed interval [0, 1]

Using two charts:
[0, 1) -> [0, 1) [tex]\phi_1(x) = x[/tex]

(0, 1] -> [0, 1) [tex]\phi_2(x) = -x + 1[/tex]

The first chart is positively oriented, the second chart is negatively oriented.

So the orientation of the boundary point is +1 and -1 respectively.

since [tex]+1 \wedge dx = dx =[/tex] gives the positive orientation on the first chart.

since [tex]-1 \wedge dx = -dx [/tex] gives the "positive orientation" on the second chart.

then applying Stokes' theorem we have,

[tex]\int^1_0 df = \int_{0, 1} f(x) = f(0) - f(1)[/tex]

since the 2nd chart is negatively oriented.
 
255
0
kakarukeys said:
I thought I understand, but when I tried a simple example, I couldn't get what I want.

Consider the Manifold, closed interval [0, 1]

Using two charts:
[0, 1) -> [0, 1) [tex]\phi_1(x) = x[/tex]

(0, 1] -> [0, 1) [tex]\phi_2(x) = -x + 1[/tex]

The first chart is positively oriented, the second chart is negatively oriented.

The above example above doesn't count since you've chosen an atlas that does not induce an orientation on the interior manifold. Orientability implies there exists an atlas with coordinate charts whose Jacobians have pos. determinant, but it doesn't mean that any atlas of the manifold will have that property -- as you can see above. In order to use Stoke's theorem you need to settle on a particular orientation (you do after all have a choice of two) and use that.
 
190
0
The above example above doesn't count since you've chosen an atlas that does not induce an orientation on the interior manifold. Orientability implies there exists an atlas with coordinate charts whose Jacobians have pos. determinant, but it doesn't mean that any atlas of the manifold will have that property -- as you can see above. In order to use Stoke's theorem you need to settle on a particular orientation (you do after all have a choice of two) and use that.
I am well aware of that. So I put a minus sign in front, whenever I want to compute integral using the chart with negative orientation. The effect is same as sticking to a particular atlas with oriented charts. So there is nothing wrong in my example, but the answer is wrong.
 
255
0
kakarukeys said:
I am well aware of that. So I put a minus sign in front, whenever I want to compute integral using the chart with negative orientation. The effect is same as sticking to a particular atlas with oriented charts. So there is nothing wrong in my example, but the answer is wrong.

I think you're confusing which determinants of what mappings need to be positive or negative in order to induce an orientation. An atlas with coordinate charts induces an orientation if and only if the Jacobians of the transitions functions, i.e. the [tex] \phi_1 \circ \phi_2^{-1}[/tex] on the intersection of open sets of the atlas, all have *positive* determinant.

If one of those transition functions has a neg. det. Jacobian, then that means you've switched from one orientation to the other on that intersection, just as you've done in your example.

The two possible orientations on [0,1] are given by the volume forms dx and -dx. phi_1 induces dx, whereas phi_2 induces -dx. Thus, the mapping [tex] \phi_1 \circ \phi_2^{-1}[/tex] is in fact orientation-reversing.
 
190
0
:smile:
I haven't been able to find an atlas which has oriented charts that cover [0, 1]
do you know one?
 
255
0
kakarukeys said:
:smile:
I haven't been able to find an atlas which has oriented charts that cover [0, 1]
do you know one?
just change phi_2 to phi_2(x)=x+1. Trivial, yes, but [0,1] is a rather trivial manifold.
 
190
0
In that case, you are also using a chart that does not satisfy the requirements given in the definition.

that [tex]\phi_2 : U \rightarrow H^n[/tex]
[tex]H^n = \{x : x^n \ge 0\}[/tex]
boundary is given by [tex]\{x : x^n = 0\}[/tex]

I am not sure if you use such chart, the stokes' theorem still holds.

anyway please show me how you prove fundamental theorem of calculus from stokes' theorem.
 

Related Threads for: Orientable Manifold with Boundary

  • Posted
Replies
7
Views
3K
Replies
2
Views
3K
  • Posted
Replies
2
Views
636
Replies
5
Views
1K
Replies
6
Views
5K
Replies
8
Views
3K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top