1: maximum principles
Given \(H_t: X\times \RR\to \RR\) a time dependent Hamiltonian, we obtain an action on the free loop space \begin{equation} A_{H_t}(\gamma)=-\int_\gamma \lambda + \int_\gamma H_t dt \end{equation}whose critical points are the time one periodic orbits of \(V_{H_t}\). Given a \(\omega\)-compatible almost complex structure, we observe that cylinders \(u: \RR_s\times S^1_t\to X\) which satisfy the \(H_t\) perturbed Floer equation \begin{equation} \partial_s u + J(\partial_t u - V_{H_t})=0 \end{equation}parameterize the negative gradient flow lines of \(A_{H_t}\). For curves \(\gamma_+, \gamma_-\), let \(\mathcal M(\gamma_+, \gamma_-)\) denote the moduli space of solutions to Floer's equation with ends limiting to \(\gamma_+, \gamma_-\). Supposing that \(X\) is an exact symplectic manifold, and that our time-dependent Hamiltonian is chosen in a generically, the Floer cochains \(\CF(X, H_t)\) are the graded vector space generated on the time one orbits of \(H_t\). We take a slightly different convention (following Equation 5.2 of [Abo10]) and give each orbit the grading \(\deg(\gamma)=n-CZ(\gamma)\), where \(CZ(\gamma)\) is the Conley-Zehnder index. The structure coefficients of the differential are given by counts of solutions to Floer's equation. The theory becomes powerful when it satisfies the following properties:- \(\CF(X, H_t)\) is a chain complex. The key step is to show that when \(\dim(\mathcal M(\gamma_+, \gamma_-))=1\), there exists a compactification of this moduli space by including broken cylinders. A compactification of the space comes from applying Gromov compactness, while additional requirements on \(X\) are sometimes required ensure that the only configurations which appear in the compactification are broken cylinders. In our setting, the only breaking configurations which may occur are broken cylinders, as \(X\) is exact (so \(\omega(\pi_2(X))=0)\).
- Given \(H_{t, 0}\) and \(H_{t, 1}\) two time-dependent Hamiltonians, there exists a continuation map \(\CF(X, H_{t, 0})\to \CF(X, H_{t, 1})\). Furthermore, this map is a homotopy equivalence.
- Finally, we need some way to compute \(\CF(X, H_{t, 1})\). One way to do this is to observe that for \(C^2\) small Hamiltonians the Floer cochains agree with the Morse cochains (and only consist of constant orbits). By either using the PSS-isomorphism or by analyzing Floer trajectories, the Floer cohomology can be compared to the Morse cohomology of \(X\).
example 1.0.1
The maximum modulus principle states that if \(\phi: D^2\to \CC\) is a holomorphic function from the disk to \(\CC\), that the maximum of \(|\phi|: D^2\to \RR_{\geq 0}\) is achieved on \(\partial D^2\). Let \(\hat X\) be a non-compact symplectic manifold with compatible almost complex structure \(J\), along with a \(J-\jmath\)-holomorphic projection \(W: \hat X\to \CC\). Suppose that the fibers of \(W\) are compact. Pick two loops \(\gamma_-, \gamma_+\subset \hat X\) and \(r_0\in \RR\) large enough so that \(U:=W^{-1}(\{z \st |z|\leq r\})\) contains \(\gamma_-, \gamma_+\). We will prove that every pseudoholomorphic cylinder \(u: S^1\times \RR\to \hat X\) with ends limiting to \(\gamma_-, \gamma_+\) has image contained within the compact subset \(U\). The composition \(W\circ u: S^1\times \RR\to \CC\) is a holomorphic map, with ends limiting to \(W(\gamma_\pm)\), and therefore satisfies the maximum modulus principle. Since the boundary is sent to \(W(\gamma_\pm)\), we obtain that \(|W|\) achieves a value no greater than \(r_0\) on \(u\); therefore \(\Im(u)\subset U\). It follows that the image of \(u\) is contained within a compact set.definition 1.0.2
Let \(\hat X\) be the completion of a Liouville domain. A choice of almost complex structure for \(\hat X\) is of contact type if \[d(\exp(r))\circ J = -\alpha.\]proposition 1.0.3
Let \(H: \hat X\to \RR\) be a Hamiltonian which on the symplectization takes the form of \(h(\exp(r))\). Let \(\gamma_+, \gamma_-\) be time 1 orbits of \(V_{H_{t}}\). For a contact type almost complex structure, every solution \(u: \RR\times S^1\to \hat X\) of the Floer equation with ends limiting to \(\gamma_+, \gamma_-\) has image contained in the subset \(\hat X|_{\exp(r)\leq C}\), where \(C\) is the maximum value of \(\exp(r)\) on the orbits \(\gamma_+, \gamma_-\).2: \(\SH(X)\) via quadratic \(H\)
Let \((X, \lambda)\) be a Liouville domain, and let \(\hat X\) be its completion. The goal is to construct a Floer cohomology which witnesses all of the Reeb orbits of \(\partial X\). With that in mind, it is natural to study the Hamiltonian Floer cohomology of Hamiltonians \(H_t\) with the property that over the symplectization they are of the form \[H|_{\RR\times \partial X}=h(\exp(r))\] where \(\lim_{r\to\infty} h'(\exp(r))=\infty\). This Hamiltonian witnesses every Reeb orbit with sufficiently large period. A problem with this definition is that the Hamiltonian we have chosen is time independent, and so whenever \((\partial X, \alpha)\) has any Reeb orbits, the time-1 orbits of \(H\) will necessarily be degenerate (all orbits come in \(S^1\) families from reparameterization). The standard work-around is to introduce a small time-dependent perturbation to \(H\) in such a way that we can still apply our maximum principle argument. We therefore look at time-dependent Hamiltonians \(H_t\) which, outside of a compact set, are of the form \(h_t(\exp(r))\), with \(\lim_{r\to\infty} h_t(\exp(r))=\infty\) for all \(t\). The maximum principle argument from proposition 1.0.3 can be made to hold in this setting (Proposition 4.1 [Wen]). One then takes the definition of the symplectic cohomology to be \[\SH(X):=\CF(\hat X, H_t)=\bigoplus_{\gamma\st \dot \gamma= V_{H_t}} \ZZ\langle \gamma\rangle.\] with differential given by structure coefficients \(\langle d(\gamma_+), \gamma_\rangle\) counting \(V_{H_t}\)-perturbed pseudoholomorphic cylinders with ends limiting to \(\gamma_\pm\).3: \(\SH(X)\) as a limit
As before, let \((X, \lambda)\) be a Liouville domain. For \(m\not\in \ell(\Gamma)\) not a period of a Reeb orbit, define \[\SH(X)^{< m}:=\HF(\hat X, H^m_t)\] where \(H^m_t\) is a Hamiltonian which on the symplectization agrees with \(H^m\), the linear Hamiltonian of slope \(m\). Over the symplectization \(\RR\times \partial X\) there are no Hamiltonian orbits, as \(H^m\) has no Hamiltonian orbits. The \(< m\) signifies that this version of symplectic cohomology is only supposed to detect those Reeb orbits of period less than \(m\). In order to recover the symplectic cohomology, we would like to understand the limit of the groups \(SH(X)^{< m}\) as we take \(m\to\infty\). Making sense of a limit algebraically requires constructing maps between these groups. When \(m^+< m^-\), the maximum principle arguments applied to families of Hamiltonians dependent on the \(s\)-parameter hold, allowing us to construct chain maps \[\CF(\hat X, H^{m^+}_t)\to \CF(\hat X, H^{m^-}_t)\] The \(\pm\) index on the slope are meant to represent whether they are the incoming or outgoing side of a Floer trajectory, not the relative sizes of the slopes. From the perspective of 2, the set of Hamiltonian orbits corresponding to Reeb orbits of period less than \(m^+\) is a subcomplex of the set of Reeb orbits of period less than \(m^-\). Intuitively, the Floer trajectory should decrease the action associated to the Reeb vector field, which is the period of the Reeb orbit. Consider now an increasing sequence of slopes \(m_0< m_1< \cdots \) which are not the periods of any Reeb orbits of \(\partial X\). One can form the telescope complex where the vertical maps are the identity, and the diagonal maps are continuations.proposition 3.0.2
The cohomology of the telescope complex \(\bigoplus_{i=0}^\infty C^\bullet_i \oplus C^\bullet_{i-1}\) is \(\lim_{i\to\infty} H(C^\bullet_i)\).4: ring structure on \(\SH(X)\)
Without proof, we describe some of the algebraic structures on the symplectic cohomology. First, the construction of the pair of pants product on Hamiltonian Floer cohomology can be extended to give a pair-of-pants product on the symplectic cohomology. This makes \(\SH(X)\) into a graded ring. Furthermore, the symplectic cohomology is a ring with unit.References
[Abo10] | Mohammed Abouzaid. A geometric criterion for generating the Fukaya category. Publications Mathématiques de l'IHÉS, 112:191--240, 2010. |
[Sei06] | Paul Seidel. A biased view of symplectic cohomology. Current developments in mathematics, 2006(1):211--254, 2006. |
[Wen] | Chris Wendl. A beginnerâ€™s overview of symplectic homology. Preprint. www. mathematik. hu-berlin. de/wendl/pub/SH. pdf. |