Is there a Morse theory for sections of bundles or more generally for maps? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T06:19:05Z http://mathoverflow.net/feeds/question/13038 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/13038/is-there-a-morse-theory-for-sections-of-bundles-or-more-generally-for-maps Is there a Morse theory for sections of bundles or more generally for maps? José Figueroa-O'Farrill 2010-01-26T12:48:51Z 2010-02-08T12:32:23Z <p>This question was prompted by my interpretation of <a href="http://letterstonature.wordpress.com/2010/01/26/genus-analogues/" rel="nofollow">a question</a> by cosmologist Berian James.</p> <p><strong>Background</strong></p> <p>Some cosmologists have suggested using the cosmological dark matter density, which defines a function $f:M\to \mathbb{R}$ with $M$ the spatial universe, in order to probe the topology of $M$. (<strong>edit</strong>: Berian comments below that this may not be what this is about! Listen to him... not to me!) The original reference seems to be <a href="http://go2.wordpress.com/?id=725X1342&amp;site=letterstonature.wordpress.com&amp;url=http%3A%2F%2Fadsabs.harvard.edu%2Fcgi-bin%2Fbib%5Fquery%3F1986ApJ...306..341G" rel="nofollow">this paper by Gott et al.</a>. Although the paper does not mention it explicitly, it seems that the natural mathematical framework for this proble is Morse theory.</p> <p>Berian is interested not just in functions, but also e.g., vector fields or more generally sections of bundles on $M$. Hence the following</p> <p><strong>Question</strong></p> <p>Can one extend Morse theory beyond functions to sections of bundles? or perhaps to differentiable maps $f: M \to X$?</p> <p>Pointers to the literature would be most welcome.</p> <p>Cheers.</p> http://mathoverflow.net/questions/13038/is-there-a-morse-theory-for-sections-of-bundles-or-more-generally-for-maps/13041#13041 Answer by Petya for Is there a Morse theory for sections of bundles or more generally for maps? Petya 2010-01-26T13:57:53Z 2010-01-26T13:57:53Z <p>You are asking a very classical question. It seems to me, that general answer is No. But there were some interesting attempts (could not find referencies..). In some cases one can prove that there is no "Morse theory" for a class of maps, since they satisfy h-principle and one can eliminate (almost all) singularities.</p> <p>I formulate a result (due to Gromov) of a Morse-type estimates of a singular points of smooth mappings to the plane. Consider a generic smooth map of a closed manifold $M$ to the plane. Consider the image of its singular points. It is a curve having cusps and double self-intersections as singular points only. Denote by $C$ a number of its cusps, by $X$ a number of double self-intersections and by $Comp$ a number of components. Then the sum $B(M)$ of Betti numbers of $M$ is restricted by $C+2X+2Comp$.</p> http://mathoverflow.net/questions/13038/is-there-a-morse-theory-for-sections-of-bundles-or-more-generally-for-maps/13057#13057 Answer by Orbicular for Is there a Morse theory for sections of bundles or more generally for maps? Orbicular 2010-01-26T18:02:28Z 2010-01-26T18:02:28Z <p>There is a construction for Morse theory for circle-valued functions. I think it is due to Novikov (that's also where the Novikov ring originates), see e.g.<br /> <a href="http://www.maths.ed.ac.uk/~aar/papers/ranicki3.pdf" rel="nofollow">http://www.maths.ed.ac.uk/~aar/papers/ranicki3.pdf</a></p> http://mathoverflow.net/questions/13038/is-there-a-morse-theory-for-sections-of-bundles-or-more-generally-for-maps/13059#13059 Answer by Ryan Budney for Is there a Morse theory for sections of bundles or more generally for maps? Ryan Budney 2010-01-26T18:19:35Z 2010-01-26T18:45:50Z <p>Extending Petya's answer, if you want something like indices, handle attachments and things of that flavour the answer is no. You can prove there's no such thing in that level of generality. But that's a pretty "close read" of Morse theory that does not translate to other contexts. If you take a "broad" reading of Morse theory: classify the local behavior of "generic" maps between manifolds, and study the properties that are conserved via generic homotopies, etc, then what you have is singularity theory, the work of people like Thom and Mather applies. This kind of thing gets applied in many ways -- a nice recent example that I like would be the paper of D.Thurston and Costantino where they use the properties of generic maps from 3-manifolds into $\mathbb R^2$ to construct efficiently-triangulated 4-manifolds bounding triangulated 3-manifolds. But that's only one of many examples. </p> <p>A question in return: how would you expect a Morse theory of sections of bundles? You don't have "level sets" so perhaps you're interested in properties of generic maps? Or some relations between local properties of the section and a global property of the bundle -- things like Euler characteristics? </p> <p>edit: I read the "letters to nature" blog you linked to. The author says his motivation is to "classify functions"? It would be helpful if the author could specify what equivalence relation on functions he's considering. Presumably an object like the $C^1$ norm is too restrictive?</p> http://mathoverflow.net/questions/13038/is-there-a-morse-theory-for-sections-of-bundles-or-more-generally-for-maps/13071#13071 Answer by Berian James for Is there a Morse theory for sections of bundles or more generally for maps? Berian James 2010-01-26T21:42:21Z 2010-01-26T21:42:21Z <p>Ryan: my use of the phrasing 'classify functions' is both inaccurate and imprecise. But we're in danger of talking past one another, because the classification I am pursuing is on the basis of different physical processes. This is a physics goal, not a mathematical one.</p> <p>The functions observational cosmologists consider are invariably smooth. The cosmological dark matter density is an example and the calculation of the Euler characteristic for level sets of that function is a nice application of Morse theory to physics. The velocity of the dark matter fluid, which a physicist would call a vector-valued function, is an example of an object to which we would like to apply the same apparatus, but are unsure how to proceed.</p> <p>I think that you indicate that the concept of a level set is not well-formed for an object of that kind? Could you comment on the generality of that statement bearing in mind the relative triviality of the objects in question?</p> <p>I would also like to clarify Jose's phrasing. Studies of this kind aim very much to study the properties of $f$, rather than $M$. The study of the topology of the spatial Universe is an excellent and interesting problem as well! But the aim here is to use techniques from Morse theory as a way of probing how physical effects alter the form of $f$.</p> <p>Thanks for all the help so far! I hope there's more to discuss.</p> http://mathoverflow.net/questions/13038/is-there-a-morse-theory-for-sections-of-bundles-or-more-generally-for-maps/14640#14640 Answer by Celso for Is there a Morse theory for sections of bundles or more generally for maps? Celso 2010-02-08T12:32:23Z 2010-02-08T12:32:23Z <p>The best extend of Morse Theory to maps is the theory of Lefschetz foliation. More than this would be a theory to deal with such singular foliations.</p>