The morse-theory tag has no wiki summary.

**7**

votes

**2**answers

315 views

### Morse lemma with least amount of regularity.

I recently came across with $C^2$ Morse functions in my work and as I was reviewing some of the stuff I learned about Morse theory, I noticed that all the proofs of the Morse lemma I could come across ...

**5**

votes

**1**answer

76 views

### Does there always exist a sequence of handle moves between handle decompositions that does not increase index? (+ ref. request)

Reference request: Firstly, I'm looking for a proof of the following well-known result about handle decompositions:
($\ast$) Given two handle decompositions of a smooth $n$-manifold $M$, there ...

**1**

vote

**0**answers

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

**10**

votes

**2**answers

597 views

### Is there a holomorphic Morse-Bott lemma?

It asks for a generalization of the question in the post
Normal form for a holomorphic Morse function
Suppose $f$ is a holomorphic function on a complex manifold $M$ which has Bott type critical ...

**0**

votes

**0**answers

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

**6**

votes

**4**answers

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

**5**

votes

**2**answers

231 views

### Using Discrete Morse Theory to represent hom classes

In "vanilla" Morse theory, you can construct cycles representing integral homology classes of a smooth manifold from a Morse function on the manifold (by looking at the flow into/out of the critical ...

**3**

votes

**2**answers

185 views

### Morse theory Vs degree theory

I asked this question on http://math.stackexchange.com but no unswers!
I have this paragraph from K.C. Chang Infinite dimensional Morse theory
In comparison with degree theory, which has proved ...

**3**

votes

**2**answers

296 views

### Is a Morse function always the height function of some embedding? [closed]

Pictures in introductory texts to Morse theory are often drawn as to interpret a Morse function as a height function. Typically, an embedding of a torus into $\mathbb{R}^3$ is drawn, and the Morse ...

**6**

votes

**1**answer

197 views

### cell decomposition of real homogeneous hypersurfaces

Let $f(x_1,\ldots,x_n)\in\mathbf{R}[x_1,\ldots,x_n]$ be a homogeneous polynomial
and consider the real hypersurface $H=\{(x_1,\ldots,x_n)\in\mathbf{R}^n:f(x_1,\ldots,x_n)=1\}$. Assume to simplify ...

**5**

votes

**0**answers

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

**10**

votes

**2**answers

311 views

### Equivariant version of Morse theory

Is there some variant on Morse or Morse-Bott theory yielding equivariant (co)homology instead of singular homology?
Any reference/idea would be greatly appreciated.
Crossposted on StackExchange.

**3**

votes

**1**answer

88 views

### A reference for an equivariant Morse Lemma

Does anybody knows a reference for the following statement?
Let $S^1$ acts on $\mathbb{C}^n$ in the usual (diagonal) way and $f:\mathbb{C}^n\to\mathbb{R}$ a smooth $S^1$-invariant function defined in ...

**1**

vote

**0**answers

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

**2**

votes

**1**answer

384 views

### Contractibility of a configuration space

For a topological space $X$ and a positive integer $k\in \mathbb{N}_{>0}$ let $F_k(X):= \{ (x_1,\ldots,x_k)\in X^k |x_i\neq x_j \text{ for } i\neq j \}$ be its $k$-configuration space.
Let ...

**7**

votes

**0**answers

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

**1**

vote

**2**answers

200 views

### Question on Morse inequalities

I want to understand why: From K.C Chang's book "Infinite Dimensional
Morse Theory and Multiple Solution Problems":
if i have
then $(4.1)$ is formal : it means that
EDIT1: $(4.1)$ tel us that ...

**1**

vote

**2**answers

77 views

### Stable/Unstable Manifold Theorem for a Morse-Bott function

Good night, anyone know of any reference where I can find the proof of the Stable/Unstable Manifold Theorem for a Morse-Bott function. I'm interested in the dimensions of the stable and unstable ...

**4**

votes

**1**answer

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

**17**

votes

**2**answers

378 views

### Has Witten's perturbation on de Rham complex been studied on other elliptic complexes?

In his famous work, Supersymmetry and Morse theory, Witten perturbs de Rham complex by perturbing the exterior derivative
$$d_h=e^{-ht}de^{ht}.$$
And he proves Morse inequality using some spectral ...

**30**

votes

**0**answers

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

**6**

votes

**3**answers

252 views

### Is the set of focal points of a submanifold on a normal geodesic discrete?

Let $M$ be a complete riemannian manifold, $L$ a smooth submanifold of $M$ and $\gamma$ a geodesic with $\gamma'(0)$ normal to $L$. A focal point of $L$ is a critical value of the normal exponential ...

**3**

votes

**2**answers

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

**2**

votes

**1**answer

363 views

### Question about a Lefschetz hyperplane type theorem

Let $X$ be a simply connected projective manifold of dimension $n$ over $\mathbb{C}$ and $D = \cup D_i$ be a divisor with normal crossings such that its all components $D_i$ are smooth and ample.
I ...

**7**

votes

**2**answers

285 views

### Existence of Morse functions on simply connected manifolds

Is it true that any simply connected closed manifold possesses a Morse functions that does not have critical points of index one?
If the dimension is at least 5, this is a consequence of the results ...

**3**

votes

**1**answer

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

**26**

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

**16**

votes

**2**answers

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

**24**

votes

**5**answers

2k views

### Is there a Morse theory proof of the Bruhat decomposition?

Let $G$ be a complex connected Lie group, $B$ a Borel subgroup and $W$ the Weyl group. The Bruhat decomposition allows us to write $G$ as a union $\bigcup_{w \in W} BwB$ of cells given by double ...

**2**

votes

**0**answers

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

**0**

votes

**0**answers

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

**1**

vote

**2**answers

255 views

### What does it mean that homotopy is generic?

Due to Cerf, there's exist a certain homotopy between two Morse functions. It is said that this homotopy is "generic". What is a precise definition of the property to be "generic" in this case?

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

**3**

votes

**1**answer

330 views

### Is the space of gradient-like vector fields contractible?

Let $M$ be a compact manifold (without boundary) and let $f:M\to \mathbb{R}$ be a fixed Morse-function.
Question: Is the space $GVect(M,f)$ of all gradient-like vector-fields for $f$ contractible ...

**1**

vote

**0**answers

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

**7**

votes

**1**answer

315 views

### A description of cellular boundary maps in terms of a Morse function

I'm writing a paper on classical Morse Theory and I'm interested in applying Morse functions to the computation of homology groups of a compact manifold $M$. The standard way in which this is done is ...

**3**

votes

**0**answers

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

**1**

vote

**1**answer

218 views

### Integration by parts wrt. a Morse function on its basin of attraction

Let $f:\mathbb R^n\to\mathbb R$ be a Morse function with uniform nondegenerate Hessian at critical points, i.e. for some $\delta>0$
$$
\forall x \in \{\nabla f=0\}\;\forall \xi\in\mathbb R^n: \quad ...

**6**

votes

**1**answer

441 views

### When is the determinant a Morse function?

This might be ridiculously obvious, but...
For each $n \in \mathbb{N}$, let $M_n$ denote the manifold of $n \times n$ matrices with real entries. It is well known that the $n$-dimensional determinant ...

**8**

votes

**2**answers

703 views

### Notes for Bott's 1963 lectures on Morse theory

Would anybody happen to know where I could obtain a scanned version of
Lectures on Morse theory - [revised and expanded version of notes of lectures delivered at Professor R. Bott's topology seminar ...

**4**

votes

**1**answer

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

**8**

votes

**0**answers

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

**9**

votes

**2**answers

534 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

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

**15**

votes

**1**answer

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

**17**

votes

**2**answers

741 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

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

**5**

votes

**1**answer

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

**3**

votes

**1**answer

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

**4**

votes

**1**answer

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