# 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.

259 questions
Filter by
Sorted by
Tagged with
281 views

### Is there a Morse function that does not arise from a minimal-dimensional height function?

Let $M$ be a smooth, finite dimensional manifold of dimension $n$, and let $m$ be the minimal dimension for which $M$ admits a smooth embedding into $\mathbb R^m$. Question: Does every Morse function ...
• 6,121
120 views

### Is there a canonical "minimal" Morse decomposition?

Classical Morse theory gives a handle decomposition of a finite dimensional manifold $M$ for every choice of Morse function $f: M \to \mathbb R$. Is there always a Morse function that induces a "...
• 6,121
64 views

### Is it likely that gradient flow trajectories of a $G$-invariant function pass through degenerate points?

This question may be posed somewhat vaguely, but I'm interested to actually get an idea of what to expect, so I try to not target it at a specific result. Assume that $G$ is a compact Lie group, ...
• 139
52 views

### Continuity of the set of critical points of a Morse function when the function varies

Let me first give the result I am looking for, then what I found up to now and some related questions. Definition/Notation. Denote $Y_k(f)$ the set of critical values $x$ of $f$ such that the index of ...
• 43
104 views

• 755
614 views

### Morse theory for manifolds with boundary

I need a reference to some basic facts about Morse theory on manifolds with boundary. Namely, if a critical point lies on the boundary, then the gradient of function might be nonzero and it brings ...
• 44.5k
228 views

• 219
1 vote
192 views

125 views

### Reference for Morse-Bott vector fields

I'm looking for a reference for the following result: Let $X$ be a vector field on a manifold $M$ and let $C$ be a submanifold of $M$ formed by critical points of $X$. Assume that the Hessian of $X$ ...
• 1,409
143 views

### Is Morse theory local?

I am currently trying to use Morse theory in my work. Say I have $X$ smooth compact manifold and $f : X \to \mathbb{R}$ a smooth function. The classical result I know is : when $f$ has non-degenerate ...
235 views

### Handle attachment information from Morse function and triangulation

First, allow me to setup the relevant information. It is well known that a Morse function $f:M\to\mathbb{R}$ induces a handle decomposition of $M$. For simplicity, let's restrict for now to the ...
• 159
161 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$, ...
• 600
270 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 ...
• 1,427
175 views

### Morse theory for isotopies of codimension 1 submanifolds and generalized bigon moves

I seem to have managed to convince myself of the validity of a certain result. If it does indeed hold (modulo non-catastrophic adjustments) I could really use a reference. Otherwise, I would also be ...
• 151
85 views

### Understanding dimension of gradient flow trees for product on Morse complex

I am trying to square my intuition with the facts and hope this question is not too vague. I am reading this paper which describes the $A_\infty$-category of Morse functions on a manifold $M$ of ...
• 121
142 views

### Transformation of Morse function in $\mathbb{CP}^n$ trough symplectomorphism

I have a question I have been thinking for a while and feel like it should be true but have no idea of how to prove it. First let me introduce a piece of notation. Consider $(\mathbb{CP}^n,\omega)$ ...
• 191
122 views

### Morse theory for compact sets bounded by hypersurfaces in euclidian space

I am having trouble understanding precisely how some part of Morse Theory works. More precisely, take $X$ to be a compact set of $\mathbb{R}^d$ such that $\partial X$ (topological boundary) is a ...
508 views

### How to use that the Hessian is negative definite in this proof

Let $X$ be a Riemannian compact manifold on which acts a compact Lie group $H^+$. Let $f^+ : X \rightarrow \mathbb{R}$ be a smooth function on $X$. Consider a Lie subgroup $U$ of $H^+$ and suppose ...
• 129
376 views

### The norm-squared of a moment map behaves like a Morse-Bott function

Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}$. Let $<.,>$ denote a $G$-invariant inner product on $\mathfrak{g}$. Let $(M,\omega)$ be a symplectic compact manifold endowed with ...
• 129
181 views

### Stable sets for gradient flow of functions with singularities

Let $f: \mathbb{R}^n \to \mathbb{R}$ be a real-analytic function, and let $F_t$ denote the gradient flow of $f$ with respect to some background metric. Suppose that $df = 0$ at a point $p$. In the ...
• 2,810
974 views

### Morse index in PDEs

I have encountered with the term "Morse index" multiple times while reading papers in PDEs (e.g. [1] and [2]). However the definition differs for each context. As far as I know this came ...
147 views

### Perturbation of vector fields in Morse Homology

Recently I have been reading on Morse Homology. Suppose we have a compact manifold $M$ and a smooth function $f:M \rightarrow \mathbb{R}$ and a Morse vector field $X$ such that we can do Morse ...
• 791
537 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 ...
• 129
1 vote
79 views

### Diagrams for critical points [closed]

In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030) pages 13 and 15 we have : for case "d&...
• 204
46 views

### configurations of three saddles on one level [duplicate]

In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030) page 13 we have : There are sixteen ...
• 119
218 views

### Why do we have sixteen possible configurations of three saddles on one level?

In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030) page 13 we have : There are sixteen ...
• 119
175 views

• 791
162 views

### Is an $L^p$-sphere in Sobolev space $H_2^{s}(\Omega)$ a Hilbert manifold?

For a bounded smooth domain $\Omega$, let $H_2^{s}(\Omega)$ be the usual Sobolev space on $\Omega$. Define $A:=\{f\in H_2^{s}(\Omega)| \lVert f\rVert_{L^p(\Omega)}=1\}$ where $2<p<2_{s}^*$. ...
• 711
416 views

### What are your common strategies/remedies when your new theory/idea stuck in most cases?

Sorry if this is not a suitable post for MO. Sometimes after reading the origin of a theory/idea in differential topology I put myself in the shoes of that mathematician and ask myself, Did you do the ...
• 4,185
1 vote
62 views

### Proper Morse function on open set

Let $M$ be a compact submanifold with boundary of $\mathbb{R}^n$ of dimension $n$. Let $f:M \to \mathbb{R}$ be a Morse function. Then $f$ is proper. Let $N:=M-bd(M)$. How can I get a proper Morse ...
• 1,069
325 views

### Building a manifold from a CW complex inductively

Given a finite dimensional finite $CW$ complex $X$ of dimension $d$, I want to build a compact manifold $M$ (with least dimension possible) with boundary with the property that, $M$ has the same ...
• 1,069
1 vote
211 views

### What is the definition of a height function for a subsurface?

What is the definition of a height function for a subsurface? Is a height function exactly a Morse function? In the paper: "On the Teichmüller tower of mapping class groups By Allen Hatcher at ...
• 119
1 vote
68 views

### Morse function on the Sphere base on functions on the disc

Lets consider a Morse function $f:\mathbb{S}^2\rightarrow \mathbb{R}$ such that it has two maximal points, one minumun and one saddle at $c$. Notice that $f^{-1}(-\infty,c)$ is topologically a disk. ...
• 141
426 views

### Dismissing pseudoholomorphic curves in embedded contact homology

In the papers The periodic Floer homology of a Dehn twist, Rounding corners of polygons and the embedded contact homology of $T^3$, and Combinatorial embedded contact homology for toric contact ...
• 191