Morse Homotopy and A-infinity; Part 2

Last time, I describe the first step in Fukaya’s proof that Morse homology has an A-\infty structure, defined in terms of gradient flow trees.  This time I’ll describe how the higher relations (m_3, m_4, \dots) arise from Morse theory.

To describe m_3, we need to look for all trees connecting x,y,z to some w.  At this level there are some complications.  First, not all trees we need to consider will be isomorphic (at least if we fix a cyclic ordering of the exterior vertices).  For the m_2, every tree was a Y.  But at higher levels, we can have nonisomorphic trees, such as the following:

trees_m3Unlabeled

So we need to make sure we look for all possible trees.  As we get to the higher $A – \infty$ maps the space of all possible trees gets complicated.

Secondly, we need to start keeping track of the length of interior edges.  Each parametrizes a flow line, so we need to know exactly how long the partial flow line is that we want to parametrize.  This hasn’t been a problem because up to now, every flow line we considered had at least one noncompact end, because one end was asymptotic to a critical point, so its length was infinite.

We can solve both these problems by realizing that we can form a moduli space of italics(metric trees), an approach originally due to Stasheff.  Luckily, if we are careful, the moduli space is just some affine space \mathbb{R}^k for some dimension k.

Embed the tree in the unit disk with the exterior vertices (the 1-valent vertices which map to critical points) cyclically ordered along the boundary.  Furthermore, assume that no vertex has valence 2, as this corresponds to a broken flow line, which we will consider separately later on.  The [exterior] edges will be those connected to the boundary and [interior] edges will be any other edge.  Assign a positive real number to each interior edge (the exterior edges are assumed to have length \infty).  Then the lengths of the interior edges, of which there can be at most k-3, where k is the number of exterior vertices, identify parametrize the moduli space and identify it with \mathbb{R}^{k-3}.  Call this space \mathcal{T}_k

For example, suppose k = 4, which is the relevant space for the m_3.  The tree on the left corresponds to -m \in \mathbb{R} and the tree on the right corresponds to m \in \mathbb{R}.

trees_m3_Moduli

The space of metric trees is not compact but it can also be compactified, in the sense that as the length of the interior edge goes off to \pm \infty, the tree breaks into two metric trees.  For k = 4, this is just the union of a two 3-leaf Y trees.

trees_m3_ModuliCompactified

For higher k, it will break into two trees with j and k-j+2 exterior vertices, respectively.  Again, we see the principle that a moduli space can be compactified using the product of lower-dimensional moduli spaces of the same type of object.

Choose four Morse functions f_1,f_2,f_3,f_4 such that their differences $f_i-f_j$ are collectively generic.  Let \widetilde{\mathcal{M}}(x,y,z;w) denote the moduli of metric trees with 4 exterior vertices parametrizing flow lines of the difference functions f_i-f_j in the following way:  Each tree can be thought of as embedding in the unit disk and thus separates the disk into 4 regions.  Cyclically label each region with a function $f_i$.  Then an edge of a tree parametrizes a flow line of f_i-f_j if it separates the regions labeled by f_i and f_j.  The trees can be oriented so  that every interior vertex has exactly one outgoing edge and exactly one exterior vertex has an incoming edge.  Assume that the oriented flows respect this orientation on edges.

m3_Labeled

The m_3 map is defined as follows.

m_3: C(f_1,f_2) \otimes C(f_2,f_3) \otimes C(f_3,f_4) \rightarrow C(f_1,f_4)
m_3(x,y,x) = \sum_{w|[index]} |\widetilde{\mathcal{M}}(x,y,z;w)| w

In other words, count all rigid trees connecting x,y,z to w.

We’d now like to establish the A-\infty relation
m_3(d(x),y,z) + m_3(x, d(y),z) + m_3(x,y,d(z)) + m_2(m_2(x,y),z) + m_2(x,m_2(y,z)) + d(m_3(x,y,z))= 0

As with the m_2, each term here describes one way a 1-dimensional tree could degenerate.  The first three correspond to an incoming flow line breaking:

brokenTree_top
The last term corresponds to the outgoing flow line breaking:
brokenTree_bottom
And the terms involving m_2 correspond to an interior flow line breaking:
brokenTree_interior
Again, the relation follows because each possible combination of broken trees can be glued to form the boundary of a 1-dimensional moduli space.  Moreover, each 1-dimensional tree must break/degenerate in one of the above ways.  Either an exterior edge breaks, which corresponds to the familiar compactification of Morse flow lines, or an interior breaks, which corresponds to the compactification of the moduli of metric trees.

Fukaya notes that this m_3 relation descends to Massey products on cohomology but I won’t go into that here.

The higher A-\infty maps arise in the same way.  The map m_k is defined by counting rigid trees with k incoming and 1 outgoing edge.  The A-\infty relation follows from the fact that each 1-dimensional tree breaks into two rigid trees.

Advertisements

1 Comment

Filed under Uncategorized

One response to “Morse Homotopy and A-infinity; Part 2

  1. This is very interesting; is there any readable reference about the A-infinity category of Morse(-Smale) gradient flows, apart from Fukaya’s article “Morse Homotopy…”?

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s