Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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 operations look like from Morse Homology?

Poincare duality $H_*(M)\cong H^{n-\ast}(M)$ is the symmetry $f\to -f$, i.e. the reversal of flowlines.
Cup product $H^i(M)\otimes H^j(M)\to H^{i+j}(M)$ is given by counting Y-shaped flowlines, using Morse functions along each of the three edges. The cap product is connected to the above two.
Kunneth isomorphism $H_\ast(M\times N)\cong H_\ast(M)\otimes H_\ast(N)$ is combining flowlines from $f_1:M\to\mathbb{R}$ and $f_2:N\to \mathbb{R}$ to get flowlines for $f_1+f_2:M\times N\to\mathbb{R}$.
Leray-Serre spectral sequence: pull back a Morse function on the base (flowlines of total space project onto flowlines of base space) and use a filtration by ordering the critical-point indices.

Does someone know what goes on for the following?
1) Slant product
2) Alexander duality
3) Steenrod operations (in particular, the Cartan formula)
4) Massey triple product

My guess for (4) is counting X-shaped flowlines, and then I get suspicious about its relation to $A_\infty$-structures from Lagrangian-Intersection Floer homology.

[[Edit]]: There was a MathOverflow post for (2), here. Alexander duality $H_\ast(S^n-M)\cong H^{n-1-\ast}(M)$ arises by taking a height function on $S^n$ and perturbing it to become Morse on the subspace $M\subset S^n$, and then separating the critical points according to its tubular neighborhood and its complement.

share|improve this question
I think Betz and Cohen worked on the cohomology operations. I also remember that Barraud and Cornea worked on the Leary-Serre spectral sequence. Sorry about not being mor precise, but I remember this from talks they gave and never kept up with it. –  alvarezpaiva Jul 1 '12 at 7:37
You might like Harvey & Lawson's papers citeseerx.ist.psu.edu/viewdoc/summary?doi= and citeseerx.ist.psu.edu/viewdoc/summary?doi= though they don't go quite as far as 1)-4), I don't think. –  Allen Knutson Jul 7 '12 at 18:06
add comment

3 Answers

up vote 12 down vote accepted

Massey products are discussed in Section 1.3 of

Fukaya, Kenji. Morse homotopy, $A_{\infty}$-category, and Floer homologies. Proceedings of GARC Workshop on Geometry and Topology '93 (Seoul, 1993), 1--102,

available here (pdf). The Massey products are obtained by counting gradient flow graphs with four external edges and one (finite-, possibly zero-, length) internal edge. Fukaya sketches a construction of an $A_{\infty}$ category whose objects are Morse functions $f$ and with morphisms from $f$ to $g$ given by the Morse chain complex of $f-g$. In particular the Massey products can then be seen as arising from the $A_{\infty}$ structure in a standard formal way.

There is a relation to Lagrangian Floer theory: a Morse function $f:M\to \mathbb{R}$ corresponds to a Lagrangian submanifold $graph(df)$ of $T^*M$ and intersections between $graph(df)$ and $graph(dg)$ are in obvious bijection with critical points of $f-g$. There are results, pioneered by

Fukaya, Kenji; Oh, Yong-Geun. Zero-loop open strings in the cotangent bundle and Morse homotopy. Asian J. Math. 1 (1997), no. 1, 96--180,

which relate the gradient flow graphs appearing in the Morse $A_{\infty}$ operations to the holomorphic curves appearing in the Lagrangian Floer $A_{\infty}$ operations.

share|improve this answer
Awesome! By the way I've enjoyed learning from your standard surface count papers! (in hopes of understanding what goes on in the broken fibration scenario) –  Chris Gerig Jul 1 '12 at 20:03
add comment

This paper by Cohen and Norbury discussed Steenrod operations, including Adem relations and Cartan formulae.

Here's the abstract:

In this paper we define and study the moduli space of metric-graph-flows in a manifold M.

This is a space of smooth maps from a finite graph to M, which, when restricted to each edge, is a gradient flow line of a smooth (and generically Morse) function on M. Using the model of Gromov-Witten theory, with this moduli space replacing the space of stable holomorphic curves in a symplectic manifold, we obtain invariants, which are (co)homology operations in M. The invariants obtained in this setting are classical cohomology operations such as cup product, Steenrod squares, and Stiefel-Whitney classes. We show that these operations satisfy invariance and gluing properties that fit together to give the structure of a topological quantum field theory. By considering equivariant operations with respect to the action of the automorphism group of the graph, the field theory has more structure. It is analogous to a homological conformal field theory. In particular we show that classical relations such as the Adem relations and Cartan formulae are consequences of these field theoretic properties.

These operations are defined and studied using two different methods. First, we use algebraic topological techniques to define appropriate virtual fundamental classes of these moduli spaces. This allows us to define the operations via the corresponding intersection numbers of the moduli space. Secondly, we use geometric and analytic techniques to study the smoothness and compactness properties of these moduli spaces. This will allow us to define these operations on the level of Morse-Smale chain complexes, by appropriately counting metric-graph-flows with particular boundary conditions.

share|improve this answer
Thanks for the reference; hopefully I can make out a visual picture of what this formula is doing. –  Chris Gerig Jul 1 '12 at 20:05
add comment

Steenrod operations in Floer homology are constructed in the thesis of Matthias Schwarz: http://www.math.uni-leipzig.de/~schwarz/diss.pdf

Perhaps a similar construction is feasible for Morse homology?

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.