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

learn more… | top users | synonyms

5
votes
1answer
131 views

Bott-Samelson construction of a perfect Morse function on G/T

An undergraduate student of mine is interested in writing a "senior" thesis on the topology of Lie groups. Let $G$ be a simply connected compact Lie group and $T$ a maximal torus. One way of ...
31
votes
0answers
1k views

Two-convexity ⇒ Lefschetz?

Assume that $\Omega$ is an open simply connected set in $\mathbb R^n$ (two-convexity) if 3 faces of a 3-simplex belong to $\Omega$ then whole simplex in $\Omega$. Is it true that any component of ...
28
votes
0answers
2k views

Microlocal geometry - A theorem of Verdier

(1) In "Geometrie Microlocale", Verdier states the following theorem. Theorem: Let $E$ be a vector space and $F$ a constructible complex on $E$. Then for $\ell$ a linear form on $E$, we have a ...
9
votes
0answers
304 views

diameter as a Morse function

Consider the space $X_1$ of closed subsets not containing a pair of antipodal points of the unit circle. Here we have a kind of degenerate Morse function, defined by the diameter of the pointset. ...
8
votes
0answers
242 views

Intersection of plus/minus cells in Bialynicki-Birula decomposition

Let $X$ be a projective variety endowed with an algebraic $\mathbb{C}^*$-action. Assume the fixed point set $W$ is discrete. Then we have two cell decompositions of $X$: $X = \bigsqcup_{w\in W} C_w$ ...
8
votes
0answers
803 views

Good introduction to Morse-Novikov theory?

