|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.4.8 ellipticcovers_lib
- Library:
- ellipticCovers.lib
- Purpose:
- Gromov-Witten numbers of elliptic curves
- Authors:
- J. Boehm, boehm @ mathematik.uni-kl.de
A. Buchholz, buchholz @ math.uni-sb.de
H. Markwig hannah @ math.uni-sb.de - Overview:
- We implement a formula for computing the number of covers of elliptic curves.
It has beed obtained by proving mirror symmetry
for arbitrary genus by tropical methods in [BBM]. A Feynman graph of genus g is a trivalent, connected graph of genus g (with 2g-2 vertices and 3g-3 edges). The branch type b=(b_1,...,b_(3g-3)) of a stable map is the multiplicity of the the edge i over a fixed base point.Given a Feynman graph G and a branch type b, we obtain the number N_(G,b) of stable maps of branch type b from a genus g curve of topological type G to the elliptic curve by computing a path integral
over a rational function. The path integral is computed as a residue.The sum of N_(G,b) over all branch types b of sum d gives N_(G,d)*|Aut(G)|, with the Gromov-Witten invariant N_(G,d) of degree d stable maps from a genus g curve of topological type G to the elliptic curve.
The sum of N_(G,d) over all such graphs gives the usual Gromov-Witten invariant N_(g,d) of degree d stable maps from a genus g curve to the elliptic curve.
The key function computing the numbers N_(G,b) and N_(G,d) is gromovWitten.
- References:
- [BBM] J. Boehm, A. Buchholz, H. Markwig: Tropical mirror symmetry for elliptic curves, arXiv:1309.5893 (2013).
- Types:
- graph
Procedures:
D.4.8.1 makeGraph generate a graph from a list of vertices and a list of edges D.4.8.2 printGraph print procedure for graphs D.4.8.3 propagator propagator factor of degree d in the quotient of two variables, or propagator for fixed graph and branch type D.4.8.4 computeConstant constant coefficient in the Laurent series expansion of a rational function in a given variable D.4.8.5 evalutateIntegral path integral for a given propagator and ordered sequence of variables D.4.8.6 gromovWitten sum of path integrals for a given propagator over all orderings of the variables, or Gromov Witten invariant for a given graph and a fixed branch type, or list of Gromov Witten invariants for a given graph and all branch types D.4.8.7 computeGromovWitten compute the Gromov Witten invariants for a given graph and some branch types generatingFunction (graph, int) multivariate generating function for the Gromov Witten invariants of a graph up to fixed degree D.4.8.8 partitions partitions of an integer into a fixed number of summands D.4.8.9 permute all permutations of a list D.4.8.10 lsum sum of the elements of a list