Think globally, compute locally

We introduce a new formulation of the so-called topological recursion, that is defined globally on a compact Riemann surface. We prove that it is equivalent to the generalized recursion for spectral curves with arbitrary ramification. Using this global formulation, we also prove that the correlation functions constructed from the recursion for curves with arbitrary ramification can be obtained as suitable limits of correlation functions for curves with only simple ramification. It then follows that they both satisfy the properties that were originally proved only for curves with simple ramification.

The recursion relies on the geometry of a compact Riemann surface S with two meromorphic functions x and y generating the function field K(S) = C(x, y). To formulate the recursion, we realize S as a branched covering x : S → CP 1 . In the original formulation of [16,18], it was required that x be "generic", in the sense that it only has simple ramification points. While it is well known that any branched cover with higher ramification can be obtained as a suitable limit of a branched cover with only simple ramification, until recently it was not clear how to apply the recursion to branched covers with higher ramification. A generalization of the recursion for spectral curves with higher ramification is desirable, because in some counting problems the spectral curve does indeed have higher ramification.
Such a generalization was proposed in [4], based on the work of Prats-Ferrer [28] in matrix models. The generalized recursion was studied in a number of examples, and it was shown that it restores x − y invariance for spectral curves where x has only simple ramification but y has higher ramification. It was also computed, in examples, that many of the properties of the correlation functions proved in [16,18] are also satisfied by the correlation functions constructed from the generalized recursion. However, the evidence for the generalized recursion was mostly computational; it was not proved that the proposed generalization was the appropriate one. This is what we address in this paper.
More precisely, an obvious question is the following. Any branched cover with higher ramification can be obtained as a suitable limit of a branched cover with only simple ramification, where in the limiting process ramification points collide to produce higher order ramification points. Suppose that we construct the correlation functions from the original recursion applied to the curve with only simple ramification. Is the limit of these correlation functions equal to the correlation functions constructed using the generalized recursion applied to the limiting curve with higher order ramification? If the generalization is the correct one, then the answer should be affirmative.
In this paper we prove that indeed, the generalized recursion is a limit, in the sense above, of the original recursion of [16,18]; this follows from our main result, Theorem 5. In order to prove such a statement, we develop a new formulation of the recursion, which we call "global", for the following reason.
The recursion involves contour integrals around ramification points of the branched cover x : S → CP 1 . In both the original and generalized recursions, the integrand is only defined locally in a small disk around the ramification points. While this is perfectly sufficient to perform the contour integrations, it makes studying global properties of the recursion rather difficult. For instance, it is hard to study limiting process where ramification points collide, since for this we need an integrand defined away from a given ramification point.
To perform global studies of the recursion, we introduce a new recursion, which also involves contour integration around ramification points, but where the integrand is now a JHEP02(2013)143 globally defined meromorphic differential on S. We show that this "global" recursion is in fact precisely equivalent to the original and generalized recursions (which we call "local"), which is our main result (Theorem 5). From this theorem, and the global nature of the recursion, it follows that the limits of the correlation functions when ramification points collide are indeed equal to the correlation functions constructed from the limiting curve.
Using this main theorem, we also prove that the correlation functions constructed for spectral curves with arbitrary ramification satisfy the same properties as the original correlation functions constructed in [16,18].
It would be interesting to investigate further whether this new, global, recursion provides insights on other aspects of the recursion, such as x−y invariance of the free energies, which was first investigated in [17] (see also [4,8] for a discussion of x − y invariance). We hope to report on that in the near future.
Outline. In section 2 we introduce the geometry, and construct the generalized recursion of [4] and its special case for simple ramification introduced originally in [16,18]. We also prove some properties of the recursion that will be useful later on. In section 3, we construct a global recursion, whose integrand is a globally defined meromorphic function. We then prove our main result, Theorem 5, which says that the global recursion is in fact precisely equal to the local formulation in [4]. In section 4, we show that Theorem 5 implies that the correlation functions for curves with arbitrary ramification satisfy the same properties that were proved in [16,18]. In section 5 we conclude and discuss some future avenue of research. Finally, in the appendix we prove one of the properties discussed in section 4 explicitly, partly to highlight the fact that it is highly non-trivial that the correlation functions for arbitrary ramification satisfy these properties.

The local topological recursion
In this section we review the construction of the original topological recursion formulated in [16,18], and its generalization proposed in [4]. We will use the notation put forward by Prats Ferrer in [28] and used in the generalized context in [4]. We will call the generalized recursion of [4] the "local" topological recursion, to contrast with the formulation of the recursion that will be proposed in the next section.
In the last subsection we will also prove a number of properties of the local recursion that will be useful later on.

Spectral curves
The main object of study will be called a spectral curve.

Definition 1.
A spectral curve C is a triple C = (S, x, y) where S is a Torelli marked 1 compact Riemann surface, and x and y are meromorphic functions on S that generate the JHEP02(2013)143 function field of S, that is, K(S) = C(x, y). We require that x and y separate tangents, in the sense that for any p ∈ S, either dx(p) = 0 or dy(p) = 0. We let d be the degree of x.
Note that any two such functions x and y, where x is of degree d, satisfy identically an equation (which can always be taken to be irreducible) of the form If one takes the point of view that x and y are coordinates on C 2 instead of meromorphic functions on S, then this equation defines an affine curve in C 2 (after turning it into a polynomial equation), whose normalization is the compact Riemann surface S.

