Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorgeodude
    • CommentTimeJul 23rd 2013
    I have no idea whether any of the things below could be done. But they would definitely settle the question about the legitimacy and importance of the nPOV.

    1) Define a sort of complex for higher homotopy groupoids. Define the same thing for "forms" (for 1-forms: connections/holonomy functors are already there).
    2) Prove that the two complexes above, defined in a certain way, are dual (for holonomy functors and 1-homotopy it's already true). "Cohomotopy".
    3) Prove that the reduction to a point (monoid) of the complexes above is abelian and isomorphic to the homotopy groups, and that the central extension of whatever you find is homology.
    4) "Fundamental theorem of topology": Let M and N be locally diffeomorphic. Then they are globally diffeomorphic IF AND ONLY IF their higher homotopy complexes (see above) are isomorphic.

    The 4) is probably the dream of many. I think that a sufficient and necessary condition for diffeomorphisms, homology and homotopy is not there simply because the classic higher homotopy groups are "not very nice".

    What are your "dream-results"?