Register to reply

Compact manifold question

by redrzewski
Tags: compact, manifold
Share this thread:
redrzewski
#1
Jan18-12, 11:52 PM
P: 117
I'm looking at prop 19.5 of Taylor's PDE book.

The theorem is:

If M is a compact, connected, oriented manifold of dimension n, and a is an n-form, then a=dB where B is an n-1 form iff the ∫a over M is 0.

I'm trying to understand why a=dB implies ∫a = 0.
If M has no boundary, than this follows from Stokes theorem.

However, if M has a boundary, then it seems like this is a counterexample:
a = dx^dy, B=xdy, M=unit square in R^2

Here, ∫a = 1, and a=dB.

The general definitions of compact manifold I've found don't assume no boundary.

What am I missing?
thanks
Phys.Org News Partner Science news on Phys.org
Scientists develop 'electronic nose' for rapid detection of C. diff infection
Why plants in the office make us more productive
Tesla Motors dealing as states play factory poker
quasar987
#2
Jan19-12, 07:36 AM
Sci Advisor
HW Helper
PF Gold
quasar987's Avatar
P: 4,771
Your analysis is impeccable. Usually, when ppl say manifold, they mean "without boundary". Find out what Taylor means by manifold.
kdbnlin78
#3
Jan19-12, 08:53 AM
P: 34
I mean this with no patronisation intended, but you've answered your own question because in mathematics, a closed manifold is a special type of topological space, namely a compact manifold without boundary. In contexts where no boundary is possible, any compact manifold is a closed manifold.

Jamma
#4
Jan20-12, 10:00 AM
P: 429
Compact manifold question

That's a very nicely constructed counter-example, you clearly understand the concepts reasonably well.

Indeed, this only applies to closed manifolds. However, I'm sure that you can fix it by asserting something about the behaviour of the n-1 form at the boundary. E.g - if you assert that it vanishes to zero around some open neighbourhood of the boundary.

There's a theorem about fixed points, I think it's called the Poincare-Hopf theorem, which says that for a vector field on some manifold with finitely many zero vectors, the sum of the indices of the fixed points is equal to the Euler characteristic of the surface, but if it has a boundary you need to make sure that all the vectors are outward pointing there. Perhaps there's something similar going on here. The suggestion I had above will definitely work though.
Jamma
#5
Jan20-12, 10:02 AM
P: 429
Thinking about it, what I said is rubbish, just making the thing vanish near the boundary won't help at all, as an adjustment to your construction would show. So I imagine you do have to do something more inline with what I said in my second paragraph.
zhentil
#6
Jan22-12, 01:05 PM
P: 491
Quote Quote by kdbnlin78 View Post
I mean this with no patronisation intended, but you've answered your own question because in mathematics, a closed manifold is a special type of topological space, namely a compact manifold without boundary. In contexts where no boundary is possible, any compact manifold is a closed manifold.
This is not one of those cases. If Taylor's claim is correct, his terminology is non-standard.


Register to reply

Related Discussions
Compact manifold Differential Geometry 9
Holonomy of compact Ricci-flat Kaehler manifold Differential Geometry 0
Real How to show a compact set in Euclidean is also compact in another metic Calculus & Beyond Homework 0
PROVING INTERSECTION OF Any number of COMPACT SETS is COMPACT? Calculus 4
Compact-valued range doesnot imply compact graph Calculus 3