Generating functions of planar polygons from homological mirror symmetry of elliptic curves

We study generating functions of certain shapes of planar polygons arising from homological mirror symmetry of elliptic curves. We express these generating functions in terms of rational functions of the Jacobi theta function and Zwegers’ mock theta function and determine their (mock) Jacobi properties. We also analyze their special values and singularities, which are of geometric interest as well.


Introduction and statement of results
Elliptic curves provide a fertile ground for the study of the homological mirror symmetry conjecture [10], which relates interesting algebraic structures occurring in the symplectic geometry and complex geometry of different manifolds. They are very simple manifolds that nevertheless exhibit surprisingly rich connections to many fields including Hodge theory, modular forms, and mathematical physics.
Of central importance in this subject are the generating functions arising from the open Gromov-Witten theory of elliptic curves. They give the structure constants for the A ∞ -structure (i.e., the homotopy version of associative algebra structure) in the Fukaya category (whose objects are Lagrangian submanifolds carrying vector bundles over them, and whose morphisms concern relations among the vector bundles). On the one hand, having a clear understanding of these functions is very useful to verify ideas and conjectures in homological mirror symmetry for elliptic curves and even for more general manifolds. On the other hand, these functions frequently exhibit transformation properties of mock modular forms and Jacobi forms that are interesting to study on their own. Specifically, they provide natural examples of mock modular forms of higher depth. Mock modular forms are holomorphic parts of so-called harmonic Maass forms, which are nonholomorphic generalizations of modular forms. Higher depths forms require additional differential operators. The generating functions arising in this context are very concrete objects and can be expressed using elementary geometric objects. By definition they enumerate holomorphic disks on elliptic curves bounded by a given set of Lagrangians, with appropriate weights specified for example by the area of the holomorphic disks. Due to the simplicity of the universal cover of the elliptic curve, the Lagrangians are represented by straight lines on the universal cover, holomorphic disks are then represented by polygons whose edges lie on these straight lines. This allows the reduction of the enumeration of these geometrical objects to a combinatorial problem. The resulting generating functions may then be written down and turn out to be indefinite theta functions [12,13,15,16], see also [4,9]. In particular, it was found in [16] that the enumeration of triangles yields Jacobi theta functions. The enumeration of parallelograms [13,15,16] gives the Göttsche-Zagier series [8], while that of more general shapes of 4-gons give the Appell-Lerch sums studied by Kronecker that describe sections of rank two vector bundles on the elliptic curve as shown by [14]. Interestingly, while the former only involves the usual Jacobi theta functions, the latter are related to the mock theta functions.
Recently there also have been some works considering the genus zero open Gromov-Witten invariants of the quotient of elliptic curves called elliptic orbifolds [2,3,5,6,11]. A detailed study of the mock modularity of some generating functions arising from this context was performed in [2,3,11]. We remark that the objects studied in the present work differ from those in the above mentioned papers in that the occurring generating functions are different: the former mainly works with fixed Lagrangians, while in the present work deformations of the Lagrangians are considered as set up originally in [16].
In this paper, we follow the lines in [13,15,16] and study the generating functions arising from the enumeration of particular shapes of 4-gons and 5-gons. The main result of this paper is the following (see (6.1) and (7.1) for the generating functions and Theorem 6.3 and Theorem 7.4 for the mock Jacobi properties).

Theorem 1.1 The functions f 3 and f 4 satisfy mock Jacobi properties.
A careful analysis of the modular behavior of the generating functions reveals the global properties of the Gromov-Witten theory on the geometric side. Moreover, the study of special values and singularities can be used to detect what happens in the geometric context, which are otherwise very hard to approach (for example, when the Lagrangians do not intersect transversally). While the study of these very special shapes are already interesting, we hope to extend our investigation to include more general shapes of 5-gons and 6-gons in future work.
The paper is organized as follows. In Sect. 2 we provide some preliminary results and conventions on Jacobi theta functions and mock theta functions of Zwegers. In Sect. 3 we review the geometric construction of the generating functions. We then study the generating functions case by case in Sect. 4 to 7. We conclude with some discussions and a conjecture in the final section.