Morse theory investigates the topology of compact manifolds using critical points of real-valued functions $f\colon\, M\to \mathbb{R}$. Motivated by problems in dynamical systems, Novikov (Multivalued ...
7
votes
0answers
199 views

Is there a general theory of Sard measures?

Let $f:M \to N$ be a smooth map of smooth (second countable) manifolds. The set $C_f \subset M$ of critical points of $f$ is defined to be the set of all $m \in M$ such that the differential $df : ...
6
votes
0answers
195 views

Smooth morse theory of Riemannian distance functions

Let $(M,g)$ be a Riemannian manifold, and $p\in M$. As $R>0$ increases, the topology of the ball $B(p,R)$ changes, but the changes happen only at a Lebesgue measure zero set of $R$. For instance, ...
6
votes
0answers
136 views

Parametrized cancelations in stable Morse theory

Let $B$ be a closed manifold. Let $\pi : M\to B$ be a submersion such that each fiber is a manifold without boundary. Let $f : M \to \mathbb{R}$ be a function such that the restrictions $f_x$ to each ...
4
votes
0answers
472 views

Topological version of two results in smooth Morse theory

Morse theory is generally presented in the DIFF category. However, there is a version of Morse theory in TOP (see the post Morse theory in TOP and PL categories? for references). It is well known ...
3
votes
0answers
176 views

Number of critical points of a smooth function

Are there any examples of closed manifolds with the property that the minimal number of critical points (possibly degenerate) of a smooth function on this manifold is strictly bigger than the stable ...
3
votes
0answers
62 views

If $M$ is a globally symmetric space, do we need it to be compact to prove that all the critical submanifolds in $\Lambda M$ are nondegenerate?

In "The free loop space of globally symmetric spaces" by Ziller, he proves the following theorem: Theorem 2. For a globally symmetric space the critical submanifolds in $\Lambda M$ are all ...
3
votes
0answers
57 views

Morse index in variational calculus

Let $f(t,x,v)$ be a smooth function on $\mathbb{R}\times \mathbb{R}^n\times \mathbb{R}^n$, $\mathcal{C}_{x,y}$ be the set of smooth paths $c:[0,1]\to \mathbb{R}^n$ with $c(0)=x,c(1)=y$, $E(c)$ be a ...
3
votes
0answers
173 views

Perturbation of Morse functions at critical points leaving stable manifolds invariant

Let $f$ be a given Morse-Smale function $f$ on $\mathbb R^n$ with finite many critical points and sufficient growth at $\infty$ like $\langle x, f(x)\rangle \geq |x|$ (cp. MO120858). Is there a way ...
3
votes
0answers
358 views

Transversality and isolated degenerate critical points

Maybe some of the following statements are not precise. Please correct them. Let $M$ be a compact smooth manifold. Let $f: M \to {\mathbb R}$ be a Morse function. Then a generic Riemannian metric $g$ ...
2
votes
0answers
68 views

Parametric Sard-Smale theorem - when is the generic set open?

I am learning Morse/Floer Theory and in my work on my master's thesis I want to apply the parametric Sard-Smale theorem. I.e. I consider a Banach bundle $\mathcal{L} \to \mathcal{M}\times \mathcal{G}$ ...
2
votes
0answers
71 views

Is there any topological information encoded by the zero locus of a complex Hessian?

On a Kahler manifold one can always find a function $K$ so that (up to some constant) the Kahler form $\omega$ can be written as $\omega = \partial \bar{\partial}K$ (sometimes, under conditions that I ...
2
votes
0answers
120 views

Tubular neighborhoods in the proof of the Morse homology theorem

I have a question regarding the proof of the Morse homology theorem given by D. Salamon in "Morse theory, the Conley index and Floer homology". The full text can be found here: ...
2
votes
0answers
163 views

complex Morse function on a four-manifold

If we have a complex Morse function on a complex four-manifold, $f: X\to \mathbb{C} $, can we tell from the function how the genus of inverse images $f^{-1}(z)$ (for regular values) may change? under ...
2
votes
0answers
182 views

Generators of local homology groups of an isolated critical point

This is a basic Morse theory question: Let $M$ be a smooth manifold, and $f:M\to\mathbb{R}$ a smooth function with an isolated critical point $x$. Set $c:=f(x)$. The local homology of $f$ is the ...
2
votes
0answers
312 views

Is the Hessian almost everywhere nondegenerate?

Let $M$ be a complete Riemannian manifold. For a fixed point $p$ in $M$, the Riemannian distance to $p$ is denoted by $d_p$. Fix a strongly convex geodesic ball $B(o,R)$ in $M$ and some disjoint ...
1
vote
0answers
13 views

Sufficient conditions for a conormal vector to be regular for an orbit stratification

Let a complex reductive group $G$ act on a $\mathbb{C}^{n}$ with finitely many orbits. Let $\mathcal{S}$ be the stratification of $\mathbb{C}^{n}$ according to these orbits. Let $(x,\xi) \in ...
1
vote
0answers
54 views

Perturbation of a Fredholm sections which preserves compactness of 0-set

I am learning Morse-Bott-Floer theory and found the following cool paper http://de.arxiv.org/abs/1310.5080 by P. Albers and D Hein. In order to prove a cup-length estimate on the number of critical ...
1
vote
0answers
178 views

How does a level set look like when the minimum point of a function degenerate?

I apologize in advance if this question is well-known. I would like to know an explicit example of a compact, connected manifold $M$ and a smooth function $f: M \to\mathbb{R}$ which satisfy the ...
1
vote
0answers
78 views

Global topological equivalence of Morse functions

Two Morse functions $f$ and $g$ are called topologicaly equivalent if there are diffeomorphism $h$ of the source and orientational-preserving diffeomorphism $k$ of the target such that $f=k\circ ...
1
vote
0answers
94 views

restriction to the boundary in Morse theory

Given a compact manifold with boundary $(M,\partial M)$. There is a natural pullback map $$ H^*(M) \to H^*(\partial M) $$ I'm wondering if there is a reference that: 1) constructs this map in ...
1
vote
0answers
138 views

Detecting Non-Transversality

Suppose $f \colon \mathbb{R}^n \to \mathbb{R}$ is Morse and has finitely many critical points. Is there an algorithm for determining whether there exists a saddle-saddle connection (an orbit of grad ...
1
vote
0answers
143 views

Do higher dimensional maxima of a real valued multivariable function form a cell complex?

Suppose $f: R^n \rightarrow R$ is a positive real valued function. Let $\lambda_1, \ldots , \lambda_i$ be the first $i$ ordered eigenvalues of the Hessian $Hess(f)$. Let $v_1, \ldots, v_i$ be the ...
0
votes
0answers
103 views

Application of Morse theory to second order systems

Hello I'm looking for some applications of Morse theory to second order differential system,( or boundary value problems ) Someone can help me with a pdf or a book which has these applications ? ...
0
votes
0answers
90 views

Can Morse trajectories break if their first derivative is uniformly bounded?

Consider a compact Riemannian manifold endowed with a Morse function f. Fix two critical points x and y of f. Whenever you have a sequence $u_k$ of Morse trajectories connecting x and y it might ...
0
votes
0answers
273 views

Gradient of the energy functional in $H^{1,2}$-norm

I have to use estimates for the gradient of the energy functional on the free loop space of a fixed compact manifold $Q$. As such, one considers $H^{1,2}$-maps of the circle into $Q$. The energy ...