# In Gromov-Witten theory, why is the string coupling constant weighted by $2g-2$?

Let $X$ be a Calabi-Yau threefold and let us fix a homology class $\beta\in H_2(X,\mathbb Z)$, just for simplicity. The generating series of Gromov-Witten invariants of $X$ in class $\beta$, $$\mathsf Z=\sum_{g}\textrm{GW}_{g,\beta}(X)\color{red}{u}^{2g-2},$$ has the variable $\color{red}{u}$, taking care of the varying genera, weighted by $\color{red}{2g-2}$. Some time ago, I remember having read this variable is called the string coupling constant, sometimes denoted $g_s$.

Question. Why is this variable weighted by $2g-2$, instead of, say, $g$? Is there a reason coming from Physics, maybe from String Theory?

I feel the reason why I cannot answer my question is that I do not really understand the meaning of $u$ (or $g_s$), or its role inside $\mathsf Z$. It seems not to be just a variable, or indeterminate, which one uses to write down $\mathsf Z$. It seems, for instance, that it makes sense to talk about "small values" of the coupling constant (which confuses me even more, since it is called a constant). I hope I made clear my confusion. And, my apologies for the non-research-level of the question.

Thanks you all.

• This is the negative of the Euler characteristic of a surface of genus $g$. A similar weight appears in Dijkgraaf-Witten theory. – Qiaochu Yuan Oct 16 '15 at 2:47
• Yes, I am sure it is the right thing to do, but my question is why? – Brenin Oct 16 '15 at 7:38

Here is a purely mathematical reason why we prefer to put $u^{2g-2}$ in our generating function instead of, say, $u^g$.

The generating function you write, $$\sum_{g,\beta} GW_{g,\beta}(X) u^{2g-2}Q^{\beta},$$ is the generating function for the connected Gromov-Witten invariants of $X$ (I've thrown in another variable that tracks the class $\beta$). Connected here means that the invariants are obtained from the moduli space of maps with connected domains. This generating function is usually called $F$ because we reserve the letter $Z$ for the disconnected generating function:

$$Z = \exp \left(\sum_{g,\beta} GW_{g,\beta}(X) u^{2g-2} Q^{\beta}\right)$$

The coefficients of this generating function are the disconnected Gromov-Witten invariants -- i.e. the invariants obtained from the moduli space of maps with (possibly) disconnected domains.

In order for the relationship between the connected and disconnected invariants to be $Z=\exp(F)$, we need that the quantity tracked by the variable to be additive under disjoint union and so we prefer the Euler characteristic $2g-2$ to the genus $g$ ($g$ is not additive under disjoint union). For disconnected invariants, Euler characteristic is much more natural than genus (which would have to be defined via Euler characteristic anyway). Note that much of the interesting features in GW theory are formulated via the disconnected invariants (e.g. the MNOP conjecture).

• minus Euler characteristic. But there is nothing better than an answer by Jim Bryan and a glass of Jim Beam! – Bernie Aug 8 '18 at 13:01

Here are two ways how physicists think about the string coupling constant:

1) In usual quantum field theory defined by quantization of a classical field theory, the partition function is defined by a path integral of the form $Z= \int D\phi e^{\frac{S(\phi)}{\hbar}}$ where $S$ is the classical action. In particular, in the classical limit $\hbar \rightarrow 0$, we expect a localization around the classical solution $\phi_{cl}$ to classical equation of motion, and so a behaviour like $Z \sim e^{\frac{S(\phi_{cl})}{\hbar}}$, i.e. $F=log(Z) \sim \frac{S(\phi_{cl})}{\hbar}$. Perturbative expansion in $\hbar$ will give a pertubative expansion of $F$. Standard Feynman diagram tecnhiques show that this expansion is of the form $F \sim \sum_{L} F_L \hbar^{L-1}$ where $F_L$ receives contribution from (connected) Feynman diagrams with $L$ loops.

We expect an open string theory to reduce at low energy to an usual quantum field theory with an expansion as above. But the closed string coupling $g_s$ is related to the open string coupling $\hbar$ by $g_s \sim \hbar^2$: this follows by unitarity from the annulus diagram which can be interpreted either as a one loop open string or a tree level closed string.

2) The point 1) is a spacetime point of view. There is also a worldsheet point of view. The non-linear sigma model is a two dimensional theory of maps from a two dimensional $\Sigma$ to a space $X$. The action of such theory has to be local and one natural term with this property is given by the integral of the curvature of $\Sigma$, which by Gauss-Bonnet is given by the Euler characteristic $2-2g$. This origin of the appearance of the Euler characteristic is essentially the one mentioned in the answer given by Jim Bryan: additivity gives a way to reconstruct a global quantity from a local one.

The physical explanation is in large N gauge theory. The Feynman diagram you are computing has become a ribbon graph. You see how the vertices, edges and faces are scaling as you increase the rank of the lie algebra. This is the reasoning for why planar graphs are so important. This is the dictionary that gave rise to the first string theory. The role of the "string coupling constant" is really as a free parameter. When someone says that string theory has no free parameters means that you can change it by changing the expectation value of a dilaton field. $g_s = e^{\langle \phi \rangle}$. So there are many free choices in the vacuum module and that's where all the free parameters are being hidden. It is a constant only within that module. You might be concerned whether the sum is convergent or only makes sense in $\mathbb{C}[[u]]$, but either way you can still pick out the constant term.

As a source, say look at chapter 3 of Polchinski. You will see it in bosonic string, but that is enough for you to mutatis mutandis and get the A-model topological string.