Preliminaries
In this section we recall some modular forms and generalizations thereof, which we require for this paper. Note that we frequently suppress τ in the notation of functions f : if it is viewed as fixed. Here and throughout we write components of vectors w ∈ C N as w 1 , . . . , w N and ζ j := e 2π iz j . We write real and imaginary parts as τ = u + iv ∈ C, z = x + y ∈ C N and frequently use q := e 2π iτ , ζ := e 2π iz , and ζ j := e 2π iz j for j ∈ N. The Dedekind eta function for z ∈ C r , , m ∈ Z r the elliptic transformation and for a b c d ∈ the modular transformation f z cτ +d ; aτ +b cτ +d = (cτ + d) k e 2πic cτ +d z T Mz f (z; τ ).
Both transformation identities can be modified with some multiplier. If f is holomorphic on all of C r × H and f (z; τ )e − 4π v y T My is bounded as v → ∞ , we call it holomorphic Jacobi form.
We call a meromorphic function f : C r × H → C (with possible poles in the z-variable) a mock Jacobi form of weight k and index M ∈ 1 2 Z r×r for the subgroup ⊂ SL 2 (Z) if it can be completed in the sense of [1,7] to a function that transforms as a Jacobi form of the same weight, index, and subgroup (and possibly multiplier).
Next recall Lemma 2.3 of [2], which states the following.
Furthermore, we require the Appell functions We recall some properties of A and μ that can be easily deduced from Proposition 1.4 of [17]. In part (4) we moreover state a consequence of Lemma 2.4 (2) for z 0 = −z − 1 2 , z 1 = z, and z 2 = z − τ 2 + 1 2 .
The function A also has a modular completion i.e., adding a (simpler) non-holomorphic piece yields a function A which transforms like a Jacobi form. To be precise, set x 0 e −π t 2 dt denotes the usual error function. We also define μ(z 1 , z 2 ; τ ) := A(z 1 ,z 2 ;τ ) ϑ(z 2 ;τ ) . The function A transforms as a Jacobi form of weight one and index 1 2 −1 1 1 0 as proven in [17].

