I was heard (by an expert) that, in mirror symmetry, we have constructed a Quantum Master Equation associated to topological B model, and a solution to it. But I can't find any material about this. Is there anyone know anything about this, so you can give me some help? Is that Kontsevich and Bananikov's paper (for genus 0 topological B model on CalabiYau)?? And is the sullivan's paper "Sigma model and string topology" related to this to some extent?(but I can't see what the useness is of this one).Thank you very much for your help!

1$\begingroup$ What do people mean when they refer to a 'master equation'? $\endgroup$ – Minhyong Kim May 26 '10 at 23:02

2$\begingroup$ That's the master equation associated to a (dg)BV algebra. $\endgroup$ – HYYY May 27 '10 at 2:43
This is the subject of this paper by Kevin Costello  he constructs a solution to a master equation associated to a CalabiYau category, which one could take to be the category of branes in the topological Bmodel. (See the article for references to work of Sen and Zwiebach in the physics literature). String topology can be thought of as a kind of simplified Bmodel, so Sullivan's paper is also related I presume but haven't looked..

$\begingroup$ Thanks!(I once assumed that's the paper by Kontsevich and Bananikov) Can we get the same thing for A model?(using his method). That's what exactly Costello once guided me, there is no such construction for A model currently. That's what I am confused here. But I do construct similar things for A model recently. $\endgroup$ – HYYY May 27 '10 at 2:42
Lets briefly explain the whole of picture:
Amodel and Bmodel is study of twisted conformal field theory
If you want to study the invariants of complex manifolds , then you will face with two notion due to Edward Witten philosophy
A) Closed string Bmodel which is study of Hodge structure or periods of holomorphic differential forms
Bmodel on CalabiYau threefold can be described by a KodairaSpencer gauge theory(due to BershadskyCecottiOoguriVafa). sometimes called BCOV theory.
B) Open string Bmodel is study of Category of coherent sheaves on complex manifold(for example complex submanifolds equiped with holomorphic vector bundles)
If you want to study the invariants of symplectic manifolds, then we are facing with two object
A) Closed string Amodel , which is study of GromovWitten invariants about counting holomorphic curves
B) Open string Amodel which is Fukaya category (object is lagrangian submanifolds and morphisms is Floer chain )which corresponding to the Calabi–Yau category
From homological mirror symmetry point of view (due to M. Kontsevich conjecture), the Amodel is dual to the Bmodel. $$D^\pi\mathcal F(M)\cong D^b Coh(M^\vee)$$ which called MetaMirror symmetry
Moreover, in the language of moduli spaces if $M$ and $M^\vee$ are two mirror to each other then $$\mathcal M_{sym}(M)\cong \mathcal M_{cpx}(M^\vee)$$ where $\mathcal M_{sym}(M)$ and $\mathcal M_{cpx}(M)$ are moduli spaces of symplectic structures and moduli spaces of complex structures respectively. This gives an equivalence of Amodule and Bmodule for families
For your question see the Kontsevich paper
M. Alexandrov, M. Kontsevich, A. Schwarz, O. Zaboronsky, around page 19 in The geometry of the master equation and topological quantum field theory, Int. J. Modern Phys. A 12(7):1405–1429, 1997
and this thesis