Branched cover
In the following we will study the spectral curves through the degree d branched covering x : S → CP 1 given by the meromorphic function x. Given a point p ∈ S, then there exists local coordinates near p ∈ S and x(p) ∈ C ∞ such that x can be written as z → z m for a positive integer m ≤ d x . m is uniquely defined, and is called the multiplicity of x at p; it is denoted by mult p (x) = m. All but a finite number of points have mult p (x) = 1. The points with mult p (x) ≥ 2 are the ramification points of x. Their images in CP 1 under the x-map are the branch points of x. The multiplicity mult p (x) of x at p can also be understood in terms of the meromorphic function x(p) for p ∈ S. If p is not a pole of x, then mult p (x) = ord p (x−x(p)). Equivalently, in terms of the differential dx, we obtain mult p (x) = ord p (dx) + 1. If p is a pole of x, then mult p (x) = −ord p (x) = −ord p (dx) − 1. Therefore, ramification points of x correspond to zeroes of dx and poles of x of order 2 or more.
In the following, we will only focus on ramifications points of x corresponding to zeros of dx. 2 Let R = {a 1 , . . . , a n } ⊂ S be the set of zeroes of dx, with corresponding multiplicities r i = mult a i (x), for i = 1, . . . , n, and B = {b 1 , . . . , b n } := {x(a 1 ), . . . , x(a n )} ⊂ C ⊂ CP 1 be the set of associated branch points. A priori, the b i need not be distinct, but when we formulate the "global" recursion in the next section we will need to require that they are.
Remark. Note that in the original case studied in [16,18], it was assumed that all zeroes of dx were simple, that is, r i = 2 for i = 1, . . . , n. The general case for r i not necessarily equal to 2 was studied in [4].
Let U i be a small disk centered at a i that does not include other a j = a i , and V i be a small disk centered at b i . The restriction x : U i → V i is a degree r i Galois cover, fully ramified at a i . Since, locally on U i , x is a Galois cover, there is a non-trivial deck transformation group on U i , which is just the cyclic group Z/r i Z. We denote by θ i : U i → U i its generator, which satisfies x•θ i = x by definition. In the following we will use the notation d i (p) = {θ i (p), θ 2 i (p), . . . , θ r i −1 i (p)} to denote the non-trivial images of p ∈ U i under the action of the cyclic deck transformation group.

JHEP02(2013)143
Note that deck transformations can be pulled back to meromorphic functions on U i . Let f (p) be a meromorphic function on U i , and θ i : is a well defined meromorphic function on U i . We will denote the pullbacked function θ * i f (p) by f (θ i (p)). Remark. It is very important to realize that this analysis can only be done locally on U i near a ramification point a i . In most cases, the branched covering x : S → CP 1 will not globally be a Galois cover, and in fact its deck transformation group may be trivial. But since in the recursion we will consider contour integrals around the a i , a local analysis is sufficient to formulate the recursion. However, it will be desirable to write the recursion in a global context, which we will do in the next section. For this however we will not be able to use the local deck transformations.

Examples of spectral curves
Let us give three simple examples of genus 0 spectral curves. Example 1. Let S = CP 1 , and x and y be the meromorphic functions defined in terms of an affine coordinate t ∈ CP 1 by: The corresponding equation is which defines a smooth affine curve whose normalization is CP 1 . The degree 5 branched covering x : S → CP 1 is ramified at t = 0 (and at ∞). Let a = {t = 0} ∈ S, which has multiplicity r = 5. On U a , the deck transformation group is Z/5Z. In the local coordinate t, the generator of the deck transformation group is t → ωt, where ω is a primitive 5'th root of unity. In fact, in this example the branched covering x : S → CP 1 is globally a Galois cover, and the deck transformations are globally defined on S.
Note that if we had instead chosen then it would not be a spectral curve according to our definition, since while x and y generate K(CP 1 ), they have a common zero at t = 0.
Example 2. Let S = CP 1 , and x and y be the meromorphic functions defined in terms of an affine coordinate t ∈ CP 1 by: The corresponding equation is which defines an affine curve that has an ordinary double point at (x, y) = (0, −1), and whose normalization is CP 1 . While the affine curve is singular, this is a perfectly well defined spectral curve, since the zeroes of dx and dy do not coincide.

JHEP02(2013)143
The degree 2 branched covering x : S → CP 1 is ramified at t = ±1, which we denote by a ± ∈ S. On both U a ± the deck transformation group is Z/2Z generated by t → 1/t. Again, in this case the deck transformations are globally defined on S.
Example 3. Let S = CP 1 , and x and y be the meromorphic functions defined in terms of an affine coordinate t ∈ CP 1 by: The corresponding equation is It defines an affine curve which has an ordinary double point at (x, y) = 2 3 , 0 . The degree 3 branched covering x : S → CP 1 has two simple ramification points at t = ±1, which we denote by a ± ∈ S (it is also ramified at ∞). On both U a ± the deck transformation group is Z/2Z; here however x is not globally a Galois cover, and in fact the global deck transformation group is trivial. If we use the coordinate t above, restricting to U a + the local deck transformation has a series expansion near t = 1 of the form while on U a− near t = −1 the local deck transformation has a series expansion While this curve is a perfectly well defined spectral curve, it is peculiar in the following sense. It turns out that one of the ramification point of x, namely a − at t = −1, is in the preimage of the double point singularity of the affine curve under its normalization. Another way of putting it is as follows. Let b − = x(−1) ∈ CP 1 be the branch point corresponding to a − . Then there exists a p = a − ∈ S in the preimage of x −1 (b − ) such that (x(a − ), y(a − )) = (x(p), y(p)) -in our case, p is given by the point t = 2. What that means is that the normalization of the affine curve is not a bijection at (x(a − ), y(a − )), that is, the affine curve is singular at (x(a − ), y(a − )). This peculiarity is not problematic a priori, but when we introduce a "global" version of the recursion in the next section we will need to make the further assumption that such spectral curves do not occur.

Meromorphic differentials
Given a spectral curve (S, x, y), the type of objects that we will be constructing are symmetric meromorphic differentials.

Definition 2 ([25]
). Let D be a divisor of S, and denote the canonical bundle on S by K S . A symmetric meromorphic differential W n (p 1 , . . . , p n ) of degree n on S with poles along D is an element of the symmetric tensor product W n (p 1 , . . . , p n ) ∈ Sym n H 0 (S, K S ( * D)). (2.11)

JHEP02(2013)143
We will also need a particular bilinear differential on the Cartesian product S × S, which is a classical object in the theory of Riemann surfaces. Definition 3. Let △ ⊂ S × S be the diagonal, and π 1 , π 2 : S × S → S be the projections on both factors. The canonical bilinear differential of the second kind is the unique bilinear differential on S × S defined by the conditions: • It is symmetric, W 0 2 (p 1 , p 2 ) = W 0 2 (p 2 , p 1 ); • It has its only pole, which is double, along the diagonal p 1 = p 2 , with no residue; in local coordinates z 1 := z(p 1 ) and z 2 := z(p 2 ), its expansion in this neighborhood has the form (2.13) • It is normalized about a symplectic basis of (A I , B J ) cycles on S such that Remark. Note that given a spectral curve (S, x, y), the canonical bilinear differential W 0 2 (p 1 , p 2 ) is uniquely defined. In fact, it only depends on S and the choice of canonical basis of cycles, hence two spectral curves (S, x, y) and (S,x,ỹ) with the same Torelli marked compact Riemann surface S have the same canonical bilinear differential.

