Symplectic cohomology

Flöer cohomology of symplectic manifolds

While standard cohomology is very useful to answer questions about the zeros of vector fields, fixed points of diffeomorphisms, and the points of intersection of a pair of submanifolds of complementary dimension, symplectic cohomology is supposed to refine such answers in the case of symplectic manifolds, Hamiltonian vector fields, symplectic diffeomorphisms and Lagrangean submanifolds.

Symplectic cohomology came out from the work of A. Flöer [a3], [a4] on the Arnol'd conjecture (concerning the minimal number of fixed points of a symplectic diffeomorphism), which can be reformulated as one of the above questions, and is mostly known in the literature as Flöer cohomology of symplectic manifolds.

One can define symplectic cohomology for a symplectic manifold , for a symplectic diffeomorphism and for a pair of transversal Lagrangeans in . Below, the first is denoted by , the second by and the third by . The Euler characteristic of , , and are the standard Euler characteristic of , the Lefschetz number of and the standard intersection number of and in , respectively (cf. Intersection theory). When is symplectically isotopic to , and when , is the diagonal in and is the graph of , .

One can define pairings

and

The last pairing provides an associative product, known as the pair of pants product, hence a ring structure on , cf. the section "Pair of pants product" below.

As a group, is isomorphic to and when is symplectically isotopic to , is isomorphic to , properly regraded. In the first case the "pair of pants" product is different from the cup product (cf. Cohomology) and the deviation of one from the other is measured by numerical invariants associated to the symplectic manifold , the so-called Gromov–Witten invariants (cf. [a1], Chap. 7).

With this ring structure the symplectic cohomology identifies to the quantum cohomology ring of the symplectic manifold (cf. [a1], Chap. 10).

The symplectic cohomologies mentioned above are not defined for all symplectic manifolds for technical reasons (cf. Definition c) below). The largest class of symplectic manifolds for which is defined in [a1] is the class of weakly symplectic manifolds. Recently, (cf. [a6]) it was extended to all symplectic manifolds.

Definitions.

The definitions below are essentially due to Flöer (cf. [a3], [a4]) in the case is monotonic and ameliorated and have been extended by others. This presentation closely follows [a1].

For a symplectic manifold one says that the almost-complex structure (i.e., an automorphism of the tangent bundle whose square is ) tames if , for any . Such a defines a Riemannian metric . The space of all almost-complex structures which tame is contractible (cf. also Contractible space), therefore the s provide isomorphic complex vector bundle structures on . Denote by the first Chern class of .

An element is called spherical if it lies in the image of the Hurewicz isomorphism (cf. Homotopy group). Denote by the smallest absolute value .

The symplectic manifold is called monotonic if there exists a so that for spherical, and weakly monotonic if it is either monotonic, or for spherical, or , with .

Given a symplectic manifold , choose an almost-complex structure which tames and a (-periodic) time-dependent potential , . Let be the first Chern class of and denote by the space of (-periodic) closed curves which are homotopically trivial. Consider the covering of whose points are equivalence classes of pairs , , , with the equivalence relation if and only if and . Here, represents the -cycle obtained by putting together the -chains and . Define by the formula

(a1)

and observe that the critical points of are exactly all with a -periodic trajectory of the Hamiltonian system associated to . Denote the set of such critical points by . When is generic, all critical points are non-degenerate but of infinite Morse index. Fortunately, there exists a , the Connely–Zehnder version of the Maslov index, cf. [a2], so that for any two critical points , , the difference behaves as the difference of Morse indices in classical Morse theory. More precisely, one can prove that:

a) for any spherical class . Here denotes the class represented by with representing .

b) If and are two critical points, then the mappings with the property that and , which satisfy the perturbed Cauchy–Riemann equations

(a2)

, , are trajectories for from to , where is taken with respect to the metric induced from the Riemannian metric on . cf. [a4]. Here, is the obvious extension of provided by and and denotes the gradient on with respect to . For generic and , the space of these mappings, denoted by , is a smooth manifold of dimension with acting freely on it (by translations on the parameter ).

c) For weakly monotonic, , is compact; hence, when and generic, finite. Even more, in this case for any real number ,

with a spherical class in , is compact, hence finite. The proof of c) relies on Gromov's theory of pseudo-holomorphic curves in symplectic manifolds, cf. [a5] or [a1] for more details.

As in Morse theory one can construct a cochain (or chain) complex generated by the points in , graded with the help of and with coboundary given by the "algebraic" cardinality of the finite set , when . Actually, c) permits one to "complete" this complex to a cochain complex of modules over the Novikov ring associated to (cf. [a1], Chap. 9). The cohomology of this complex is independent of and and is the symplectic cohomology.

In the case of Lagrangean submanifolds and , the space consists of paths with and . There is no Hamiltonian, the functional is the symplectic action and (a2) become the Cauchy–Riemann equations. A function like is not naturally defined, but the difference index of two critical points, an analogue of can be defined and is given by the classical Maslov index (cf. Fourier integral operator). There is no natural -grading in this case but there is a natural -grading with as defined at the beginning.

Pair of pants product.

Consider a Riemann surface of genus zero with punctures. Choose a conformal parametrization of each of its three ends, and , with disjoint, and put . Choose an almost-complex structure on which tames and a smooth mapping with restricted to constant in (), and restricted to being zero. Put , , .

Let be a critical point of . Consider all mappings with , , and , which restricted to satisfy the perturbed Cauchy–Riemann equations (a2) for and when restricted to are pseudo-holomorphic curves. Here, denotes the mapping obtained from , and in the obvious way.

The theory of pseudo-holomorphic curves implies that when is weakly monotonic and , , are generic, the space of these mappings is a smooth manifold of dimension , while if this dimension is zero, this space is compact hence finite. Using the "algebraic" cardinality of these sets, one can define a pairing of the cochain complexes associated to and into the cochain complex associated to (cf. [a1], Chap. 10). Since the cohomology of these complexes is independent of , this pairing induces a pairing of and into , which turns out to be an associative product and is called the pair of pants product.

References

[a1]	D. McDuff, D. Salamon, "J-holomorphic curves and quantum cohomology" , Univ. Lecture Ser. , 6 , Amer. Math. Soc. (1995)
[a2]	D. Salamon, E. Zehnder, "Morse theory for periodic solutions of Hamiltonian systems and Maslov index" Commun. Pure Appl. Math. , 45 (1992) pp. 1303–1360
[a3]	A. Flöer, "Symplectic fixed points and holomorphic spheres" Comm. Math. Phys. , 120 (1989)
[a4]	A. Flöer, "Morse theory for lagrangean intersections" J. Diff. Geom. , 28 (1988) pp. 513–547
[a5]	M. Gromov, "Pseudoholomorphic curves in symplectic manifolds" Invent. Math. , 82 (1985) pp. 307–347
[a6]	G. Liu, G. Tian, "Flöer homology and Arnold conjecture" J. Diff. Geom. , 49 (1998) pp. 1–74