# Where does the Givental reconstruction formula come from?

In (for example) Semisimple Frobenius structures at higher genus (section 1.2) and Gromov-Witten invariants and quantization of quadratic Hamiltonians (section 6.8), Givental gives a conjectural formula for the higher genus Gromov-Witten potentials in terms of data coming from the Frobenius manifold of quantum cohomology, assuming that the quantum cohomology is (generically) semisimple. (The formula was proven to be correct by Teleman.) Givental does not give much explanation as to how or where he obtained these mysterious formulas. Can anybody here give some explanation or background?

Another question, more general, that I have is: Where does the quantized quadratic Hamiltonians formalism come from? How does it naturally arise? Presently (and still now, several months later after first asking this question...) everything just seems to me like a bunch of magical formulas that are pulled out a hat. I'd like to have this magic explained...

After the fact, there is a more satisfying description of how that formula could have been invented. Dubrovin's connection of a semisimple Frobenius manifod allows for an asymptotical fundamental solution (which looks like the complete stationary phase asymptotics of oscillating integrals on the mirror theory). It's construction ("the $R$-matrix") is contained in the key lemma in that elliptic paper I've mentioned. Another way to interpret this solution is to say - in terms of overruled Lagrangian cones in symplectic loop spaces as the objects that describe genus-0 theory in lieu of Frobenius structures - that the overruled Lagrangian cone of a semisimple Frobenius manifold is isomorphic to the Cartesian product of several such cones corresponding to the one-point target space, and moreover, the isomorphism is accomplished by transformations from the twisted loop group: $$L = M (L_{pt}\times \cdots \times L_{pt}).$$ The "mysterious" conjectural higher genus formula simply says that the same relation persists for the total descendant potentials of higher genus theory:$$D \sim \hat{M} (D_{pt}\otimes\cdots\otimes D_{pt}),$$ where the elements of the loop group are quantized, and the equality is replaced by proportionality up to a non-zero "central constant".