Weak Coupling Expansion of Yang-Mills Theory on Recursive Infinite Genus Surfaces

We analyze the partition function of two dimensional Yang-Mills theory on a family of surfaces of infinite genus. These surfaces have a recursive structure, which was used by one of us to compute the partition function that results in a generalized Migdal formula. In this paper we study the `small area' (weak coupling) expansion of the partition function, by exploiting the fact that the generalized Migdal formula is analytic in the (complexification of the) Euler characteristic. The structure of the perturbative part of the weak coupling expansion suggests that the moduli space of flat connections (of the SU(2) and SO(3) theories) on these infinite genus surfaces are well defined, perhaps in an appropriate regularization.


Introduction
Yang-Mills gauge field theory in two dimensions (2dYM) has been studied for a long time for its rich mathematical and physical content [1][2][3][4]. It also serves as a testing ground for new ideas. 2dYM and its quantum deformation have been found to be related to statistical systems, topological strings and even black holes [5][6][7][8][9][10]. Since gauge fields in two dimensions do not have any local propagating degrees of freedom, one would surmise that 2dYM is a topological quantum field theory, one that depends only on the global properties of two dimensional space-time. As a matter of fact it turns out that the theory is only 'almost' topological. Indeed, the lattice action on a triangulation of the surface leads to an exact expression [2] for the partition function (Euclidean path integral) that depends on the area of the surface, as well as its Euler characteristics. The area of the surface is the only 'non-topological' parameter, and it is really the gauge coupling constant.
The topological content of 2dYM was unravelled by Witten [3,4] (see also the extensive review [11]), who reconsidered the model from the point of view of topological quantum field theories, which were developed at that time. The observation that the theory is indeed topological in the zero-coupling limit, led to the identification of the partition function of physical YM at non-zero coupling with the generating function of the correlators of certain

JHEP10(2014)181
BRST invariant observables of the topological YM. The topological supersymmetry underlying 2dYM allows the partition function to localize 1 around the space of inequivalent flat gauge connections. The moduli space M g of flat gauge connections, depends on the gauge group G as well as the genus g of the two dimensional surface (Euclidean space-time). The correspondence (between the topological and physical theory) means that the coefficients of the perturbative expansion of the partition function of physical 2dYM are related to the integrals of certain cohomology classes on M g . These integrals are very hard to compute directly for generic g (and G), since the dimension M g grows with the genus and its topology also becomes more intricate at higher genera. For this reason, the computation of these numbers using mathematical tools are limited. (Some relevant mathematical results on the moduli spaces are to be found in refs. [20][21][22][23][24][25][26].) The correspondence of ref. [4] allows for a computation using simpler 'physicists' method' for any g and generic gauge groups. The moduli spaces M g are also of considerable physical importance: as the phase space of Chern-Simons theory in three dimensions and in the description of WZW models, which form an important class of two dimensional conformal field theories. More generally these moduli spaces are low dimensional analogues of the moduli space of instantons of four dimensional Yang-Mills theory, the geometry of which is crucial for the understanding of the dynamics of (supersymmetric) gauge theories and their dualities in four dimensions.
Recently, one of us studied 2dYM on a class of surfaces of infinite genus. In particular, the recursive structure of these surfaces was exploited to arrive at a formula for the partition function [27]. We shall refer to these as Richards surfaces after Richards, who classified surfaces of infinite characteristics [28]. Strictly speaking, however, our surfaces are not among those in ref. [28], which are surfaces with 'ideal boundaries' at infinity, characterized by subsets of the Cantor set. On the other hand, the surfaces we consider, obtained from different compactifications, parametrized by two integers, of a surface in [28], have singularities in place of the 'ideal boundaries'. The partition function of 2dYM on these surfaces turns out to bear a surprising resemblance to the Migdal formula. Indeed, the Euler characteristic is replaced by a rational number, which may be thought of as the formal Euler characteristic of the recursive surface.
In the light of what we have reviewed above, one would expect that the perturbative expansion of the generalized Migdal formula of [27] encodes integrals of appropriate forms on the moduli space M S g,p of flat connections on the Richards surfacesS g,p parametrized by the integers g and p. The mathematical properties of this moduli space are, as yet, largely unknown. However we expect it to be infinite-dimensional. Therefore we can anticipate that the weak coupling expansion of the generalized Migdal formula of [27] contains exact information about (an infinite number of) integrals of appropriate forms on the infinite dimensional moduli spaces. The correspondence between the topological and physical 2dYM on Richard surfaces may, therefore, provide the first known example of a topological quantum theory which localizes on an infinite-dimensional moduli space 1 Indeed 2dYM was the first quantum field theory in the context of which the methods of non-abelian localization for quantum field theories were developed and tested. More recently the idea of localization has lead to enormous progress in our understanding of (supersymmetric) field theories in diverse dimensions. An incomplete set of references are [4,[12][13][14][15][16][17][18][19].

JHEP10(2014)181
in an exactly computable way. Moreover one expects M S g,p to be relevant for higherdimensional gauge theories in the same way as the finite genus M g is. An additional motivation to study 2dYM on Richard surfaces is that analytical results in this topic may give some insight to the old ideas [29,30] concerning the significance of 2d CFT on infinite genus surfaces for studying non-perturbative aspects of string theory.
In order to extract the intersection numbers on the moduli spaces of flat connections, one has to go from strong coupling, which is the regime of validity of the Migdal formula, to weak coupling, the regime where the correspondence with topological 2dYM holds. Even in the finite genus case this is not trivial to do. This was achieved by a trick in refs. [3,4] by considering a certain derivative of Migdal's partition function with respect to the coupling constant. This results in a theta function which can be Poisson resummed to generate the weak coupling expansion. It turns out that the perturbative part of the weak coupling expansion stops at a finite order, which depends on g. This is a reflection of the finite dimensionality of M g . The weak coupling expansion also contains non-perturbative contributions which are not related to M g but represent the contributions from the moduli spaces of non-flat instantons.
Since the trick of [3,4] does not work for the Richards surfaces, we adopt a different strategy. We observe that the generalized Migdal formula derived in [27] can be analytically continued to complex values of the generalized Euler characteristics. In a suitable region of the complex plane (of the generalized Euler charateristics) the partition function is a sum over integer values of a function which admits a Fourier transform. This allows for a Poisson resummation of the generalized Migdal formula even for the Richards case. We perform this explicitly for the SO(3) and SU(2) theories -although the strategy may be applied to generic gauge groups -and derive explicit formulas for the invariants, which should be identified with the integrals on the infinite dimensional moduli spaces M S g,p , which are yet to be understood mathematically.
Our weak-coupling formula for YM on Richard surfaces also includes all the exponentially small, non-perturbative contributions, which are not related to M g , but represent the contributions to the partition function of moduli spaces of non-flat instantons. A detailed analysis of these terms is expected to shed light on the resurgence structure in a quantum field theory, however, we leave it as a project for the future.
In the following, we review the construction of a Richards surface and the generalized Migdal formula for the partition function of 2dYM on it [27]. We also briefly recapitulate the results from refs. [3,4] on (finite genus) Riemann surfaces. We then perform the weak coupling expansion of the partition function on Richards surface. We find that, in this limit, the partition function can be separated into a part which is analytic and another which vanishes exponentially. (For the SU(2) case, there are also non-analytic terms attributable to singularities in the moduli space.) This parallels the case of surfaces of finite characteristics for which the analytic part is a polynomial. Indeed in such cases, the formal Euler characteristic coincides with the Euler characteristic, and our results coincide with those in refs. [3,4], thanks to non-trivial identities of zeta functions. We will also compute the partition function (of the SU(2) theory for definiteness) with a fixed (nontrivial) holonomy along a boundary of the surface. This results in a generating function with two parameters.

Richards surfaces
In ref. [28], Richards gave a classification of noncompact surfaces, which have 'ideal boundaries' at asymptotic infinity labelled by a subset of the Cantor set. Recall that a Cantor set may be constructed by removing every alternate intervals out of the (2 + 1) segments of [0, 1], for any positive integer . This process is then repeated for every remaining intervals of the first set, and so on ad infinitum. The result is a totally disconnected space. Motivated by the arguments in [28], one of us considered a family of surfaces, which we refer to as Richards surfaces. These may be thought of as compactifications of a surface in Richards' classification. The points in the set of ideal boundary, homeomorphic to the Cantor set, are singular points of these surfaces. Let us recall this construction. We start with a closed disc D 0 containing the interval [0, 1], which in turn, contains the Cantor set. To be specific, we consider, = 1, for which we can take the discs D 00 and D 01 which contain the intervals 0, 1 3 and 2 3 , 1 , respectively, and do not overlap. Let us attach g handles to the complement of D 00 ∪ D 01 in D 0 . Equivalently, we remove 2g disjoint discs in the complement and identify the boundaries of each pair preserving orientation. In the next step, perform similar operations in D 00 and D 01 , and so on. The limit of this iterative process is an infinite genus surface which is made up of segments with g handles and p = 2 boundaries, to each of which is attached another similar segment. We refer to it as a Richards surface with parameters p and g (see figure 1).
The limiting sets D 000··· , D 001··· , D 010··· , etc. contain the singular points of this surface. In ref. [28], where the points of the Cantor set are removed from D 0 from the beginning, these limiting sets would have been the 'ideal boundaries' instead. The noncompact surface S obtained by the latter procedure can be shown to be independent of the choices of integers g and p, and therefore, results in a unique (upto homeomorphism) surface. Therefore, our surfacesS g,p are to be thought of as compactifications of it.
In ref. [27] the recursive nature of these surfaces was used to compute the partition function of 2dYM for gauge group G: for a Richards surfaceΣ g,p given by the parameters JHEP10(2014)181 g (for the numbers of handles attached to each building block) and p (for the number of branchings at each step) is where the sum is over all irreducible representations R of the Lie group G, C 2 (R) and χ(R) are, respectively, the second Casimir operator and the character corresponding to R and the dimensionless parameter = ag 2 /4π 2 is given in terms of the (regularized) area a of the surface and the coupling constantg 2 of the gauge theory. We have also put a holonomy U along the boundary of the surface. (This is the boundary of the initial disc D 0 .) This formula is not applicable to p = 1, which results in a surface known as the Loch Ness monster. However, it is consistent with the known results for the special cases (i) g = 0 (a disc) and (ii) p = 0 (a surface of finite genus g).
The partition function of Richards surface is remarkably similar to the Migdal formula for surfaces with finite genus [2]. The main difference is that the power of dim R is fractional. In fact, being the formal sum of the characteristics of its buildings blocks, it may be thought of as the Euler characteristic of the Richards surface.
We see from the partition function (2.1) above, that Richards surfaces with different parameters g and p have generically different partition functions. Hence we may conclude (at the level of rigour used by physicists) that they are topologically inequivalent.

Yang-Mills theory on Riemann surfaces
Let us recall the analysis of the partition function of 2dYM in refs. [3,4] to extract intersection numbers of cycles in the moduli space of flat connections on a Riemann surface. We start with the partition function of a surface of genus g and the number of boundary components p: where = ag 2 4π 2 is a dimensionless parameter defined earlier. The holonomies U 1 , · · · , U p are associated with the p boundaries, and the second Casimir invariant C 2 (R) corresponds to the representation R. This partition function comes from integrating the exponential of the Yang-Mills action functional over the space of gauge inequivalent connections with specified holonomies along the given boundaries.
In the limit of → 0, the most dominant contribution to the partition function is from the integration over the space of flat connections. Thus, in this limit, one can expect the partition function to contain some topological information about the moduli space. This indeed is the case. The small area expansion of the partition function around = 0 consists of a polynomial part (also in addition, possibly some terms with fractional powers of ), and a part that is exponentially suppressed. The coefficients of the polynomial are interpreted as the intersection numbers of the homology cycles on the moduli space of flat connections. Let us recall the case of SU(2) and SO(3) groups, for which these computations have been performed independently [22].

SU(2) theory
Only a trivial principal SU(2) bundle is possible for a closed surface Σ of genus g. Let us denote it as E. The exponential of the Yang-Mills action integrated (with respect to the symplectic measure) over the space of connections on E gives the following partition function This is the Migdal formula for SU (2), normalized by the volume of the gauge group as in refs. [3,4]. Let M denote the moduli space of (gauge equivalence classes of) flat SU (2) connections on E. The partition function (3.2) for g ≥ 1 is related to the integration of the closed differential forms ω and Θ, of degree 2 and 4 respectively, on M. Of these, ω is the pull-back on M of the natural symplectic form which exists on the space of SU(2) connections on Σ. On the other hand, as explained in [4], Θ has a natural interpretation in the two dimensional topological Yang-Mills theory. The topological YM gauge multiplet contains, in addition to the connection field A µ (x) dx µ and its fermionic super-partner ψ µ (x) dx µ of ghost number 1, a scalar field φ(x) of ghost number 2, all in the adjoint representation of the gauge group. The cohomology class of Θ is associated to the BRST invariant local observable Tr φ 2 (x). It turns out that for fixed non-negative integers k ≤ 1 4 dimM and s = 1 2 dimM − k, The expansion in Migdal formula eq. (3.2) is useful for > 0 large. To extract the → 0 + behaviour of the partition function and make contact with the topological numbers in eq. (3.4) one cannot simply expand the exponentials in the series and take the limit, since this would result in a divergent expression. The trick used in refs. [3,4] is to consider the derivative (wheref is the Fourier transform of f ) to obtain This determines Z g ( ) up to a polynomial P (g−2) ( ) in of degree g − 2 (for g ≥ 2). It is the polynomial which contains the information about the intersection numbers (3.4). In order to determine the coefficients of this polynomial, one can evaluate the first k derivatives of the Migdal formula at = 0 in which the series on the r.h.s. are convergent for k < g − 1. In this way, one finds that where the coefficients are a k = (−1) k k! 2 g−1 π 2g−2−2k ζ (2g − 2 − 2k) for k = 0, 1, · · · , g − 2, (3.11) Note that the coefficient of the nonanalytic term, a g− 3

2
, is nonzero, which is a manifestation of the fact that the moduli space of SU(2) flat connections is singular. This is due to that fact that SU(2) has a nontrivial centre and hence the action of SU(2) gauge group on the space of flat connections is not free. One can read off the intersection numbers on M, given in eq.

SO(3) theory
The calculations for SO(3) are similar to that for SU(2) except for a few important differences. First, for a closed surface Σ of genus g ≥ 1, two topologically inequivalent SO Let u = ±1, then the partition function of SO(3) Yang-Mills theory on the space of connections on E (u) is given by where λ n (u −1 ) = χ n (u −1 )/n in which χ n (u −1 ) is the trace of u −1 in the representation of dimension n. The sum is over all the representations of SU(2) instead of only those of SO(3). However, the sum Z g ( ) = Z g ( ; 1) + Z g ( ; −1) (which, in principle, is the full SO(3) partition function) will have contribution only from the irreducible representations of SO(3). Secondly, let M (−1) denote the moduli space of (gauge equivalent classes of) flat SO(3) connections 2 for the bundle E (−1). The partition function eq. (3.12) for g ≥ 1 is related to the integration of the differential forms ω and Θ on M (−1) in the following way [4]. For fixed non-negative integers k ≤ 1 4 dimM (−1) and s = 1 where there is not any factor of 2 this time because the centre of SO(3) is trivial. The can be calculated in exactly the same way as for SU (2): for k ≤ (g − 2) directly from eq. (3.12), and for k ≥ (g − 1) by using Poisson resummation. We have a k k + exponentially small terms, (3.14) where the coefficients are Notice that the r.h.s. does not have any term with fractional powers of as M (−1) is nonsingular, and a 0 is its symplectic volume.

Analysis of 2dYM on Richards surfaces
Richards surfaces have a self-similar structure which allows one to compute the partition function of Yang-Mills theory on them. The partition function for a surfaceS g,p is given in eq. (2.1). As we have pointed out earlier, the only difference from the partition function of finite genus surfaces, eq. (3.1), is that the power of dim R is in general a positive fraction (which may be thought of as the formal Euler characteristic). In the following we will work with the assumption that the partition function of 2dYM on Richards surfaces would allow for an interpretation as a generating function of intersection numbers on moduli space of flat connections of principal G-bundle on Richards surface, exactly analogous to the finite genus surfaces. As in the previous section, we will consider the cases of SU(2) and SO(3).

Gauge group SU(2)
The extension of the SU(2) Migdal formula to the infinite genus Richards surfaces [27] takes the form 3 is now a rational number. It is reasonable to suppose that formula (4.1) encodes some kind of topological information by means of an equation analogous to eq. (3.5), involving integration of classes on the infinite dimensional moduli space M S g,p of flat connections on the Richards surfaces with fixed g and p. It would be interesting therefore to determine the behaviour of the function in eq. (4.1) near = 0. To obtain this, obviously we cannot exploit the same trick of refs. [3,4], as we reviewed in the previous section: this trick involved taking the g − 1 derivatives of the partition function with respect to , which works only when α = (2 − 2g) is a negative integer. We will therefore adopt a different strategy. Let us first of all extend α to the complex plane, and then extend the sum (4.1) over all integers as At this point, for α in a suitable region of the complex plane, we can use the Poisson resummation formula, eq. (3.7), with Using the fact that, for (α) > −1,

JHEP10(2014)181
Since we want to know the behaviour of Z( , α) near = 0, we use the asymptotic expansion of the function 1 F 1 (z) for all k = 0 terms of the series above to write We can now sum over k to get the final expression for Z( ) (modulo exponentially small terms): The first term in this expression has a fractional negative power of . We expect this to be related to the singularities of the purported moduli space owing to the nontrivial centre of the SU(2), exactly as in the case of Riemann surfaces of finite genus for which α is an even (negative) integer. We will confirm this interpretation in the next subsections, where we will show that the non-analytic terms of this kind are absent for both the SO(3) case (in the sector with non-trivial monopole charge) and the case when a non-trivial holonomy is inserted at a boundary/puncture on the surface. The infinite sum in (4.9) is the part of the partition function that is analytic in . The coefficients m! ζ(2m + 1 + α), m = 0, 1, · · · (4.10) provide a generalization of the intersection numbers in eq. (3.11), to the Richards Surface. The part of Z(α; ) that is not analytic in , consists of exponentially small terms. These are calculated explicitly in eq. (4.6) and can be studied systematically from the asymptotic expansion of the confluent hypergeometric function 1 F 1 . They have the structure of instanton contributions of the form e − π 2 k 2 / , just as in the finite genus case.

Comparison at negative integer α
For the analytic continuation in α to be consistent, one would expect to recover the results of ref. [4] by setting α = 2 − 2g in the expression above. This is indeed the case. The Pochhammer symbol 2+α 2 m vanishes for all m ≥ g − 1, therefore the power series in terminates. However, for m = (g − 1), the zeta function has a simple pole, which compensates for the zero from the Pochhammer symbol and gives a finite contribution, which agrees with the coefficient a g−1 in eq. (3.10). Also the coefficient of − 1+α 2 in eq. (3.10)

JHEP10(2014)181
agrees with the one in (3.11) when α = 2 − 2 g. We are left with a polynomial of degree (g − 2) in which is identical to the corresponding polynomial in eq. (3.10). The matching, however, is not trivial, as it involves the Riemann functional equation for the Riemann zeta function, as well as identities for the Γ-function, the use of which shows that √ π Γ 3 2 − g π 3−2 g Γ(g − 1) (4.11) in agreement with eq. (3.11). (The coefficients match precisely when the volume factor mentioned in footnote 3 is taken into account.)

Gauge group SO(3)
In this case we start with the partition function in the sector with monopole charge u = −1 (4.14) Now, for small , we use the asymptotic expansion eq. (4.7) of the confluent hypergeometric function to write the k-th term in the series as where ζ(s, q) is the Hurwitz zeta function.

JHEP10(2014)181
As anticipated, the expansion for the partition function of the SO(3) Yang-Mills theory does not have any negative or fractional power of . The coefficients which generalize the SO(3) intersection numbers in eqs. (3.14) and (3.15), are We see that Z(α; 0) is finite: even though M S g,p is expected to be infinite dimensional for non-integer α. We believe that in a proper mathematical set up, a 0 can be interpreted as an appropriately renormalized "symplectic volume". The fact that Z(α; 0) is finite only for moduli spaces which are smooth, is a non-trivial consistency check of our proposal, namely that the numbers a m in eqs. (4.10) and (4.17) do indeed encode topological information of some well defined moduli spaces.

Comparison at negative integer α
As in case of SU(2), the results of the previous section can be recovered by setting α = (2 − 2g) in eq. (4.16). We use the relation ζ s, 1 2 = (2 s − 1) ζ(s) between the Hurwitz and the Riemann zeta functions, and use the identities for the zeta and Γ-functions to write The evaluation of the (g − 1)-th term needed a little care as it involves a cancellation between a simple zero of the Pochhammer symbol, for m = g − 1, with the simple pole of the zeta function, ζ(2m − 2g − 1) ∼ 1 2(m − g + 1) .

SU(2) theory with a holonomy along a boundary
In the case of the SU(2) Yang-Mills on a Richards surface without boundary we found that the small expansion of the partition function contained a term with fractional power. We think of this as an indication that the moduli space of SU(2) flat connections on Richards surfaces is singular, as in the case of finite genus surfaces. As expected, no such singularity is found in the case of SO(3). More generally, we expect that the moduli space of flat SU(2) connections on a Richards surface with a fixed holonomy (other than identity) along its base boundary must be nonsingular, again as is the case for finite genus surfaces. We will confirm this expectation by carrying out an expansion of the partition function (of the SU(2) theory for definiteness) in small for Richards surface with a fixed nontrivial

JHEP10(2014)181
In this paper we made a step towards extending these structures to surfaces of infinite genus. More precisely, we analyzed the weak coupling expansion of the partition function of 2dYM on a class of such surfaces, which we call Richards surfaces, that have a recursive structure. The partition function of 2dYM on Richards surfaces was computed in [27]. Here we analyzed in detail its weak coupling expansion for the gauge groups SU(2) and SO(3), with and without the insertion of a Wilson line.
We were able to do this by considering the partition function as an analytic function of the complexified Euler characteristic of a surface. Considering the Euler characteristic at fractional values as appropriate to Richards surfaces (or continuing analytically to negative integral values as appropriate for surfaces of finite characteristic), we found that the corresponding partition function can be split into three contributions. First, there is a term which is finite whenever the corresponding theory admits a smooth moduli space of classical solutions at zero coupling. It seems reasonable to interpret this as the symplectic volume of the (infinite dimensional) moduli space of flat connections on Richards surfaces. The fact that it turns out to be finite whenever the moduli space is smooth is a consistency check that this geometrical interpretation is coherent.
Secondly, there is a contribution to the partition function that is perturbative (in ). In the finite genus case the perturbative series stops at a finite order. It was understood by Witten [4] that the finite number of perturbative coefficients are the intersection numbers of certain cohomology classes on the (finite-dimensional) moduli space of flat connections on surfaces of finite genus. In the Richards case we discovered that the perturbative expansion never stops. This appears to be consistent with the expected infinite dimensionality of the corresponding moduli space of flat connections. The infinite number of coefficients of this expansion, for which we gave explicit formulas, are therefore the natural candidates for the intersection numbers on some appropriately defined moduli space of flat connections over Richards surfaces. We hope to report on this geometric interpretation in the near future.
Finally, for both the finite and the infinite genus cases, there are non-perturbative, instanton-like corrections which are exponentially small. Although these can be extracted from the expressions we have derived, we have not analyzed these terms in details to connect them to non-flat classical solutions. This exercise, which we leave for the future, may be a rewarding one since it could provide a proper field theoretic context in which to extend the tools and concepts of resurgent analysis which has so far been applied largely to quantum mechanical systems.