1
vote
0answers
66 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 ...
7
votes
0answers
225 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. ...
2
votes
1answer
359 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 ...
2
votes
1answer
371 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
1answer
299 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 ...
9
votes
2answers
522 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 ...
5
votes
1answer
195 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
0answers
419 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 ...
2
votes
0answers
165 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
1answer
420 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 ...
6
votes
1answer
814 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$ ...
26
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 ...
17
votes
2answers
721 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 ...
6
votes
1answer
631 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 ...
4
votes
2answers
540 views

Discrete Morse theory and existence of minimal complex

A minimal complex is a CW complex whose only cells are the homology cells. Is there some sort of criterion on CW complexes about existence of minimal complexes? Actually I am working on a problem ...
18
votes
2answers
984 views

Graphs, K-theory and combinatorial balls: conjectures

The following conjectures from Kapranov and Saito's Hidden Stasheff polytopes in algebraic K-theory and in the space of Morse functions aren't as well-known as they aught to be, so I'd like to state ...
24
votes
5answers
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 ...