Top
Back: lastQuadrantComplex
Forward: cf_of
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.25 tropicalEllipticCovers_lib

Library:
tropicalEllipticCovers.lib
Purpose:
Gromov-Witten numbers of tropical elliptic curves and their covers

Authors:
J. Boehm, boehm @ mathematik.uni-kl.de
F. Dastur, dastur.firoozeh @ gmail.com

Overview:
We implement a formula for computing the number of covers of (abstract) elliptic curves with and without tangency conditions, and for the surface ExP1. For the first case, we have used methods discussed in [BGM1]. For the covers without tangency conditions, we obtain the covers of an elliptic curve using tropical methods in [BBM], and for ExP1, we have used the concepts from [BGM2]. A Feynman graph G of genus g is a trivalent, connected graph (of genus g) with n number of vertices and r number of edges (in case of abstract elliptic curve in [BBM] we have 2g-2 vertices and 3g-3 edges, since we consider only trivalent graphs). A pearl chain P of type (d_2, g) is a genus g, connected graph of degree d_1 such that it has two different types of vertices, say vertices of type w and b (where w represent the white vertices and b the black ones).
Every edge in P connect vertex of type w to vertex of type b such that the vertices adjacent to each edge are not of the same type. There are precisely d_2 vertices of type w and d_2+g-1 vertices of type b. The vertices of type b should be 2-valent and the vertices of type w can have any valency.
For each case we compute the respective propagator function from which we later use terms to compute the Gromov-Witten invariants N_(g,d), N_(g,d,Omega) and N_(P,d_1,d_2,g).

References:
[BBM] J. Boehm, A. Buchholz, H. Markwig: Tropical mirror symmetry for elliptic curves, arXiv:1309.5893 (2013).
[BGM1] J. Boehm, C. Goldner, H. Markwig: Tropical mirror symmetry in dimension one, arXiv:1809.10659 (2018).
[BGM2] J. Boehm, C. Goldner, H. Markwig, Counts of (tropical) curves in ExP1 and Feynman integrals, arXiv:1812.04936 (2018).

Types:
graph,number,list,poly,string

Procedures:

D.15.25.1 cf_of  computes the coefficient of a given monomial g from a polynomial f.
D.15.25.2 preim  returns the entry number of an element x in a list O.
D.15.25.3 coverTuple  depending on int, computes a list of tuples of the form (a_k, N_k, D_k) for all k=1,...,r, where r is the number of edges, a_k is the k-th entry of the partion aa of the degree of G, N_k and D_k are the corresponding numerator and denominator (respectively) of the propagator function whose product would return the coefficient of the Feynman integral. Every list of tuples corresponds to a cover of the elliptic curve E.
D.15.25.4 CoverMult  depending on int, computes a list of cover multiplicity corresponding to each cover of an elliptic curve having source curve G.
D.15.25.5 Tropicalcover  depending on int, computes a list of matrices such that each matrix in the list represents a cover of an elliptic curve E.
D.15.25.6 sinh  returns the power series expansion of the hyperbolic sine function given a polynomial f up to first n terms.
D.15.25.7 Sfunction  computes the S-function in the form of (1+X), where X is a taylor series expansion of the sinh function upto n terms.
D.15.25.8 FloorDiagrams  returns a Latex file illustrating floor diagrams, such that each floor diagram corresponds to a tropical stable map to ExP1 for a given curled pearl chain of elliptic curve E.
D.15.25.9 PropagatorFunction  depending on int, computes the propagator for the edges of a Feynman graph G.
D.15.25.10 FeynmanIntegralo  depending on the second int, computes the coefficient of the Feynman integral for a given ordering of the vertices of the graph G.
D.15.25.11 FeynmanIntegralO  depending on the second int, computes the coefficients of the sum of Feynman integrals (over all orderings of the vertices of the graph G).
D.15.25.12 FeynmanIntegralA  depending on the third int, computes the coefficients of the sum of Feynman integrals for fixed ordering (sum goes over all partitions of the degree of G).
D.15.25.13 DrawCovers  depending on int, returns a Latex file illustrating a cover of the elliptic curve E.
D.15.25.14 TropCovandMaps  returns a Latex file that draws all the (cut open) curled pearl chains and its corresponding stable maps (as a floor diagram) given a pearl chain and other information regarding the leaks and white pearls of the pearl chain.


Top Back: lastQuadrantComplex Forward: cf_of FastBack: FastForward: Up: Singular Manual Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.4.0, 2024, generated by texi2html.