Is There a Theorem for Fibration Over R for Non-Compact Manifolds?

  • Context: Graduate 
  • Thread starter Thread starter holy_toaster
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary

Discussion Overview

The discussion centers on the existence of a theorem analogous to the one for compact manifolds that allows for fibration over the reals R for non-compact manifolds. Participants explore the implications of closed, non-singular one-forms and the challenges posed by non-compactness.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • One participant notes that a theorem exists for compact manifolds stating that they fibre over S^1 if there is a closed, non-singular one-form, and questions if a similar theorem applies to non-compact manifolds for fibration over R.
  • Another participant challenges the initial claim by providing a counterexample involving a function with isolated critical points, suggesting that deleting these points does not guarantee fibration.
  • A different participant suggests looking into Ehresmann's Theorem as a more general statement of sufficient conditions for fibration.
  • One participant highlights the importance of the properness of the map, indicating that this condition relates to the compactness in the context of the theorem.

Areas of Agreement / Disagreement

Participants express differing views on the applicability of theorems regarding fibration for non-compact manifolds, with no consensus reached on the existence of a direct analogue to the compact case.

Contextual Notes

Participants note the significance of properness in the context of fibration, which may influence the applicability of certain theorems. The discussion reflects uncertainty regarding the implications of non-compactness on the existence of fibrations.

holy_toaster
Messages
32
Reaction score
0
Hi! I have a question that maybe somebody can answer, I hope...

There is a theorem that holds for compact manifolds M. It says that M fibres over S^1 if and only if there is a closed, non-singular one-form on M. (Meaning M is the total space of a fibre-bundle p : M -> S^1)

Now my question is if there is a similar theorem for non-compact manifolds, to fibre over the reals R ? The proof from the compact case can not be applied to the non-compact case because it relies on any closed, non-singular one-form being non-exact on a compact manifold.

Any ideas if such a result exists or where I could find it?
 
Physics news on Phys.org
Nope, not true. Take any function f:M->R with isolated critical points. Delete the critical points and call the new manifold M'. It certainly needn't fiber.
 
If you're looking for a far more general statement of sufficient conditions, look up Ehresmann's Theorem.
 
Aha. Thank you. I think that theorem is what I was looking for.
 
note the key hypothesis of properness of the map, which is the relative version of compactness. Indeed the generality is almost illusory, since under the proper submersion hypothesis it seems the inverse image of any closed ball in the target is a compact submanifold with boundary of the source.
 
Last edited:

Similar threads

  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 73 ·
3
Replies
73
Views
9K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 10 ·
Replies
10
Views
3K