2025-02-16

A new approach on Fukaya-Seidel category

Let $X$ be a smooth affine complex manifold, and let $f: X \to \C$ be a holomorphic function. From this data, we should get a category (up to equivalences).

At this moment, we did not specify the Kahler form (which is not important), just as Riemannian metric is not important for homology of a manifold. It does not matter which car you use to drive from A to B.

Conceptually, one way is to consider $M = T^*X$, and two Lagrangians, $L_0$ the zero section $X$, and $L_1$ the graph Lagrangian. Both of them are holomorphic Lagrangian for $\Omega$.

What do I do with holomorphic Lagrangians?

In the traditional approach, we have canonical $I, \omega_I, \Omega_I$, and we consider $\omega_I$-Lagrangians (thimble) in the base, and $I$-hol disk.

Let $c_1$ and $c_2$ be two critical point of $f$, with $v_1, v_2$ their values. Let $\gamma$ be the straight segment between $v_1,v_2$. After we made some nice choices of $\omega_I$, we can draw two thimbles over $\gamma$.Unstable manifolds. Over each point in $\gamma$, we have two vanishing cycles above that point and intersects. Let $s \in [0,1]$ parametrize $\gamma$, and we have two intersection points $p(s), q(s)$ above point $s$, and $p(s), q(s) \in V_1(s) \cap V_2(s)$, $V_i(s)$ are vanishing cycles from $c_i$. OK, for each $s$, we have a bigon, between $V_1, V_2$, easpecially when $s=0,1$, when $V_0$ and $V_1$ are very small sphere, the bigon should be small too... bigon is like saying, we want to correct away mistakes (no, not mistakes, they are relations)

anyway, we have $p_\gamma$ and $q_\gamma$, the two 'instanton' lines between the two critcal points. We can do a mixture, take the hol disk bigon, in the middle fiber, take one side of the bigon, flow it to $c_1$, and the other side, flow to $c_2$. instead, we can do a more uniform disk but with a 'mixed equation', the zeta-instanton equation.

let me stop here.

I see, you want to say the inhomogeneous term comes from the 3rd direction's K-rotation.