This is an old revision of the document!
2022-12-14 Wed
- Cross my t and dot my i.
T and I branes
Let me be super careful, and state the condition that I need.
Let $X$ be a Weinstein manifold. Let $T_p$ be a collection of cocores, one for each critical point of the psh function $\varphi$. Let $I_p$ be the collection of cores. We have $\Hom(I_p, T_q) = \delta_{p,q}$, and similarly $\Hom(T_p, I_q) = \delta_{pq}[-n]$.
We assume that our skeleton is a union of smooth Lagrangians. This is true in the case of cotangent bundle, or in the case of plumbing of cotangent bundles.
We can ask, if every object in the wrapped Fukaya category can be expressed as a finite twisted complex of the cocores. CDGG says yes.
If you give me a Lagrangian $L$, then I will intersect it with the core. I assume the intersection is transverse.
If I am brave enough, I will take the core as a Lagrangian, and I allow disk to end on it, as if my core is a smooth Lagrangian.
How to remember the given Lagrangian $L$. I first, remember the intersections between $I$ and $L$. But, that's not good enough. There are disks bounding the core and $L$.
Consider the example, where $I = S^n$, and $L =S^n$ perturbed. The intersection $I \cap L$ are two points. There is a morphism $\gamma \in \End^{-n+1}(T) = C_{n-1}(\Omega S^n)$. The fundamental class of $S^{n-1}$ corresponds to $\gamma$. Now, consider endomorphism of that complex, we have $$ \End( T[-n] + T) \supset \Hom(T, T[-n]) = \End(T)[-n] \ni \gamma[-n] $$ Here $\gamma[-n]$ is a degree $1$ map.
There is no rigid holomorhpic disks, that bounds $L$ and $I$, and create a differential for the bottom degree guy, to the top one. In the case of $S^1$, we have two disks, worth $S^0$. In the case of $S^2$, we have $S^1$-family of disks from bottom intersection to the top one. But, that information is not remembered by the usual rigid disks.
What are we doing? The Lagrangian $L$ evaluate out a collection of 'path on the core'. Given a collection of $T$ branes with bounding cochains, we can also get a collection of paths on the core. The requirement is that, $T$ and $L$ intersects $I$ at the same points.
Now, the first layer, shall we do $T_i \otimes \Hom(I_i, L)$. Here, I am not just taking $\oplus_{p \in I \cap L} \otimes T_p$. Then,