This is an old revision of the document!
−Table of Contents
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 be a Weinstein manifold. Let be a collection of cocores, one for each critical point of the psh function . Let be the collection of cores. We have , and similarly .
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 , 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 . I first, remember the intersections between and . But, that's not good enough. There are disks bounding the core and .
Consider the example, where , and perturbed. The intersection are two points. There is a morphism . The fundamental class of corresponds to . Now, consider endomorphism of that complex, we have Here is a degree map.
There is no rigid holomorhpic disks, that bounds and , and create a differential for the bottom degree guy, to the top one. In the case of , we have two disks, worth . In the case of , we have -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 evaluate out a collection of 'path on the core'. Given a collection of branes with bounding cochains, we can also get a collection of paths on the core. The requirement is that, and intersects at the same points.
Now, the first layer, shall we do . Here, I am not just taking . Wait, I think it is OK, we can do that. Pretend, we are computing the structure of , we will first count the intersection points, and build the chain complex, but here, for an intersection point , instead of putting just we also include the factor tensor with .
Are we just trying to get the module structure of ? Suppose is a single smooth compact Lagrangian. It is a funny adjoint, we want to probe with , but we want to output with .
So, we are looking at structure of whatever the output is. Or, we can do
Now, let's test if it works on . Well, , cohomologically, is just the free module. We just use a holomorphic disk. Not quite enough.
One need higher dimensional moduli space of disks.
Well, a family of disks is a family of disks, there is no way out. We are no longer doing just 1 or 0 dimensional disks counting. Good bye. We could introduce more strata in the middle, If we have Maslov indices of the two points, differ by , then the moduli of disks going between them should be of dimension as well, , something like that.
What's the story of a torus? We look at the Morse gradient flowline. Do we have higher degree morphisms between branes? This time, no.
Here is a formula
In principle, this should work, since we are doing nothing more than Koszul duality. For example, in the cotangent bundle case, if we do , then we should get back .