Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added pointer to section 7.5 of
Is there a reason why this article is phrased in terms of Lagrangian (as opposed to coisotropic) branes?
I would say: Because that’s how it’s defined. But I might not get the subtext of your question?
There is this observation going back (at least?) to Kapustin and Orlov and later used by Gukov and Witten in describing quantization via the A-model that A-branes are represented not only by Lagrangian submanifolds but more generally by coisotropic submanifolds. Shouldn’t the Fukaya category be described in terms of coisotropic subspaces if that is the relevant category for mirror symmetry?
I see; maybe somebody proposed a corresponding definition of generalized Fukaya categories?
But the answer to your question in #2 is clearly:
The entry on Fukaya categories speaks about Lagrangian submanifolds because these are by definition their objects – see for instance Auroux 2013, p. 22.
Last I looked into it, many years ago, the correct definition of Fukaya categories was still felt to be elusive/unsatisfactory, due to the issue of transversality (also indicated in the Idea-section of the entry). There was the idea that a more satisfactory definition would use derived symplectic geometry, where the transversality issue is automatically dealt with. But I haven’t followed what became of this idea and what the state-of-the-art of Fukaya categories is these days.
I see. Sure, I suppose my question was more about how that observation fits all this in practice, whether we a. change the definition of the Fukaya category so that mirror symmetry is still phrased in terms of it(s updated version), or b. we keep the definition like that and then speak of a coisotropic extensions of the Fukaya category. One of the reasons I ask is because I’m wondering if there is a sort of clear way to see how the Fukaya category for the A-model and the category of sheaves for the B-model come about from motivic quantization of the AKSZ sigma-model.
1 to 7 of 7