ScalingStacks

Remark 14 [03RX]

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

Remark 14

One can extend the Fukaya-Oh category considering Lagrangian submanifolds in X∨X^{\vee} which are not necessarily unramified coverings of YY. For example, one can try to add to F​O​(X∨)FO(X^{\vee}) new objects which are local systems on Lagrangian tori which are fibers of the projection p∨:X∨→Yp^{\vee}:X^{\vee}\to Y. It seems that with these objects one can go much further than with transversal ones. For example, in the general case of torus fibrations with singular fibers, one can argue that for almost any y∈Yy\in Y there is no limiting holomorphic discs with the boundary in the torus (p∨)−1​(y)(p^{\vee})^{-1}(y) . The set of such points yy is the complement to a countable union ZZ of hypersurfaces in YY (this follows from the fact that d​i​m​(Ys​i​n​g)=d​i​m​(Y)−2dim(Y^{sing})=dim(Y)-2). Thus, we get a large collection of honest objects without the parasitic composition m0m_{0}. The total picture seems to be quite intricate, as examples show that the subset ZZ is everywhere dense. Presumably, it is related with some mysterious non-abelian 11-cocycle which we will discuss later in the remark in section 7.1.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.