## A sanity check for the Fukaya category of a cotangent bundle

Yesterday I gave a seminar about Fukaya categories and I didn’t have chance to do quite as much explicit computation as I’d hoped. I thought I’d write a blog post with a basic calculation to show you the kind of things that are involved in doing computations in Fukaya categories. I will show (using Abouzaid’s description of the zero section in terms of the cotangent fibre) that the zero section and the cotangent fibre have rank HF = 1, in the special case of . This is such a trivial result in the end (you could do the computation just by looking at the intersection and seeing it’s a single point) that you should think of this post as more of a sanity check.

The first 3 hours of what I said was essentially covering Auroux’s introduction to Fukaya categories (http://arxiv.org/abs/1301.7056), so if you look at that first, you should be able to figure out what I’m talking about. I hope that all my grading conventions agree with those of Abouzaid – if you notice a discrepancy, please let me know!

Abouzaid (http://arxiv.org/abs/1003.4449) proves that a cotangent fibre in generates the wrapped Fukaya category of . In fact, if is an exact Lagrangian in he gives a prescription (http://arxiv.org/abs/0907.5606) for writing down a twisted complex for using only cotangent fibres. In the case when is the graph of an exact 1-form where is a Morse function, there’s a very nice description: for each critical point of you write down shifted in degree by minus the Morse index of and the differential in the twisted complex between and is an element of . Abouzaid computed that this Floer complex is quasiisomorphic to the cubical chains on the space of paths between and with the grading reversed, so the morphism should live in . What cubical chain do we take? We consider the moduli space of downward Morse flowlines from to , cubulate it, and consider that as a -dimensional cubical chain on path space. The usual combinatorics of the boundaries of Morse moduli spaces translates into a relation satisfied by the different components of the differential: namely the Maurer-Cartan equation. This means that the object we write down is a twisted complex.

So here’s our example.

Take . The obvious Morse function on has 2 critical points and two flowlines. The corresponding twisted complex should be

where and are the cotangent fibres at and . The morphism should be an element of , which is quasiisomorphic to 0-chains on the space of paths from to . Pick one of the two flowlines as a path connecting to and postcompose with this path to identify the path space with the loop space based at . The based loop space of has components (indexed by winding number) each of which is contractible so there’s a model for chains on the based loop space which is the group ring of , in other words Laurent polynomials ( is a formal variable of degree zero whose exponent is the winding number).

The flowlines from to give two points in the based loop space; by the way we identified paths with loops, we know that one of these is contractible. The other one wraps once around the circle, so in total the morphism should be . Therefore the twisted complex representing is

(I’m no longer distinguishing between different cotangent fibres: they’re all quasiisomorphic so I don’t need to).

Now let’s check that has rank 1 (which it should because the zero-section and the cotangent fibre intersect transversely once!). HF means taking Homs from this twisted complex to :

Remember this just means: take the direct sum

with the differential

(this is precisely the lower/upper-triangular thing you’d write down in the case of taking cones of chain complexes). The differential is zero for this model of chains on the based loop space (I am basically saying that the based loop space of is homotopy equivalent to a bunch of points, so it’s formal and we can take its cohomology as the chain model) so this differential is just

When is closed? When . But multiplication by is injective on Laurent polynomials (we can invert in the bigger ring of formal Laurent series), so this means .

When is a closed element exact? When for some . But a Laurent polynomial

is divisible by if and only if the alternating sum of the coefficients vanishes. This is one equation on the coefficients, hence the cokernel of is rank 1.

Therefore has rank 1.

While this seems like a lot of effort for a computation we can do just by inspection (there’s only one intersection point!) it’s also something you can imagine working for you much more generally if you knew enough about chains on the based loop space.

**Exercise:** do the same computation for some other manifolds with particularly simple Morse functions, e.g. or .

**N.B.** If you’re trying the exercise, note that Abouzaid proves the cotangent fibre is quasiisomorphic to cubical chains on the based loop space: this is important – composition of loops is basically associative on the nose for cubical chains. For singular chains I think you would need a nontrivial structure (like Stasheff found). Now there’s a nice, tractable, model for cubical chains on the based loop space, due to Adams and Hilton from the 1950s; if you’re interested you can read about it (in the simply-connected case) here:

or (in the non-simply-connected case) here:

http://projecteuclid.org/euclid.pjm/1102699101

## Leave a Reply