5 edited tags
4 added 425 characters in body

Let X be a compact symplectic manifold with a form $\omega$. And $X \times X$ is equipped with the symplectic form $(\omega,-\omega)$. The diagonal $\Delta:X \mapsto X \times X$ is a Lagrangian submanifold. So, in this question, http://mathoverflow.net/questions/11081/hochschild-cohomology-of-fukaya-categories-and-quantum-cohomology. Tim Perutz says "PSS is a canonical ring isomorphism from QH∗(X) to the Hamiltonian Floer cohomology of X, and the latter can be compared straightforwardly to the Lagrangian Floer cohomology of the diagonal." I have no doubt that this second assertion is straightforward, since I have consulted a couple of references and no one spells this out. But, I don't quite see it. I believe what I am missing is the relationship between holomorphic strips in $X\times X$ and holomorphic cylinders in X. (Edit: Edit: I would also like to understand the comparison of the product structures too) Sorry for such

Edit: here is a simple questionrough geometric idea which might have something to do with the truth. I want to assume that my Hamiltonian is time independent and that all orbits are actually fixed points. Given a map of a strip into $X\times X$ the two projections give us two strips into X. The idea is to glue the strips together to form a cylinder which is a map into X. Of course, but this doesn't take into account issues of compactifications and so on... Anyways, if someone would be happy to spell it out I would appreciate it.

3 deleted 8 characters in body

Let X be a compact symplectic manifold with a form $\omega$. And $X \times X$ is equipped with the symplectic form $(\omega,-\omega)$. The diagonal $\Delta:X \mapsto X \times X$ is a Lagrangian submanifold. So, in this question, http://mathoverflow.net/questions/11081/hochschild-cohomology-of-fukaya-categories-and-quantum-cohomology. Tim Perutz says "PSS is a canonical ring isomorphism from QH∗(X) to the Hamiltonian Floer cohomology of X, and the latter can be compared straightforwardly to the Lagrangian Floer cohomology of the diagonal." I have no doubt that this second assertion is straightforward, since I have consulted a couple of references and no one spells this out. But, I don't quite see it. I believe what I am missing is the relationship between holomorphic strips in $X\times X$ and holomorphic cylinders in X. (Edit: I guess I would also like to understand the comparison of the product structures too) Sorry for such a simple question, but if someone would be happy to spell it out I would appreciate it.

2 added 93 characters in body
1