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.

205 questions
Filter by
Sorted by
Tagged with
253 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 ...
94 views

107 views

Upper bound on index of geodesics in terms of length

Let $(M, g)$ be a compact Riemannian manifold. Let $i(-)$ be the index of a geodesic and let $l(-)$ be the length. Is there an inequality of the form $i(\gamma) \leq C l(\gamma)$ for some $C>0$ ...
756 views

Next steps for a Morse theory enthusiast?

I don't know if this question is really appropriate for MO, but here goes: I quite like Morse theory and would like to know what further directions I can go in, but as a complete non-expert, I'm ...
74 views

152 views

Is a homotopy sphere with maximum Morse perfection actually diffeomorphic to a standard sphere?

The Morse perfection of a closed differentiable manifold $\Sigma^n$ is defined to be the largest integer $k$, such that there exists a smooth mapping $$p:S^k\times\Sigma^n\rightarrow\mathbb{R}$$ where ...
194 views

Index and length of closed geodesics

Consider the round metric on $S^n$. The geodesics are (multiples of) great circles, and one can verify that this metric is of Morse-Bott type. The Morse indices of the n-covered great circles are (if ...
96 views

A generalization to Bott‘s theorem (from Milnor’s “Morse theory”)

This is Theorem 22.1 of Milnor‘s Morse theory: Let $M$ be a complete Riemannian manifold, let $p,q\in M$ be so that the space $\Omega’$ of minimal geodesics joining $p$ to $q$ is a topological ...
204 views

134 views

CW-structure induced by Morse function on Riemannian manifold [duplicate]

I have heard a statement in the following direction. Given a compact Riemannian manifold $M$ with a Morse function on it possibly satisfying some extra assumptions. Then this data induces a CW-...
289 views

Connections between spectral geometry and critical point/Morse theory

I am researching electrostatic knot theory, which is essentially the theory of harmonic functions on knot complements. I want to understand the number of critical points of the electric potential, ...
392 views

Sard's theorem and Cantor set

Sard's famous theorem asserts that Theorem. The set of critical values of a smooth function from a manifold to another has Lebesgue measure $0$. I am asking for the curiosity that is it possible to ...
130 views

Finite-dimensional argument for Morse-Smale pairs?

Using the Sard-Smale theorem, it is relatively easy to show that Morse-Smale pairs on a manifold $M$ (i.e. pairs $(f,g)$ where $g$ is a metric on $M$, $f$ is a Morse function on $M$, and the stable/...
100 views

182 views

Realizing Morse functions on $S^2$ as height functions

Let $h: \mathbb{R}^3 \to \mathbb{R}$ be the usual height function (i.e. $h(x,y,z) = z$). One way that Morse functions on $S^2$ are often described is by picking an embedding $i: S^2 \to \mathbb{R}^3$ ...
206 views

The norm squared of a moment map

I am studying the paper by E. Lerman: https://arxiv.org/abs/math/0410568 Let $(M,\sigma)$ be a connected symplectic manifold with a Hamiltonian action of a compact Lie group $G$, so that there exist ...
118 views

Splitting of chains of loop space

Evaluation at base point induces a splitting of homology of free loop space $LM$ of a compact manifold $M$, i.e. $H_*(LM)\cong H_*(M) \oplus H_*(LM, M)$. Can such splitting be realised on cellular ...
188 views

$A_{\infty}$ multiplications on Morse cochain complex

Can the higher order $A_{\infty}$ multiplications defined by Fukaya be made trivial(by perturbing gradient trees) when Morse cochain complex is isomorphic to Morse cohomology, in which case the cup ...
227 views

What mathematical background to i need in order to understand proofs of the h-cobordism theorem?

I am about to finish my undergraduate studies and I really enjoyed the topology and differential-geometry classes. I'd love to continue studying differentialtopology and i considered doing some ...
230 views

I would like to know if gradient flows of Morse-Bott functions on a Riemannian manifold always converge towards a unique critical point, provided that the flow line is bounded. To be more precise, a ...
106 views

Generic properties of Jacobians of smooth functions

Let $f = (f_1, \dotso, f_n):\mathbb{R}^n \to \mathbb{R}^n$ be a smooth map and let $J$ be its Jacobian (determinant of the matrix with $ij$-th entry $\partial_i f_j$). We introduce the zero sets of $J$...
304 views

Let $M$ be a manifold, $F$ be a Morse-Bott function, $c$ be a critical level, and $M_c$ be the corresponding critical submanifold. Let us assume that $M_c$ is connected, and the index of $M_c$ is ...
81 views

Morse theory for pairs of submanifolds of complementary dimension

If you have a closed monotone symplectic manifold $M$, then to any pair of closed monotone Lagrangian submanifolds $L_1$, $L_2$ you can associate (modulo some bubbling assumptions) a $\mathbb{Z}_N$-...
362 views

Critical points and high homotopy groups

Is there any known or interesting relation between critical points (possibly degenerate, or maybe only nondegenerate) of a function on a manifold and generators/relations of high homotopy groups? I ...
662 views

CW complex of iterated loop spaces

In Milnor's book Morse Theory, it is proved that the loop space $\Omega S^n$ of the n sphere has the homotopy type of a CW complex with one cell each in the dimensions 0, n-1, 2n-2, 3n-3, ... Or more ...
42 views

Deformation sublevel sets of functions which preserve boundary

I'm interested in proving the following fact, which seems to naturally arise from gradient flow deformations, but appears to be a bit tricky. Consider a smooth family f_s : M \to \mathbb{R}, \quad ...
88 views

Generalized Sard's lemma

Let $f: X \to \mathbb{R}$ be a $C^{1,1}$ (that is $C^1$ with Lipschitz differential) function on a manifold $X$. Suppose that $f$ is smooth at all points of a subset $C \subset \text{Crit}f$ of ...
127 views

Existence of connections in a vector bundle whose parallel transport preserves a function on a total space

Let $p:E \to M$ be a vector bundle over a smooth manifold $M$, $M\times 0$ be the image of its zero section of $p$, $\mathcal{X}(M)$ be the space of vector fields on $M$, and $\Gamma(E)$ be the space ...
241 views

Pullback of Morse form satisfies Palais Smale

Let $(\alpha,g)$ be a Morse-Smale pair on a closed smooth manifold $M$, i.e. $\alpha$ is a Morse form and $g$ a Riemannian metric on $M$ such that stable and unstable manifolds of the gradient vector ...
93 views

What's a completely computational/syntactical model for handle decompositions of manifolds?

Simplicial sets, CW complexes Simplicial sets can be described completely algebraically, by specifying a family of sets, and maps between them satisfying certain relations. This description can be ...