The morse-theory tag has no usage guidance.

**4**

votes

**1**answer

189 views

### Concerning strata in $C^\infty(M)$

The Morse functions are dense in $C^\infty(M)$, and you can ask if a 1-parameter family of smooth functions between two given Morse functions will be a homotopy through Morse functions. Well, Cerf ...

**6**

votes

**4**answers

578 views

### Induced maps in Morse Homology

Let $M,N$ be closed manifolds. Given a differentiable map $f:M\rightarrow N$, I am interested in computing $f_k:H_k(M)\rightarrow H_k(N)$, in Morse Homology. This problems seems difficult, and the ...

**8**

votes

**0**answers

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

**11**

votes

**2**answers

603 views

### Discrete Morse function from smooth one

Suppose I have a smooth manifold $M$ and a smooth Morse function $f$ on $M$. Is there a standard way to replace $M$ with a cell complex and $f$ with a discrete Morse function such the resulting ...

**2**

votes

**1**answer

148 views

### Invariance group of Morse charts

Suppose I have a smooth function $\varphi$ that vanishes at $p$ and has a positive definite Hessian at that point (suppose that we are on a smooth manifold of dimension $M$). Then the Morse lemma ...

**3**

votes

**1**answer

183 views

### Measuring almost-critical values of smooth functions.

Consider a compact sub-manifold $X \subset \mathbb{R}^n$ of Euclidean space and let $f:X \to \mathbb{R}$ be any smooth function. Recall that $x \in X$ is a critical point of $f$ if the gradient ...

**17**

votes

**1**answer

981 views

### Any algebraic substitute for Morse theory (and homology) in arbitrary characteristic?

As far as I know, Morse theory yields much information on the topology of smooth manifolds; in particular, it can be used to prove Artin's vanishing (that the singular cohomology of smooth complex ...

**5**

votes

**1**answer

216 views

### Equivariant handle decompositions

Suppose I have some smooth closed high-dimensional manifold $M$ acted on smoothly by a finite group $G$. By a metric averaging procedure, we can equip $M$ with a smooth Riemannian metric so that $G$ ...

**4**

votes

**1**answer

276 views

### Classifying smooth embeddings which yield Morse functions

Let $\mu:M \to \mathbb{R}$ be a fixed surjective smooth function on a smooth manifold $M$. Let $N$ be a smooth compact manifold that embeds smoothly into $M$ via $\iota:N \to M$.
What conditions ...

**2**

votes

**1**answer

407 views

### Looking for the perfect morse

A Morse function $f(x)\colon \mathbb{R}^n\to \mathbb{R}$ is a smooth function s.t. all singular points are non-degenerate. A theorem of Sard implies that for any smooth $f(x)$ and almost all $a\in ...

**7**

votes

**0**answers

194 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 : ...

**3**

votes

**1**answer

313 views

### Special Morse function on a Riemann surface

Let $f: S \to \Bbb R$ be a Morse function on a Riemann surface. Let $x_0$ be a saddle point of $f$. Since $x_0$ is a critical point of $f$, it makes sense to talk about the bilinear forms ...

**3**

votes

**2**answers

629 views

### Self-indexing Morse functions on non-compact manifolds

Hi,
given a compact manifold M we can always alter a given Morse function f to a self-indexing one (i.e., one where every critical point c has $f(c) = \operatorname{index}(c)$) - a proof of this may ...

**1**

vote

**4**answers

450 views

### Perturbation of Morse function

The following question is probably classic in Morse theory, so a reference to an existing result should be sufficient. I don't know much about Morse theory and I am dealing with the following ...

**43**

votes

**3**answers

2k 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)homology ...

**2**

votes

**0**answers

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

**4**

votes

**0**answers

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

**1**

vote

**1**answer

370 views

### Can a function from R^n to R^n fail to be one-to-one, and also lack critical points? [closed]

I feel like there should either be a straightforward example of such a thing, or a homological reason why it can't exist. The reason why I ask is that if the Hessian matrix of a Lagrangian is ...

**5**

votes

**2**answers

480 views

### Reference request: embedded Morse theory

For references of embedded Morse theory, or so-called relative morse theory of a pair, I have found R.W. Sharpe's "Total Absolute Curvature and Embedded Morse numbers" totally not helpful. For further ...

**16**

votes

**4**answers

1k views

### Morse theory in TOP and PL categories?

