Questions tagged [morse-theory]

In differential topology, Morse theory enables one to analyze the topology of a manifold by studying differentiable functions on that manifold.

Filter by
Sorted by
Tagged with
59 votes
3 answers
5k views

Operations via Morse Theory

I am interested in seeing if and how Morse Theory can "do everything". Some core things are handle decomposition, Bott periodicity, and Euler characteristic. But what do the normal (co)...
Chris Gerig's user avatar
  • 17.2k
19 votes
7 answers
5k views

CW-structures and Morse functions: a reference request

The following is probably well known, but I wasn't able to locate a reference in the literature. Let $f$ be a Morse function on a smooth compact manifold $M$ without boundary and let $\rho$ be a ...
algori's user avatar
  • 23.2k
16 votes
1 answer
923 views

Easiest example where pseudo-isotopy fails to be the same as isotopy?

This question concerns diffeomorphism of manifolds. Let $f: M \to M$ be a self-diffeomorphism. We will say that it is isotopic to the identity if there is a continuous one-parameter family of ...
Chris Schommer-Pries's user avatar
14 votes
2 answers
812 views

Existence of Morse functions on simply connected manifolds

Is it true that any simply connected closed manifold possesses a Morse functions that does not have critical points of index one? If the dimension is at least 5, this is a consequence of the results ...
Stephan Mescher's user avatar
2 votes
1 answer
252 views

Modification of Morse lemma with two functions

Standard Morse lemma states that if the singularity of a smooth function $f$ is non-degenerate, one can choose coordinates such that function has a "quadratic" form $f = \sum \limits_i x_i^2 - \sum \...
Andrei Konyaev's user avatar
30 votes
2 answers
3k views

The difference between a handle decomposition and a CW decomposition

Let $M$ be a compact finite-dimensional smooth manifold. I have a question about the relationship between the statements that a Morse function induces a handle decomposition for $M$, and that it ...
Daniel Moskovich's user avatar
27 votes
5 answers
3k views

Is there a Morse theory proof of the Bruhat decomposition?

Let $G$ be a complex connected Lie group, $B$ a Borel subgroup and $W$ the Weyl group. The Bruhat decomposition allows us to write $G$ as a union $\bigcup_{w \in W} BwB$ of cells given by double ...
skupers's user avatar
  • 7,933
26 votes
2 answers
4k views

Level sets of Morse functions

Every compact two dimensional manifold admits a Morse function such that any its regular level set is at most two circles. I am interested in a generalization of that phenomenon. Does there exist a ...
Petya's user avatar
  • 4,686
24 votes
1 answer
4k views

Can the constant rank theorem for smooth manifolds be generalized to nonconstant rank?

The constant rank theorem says that if $f\colon M→N$ is a smooth map whose rank equals some fixed $k≥0$ at any point of $M$, then, locally with respect to $M$ and $N$, the map $f$ assumes the easiest ...
Dmitri Pavlov's user avatar
23 votes
1 answer
2k views

How does the Framed Function Theorem simplify Cerf Theory?

A handle decomposition of a manifold $M$ is a useful structure to carry around. It is induced by a Morse function $f\colon\, M\to \mathbb{R}$. How are two handle decompositions of $M$ related? The ...
Daniel Moskovich's user avatar
20 votes
2 answers
1k views

Is there a discrete Cerf theory?

Towards the end of the 1990's, Robin Forman developed a discrete version of Morse theory, which concerns maps from a simplicial complex to $\mathbb{R}$ satisfying a combinatorial analogue to the ...
Daniel Moskovich's user avatar
7 votes
2 answers
566 views

Generalizations of the handle trading techniques

As Theorem 8.1 in "Lectures on the h-cobordism theorem (written by J.Milnor)" show, we can choose a handle decomposition of cobordism (satisfying some connectivity and dimensional assumptions) with no ...
Shinichiro Nakamura's user avatar
6 votes
1 answer
835 views

Is the space of gradient-like vector fields contractible?

Let $M$ be a compact manifold (without boundary) and let $f:M\to \mathbb{R}$ be a fixed Morse-function. Question: Is the space $GVect(M,f)$ of all gradient-like vector-fields for $f$ contractible ...
Dave's user avatar
  • 281
6 votes
2 answers
490 views

The negative gradient flow of a Morse-Bott function on a compact manifold converges to a critical point?

Let $(M, g)$ be a compact Riemannian manifold and $f: M \rightarrow \mathbb{R}$ be a Morse-Bott function, i.e. the set a critical points of $f$, $Crit(f)$, has connected components which are smooth ...
Mira's user avatar
  • 129
6 votes
1 answer
235 views

Stable manifolds of a sequence of Morse functions

Let $\ f_n \ $ be a sequence of Morse functions on $\mathbb{R}^d$, adequately converging (in the $C^2$-topology, say) to a limit Morse function $\ f$: $$ f_n \to f \ .$$ At any critical point $\ p\ $...
José Navarro's user avatar
4 votes
1 answer
241 views

Local maxima of the sum of Gaussian functions in *multiple dimensions* are always strict local maxima - prove/disprove/prove conditionally?

This is a follow up of the question in one dimension, that asked to show that the all the maxima of the sum of Gaussian $$f_n(x):= \sum_{i=1}^{n}e^{-(x-x_i)^2}, x_1 < x_2 < \dots < x_n$$ are ...
Learning math's user avatar
4 votes
0 answers
119 views

Cylindrical Decomposition vs Morse decomposition

Suppose I have a polynomial Morse function $f: \mathbb{R}^n \to \mathbb{R}$. Consider the ideal $I(\nabla f)$ generated by the partial derivatives $\partial_i f$, and assume that the real zero-set of ...
Simon Segert's user avatar
2 votes
0 answers
216 views

Reference request: complete, rigorous proof of compactification of moduli spaces of flow lines in Morse homology?

The result I'm looking for can be stated as follows (taken from Hutchings' notes): Here the moduli spaces are referring to the spaces of flow lines of the negative gradient flow induced by the Morse ...
Yuxiao Xie's user avatar
0 votes
0 answers
159 views

A closed leaf with two different index with respect to two different Riemannian metrics

Inspired by this question about Jacobi equation. conjugate points and limit cycle theory we ask the following question: Is there a geodesible 1 dimensional foliation $\mathcal{F}$ on a manifold $M$, ...
Ali Taghavi's user avatar