Distinguished triangles [049I]
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
Distinguished triangles
In our convention, an immersed Lagrangian can be made up of several connected components. A prototypical situation is when is the union of two immersed Lagrangians and , with some degree one intersections in arising as part of the bounding cochain data of . When the brane structure is taken into account, we can view as a twisted complex built from (with bounding cochains suppressed in the notation) and a closed morphism . Inside ,
We have a distinguished triangle
and . Rotating the triangles, we get another distinguished triangle
The bordism current between and is an -dimensional integration current, with In particular, this explains that the Grothendieck group of should factorize through .
Here is a more geometric perspective on the bordism currents arising from distinguished triangles, which is very close to Thomas and Yau’s original viewpoint, where the fundamental phenomenon is Lagrangian breaking. In the simplest case, we can imagine is isomorphic in to the Lagrangian connected sum (beware our convention for is the same as Thomas-Yau [65] but different from many symplectic texts), so that we can construct a bordism current between and . Now when deforms, the Lagrangian handle part can shrink, and in the limit can break into two components (cf. Example 2.12). The bordism current between and should simply be the limit of the sequence of bordism currents. This picture illustrates that even when the topology of the Lagrangians can change under non-smooth convergence, the bordism currents should persist in a continuous way.
One can proceed with the case of many Lagrangians, namely we take the immersed Lagrangian to be the twisted complex (cf. the Appendix section 6.2)
| (17) |
In this case, assuming is isomorphic to in , the bordism current between and amounts to a bordism current between and .
This multi-Lagrangian situation is built out of many distinguished triangles: for , let be the immersed Lagrangian corresponding to the twisted complex
| (18) |
Then (suppressing bounding cochains in the notation) we have a sequence in ,
with distinguished triangles
The morphism from to comes from for . This setup should be reminiscent of Harder-Narasimhan decompositions (4), although at this stage we have not yet brought in stability conditions, which shall be discussed further in section 3.6.