Apparently there are topological and piecewise linear versions of Morse theory. I would like to know of references that treat these topics.
How is a Morse function defined for compact manifolds (with ...

**1**

vote

**1**answer

170 views

### Morse Theory on pseudo-Hermitian manifold

I wonder if Morse Theory on pseudo-Hermitian manifold is developed. For example, I wonder if the following statement on pseudo-Hermitian manifold, which is corresponding to the Riemannian case, is ...

**4**

votes

**1**answer

225 views

### Is any Morse trajectory contained in a contractible open set?

Suppose $f$ is a Morse function on a Riemannian Hilbert manifold $M$. Let $p_{\pm}\in \text{Crit}(f)$ be given and fix some $u:R\rightarrow M$ which is an integral curve of $-\nabla f$ connecting ...

**11**

votes

**5**answers

1k views

### Yang-Mills and Chern-Simons functionals as Morse functions

Can the Yang-Mills or Chern-Simons action functionals be considered as [possibly perfect] Morse functions? I assume we would be in an equivariant scenario due to considering the configuration spaces ...

**6**

votes

**2**answers

670 views

### Morse Function on 3-Torus from Heegaard Splitting

It is easy to visualize some Morse functions on surfaces (such as the torus) via the height function, but this seemingly doesn't work for 3-manifolds. I am looking for an explicit one on the 3-torus ...

**8**

votes

**0**answers

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

**2**

votes

**0**answers

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

**12**

votes

**1**answer

484 views

### Nonisotopic homotopy equivalent Morse functions

One can cut a manifold up along the critical levels of a Morse function and deduce something about the topology. In particular the critical points (and the connecting gradient flowlines) define a ...

**23**

votes

**2**answers

1k 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 ...

**3**

votes

**1**answer

165 views

### bounding the probability that a polynomial is near 0

Given a polynomial $p(x_1,\ldots, x_k)$ in $k$ variables with maximum degree $n$, and $x_1,\ldots, x_k \in [0,1]$. Suppose $\max_{x \in [0,1]^k} p(x) = 1$, can we get an upper bound on the probability ...

**2**

votes

**1**answer

281 views

### Thom's gradient conjecture and analyticity

Suppose we have an analytic function $f: U \to {\mathbb R}$, where $U\subset {\mathbb R}^n$ an open subset, with $0\in U$ a critical point of $f$. Thom conjectured that if a trajectory $x(t)$ of ...

**12**

votes

**1**answer

667 views

### Most general context for the Morse Lemmas

Among the foundational results in differential topology are the Morse lemmas:
Suppose that $f\colon\, M\to \mathbb{R}$ is a smooth function on a closed manifold M, that $f^{−1}[-\epsilon,\epsilon]$ ...

**14**

votes

**1**answer

948 views

### ``Nice'' metrics for a Morse gradient field: counterexample request

Ralph Cohen (professor at Stanford) is teaching a class on algebraic topology and moduli spaces this quarter, beginning by reviewing his perspective of Morse theory. He defined "nice" metrics, proved ...

**4**

votes

**1**answer

529 views

### Morse theory and adiabatic limits

Let's start with a product manifold $M\times N$, with a product Riemannian metric $g_M\oplus g_N$. Consider a generic Morse function $f(x, y)$ on $M\times N$. Then its critical points are discrete and ...

**14**

votes

**4**answers

1k views

### Searching for an unabridged proof of “The Basic Theorem of Morse Theory”

Steven Smale labels the following statement "The Basic Theorem of Morse Theory" in A Survey of some Recent Developments in Differential Topology:
Let f be a $C^\infty$ function on a closed manifold ...

**4**

votes

**2**answers

491 views

### Gluing in Morse homology for Hilbert manifolds

Is there any reference for gluing in the context of Morse homology on Hilbert manifolds?
Gluing is pretty standard in Morse homology for finite-dimensional manifolds. Unfortunately, in the ...

**16**

votes

**2**answers

2k views

### Conjugate points in Lie groups with left-invariant metrics

For any Lie group $G$ there exist many left-invariant Riemannian metrics, namely, one just takes any inner product on the tangent space at the identity $T_eG$ and then left translate it to the other ...

**6**

votes

**1**answer

898 views

### Euler characteristics and characteristic classes for real manifolds?

Consider an oriented manifold $X$. To calculate its Euler characteristic, one might integrate the Euler class. Now if $X$ were a complex manifold, and given as a section of some complex bundle $E$ ...

**2**

votes

**0**answers

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

**19**

votes

**1**answer

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

**3**

votes

**1**answer

448 views

### the free loop space fibration is a locally trivial fiber bundle - reference?

Let $Q$ be a compact Riemannian manifold. Then $\Lambda Q\rightarrow Q,$ $\gamma\mapsto \gamma(0)$ can be shown to be a locally trivial fiber bundle of Hilbert manifolds. Here, $\Lambda Q$ denotes the ...

**27**

votes

**0**answers

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

**18**

votes

**2**answers

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

**30**

votes

**0**answers

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

**0**

votes

**0**answers

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

**4**

votes

**1**answer

505 views

### Transversality in Morse theory for the (perturbed) geodesic action functional

I am interested in Morse homology on the loop space of a given compact (Riemannian) manifold. A small perturbation renders the geodesic action ("energy") functional Morse. Now I am interested in the ...

**7**

votes

**2**answers

481 views

### Stratification of smooth maps from R^n to R?

I'm interested in stratifications of smooth maps $\mathbb{R}^n\to\mathbb{R}$ (or more generally of any $n$-manifold $M^n\to\mathbb{R}$). The codimension 0 stratum should be Morse functions, and the ...

**6**

votes

**1**answer

692 views

### Alexander duality in terms of morse function?

As well known, we can prove Poincare duality in terms of morse theory.
(By comparing two chain complexes obtained from two morse functions, $f\colon M\to \mathbb{R}$,$-f\colon M\to \mathbb{R}$ for ...

**1**

vote

**1**answer

260 views

### Separability of the space of bounded continuous maps

Let $O$ be an open subset of the separable Hilbert space H and $k\geq0$ . Consider $C_b^k(O, Sym(H))$, the space of k-times continuously differentiable maps with values in the bounded symmetric ...

**2**

votes

**1**answer

170 views

### How to obtain the local bound on the length of the Morse function?

This is a follow-up of the question
Is there a bound on the length of the longest Morse trajectory?.
Consider the following setup. Let $(M,g)$ be a (complete) Riemannian Hilbert manifold and $f$ a ...

**2**

votes

**1**answer

315 views

### When a Morse function is also a Moment map…

Are there any interesting results, if a Morse function $M \rightarrow \mathbb{R}$ happens to be the moment map, for some $S^1$ action on $M$ (equipped with $\omega$) as well? Thank you very much.