Notation
Before we move on with the definition of the recursion, let us fix the notation that will be used in the remaining of this section.
Let C = (S, x, y) be a spectral curve. We denote by R = {a 1 , . . . , a m } the set of zeroes of dx, with corresponding multiplicities r i = mult a i (x). For each ramification point a i ∈ R, let d i (q) = {θ 1 i (q), . . . , θ r i −1 i (q)} be the non-trivial images of q ∈ U a i under the local deck transformation group. The notation d ′ i (q) ⊆ d i (q) denotes a non-empty subset of d i (q). To denote points on the Riemann surface S, we will use the letters p and q. For instance, p 0 ∈ S, or q 2 ∈ S. We will also use the set notation p = {p 1 , . . . , p n } ∈ S n and q = {q 1 , . . . , q k } ∈ S k .

The local recursion
Now given a spectral curve C, we construct recursively an infinite tower of symmetric meromorphic differentials. More precisley, let {W g n } be an infinite sequence of degree n symmetric meromorphic differentials W g n (p 1 , . . . , p n ) for all integers g ≥ 0 and n > 0 subject to 2g − 2 + n > 0, with poles only along R. Let W 0 2 (p 1 , p 2 ) be the canonical JHEP02(2013)143 bilinear differential of the second kind on S × S. We will sometimes call these differentials correlation functions.
Recall that a partition of a set X is a collection of nonempty subsets of X such that every element of X is in exactly one of these subsets. To fix notation, a partition µ of X is a collection of s = ℓ(µ) subsets µ i ⊆ X, i = 1, . . . , s, such that ∪ s i=1 µ i = X and µ i ∩ µ j = ∅ for all i = j. We denote by |µ i | the number of elements in the subset µ i ; clearly s i=1 |µ i | = |X| and |µ i | = 0 for all i = 1, . . . , s. The trivial partition is of course µ = {X}, which has length s = ℓ(µ) = 1, and µ 1 = X. Definition 4. We define: The first summation is over partitions µ of the set q. The second summation involves summing over all possible ℓ(µ)-tuples of non-negative integers (g 1 , . . . , g ℓ(µ) ), where ℓ(µ) is the number of subsets in the partition µ, satisfying It also involves summing over all possible non-intersecting subsets J i ⊆ p, for i = 1, . . . , ℓ(µ), such that ∪ ℓ(µ) i=1 J i = p. Finally, the prime over the second summation symbol means that we exclude the cases with (g i , Note that by definition, W g k,n (q; p) is symmetric in all its variables.
We now define the kernel that will enter into the recursion: where dS q 1 ,o (p 0 ) is the canonical normalized Abelian differential of the third kind on S: with o ∈ S an arbitrary base point (it has simple poles at p 0 = q 1 and p 0 = o with respective residues +1 and −1), and ω(q 1 , q i ) is defined in terms of the functions x and y by Note that by definition, K k (p 0 ; q) is symmetric under permutations of q 2 , . . . , q k (but not under permutations involving q 1 ).
Putting this together, we define the local recursion, which was termed generalized topological recursion in [4]:

JHEP02(2013)143
Definition 6. Let C be a spectral curve. Using the notation defined in subsection 2.2.1, we uniquely construct degree n symmetric meromorphic differentials W g n on S with poles along R through the local recursion: The second summation is over all non-empty subsets of The contour integrals are in q, over small circles Γ i (q) around each ramification point. In a local coordinate z(q) on U i , the contours are defined We also define: The free energies F g , g ≥ 2, are uniquely constructed from the one-forms W g 1 (q) by: where Φ(q) is a primitive of the one-form ydx: where o ∈ S is an arbitrary base point. Note that Φ(q) may not be a meromorphic function on S, but it is meromorphic on the disks U i near the ramification points a i .

2.2.3
The original recursion of [16,18] The original recursion introduced in [16,18] is a special case of the local recursion presented in the previous subsection, when all zeroes of dx are simple. In this case, at each a i the local deck transformation group is Z/2Z, and p ∈ U a i has a unique non-trivial image θ i (p) under the action of local deck transformations, since locally x is a two-sheeted branched covering. Thus, in the definition of the recursion, (2.19), the sum over subsets of d(q) collapses, and we get the formula Recalling the definition of the kernel, Definition 5, and of the curly W, Definition 4, we can rewrite the recursion as which is equivalent to the original recursion of [16,18].

Properties of the local recursion
In this section we prove three lemmas about the W that were introduced in Definition 4. These lemmas will be useful later on. We start by proving an important property of the curly W defined in Definition 4. We use the notation from subsection 2.2.1.
Proof. By definition, the l.h.s. is given by a sum over set partitions: The first term on the r.h.s., W g−1 k−1,n+1 (q\{q k }; q k , p), is also a sum over set partitions, but now of {q 1 , . . . , q k−1 }. q k is then distributed in all possible ways. This means that all terms in the summation over set partitions on the l.h.s. that do not involve a subset of length one containing only q k are reproduced by the first term on the r.h.s.
As for partitions of q with a subset of length one given by {q k } itself, they are then reproduced by the explicit summation in the second term on the r.h.s.: We can then use this property to relate W to contour integrals of higher order W with respect to the recursion kernel: Lemma 2. Let C be a spectral curve. Construct the correlation functions W g n for C from the local recursion, Definition 6. Then, the W defined in Definition 4 satisfy: Proof. We start by expanding the l.h.s.:

JHEP02(2013)143
We assume that the correlation functions satisfy the local recursion. Therefore, we can substitute the recursion, Definition 6, for W g−1 n+2 (q 1 , q 2 , p) and W g 1 |J 1 |+1 (q 1 , J 1 ) in the r.h.s. We get: We factor out the summation over the subsets d ′ i (q) and the recursion kernel. We get: Using Lemma 1, it then follows that and the lemma is proved.
Remark. Note that in the case of a curve where dx has only simple zeroes, at each a i ∈ R there is a unique non-trivial local deck transformation θ i (q), hence the summation over subsets d ′ i (q) collapses. In this particular case (2.27) becomes The previous lemma can be extended, by induction, to general curly W: Lemma 3. Let C be a spectral curve. Construct the correlation functions W g n for C from the local recursion, Definition 6. Then, the W defined in Definition 4 satisfy: Proof. We prove this lemma by induction on k. The initial case k = 2 is Lemma 2. Now assume that (2.33) holds for all k ′ < k. We want to show that it then also holds for k.
Using Lemma 1, we can expand the l.h.s. as

JHEP02(2013)143
Assuming that (2.33) holds for k ′ = k − 1, we can use it to replace the curly W's: We factor out the summation over the subsets d ′ i (q) and the recursion kernel. We get: Then, by Lemma 1, we obtain and the lemma is proved.
Remark. Consider again the case of a curve where dx has only simple zeroes, in which case at each a i ∈ R there is a unique non-trivial local deck transformation θ i (q). Then (2.27) becomes

A global topological recursion
In the previous section we defined a recursion, Definition 6, based on [4], which is a generalization of the original recursion of [16,18]. We named it "local recursion" for the following reason: in Definition 6, for each contour integral around Γ i (q), the integrand involves the local deck transformations generated by θ i (q). Those are only defined locally on a disk U i around the ramification points a i ∈ S. Hence the integrand is only defined locally on U i . While this is perfectly fine in order to perform the integrals involved in the recursion, it may be desirable to rewrite the recursion in such a way that the integrand becomes a globally defined meromorphic differential form on S.
One of the reason for defining a global version of the recursion is to study what happens to the correlation functions when ramification points collide. As an example, suppose that JHEP02(2013)143 we consider the limit of a curve where two simple ramification points with a single common sheet collide to produce a single ramification of multiplicity 3. The original correlation functions are produced by the local recursion for simple ramification points, that is, the original recursion of [16,18]. After taking the limit however, the correlation functions are constructed from the local recursion in Definition 6, since there is now a double ramification point. The question is: are the correlation functions constructed from the curve after the limit equal to the limit of the correlation functions constructed on the original curve? In other words, does the local recursion Definition 6 "commute" with taking limits of curves where ramification points collide?
This is particularly interesting because many properties of the correlation functions constructed from the original recursion for curves with simple ramification have been proved in [16,18]. It would be desirable to study similar properties for the local recursion Definition 6, as studied in various examples in [4]. However, the proofs become much more involved, because of the combinatorial nature of Definition 6. But if we know that the correlation functions constructed from Definition 6 are in fact just appropriate limits of the correlation functions constructed from a curve with only simple ramification, then it is easy to see that most of the properties in [16,18] carry through without modification to the recursion in Definition 6.
Unfortunately, it is difficult to study limits of correlation functions constructed from Definition 6, or the original recursion in [16,18]. The problem is that the integrand in these recursion is only defined locally on the disks U i near the ramification points a i ; hence it makes it difficult to study what happens when two or more ramification points collide. To perform these limits we need to write the integrand as a meromorphic differential form at least over a neighborhood U that includes both ramification points that collide in the particular limit considered.
Instead of doing this case-by-case, in this section we propose a different approach. We will rewrite the recursion in a "global way", by which we mean that it will be written as a contour integral of a globally defined meromorphic differential form on S. Then we will show that locally on U i the integrand of our global recursion reduces to the local integrand of Definition 6. This then implies that the local recursion in Definition 6 indeed "commutes" with taking limits of curves where ramification points collide, in the sense described above. Indeed, start with a curve, then rewrite the local recursion as a global recursion. Then you can take any particular limit you like, since the integrand is globally defined. Finally, after taking the limit you can rewrite the global recursion as a local recursion if you desire. It follows that the correlation functions then constructed are just limits of the original correlation functions constructed before taking the limit.

Further assumptions
To formulate a global recursion that reduces to Definition 6 locally, we need to make two further assumptions on allowed spectral curves C = (S, x, y). • For any ramification point a j , and any other point p ∈ x −1 (b j ) in the preimage of the corresponding branch point b j = x(a j ), we must have that y(a j ) = y(p).
The first condition ensures that only one ramification point sits over a given branch point. We assume this condition for simplicity, but it seems rather harmless. We believe that our main Theorem 5 still holds when more than one ramification point sit over a given branch point; the proof should go through with only minor modifications.
The second condition is however rather technical; what it means, in terms of the affine curve associated to C, is that for any ramification point a j ∈ S, the point (x(a i ), y(a i )) in the corresponding affine curve is not singular. For instance, Example 3 is not an acceptable spectral cruve. This condition seems rather technical, but at the moment it is unclear to the authors how to get rid of it.
In the rest of the paper, unless specified, we will always assume that we are dealing only with acceptable spectral curves.

Global meromorphic differentials
The goal of this section is to rewrite the recursion as a contour integral over a globally defined meromorphic differential. For this purpose, we cannot use local deck transformations near the ramification points a i . What we need to do instead is construct global meromorphic functions by summing over preimages of points under the branched covering x : S → CP 1 .

Functions and differentials
Let us start by considering meromorphic functions and differentials on S. We study the degree d branched covering x : S → CP 1 . Given any meromorphic function f (q) on CP 1 , one can define the pullback x * f (p) = (f • x)(p), which is a meromorphic function on S. What we want to do now is a kind of reverse operation; given a meromorphic function on S, can we construct meromorphic functions on CP 1 ?
Let f (p) ∈ K(S). A natural way of answering this question is by summing over preimages of a point in the base. More precisely, let q ∈ CP 1 be a generic point which is not a branch point of x. Then x −1 (q) consists in precisely d points p 1 , . . . , p n ∈ S. Let U q be a small disk centered at q, and U p i be small disks centered at the p i . There is then a well defined biholomorphic map τ i : Let us then define a functionf (t) on U q by summing over the pullback of f under the maps τ i (this is called the trace of f ): This is a well defined meromorphic function on U q . In fact, it is meromorphic over the whole base CP 1 minus the branch points. Indeed, if we analytically continuef (t) around

JHEP02(2013)143
paths in the base, all that can happen is that the τ * i f (t) get permuted due to monodromy, but the sum remains the same. Hencef (t) is a well defined meromorphic function on the base minus the branch points. Finally, it is well known that it can be analytically continued to the whole base CP 1 : this follows from Riemann's removable singularity theorem (see for instance [20]). Thusf (t) is a meromorphic function on CP 1 .
Then we can pull it back to S to obtain a new meromorphic function on S: To stay sane, we will simplify the notation as τ i (p) := τ i (x(p)).f (p) is meromorphic on S. But this is not quite the function we want yet. Now let p ∈ S, and choose the labeling of the sheets such that τ d (p) = p. Then But f (p) is of course meromorphic, hence we obtain that the function is also a globally defined meromorphic function on S. Here we are summing over all preimages of x(p) distinct from p. What about differentials? Well the exact same construction can be applied to a meromorphic differential form ω on S. We can write ω(p) = f (p)dg(p) for two meromorphic functions f, g ∈ K(S). Given ω, we construct a meromorphic differentialω(t) on CP 1 by summing over all preimages. Then we pull back to a meromorphic differentialω(p) on S. By labeling the sheets appropriately, we single out the original meromorphic differential ω(p) from the summation, and we obtain a new meromorphic differential where the sum is over all preimages of x(p) distinct from p.

Symmetric meromorphic differentials
Now can we do a similar construction for symmetric meromorphic differentials on S with poles along R? Let us start with a degree 2 differential ω(p 1 , p 2 ) ∈ Sym 2 H 0 (S, K S ( * R)). Let p ∈ S, with x(p) ∈ CP 1 . We construct the new object

JHEP02(2013)143
which is a well defined quadratic differential on S. Labeling the sheets such that τ d (p) = p, we get where we are summing over all preimages of x(p) distinct from p. Note that we could have done the exact same construction for a degree n differential, to obtain a new meromorphic differential: (3.8) Now we can iterate the construction. Consider the object The first term on the r.h.s. is a well defined meromorphic differential by construction, because of symmetry of the differentials. The second term on the r.h.s. is also a well defined meromorphic differential, as shown above. Hence, by labeling the sheets such that τ d (p) = p, we obtain that is a well defined meromorphic differential. Iterating, we finally obtain that for any k and n, the object Ω(p, p 1 , . . . , p k ) = 1≤µ 1 <µ 2 <...<µn≤d−1 ω(p, τ µ 1 (p), . . . , τ µn (p), p 1 , . . . , p k ) (3.12) is a well defined meromorphic differential.

Differentials with poles on the diagonal
In the previous subsection we considered symmetric meromorphic differentials that only have poles in each variable along R ⊂ S. What about differentials, such as the canonical bilinear differential, that have poles along the diagonals, i.e. when two of the p i 's coincide? It is easy to see that the argument in the previous section goes through. One has to be careful when we specialize the p i to a given p ∈ S, to make sure that the result is a well defined meromorphic differential (and not identically infinity, for instance). But at every step that we specialized, we removed the poles along the diagonal; hence the result is a well defined differential. In other words, Ω(p, p 1 , . . . , p k ) = 1≤µ 1 <µ 2 <...<µn≤d−1 ω(p, τ µ 1 (p), . . . , τ µn (p), p 1 , . . . , p k ) (3.13) is a well defined meromorphic differential, even if the original differential ω has poles along the diagonals.

A global recursion
We are now ready to define the global recursion.

Notation
Let us first fix notation. Let C = (S, x, y) be a spectral curve. We denote by R = {a 1 , . . . , a m } the set of zeroes of dx, with corresponding multiplicities r i = mult a i (x). Let d be the degree of the branched covering x : S → CP 1 . Let p ∈ S be a point that is not in the preimage of a branch point of x; denote by τ µ (p) := τ µ (x(p)), µ = 1, . . . , d−1 the preimages of x(p) distinct from p. We introduce a vector notation τ (p) = {τ 1 (p), . . . , τ d−1 (p)}.
As before, to denote points on the Riemann surface S, we will use the letters p and q. We will also use the set notation p = {p 1 , . . . , p n } ∈ S n and q = {q 1 , . . . , q k } ∈ S k .

The global recursion
As usual, given a spectral curve C, we construct recursively an infinite tower of symmetric meromorphic differentials {W g n } with poles only along R. Let W 0 2 (p 1 , p 2 ) be the canonical bilinear differential of the second kind on S × S.
We define the W as in Definition 4, and the recursion kernel as in Definition 5. We then define the integrand of the global recursion:
Proof. By construction it is of course a well defined meromorphic differential in p 0 and p. What we need to check is that it is also a well defined global meromorphic differential in q. But because of symmetry of the kernel, see Definition 5, and the W, see Definition 4, the summation over the subsets τ ′ (q) produces an expression precisely of the form of (3.13). For instance, start with the differential ω(q 1 , q 2 , p 0 , p) = K 2 (p 0 ; q 1 , q 2 )W g 2,n (q 1 , q 2 ; p), (3.15) and symmetrize as in (3.13); the result is the sum over length one subsets |τ ′ (q)| = 1 of τ (q). Generally, let q = {q 1 , . . . , q k } with k ≤ d; start with ω(q, p 0 , p) = K k (p 0 ; q)W g k,n (q; p), (3.16) and symmetrize as in (3.13); the result is the sum over subsets |τ ′ (q)| = |q| − 1 of τ (q). Therefore, the expression (3.14) is a globally well defined meromorphic differential in q.
We then define the global recursion:

JHEP02(2013)143
Definition 9. Let C be a spectral curve. We uniquely construct degree n symmetric meromorphic differentials W g n on S with poles along R through the global recursion: The contour integral here is in q, over the union of small circles Γ i (q) around each ramification point.
Remark. Note that Definition 9 looks very similar to Definition 6, but it is in fact quite different. First, the integrand in Definition 9 is now a globally defined meromorphic differential, which is why we can write the contour integral as a single contour integral over the union of small circles; in Definition 6 the integrand was only defined locally on a disk around the ramification points. Also, the summation in 9 is over the non-empty subsets τ ′ (q) of the d − 1 preimages of x(q) distinct from q, instead of being a summation over non-empty subsets of the local deck transformations at a ramification point. The two are very different. For instance, given a spectral curve with only simple ramification points, the summation in Definition 6 collapses, and only terms of the form K 2 W g 2,n enter into the recursion. However, in Definition 9 the integrand depends on the degree d of the branched covering x : S → CP 1 , not on the multiplicity of the ramification points. Thus, if x is a degree d branched covering with only simple ramification points, in Definition 9 we still have all terms from K 2 W g 2,n to K d W g d,n . This is the price to pay for having a globally defined integrand.
To summarize, in Definition 6 the integrand is only defined locally near the a i , and depends on the multiplicity of a i ; in 9 the integrand is globally defined, and depends only on the degree d of the branched covering.

Localizing the global recursion
In the previous subsection we proposed a "global" recursion, where the integrand is globally defined and depends only on the degree of the branched covering. What we now need to show is that if we analyze the integrand locally in a disk around each a i , then Definition 9 reduces to Definition 6 for the local recursion. In particular, for spectral curves with only simple ramification, it reduces to the original recursion of [16,18].
Theorem 5. Let C be a spectral curve. Construct the correlation functions W g n on S through the global recursion Definition 9. Then the W g n also satisfy the local recursion Definition 6.
We will prove this theorem by induction. Let us start by proving the theorem for W 0 3 and W 1 1 , the initial cases of the induction.
Lemma 6. Let C be a spectral curve. Construct the correlation function W 0 3 on S through the global recursion Definition 9. Then W 0 3 also satisfies the local recursion Definition 6.
The same analysis of course holds for other ramification points a i (with appropriate identification of the sheets meetings at a i ). Therefore, the global recursion for W 0 3 is precisely equal to the local recursion.
Consider now the second initial case: Lemma 7. Let C be a spectral curve. Construct the correlation function W 1 1 on S through the global recursion Definition 9. Then W 1 1 also satisfies the local recursion Definition 6.
We redo the analysis for other ramification points, and we obtain that the global recursion reduces to the local recursion for W 1 1 .
We are now ready to prove Theorem 5 by induction.
Consider the global recursion for W g n+1 :
As in the proof of the previous lemmas, we note that if we restrict q to U 1 , then the sum over the subsets α(q) provides a well defined meromorphic function on U 1 (since monodromy can only permute sheets in there). The sum over all "mixed" subsets γ(q) also provides a well defined meromorphic function, and so does the sum over subsets β(q).
Consider first the sum over the subsets α(q): Restricted locally on U 1 , the τ 1 (q), . . . , τ r 1 −1 (q) become the local deck transformations, and the expression above is precisely the expression obtained from the local recursion. Thus what we need to show is that the sum over the subsets β(q) and γ(q) cancel. Consider now the sum over subsets β(q) of {τ r 1 (q), . . . , τ d−1 (q)}: To evaluate this contour integral, we use the induction hypothesis. Since we assume that the theorem is valid for all correlation functions W g ′ n ′ +1 with 2g ′ − 2 + n ′ < 2g − 2 + n, we can assume that the correlation functions in the W g |β|+1,n (q, β(q); p) have been obtained through the local recursion Definition 6. In particular, the W g |β|+1,n (q, β(q); p) satisfy Lemma 3. That is, where we are using the local notation of Definition 6. Thus (3.30) becomes This iterated contour integral is defined as follows. The contour Γ 1 (q) is a circle centered around a 1 of radius ǫ 1 . As for Γ i (s), they are also circles centered around a i of radius ǫ ′ i . For the case i = 1, we must require that ǫ ′ 1 < ǫ 1 to make sense of the iterated contour integral.

JHEP02(2013)143
To evaluate this expression, we want to perform the contour integral in q first. For all the contours with i = 1, we can do that without problem, since the contours are around distinct ramification points. However, for i = 1 we need to be careful. If we perform the integration over q first, we are integrating over a circle of radius ǫ 1 around a 1 , with ǫ 1 > ǫ ′ 1 . Looking at the integrand, this means that we will also pick up a residue at the pole at q = s. Now we claim that the integrand has no pole at q = a 1 . First, for acceptable spectral curves, the term K |β|+1 (p 0 ; q, β(q)) (3.32) has a pole of order (r 1 − 1)|β(q)| coming from the factor of dx |β(q)| in the denominator. Second, is regular at q = a 1 , since its only poles in q are at q = s and q = o where o is an arbitrary base point (which we assume to be not in U 1 ). Finally, we claim that has a zero of order (r 1 − 1)|β(q)| at q = a 1 . First, it is clear that it is regular; the only dependence in q comes from the sheets in β(q), which do not meet at a 1 . By assumption, there is no other ramification point over x(a 1 ), and the only poles of the W g n are at the ramification points, hence the term must be regular at q = a 1 . Moreover, each τ ν (q) in β(q) comes with its differential dτ ν (q), which has a zero of order (r 1 − 1) at q = a 1 . Thus we obtain a zero of order (r 1 − 1)|β(q)|.

JHEP02(2013)143
But the sum here is over non-empty subsets α(s) and β(s); in other words, it is precisely equal to the sum over the "mixed" subsets γ(s) that we defined earlier. Thus it can be rewritten as a single sum: Because of the minus sign, it precisely cancels with the corresponding sum coming from the global recursion (3.28)! As a result, the only terms that remain for the contour integral over Γ 1 (q) in (3.28) are the terms coming from the summation over the subset α(q), which reproduce precisely the terms in the local recursion. We can of course do an identical analysis for the other ramification points a i ; the final result is that for each ramification point a i , the contour integral over Γ i (q) in (3.28) becomes precisely the corresponding contour integral in the local recursion. Therefore, the correlation functions W g n constructed from the global recursion are precisely the same as those constructed from the local recursion, and the theorem is proved.

Limits of spectral curves
This is all nice, but what is the use of the global recursion? After all, concretely to perform the contour integral we may as well work locally; so why bother writing a globally defined integrand?
The original goal was to understand the relation between the local recursion Definition 6 and the original recursion of [16,18]. In particular, given a spectral curve with only simple ramification points, one can consider a particular limit of the curve where two of the ramification points with a common sheet collide, and one would end up with a curve with simple ramification points and one double ramification points. The question was: would the correlation function constructed from Definition 6 for the limiting curve be equal to the limit of the correlation functions constructed from the curve with only simple ramification?
We now have a direct answer; just go through the global recursion! Start with the recursion of [16,18] for the curve with only simple ramification. We know from Theorem 5 that it is equivalent to the global recursion, Definition 9, for the same curve. But then, the integrand of the global recursion is globally defined, and only depends on the degree of the covering; it does not depend on the multiplicity of the ramification points. Thus we can very well take the limit explicitly in the integrand. Finally, after taking the limit, Theorem 5 tells us that the recursion is equivalent to the local recursion, Definition 6, for the limiting curve with a double ramification point. Hence the answer to the question is affirmative; the limit of the original correlation functions will be equal to the correlation functions constructed from the limiting curve.
In fact, through the global recursion we can analyze any type of collision, not only two simple ramification points producing a double ramification point. It follows that the limit of the correlation functions under any kind of collision process will always be equal to the correlation functions obtained from the limiting curve.
We can use this knowledge to prove that the correlation functions constructed from the local recursion, Definition 6, or from the global recursion, Definition 9, satisfy most of JHEP02(2013)143 the same properties as the original correlation functions of [16,18]: this is what we do in the next section.

Extra assumptions
Before we do that, let us mention a few more things about the extra assumptions on the spectral curve that were made in Definition 8. The local recursion in Definition 6 does not require these assumptions on the spectral curve; hence one may ask whether it is possible to consider limits of colliding ramification points, without requiring these extra assumptions.
The reasons why we needed to make these assumptions was to study the local limit of the global recursion defined in Definition 9. But in fact, to study the limit of two colliding ramification points, we do not necessarily need to go through the global recursion. All we need to do is rewrite the local recursion in a way that is "global" only on an open set U ⊂ S that contains both ramification points a 1 and a 2 that collide in the limit.
So we can formulate a "mixed" recursion, where we start with the local recursion, and only "globalize" part of it, by replacing the sums over deck transformations near a 1 and a 2 by sums over the sheets that meet at a 1 and a 2 , along the lines of the previous subsections. The result will be an integrand that is meromorphic on U . We can always do that, as long as the assumptions in Definition 8 are satisfied locally on U (which is of course weaker than assuming that they are satisfied globally on S). That is, we require that the two branch points be distinct, b 1 = x(a 1 ) = x(a 2 ) = b 2 , and that for a 1 ∈ U , any other point p ∈ x −1 (b 1 ) that is also in U must satisfy y(p) = y(a 1 ), and similarly for a 2 ∈ U .
Under these local assumptions, by the steps of the previous subsections, the mixed recursion reduces to the local version before and after the collision. This proves that the correlation functions constructed from the local recursion after the collision are equal to the limits of the correlation functions constructed from the local recursion before the collision, without having to assume that the requirements of Definition 8 are satisfied globally on S.

Spectral curves in C *
For many applications of the topological recursion in enumerative geometry, such as in mirror symmetry, topological string theory and knot theory, spectral curves are given in a form slightly different than what we have studied so far. They are usually given as an algebraic curve where P (x, y) is a polynomial. When we defined a spectral curve in Definition 1 as a triple (S, x, y), we mentioned that the meromorphic functions x and y satisfy an equation P (x, y) = 0, which can be considered as an affine curve whose normalization is S. The difference here is that we would like to consider an affine curve with punctures; that is, we require that x and y live in C * . How can we implement that in the recursion? Perhaps the easiest way is to keep the definition of a spectral curve, Definition 1, as it is; as a triple (S, x, y), with S a Torelli marked compact Riemann surface, and x and y meromorphic functions on S. But then we need to change two things in the formulation of the recursion:

JHEP02(2013)143
• We replace R by the zeroes of dx/x instead of the zeroes of dx. The zeroes of dx/x are a subset of the zeroes of dx; the missing zeroes are precisely those that are also zeroes of x, i.e. punctures of the curve.
• We replace the recursion kernel, Definition 5, by: with ω(q 1 , q 2 ) = (log y(q 1 ) − log y(q 2 )) dx(q 1 ) x(q 1 ) . (3.43) Can we then study colliding ramification points in this setup? x has a finite number of sheets, just as before, hence we can still sum over sheets to define the integrand in Lemma 4. However, because of the log's in the recursion kernel, the expression will not be globally meromorphic on S.
However, the only points q ∈ S where the integrand in Lemma 4 has a logarithmic singularity are the points where either y(q) = 0, ∞, or y(τ i (q)) = 0, ∞ for any other point τ i (q) ∈ x −1 (x(q)). Let Q ⊂ S denote the set of points where the integrand has logarithmic singularities. We can then introduce cuts C k joining these points pairwise; the integrand is then meromorphic on S \ ∪C k , i.e. on the compact Riemann surface S minus the cuts.
Is this sufficient to carry the steps in the previous subsection to show that the "global" recursion reduces to the local recursion? (Note that "global" here only means meromorphic on S minus the cuts.) It is easy to see that the argument will go through if the integrand in Lemma 4 is meromorphic on an open set U that contains all the ramification points (U does not have to be the whole compact S). Therefore, what we must show is that there exists an open set U ⊂ S that contains all ramification points, but no cuts C k .
Such an open set U will exist if we require that for each zero a i ∈ S of dx/x, all preimages τ k (a i ) ∈ x −1 (x(a i )) are such that y(τ k (a i )) = 0, ∞. Under this assumption, we can define an open set U that contains all ramification points, but no cuts C k . Then it follows that the "global" recursion reduces to the local recursion, and all the conclusions of the previous subsections apply to this case as well.
Remark. Note that the extra requirement above is necessarily satisfied if we require that all punctures of the curve correspond to zeros and poles of x. In this case, if it happens that y(τ k (a i )) = 0 or ∞ for a given sheet, then it is a puncture of the curve, hence x(τ k (a i )) = x(a i ) = 0 or ∞, which is a contradiction with the definition of a i as a zero of dx/x. Therefore it follows that y(τ k (a i )) = 0, ∞ for all sheets, and the open set U exists. However, note that requiring that all punctures of the curve are at zeros and poles of x is a stronger condition than the requirement above.
Remark. Finally, note that just as in the previous subsubsection, we could formulate this requirement only locally. If we consider a collision between two ramification points a 1 and a 2 , then we could replace the intermediate step of constructing the global recursion by a "mixed" recursion, which would be meromorphic only on an open set U ′ containing JHEP02(2013)143 a 1 and a 2 but no cuts. Then, we would only need to require that y(τ k (a 1 )) = 0, ∞ and y(τ k (a 2 )) = 0, ∞, and only for the sheets that meet at a 1 and a 2 .

Properties of the correlation functions
It was shown that the correlation functions constructed from the original recursion of [16,18] satisfy many interesting properties. An obvious question is whether the correlation functions constructed from the local recursion proposed in [4], and the global recursion studied in this paper, satisfy the same properties. It was checked in [4] that those properties hold in various examples, but a proof was not given. This is what we study in this section.

Symmetry
Perhaps the most fundamental property of the original correlation functions W g n (p) is that they are fully symmetric under permutations of the arguments. Symmetry under permutations of the arguments {p 2 , . . . , p n } is built in the recursion, but symmetry under permutations involving p 1 is highly non-trivial. A proof of this fact was given in [16].
Proposition 8. LetW g n (p) be the correlation functions constructed from the local recursion, Definition 6, for an arbitrary spectral curveC. Then they are fully symmetric under permutations of the arguments.
Proof. This is clear from Theorem 5. Indeed, we can obtain the correlation functions W g n (p) by taking a succession of limits of correlation functions W g n (p) obtained from the original recursion for a curve with only simple ramification points. Therefore, if the W g n (p) are symmetric, as proved in [16], then theW g n (p) are also symmetric.

Poles of the correlation functions
Proposition 9. LetW g n (p) be the correlation functions constructed from the local recursion, Definition 6, for an arbitrary spectral curveC. Then theW g n (p) only have poles along R in each variable (where R is the set of ramification points). Moreover, if a i ∈ R has multiplicity r i , then the order of the pole ofW g n (p) at a i in each variable is at most (2g − 2 + n)r i + 2g.
Proof. This follows by induction. First, it is clear from Definition 6 that the only poles of the correlation functionsW g n (p) are along R. To deduce the maximal order we proceed by induction. We will compute the maximal order of the pole in p 0 ; then by symmetry, the order must be the same in all variables.
Let us prove by induction that the order is at most (2g − 2 + n)r i + 2g. The initial conditions of the induction areW 0 3 andW 1 1 .

JHEP02(2013)143
ForW 0 3 , the only pole in the integrand at q = a i comes from the pole of the recursion kernel K 2 , which has order r i . HenceW 0 3 can have a pole at p 0 = a i of order at most r i = (2(0) − 2 + 3)r i + 2(0). ForW 1 1 , the kernel provides a pole of order r i at q = a i , and it is multiplied by a term of the form W 0 2 (q, θ k i (q)) for some k, which provides an additional pole of order 2. Hencẽ W 1 1 can have a pole at p 0 = a i of order at most r i + 2 = (2(1) − 2 + 1)r i + 2(1). Now considerW g n+1 , and assume that all correlation functionsW g ′ n ′ +1 with 2g ′ −2+n ′ < 2g − 2 + n have poles at a i of order at most (2g ′ − 2 + (n ′ + 1))r i + 2g ′ . Consider one of the term in the recursion, corresponding to a subset d ′ i (q) of d i (q) = {θ 1 i (q), . . . , θ r i −1 i (q)}. Let k − 1 be the length of the subset d ′ i (q); hence 1 ≤ k − 1 ≤ r i − 1. Then the recursion kernel has a pole at q = a i of order (k − 1)r i . The kernel is multiplied by W g k,n . Each term in W g k,n comes from a partition µ of {q, d ′ i (q)}. Then each such term has a pole at q = a i of order at most r i (2(g + ℓ(µ) − k) − 2k + n + k) + 2(g + ℓ(µ) − k). But ℓ(µ) ≤ k, so the pole of W g k,n at q = a i is of order at most r i (2g − k + n) + 2g. Therefore,W g n+1 has a pole at p 0 = a i of order at most r i (2g − 1 + n) + 2g. This is precisely the formula in the Proposition forW g n+1 (in terms of n ′ = n + 1, it becomes r i (2g − 2 + n ′ ) + 2g).

Dilaton equation
Another important property of the correlation functions W g n (p) that was proved in [16] is that they satisfy the dilaton equation:  Proof. Again, this follows from Theorem 5. We obtain theW g n through successive limits of colliding ramification points from the W g n for a curve with only simple ramification. Start with the dilaton equation satisfied by the W g n , as proved in [16]: Res q=b i Φ(q)W g n+1 (q, p), (4.4) where the b i are the ramification points of the starting curve with only simple ramification. The integrand is the same at each b i , so the sum over residues is in fact a contour integral,

Diagrammatic rules
Finally, we note that just as for the original recursion of [16], the local recursion in Definition 6 admits a graphical representation. The details of the diagrammatic representation follow from the analysis in section 3.3 of [4] from the point of view of degenerations of Riemann surfaces. Basically, the main difference with the graphical representation of the original recursion of [16] is that the trivalent vertex associated to the recursion kernel K 2 (p 0 ; q 1 , q 2 ), with edges marked by the entries p 0 , q 1 and q 2 , should be replaced by (k + 1)valent vertices associated to the recursion kernels K k (p 0 ; q 1 , . . . , q k ) with edges marked by the entries p , q 1 , . . . , q k . The diagrammatic rules corresponding to the combinatorics in Definition 6 then follow directly from the analysis of degenerations of Riemann surfaces in section 3.3 of [4].

Conclusion
In this paper we constructed a global version of the recursion of [16,18] generalized in [4]. Through this global version, we showed that the recursion proposed in [4] for spectral curves with arbitrary ramification is in fact a limit of the original recursion of [16,18] for colliding ramification points. This allowed us to show that the correlation functions constructed from the local recursion in [4], or the global recursion that we proposed here, satisfy the same properties as the original correlation functions of [16,18]. An interesting question arises from the point of view of matrix models. In this paper, we studied the local recursion in Definition 6 directly, and showed that it is a limit of the original recursion of [16], without reference to matrix models. But the original proposal for the generalized recursion in [4] was inspired by the work of Prats-Ferrer [28], where a recursion based on a spectral curve with a double ramification point was found by solving the loop equations of a particular Cauchy two-matrix model. Then a natural question arises: do matrix models with solution of the loop equations given by Definition 6 exist?

JHEP02(2013)143
And what do they look like? We believe that such matrix models indeed exist, but as far as we know they have not been studied yet. This is a very interesting question that deserves further investigation.
From the standpoint of the recursion itself, one could ask whether having a globally defined integrand may be useful for other things. One obvious consequence of having a global recursion is that we can now compute the contour integral over Γ(q) in Definition 9 by evaluating residues outside the contour, since we are working on a compact Riemann surface. Moreover, since the integrand is globally defined, it can be written as a rational function of the generators of the function field of S, in our case x and y. Combining these two observations could lead to a very efficient way of doing calculations.
Moreover, the global recursion may provide a new approach to prove and clarify statements such as x−y invariance of the free energies (see [4,8,17]). Recall that x−y invariance of the free energies is not universal, as discussed in [4,8]. 3 It would be interesting to clarify for what spectral curves are the free energies x − y invariant, or whether the definition of the free energies can be modified to ensure x − y invariance for general spectral curves. It seems that problems with x − y invariance arise when the one-form ydx has residues; if it is a residueless one-form on a compact Riemann surface, then x − y invariance seems to hold. It is then natural to ask whether the global recursion can be used to clarify these statements about x − y invariance. This deserves further investigation.