Pair consisting of a compact manifold and Morse function - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T17:15:06Z http://mathoverflow.net/feeds/question/44514 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/44514/pair-consisting-of-a-compact-manifold-and-morse-function Pair consisting of a compact manifold and Morse function Rbega 2010-11-02T04:03:40Z 2010-11-03T14:54:16Z <p>Consider the following situation:</p> <p>Let $M$ and $M'$ be two closed manifolds and suppose $f:M\to \mathbb{R}$ and $f':M'\to \mathbb{R}$ are smooth morse functions on $M$ and $M'$ respectively. We say the pair $(M,f)$ and $(M',f')$ are <i>equivalent</i> if there is a smooth diffeomorphism $\phi:M\to M'$ so that $f'\circ \phi=f$ and consider equivalence classes $[(M,f)]$.</p> <p>My questions are:</p> <p>1) Has this been studied at all? and if so</p> <p>2) Is there any sort classification result for (oriented) surfaces $M$?</p> <p>What I'm looking for in 2) is that any equivalence class $[(M^2, f)]$ contains some geometrically nice example...for instance an immersed surface in $\mathbb{R}^3$ with the morse function given by restriction of the $z$ coordinate function. I'm mostly interested in examples where $f$ has as few critical points as the topology of $M$ allows.</p> <p>I apologize if this is trivial as it came up while I was playing around with an idea for a different problem and (like most aspects of topology) is sadly not something I'm very familiar with.</p> <p>If it helps, the example I have in my head is to take a genus-2 surface in $\mathbb{R}^3$ that looks like a figure 8 and morse function given by restricting the $z$ coordinate and contrast it with the genus-2 surface in $\mathbb{R}^3$ that looks like $\infty$ (i.e. the first one on its side) with Morse function given by restricting the $z$ coordinate. These two pairs shouldn't be equivalent as the number of components of level curves of the first morse function is at most 2 while the second has level curves of the morse function with 3 components (I apologize for the crummy graphics). This is in spite of both morse functions having the same number of critical points (six). I was wondering how many other examples of morse functions there were with 6 critical points that weren't equivalent to these two.</p> <p><b>Edit:</b></p> <p>I felt I should add...heuristically what I am interested in is to what extent can one use a Morse function to say whether the handles (in a surface) are "next to each other" or "on top of one another".</p> http://mathoverflow.net/questions/44514/pair-consisting-of-a-compact-manifold-and-morse-function/44648#44648 Answer by Agol for Pair consisting of a compact manifold and Morse function Agol 2010-11-03T05:13:21Z 2010-11-03T14:54:16Z <p>You might have a look at Hatcher and Thurston's paper "<a href="http://www.ams.org/mathscinet-getitem?mr=579573" rel="nofollow">A presentation for the mapping class group of a closed orientable surface</a>". They use Morse functions on the surface to facilitate the derivation of their presentation. On page 223 and following, they discuss how to form a graph from a Morse function on a surface, which is the leaf space of the level sets of the Morse function. This graph, together with its map to $\mathbb{R}$, uniquely determines the Morse function on the surface (up to graph isomorphism preserving the function). In particular, one need only know the values of the Morse function at the vertices of the graph (corresponding to the critical points of the Morse function on the surface) since it is monotonic on each of the edges. The space of such functions will therefore be parameterized by a subset of a vector space, satisfying certain inequalities. As they indicate on p. 224, the surface with the Morse function may be recovered from the graph (with its Morse function) by embedding it in $\mathbb{R}^3$ and taking the boundary of a regular neighborhood (after a small perturbation). </p>