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

252
questions

2
votes

1
answer

92
views

### Generalize the conception of 'stable' solution and 'stable outside a compact set' solution of elliptic PDE from $\mathbb{R}^n$ to closed manifold

I want to talk about generalizing the conception of 'stable' solution and 'stable outside the compact set' solution of elliptic PDE from $\mathbb{R}^n$ to closed manifold.
I'm reading $\Delta u +e^u=0$...

3
votes

1
answer

162
views

### What is the infinite Morse index solution?

I'm reading the celebrated paper written by Congming Li and Wenxiong Chen, Classification of solutions of some nonlinear elliptic equations, which considered
$$\Delta u = -e^u \ \ in \ \ \mathbb{R}^2.$...

5
votes

1
answer

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

4
votes

1
answer

206
views

### Dynamical analogue of Morse theory

Is there a Hamiltonian $H:\mathbb{R}^{2n} \to \mathbb{R}$ with the following property:
For two regular values $a<b$ for which $[a,b]$ consists of regular values, the dynamics of $X_H$ on $H^{...

1
vote

0
answers

59
views

### Integrability (and hence regularity) of $\alpha$-harmonic maps

To prove the smoothness of an $\alpha$-harmonic map, Sachs and Uhlenbeck firstly show (in their paper "The existence of minimal immersions of 2-spheres") that it is in the Sobolev space $L^...

1
vote

1
answer

160
views

### Is squared geodesic distance a Morse-Bott function on simply-connected Hadamard manifolds?

Let $M$ be a simply connected Hadamard manifold. That is, $M$ is a complete Riemannian manifold with sectional curvature bounded above by 0. Let $f(x,y)=\frac{1}{2}d^2(x,y)$, where $x,y \in M$, and $d(...

1
vote

0
answers

60
views

### Homogenization of Morse-Bott functions

Let $M$ be a compact manifold of dimension $n$.
A smooth function $f:M \to \mathbb{R}$ is called Morse-Bott if the set critical points of $f$ is a disjoint union of compact submanifolds $C_1,\ldots,...

2
votes

0
answers

92
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$ ...

2
votes

0
answers

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

3
votes

1
answer

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

0
votes

0
answers

158
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$, ...

4
votes

1
answer

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

2
votes

0
answers

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

2
votes

0
answers

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

2
votes

0
answers

116
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)$ ...

2
votes

1
answer

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

2
votes

2
answers

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

6
votes

1
answer

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

3
votes

0
answers

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

6
votes

2
answers

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

3
votes

1
answer

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

6
votes

2
answers

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

1
vote

0
answers

76
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&...

0
votes

0
answers

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

0
votes

1
answer

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

3
votes

1
answer

143
views

### Morse functions inducing Heegaard diagrams

Let $(\Sigma, \alpha, \beta)$ be a Heegaard diagram for a 3-manifold $M$, corresponding to a Heegaard splitting $M = H_1 \cup_\Sigma H_2$. There may be many self-indexing Morse functions $f: M \to \...

0
votes

1
answer

84
views

### A question about Marino–Prodi perturbation

In this paper N. Ghoussoub,
the author claims the following version of Marino–Prodi perturbation, that is :
Let $H$ a Hilbert space.
Let $f\in C^2(H, \mathbb{R}),$ $K$ is a compact subset of $K_c$ (...

3
votes

0
answers

158
views

### Exponential map of cotangent bundle and Morse theory on based loop space

Consider $M$ to be a compact manifold and $q_0,q_1\in M$. Let $L_t$ be a lagrangian and $\mathcal{E}_L$ the lagrangian action functional on the based loop space $\Omega(M,q_0,q_1)$ defined as $\...

1
vote

1
answer

126
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}^*$.
...

4
votes

0
answers

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

1
vote

0
answers

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

4
votes

1
answer

295
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
vote

1
answer

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

1
vote

0
answers

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

4
votes

2
answers

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

3
votes

0
answers

149
views

### Homological stability of Chow varieties

Given a connected component $C$ of the degree $d$ Chow variety of $r$ cycles on $C_{d,r}(X)$ ($X$ is smooth projective variety over $\mathbb{C}$), let $C'$ be another connected component of $C_{d',r}(...

3
votes

0
answers

244
views

### Some clarifications on the PSS isomorphism in Hamiltonian Floer cohomology

I'm looking for some help in understanding the PSS isomorphism map in the context of Hamiltonian Floer cohomology and Morse cohomology with universal Novikov coefficients $\Lambda_{\omega}$ (à la ...

1
vote

0
answers

183
views

### Existence of Morse function on suspension

Let $X$ be a smooth simply connected compact manifold of dimension $n$ with boundary. Let $Y$ be a smooth compact manifold of dimension $n+1$ without boundary such that $H_{i+1}(Y)=H_{i}(X)$(reduced ...

1
vote

0
answers

176
views

### Questions related to Morse theory

I asked this question long back but could not get a satisfying answer. Starting with a finite CW complex $X$ of dimension $n\geq 3$. I have embedded it inside $R^{2n}$. Now take a tubular neighborhood ...

14
votes

1
answer

1k
views

### Artin vanishing for Stein manifolds and restriction maps

In the setting of complex Stein manifolds $X$ of complex dimension $d$, the theorem of Andreotti--Frankel implies the vanishing of the singular cohomology group $H^i(X,\mathbb Z)=0$ for $i>d$. With ...

2
votes

0
answers

78
views

### Existence of a proper Morse function

I started with a finite CW complex $X$ of dimension $n\geq 3$. I have embedded (local embedding) it inside $R^{2n}$. Now take a regular neighbourhood $U$ of $X$ in $R^{2n}$ which has the same homotopy ...

2
votes

1
answer

122
views

### Morse approximation with bounded number of critical points

Let $(M^3,g)$ be a compact Riemannian 3-manifold and let $f\in C^{\infty}(M)$ be a smooth function. Does there exist a constant $k>0$ (possibly depending on $M$ and $g$) such that $f$ can be $C^2$-...

10
votes

0
answers

173
views

### A minimal $\mathbb Z/2$-invariant Morse function on $U(n)$

Consider the group $U(2n)$ of unitary matrices. This has two standard and important homomorphic involutions. The most famous one $A \mapsto \overline A$ is complex conjugation, with fixed-set $O(2n)$, ...

5
votes

0
answers

249
views

### Existence of an affine variety with homotopy type of suspension of another affine variety

Let $X$ be an affine variety. My question is does there exist another affine variety with the homotopy type of the suspension of $X$?

8
votes

1
answer

167
views

### Analog of Cerf theory in PL

Is there an analog of Cerf theory in PL?
More specifically, given two handle decompositions of a PL (relative) cobordism $W$, is it always possible to go from one handle decomposition to the other via ...

9
votes

2
answers

689
views

### Bialynicki-Birula decomposition for real analytic varieties

Let $X$ be a smooth complex algebraic variety endowed with a $\mathbb{C}^*$ action. We assume also to have an antiholomorphic involution $\sigma$ over $X$ such that it anticommutes with the action ...

1
vote

0
answers

186
views

### Circle-valued Morse function and minimal genus

I think the following two statements are true, and most likely are in the literature. If so, could someone point me to some references? If not, counterexamples?
Let $Y$ be a closed oriented connected ...

2
votes

0
answers

158
views

### Genericity of an induced projection map

I am cross-posting a question asked on Math Stackexchange that has not been answered, in which I am still interested in.
Let $X,Y$ be smooth manifolds, $S'$ a submanifold of $Y$, and $f:\mathbb{R}\...

5
votes

1
answer

433
views

### Invariance of morse homology, doubt in proof in book "Morse Theory and Floer homology"

I am reading the book "Morse theory and Floer Homology" by Michele Audin and Mihai Damian. Now I am reading the proof of the following theorem.
Link to the statement of the theorem
...

2
votes

0
answers

116
views

### Existence of a certain Morse function

Let $\mathbb{B}^4=\{(x_1, x_2, x_3, x_4): x_1^2+x_2^2+x_3^2+x_4^2\leq 1\}$ be the closed unit 4-ball. Consider first the Morse function
$$
f(x_1,x_2,x_3,x_4)=\frac{1}{2}\left(x_1^2+x_2^2-x_3^2-x_4^2\...