Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Diffeomorphism vs homeomorphism

  1. Jan 7, 2014 #1
    From a topological point of view a homeomphism is the best notion of equality between topological spaces. I.e. homeomorphisms preserve properties such as Euler characteristic, connectedness, compactness etc.

    I've understood it such that diffeomorphisms are the best notion of equality between manifolds (basically a diffeomorphism is just a smooth homeomorphism), but what exactly are the properties that are preserved after a diffeomorphic map between manifolds (say M and N)?

    If I would guess it's a diffeomorphism from M to N preserves all the properties that a homeomorphism preserves PLUS the differentiability of M (say it's C^k). But are there any more important properties to keep in mind?
     
  2. jcsd
  3. Jan 9, 2014 #2

    WWGD

    User Avatar
    Science Advisor
    Gold Member

    I'm not sure, but I think the difference is that homeomorphisms preserve the topology; global properties: compactness, connectedness, etc even orientability , I think (since a homeomorphism induces an isomorphism in homology, so that the fundamental class is sent to a non-zero class).; the properties that can be expressed in terms of open sets, but not necessarily the local properties --i.e., the ambient geometry. I think the standard example of a homeomorphism that is not a diffeomorphism is that of ## f(x)= x^3 : \mathbb R \rightarrow \mathbb R ## (the inverse map ## g(x)=x^{1/3} ## is not differentiable at 0) , and there is the interesting fact that there are homeomorphisms that are nowhere-differentiable. I think the fact that the two are homeorphic but not diffeomorphic implies that the standard copy of ## (\mathbb R , id ) ## is a submanifold of ## \mathbb R^2 ## , but the second copy is not; I guess you cannot find slice charts for the ## x^3 ## copy at x=0.
     
    Last edited: Jan 9, 2014
  4. Jan 9, 2014 #3

    jgens

    User Avatar
    Gold Member

    Additional properties preserved by such maps are invariants related to the tangent bundle and things like sets of immersions and embeddings.
     
  5. Jan 9, 2014 #4

    lavinia

    User Avatar
    Science Advisor

    Can you name an invariant?
     
  6. Jan 9, 2014 #5

    jgens

    User Avatar
    Gold Member

    The tangent bundle itself. Characteristic classes defined over tangent bundles. Things like that.
     
  7. Jan 9, 2014 #6

    WWGD

    User Avatar
    Science Advisor
    Gold Member


    But aren't emebddings themselves preserved by the homeomorphism? Don't you need some smoothness condition so that homeomorphisms do not preserve the property? If you can describe the embeddings in terms of open sets and continuous chart maps, wouldn't the embedding be preserved under homeomorphisms?
     
  8. Jan 9, 2014 #7

    jgens

    User Avatar
    Gold Member

    Not topological embeddings. Smooth embeddings (i.e. a smooth injective immersion which is a homeomorphism onto its image).
     
  9. Jan 10, 2014 #8

    lavinia

    User Avatar
    Science Advisor

    There are topological and combinatorial analogues of the tangent bundle e.g. microbundles.

    Characteristic classes are defined in the topological and combinatorial categories.

    So these do not count as invariants that are preserved under diffeomorphisms but not under homeomorphisms.
     
  10. Jan 10, 2014 #9

    lavinia

    User Avatar
    Science Advisor

    One way to restate this question might be to ask whether their exist invariants that distinguish differentiable structures on topological manifolds. While I know nothing about this, I recall that there are Milnor invariants for differential structures on spheres of dimension 4m-1.

    I also think that there is another invariant that must be zero if a manifold is to admit any differential structure at all. So it would be trivially preserved under diffeomorphism.
     
    Last edited: Jan 10, 2014
  11. Jan 10, 2014 #10

    jgens

    User Avatar
    Gold Member

    Even in the microbundle context my claim is still correct. In the paper where Milnor originally introduces microbundles he shows that the tangent bundle and Pontryagin class of a manifold are not topological invariants. If you want a link to that paper, then here you go: http://www.sciencedirect.com/science/article/pii/0040938364900059

    These are another good example of differential (but not topological) invariants. The basic ingredients in their definition are just Pontryagin numbers and the index of bilinear forms.
     
    Last edited: Jan 10, 2014
  12. Jan 10, 2014 #11

    lavinia

    User Avatar
    Science Advisor

    The differentiability of a curve is not a topological invariant.
     
  13. Jan 11, 2014 #12

    lavinia

    User Avatar
    Science Advisor

    Center of Bass

    One thing worth thinking about that distinguishes differentiable manifolds is the De Rham co-chain complex. This is the complex obtained from integrating differential forms over smooth simplices. De Rham's theorem says that the cohomology of this complex is the same as Singular Cohomology with real coefficients. However, the differential forms that represent de Rham cocycles and other forms related to them often carry geometric information that is not discernible purely from Singular theory. For instance there are closed differential forms on compact Riemannian manifolds which are constructed from the curvature form of the connection that give topological invariants of the manifold such as the Euler characteristic. Other differential forms give obstructions to conformal immersions of manifold into Euclidean space.

    This interplay between topology and geometry is a wide area of research. Currently, there is much research in the area of Differential Extensions of cohomology theories - not just Singular cohomology - in which differential forms in the de Rham complex and their reduction mod Z or Q give added information.
     
    Last edited: Jan 11, 2014
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Diffeomorphism vs homeomorphism
Loading...