The geometry of moduli spaces of stable maps of genus 0 curves into a complex projective manifold X leads to a system of quadratic equations in the tree-level (genus 0) Gromov-Witten numbers of X. In elementary examples, these equations solve for all such numbers, uniquely and consistently, from starting data. The beautiful paper of Di Francesco and Itzykson [1] presents a number of examples in this context. One of the foundational papers in the area of quantum cohomology, [4], explains this phenomenon, at least in some cases, by proving the first reconstruction theorem. This theorem applies to manifoldsX such thatH∗(X,Q) is generated byH(X). This result gives an effective procedure for solving for genus 0 Gromov-Witten numbers from starting data using the quadratic relations (since this entire paper is concerned only with the genus 0 invariants, we omit explicit mention of genus from now on). In all but the simplest cases there will be more than one way of using the relations to solve for the numbers. In other words, the system of equations is overdetermined. In the same paper the authors ask whether the seemingly redundant equations follow algebraically from the useful ones. Consistency of this overdetermined system of equations, as an algebraic (or combinatorial) statement rather than a geometric statement, has only been noted in the literature in isolated instances, cf. [2]. The equations were predicted on the basis of physical theories and later confirmed by rigorous study of the moduli spaces. The view taken by the physicists is quite useful: the numbers are combined into a generating function and the relations are represented by differential equations. The survey paper [6] documents these early studies. This paper continues in the spirit of these early investigations into the structure of the relations. The main result is a generalization of the first reconstruction theorem. Keeping the hypothesis that the cohomology ring of X is generated by divisors, we show that an initial collection of numbers and relations determines, purely algebraically, the entire system of relations (strong reconstruction) as well as the Gromov-Witten numbers. Examples, in the last section, illustrate the existence of non-geometric solutions. For a manifold X with H = H∗(X,C), the associativity relations can be expressed geometrically by saying that an associated connection on TH is flat, i.e., that the quantum potential function dictates on H the structure of a Frobenius manifold [2, 4]. Near a semisimple solution, the equations for flatness can be proved equivalent (with suitable assumptions) to the well-studied Schlesinger equations, cf. [5]. Strong
Read full abstract