Geometric construction
We now review the construction of the generating functions in consideration following [12,15]. For this, we fix the lattice = Z 1 ⊕ Z 2 in R 2 , where Furthermore we fix three sets L j , j ∈ {1, 2, 3} of straight lines defined as follows The values t j , j ∈ {1, 2, 3} are chosen such that none of three lines intersect at a common point 1 .
Consider convex N -polygons bounded by a set of straight lines from L j , j ∈ {1, 2, 3}. Elementary geometry shows that in the present case we must have 3 ≤ N ≤ 6. Denote its set of vertices by v 1 , . . . , v N in the clockwise order, and the oriented edge from the vertex v k to v k+1 by e k for k ∈ {1, 2, . . . N }, where we use the convention v N +1 = v 1 . We also denote the area of the N -gon by area( ) and the length of the edge e k of by |e k ( )|. We introduce N real-valued variables β * k , k ∈ {1, 2, . . . N }, one for each edge e k . We fix one of these convex N -gons 0 with vertices V 1 , . . . , V N and edges E 1 , . . . E N and consider the following summation where S( 0 ) := : is an N -gon such that e k and E k are on straight lines in the same set L j , and acts pointwisely on an N -gon and the function sgn( ) is given by (denoting the where sgn(x) := |x| x for x = 0 and sgn(0) := 0. One could replace the function sgn( ) by sgn((v k+1 ) 2 −(v k ) 2 ) N −1 for any k, which would only possibly change the whole summation by an overall sign.
To simplify the summation in (3.1) we find an explicit description of S( 0 ). By translation, we can assume that all of the polygons share the same vertex, say v 1 , with the reference N -gon 0 . Denoting the length of the k-th edge E k of the reference N -gon 0 by α k , we can describe by the oriented length of the sides n k +α k ∈ R with n k ∈ Z (since the intersections of a straight line j ∈ L j with the lines in L m , m = j have integer distance from each other). We can omit n N −1 + α N −1 and n N + α N since they are determined by n 1 + α 1 , . . . , n N −2 + α N −2 (since e N −1 and e N have to be parallel to E N −1 and E N , respectively), but we get some conditions encoded in ψ below. Writing w, one obtains that the generating function (3.1) can be written as where • n + α = (n 1 + α 1 , . . . n r + α r ) denotes the set of independent parameters for the oriented lengths of ; • B is the bilinear form such that the quadratic form 2 B(n + α, n + α) is the area of the corresponding N -gon ; • ψ(n + α) is the characteristic function of the region in Z r such that Q(n + α) > 0 and that sgn(e T k e k+1 ) is the same as sgn The blue parallelogram is 0 , and the other parallelograms are shifted such that v 1 = V 1 . The grey parallelograms appear in the summation, but the red one does not An easy inspection shows that the quadratic form Q induced by B has signature (1, r −1). We consider the generating function as a Jacobi form by setting z := ατ + β ∈ C r as an elliptic variable and modify it slightly by multiplying with q −Q(α) e −2π iB(α,β) to obtain nicer transformation laws and cleaner formulas. Writing χ(n + α) = ψ(n + α)sgn(n r + α r ), we define A direct calculation gives the following elliptic transformation.

N = 3: equilateral triangles
In this section we consider the enumeration of equilateral triangles, for which we have The enumeration of equilateral triangles leads to the function Note that this is just a renormalized version of one of the Jacobi theta functions, which is a Jacobi form. We compute the elliptic transformation as ( , m ∈ Z) (4.1) Lemma 2.1 (4) gives that f 1 is a holomorphic Jacobi form of weight 1 2 and index 3 2 on 0 (3) ∩ (2). To be more precise, additionally to (4.1), we have for a b c d ∈ 0 (3) ∩ (2) cτ +d f 1 (z; τ ).

N = 4: parallelograms
In this section, we study the generating function obtained for parallelograms and relate it to the Jacobi theta function. Following the geometric construction, we have Q(n + α) = 3(n 1 + α 1 )(n 2 + α 2 ) and obtain from (3.2) the generating function for parallelograms as where χ 2 (x) := sgn(x 1 )H(x 1 x 2 ). Here we define the Heaviside step function by H(x) := 1 for x > 0 and H(x) := 0 for x ≤ 0.
The following elliptic transformation follows directly from Lemma 3.1.
We determine the following explicit shape of f 2 in terms of the Jacobi theta function.

Proposition 5.2 For y
. Proof One can rewrite f 2 as The main goal of this section is to study and determine the behavior of f 2 at the points of discontinuity. This is done in the following proposition.

Proposition 5.3 Let y 1 /
∈ Zv and y 2 ∈ Zv. Then we have for Proof We first assume that z 2 = x 2 ∈ R and use (5.2) to compute, for 0 < ε < v, The first two sums vanish in the limit ε → 0 + since we can exchange limit and summation using Lebesque dominated convergence. The final two terms combine to From this we obtain (5.4) and the first claim in (5.3) in the case that z 2 ∈ R. In the general case, we write z 2 = x 2 + i v = x 2 − u + τ for some ∈ Z and then employ Lemma 5.1.
For general values of α k and β k , k ∈ {1, 2}, we have The enumeration (3.2) gives the generating function for trapezoids where and H * (x) := 1 for x ≥ 0, H * (x) := 0 for x < 0. We first again state the elliptic transformation law of f 3 that follows by Lemma 3.1.

Lemma 6.1
We have for , m ∈ Z 2 and z ∈ C 2 We observe the following connection of f 3 to Appell functions for generic values of z.

Proposition 6.2 For y
Proof Using the definition of f 3 , it is not hard to see that , changing variables n 1 → n 1 + n 2 . The claimed identity now follows by using that and then plugging in the definition of the Appell function.
To state the (mock) Jacobi properties of f 3 , define its completion and for , m ∈ Z 2 Proof The elliptic and modular properties of the completion f 3 can be deduced from those of A after shifting away −3 We next determine the behavior of f 3 at the singularities.

Proposition 6.4
Assume that y 1 / ∈ Zv. If y 2 ∈ Zv, then we have In particular, for Proof We first assume z 2 = x 2 ∈ R and plug in Proposition 6.2 to obtain for y 1 / ∈ Zv and ε > 0, To compute the right-hand side, we rewrite Using the second identity in Lemma 2.4 (3) and simplifying the theta quotient using Lemma 2.1 (1) and plugging in z → 3z 1 , x 2 → 3x 2 , and τ → 3τ gives To finish the proof, we use Lemma 6.1. We obtain, writing .
Using Lemma 2.1 (2) and simplifying gives the claim. The simplified expression in the special case z 2 = τ + m with , m ∈ Z follows from a straightforward computation using Lemma 2.1 (3).
We next determine the jumping behavior at the points excluded in Proposition 6.2. Recall that A(z 1 , z 2 ) has poles for z 1 ∈ Z+Zτ . Note that the right-hand side of Proposition 6.2 is continuous for z 1 − z 2 / ∈ Zτ + Z and y 2 / ∈ vZ. Thus we may take the limit of Proposition 6.2 in this case. Next we consider y 2 ∈ Zv and determine the jump. Proof Write y 2 = v with ∈ Z. Then Lemma 6.1 gives Thus the left-hand side of Lemma 6.5 becomes We then compute This gives the claim.

N = 5: pentagons
In this section we study the enumeration of the pentagons and observe that the behaviour at jumps is determined by the function appearing in the enumeration of trapezoids. In this case, we assume |α 3 | < min{|α 1 |, |α 2 |} and obtain the quadratic form For general values of β k , k ∈ {1, 2, 3}, the enumeration of pentagons gives where If y 3 , y 1 − y 3 , y 2 − y 3 / ∈ Zv, then we have We now want to write g 4 as higher depth Appell functions. We start by making the change of variables n 1 → n 1 + n 3 , n 2 → n 2 + n 3 . Then we have, assuming that y 3 , y 1 − y 3 , y 2 − y 3 / ∈ Zv and writing Y 1 := 3 , and Y 3 := 3 (2) We have To rewrite g 4 in terms of known functions, we let +n 1 n 2 +n 1 n 3 +n 2 n 3 ζ n 1 1 ζ n 2 2 ζ n 3 3 . Shifting in F * yields the following lemma.
Proposition 7. 2 We have The following lemma states F * in terms of the μ-function.
We define the completion of f 4 as Combining the previous results of this section gives the following.
Proof Considering the identity in Proposition 7.2 for the completed functions, we can shift away all the Y j in the arguments, which also cancels all occurring Y j in the factors outside. Then the weight, index, subgroup, and multiplier of the completion of g 4 can be deduced from those of ϑ and A. Since the transformation laws are invariant under z → −z, this implies that f 4 is a mock Jacobi form of the same weight, index, subgroup, and multiplier.
The jumps of g 4 are at y 3 ∈ Zv, y 1 − y 3 ∈ Zv, and y 2 − y 3 ∈ Zv. We describe them explicitly in the following proposition.