High brow viewpoint [0498]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
High brow viewpoint
The claim that the -theory of the derived Fukaya category of a symplectic Calabi-Yau manifold (exact with suitable convexity at infinity, or compact) factorizes through homology modulo torsion seems well known to symplectic topology experts, although a precise reference seems rather difficult to find. We now sketch a high brow viewpoint explained to the author by P. Seidel and S. Rezchikov, and will later explain in more detail a more pedestrian approach in the exact setting. The claim is a formal consequence of the existence of maps
Here is the Hochschild homology in degree zero. The first map sends the K-theory class of an unobstructed Lagrangian brane (compact, graded, oriented, with spin and bounding cochain structure) to the unit ; the well definition of this map is an essentially algebraic fact. Suppose are isomorphic in , then there are closed morphisms and whose derived category compositions are equal to and in cohomology. The Hochschild differential of exhibits as a coboundary in the Hochschild chain complex, so in . Some additional calculation shows the compatibility with distinguished triangles.
The second map is a special case of the open-closed string map, and in general requires working over the Novikov field. One then needs the claim that is sent to the homology class , without quantum correction. The intuitive meaning of the open-closed string map is to consider holomorphic discs with boundary on with an unconstrained boundary marked point, and find the cycle in traced out by an interior marked point. The claim amounts to saying that the only contribution comes from constant maps. Unfortunately, the author is unable to locate a general reference. Granted this claim, we would get by composition a map from to which sends the K-theory class of to the homology class .