Single-Valued Integration and Superstring Amplitudes in Genus Zero

Abstract

We study open and closed string amplitudes at tree-level in string perturbation theory using the methods of single-valued integration which were developed in the prequel to this paper (Brown and Dupont in Single-valued integration and double copy, 2020). Using dihedral coordinates on the moduli spaces of curves of genus zero with marked points, we define a canonical regularisation of both open and closed string perturbation amplitudes at tree level, and deduce that they admit a Laurent expansion in Mandelstam variables whose coefficients are multiple zeta values (resp. single-valued multiple zeta values). Furthermore, we prove the existence of a motivic Laurent expansion whose image under the period map is the open string expansion, and whose image under the single-valued period map is the closed string expansion. This proves the recent conjecture of Stieberger that closed string amplitudes are the single-valued projections of (motivic lifts of) open string amplitudes. Finally, applying a variant of the single-valued formalism for cohomology with coefficients yields the KLT formula expressing closed string amplitudes as quadratic expressions in open string amplitudes.

Introduction

The beta function

As motivation for our results, it is instructive to consider the special case of the Euler beta function (Veneziano amplitude [Ven68])

1

The integral converges for $\mathrm{Re}(s)>0$, $\mathrm{Re}(t)>0$. Less familiar is the complex beta function (Virasoro–Shapiro amplitude [Vir69], [Sha70]), given by

$$\begin{array}{c}\hfill {\beta }_{\mathbb{C}}(s,t)=-\frac{1}{2\pi i}{\int }_{{\mathbb{P}}^1(\mathbb{C})}{|z|}^{2s}{|1-z|}^{2t}\frac{dz\wedge d\overline{z}}{{|z|}^2{|1-z|}^2}=\frac{\mathrm{\Gamma }(s)\mathrm{\Gamma }(t)\mathrm{\Gamma }(1-s-t)}{\mathrm{\Gamma }(s+t)\mathrm{\Gamma }(1-s)\mathrm{\Gamma }(1-t)}·\end{array}$$ 2

The integral converges in the region $\mathrm{Re}(s)>0$, $\mathrm{Re}(t)>0,\mathrm{Re}(s+t)<1$.

The beta function admits the following Laurent expansion

$$\begin{array}{c}\hfill \beta (s,t)=(\frac{1}{s}+\frac{1}{t})exp(\sum _{n\ge 2}\frac{{(-1)}^{n-1}\zeta (n)}{n}({(s+t)}^n-s^n-t^n)),\end{array}$$ 3

and the complex beta function has a very similar expansion

$$\begin{array}{c}\hfill {\beta }_{\mathbb{C}}(s,t)=(\frac{1}{s}+\frac{1}{t})exp(\sum _{\begin{array}{c}n\ge 2\\ n\text{odd}\end{array}}\frac{{(-1)}^{n-1}2\zeta (n)}{n}({(s+t)}^n-s^n-t^n)).\end{array}$$ 4

It is important to note that these Laurent expansions are taken at the point $(s,t)=(0,0)$ which lies outside the domain of convergence of the respective integrals.

The coefficients in (4) can be expressed as ‘single-valued’ zeta values which satisfy:

$$\begin{array}{c}\hfill {\zeta }^{\mathsf{sv}}(2n)=0\text{and}{\zeta }^{\mathsf{sv}}(2n+1)=2\zeta (2n+1)\end{array}$$

for $n\ge 1.$ The Laurent expansion (4) can thus be viewed as a ‘single-valued’ version of (3). To make this precise, we define a motivic beta function ${\beta }^{\mathfrak{m}}(s,t)$ which is a formal Laurent expansion in motivic zeta values:

$$\begin{array}{c}\hfill {\beta }^{\mathfrak{m}}(s,t)=(\frac{1}{s}+\frac{1}{t})exp(\sum _{n\ge 2}\frac{{(-1)}^{n-1}{\zeta }^{\mathfrak{m}}(n)}{n}({(s+t)}^n-s^n-t^n)),\end{array}$$ 5

whose coefficients ${\zeta }^{\mathfrak{m}}(n)$ are motivic periods of the cohomology of the moduli spaces of curves ${\overline{\mathcal{M}}}_{0,n+3}$ relative to certain boundary divisors. It has a de Rham version ${\beta }^{\mathfrak{m},\mathrm{dR}}(s,t)$, obtained from it by applying the de Rham projection term by term. One has

$$\begin{array}{c}\hfill \beta (s,t)=\mathrm{per}({\beta }^{\mathfrak{m}}(s,t))\text{and}{\beta }_{\mathbb{C}}(s,t)=\mathsf{s}({\beta }^{\mathfrak{m},\mathrm{dR}}(s,t))\end{array}$$

where $\mathsf{s}$ is the single-valued period map which is defined on de Rham motivic periods. We can therefore conclude that the Laurent expansions of $\beta (s,t)$ and ${\beta }_{\mathbb{C}}(s,t)$ are deduced from a single object, namely, the motivic beta function (5).

The first objective of this paper is to generalise all of the above for general string perturbation amplitudes at tree-level.

Cohomology with coefficients

There is another sense in which (1) is a single-valued version of (2) that does not involve expanding in s, t and uses cohomology with coefficients.

For generic values of s, t (i.e., $s,t,s+t\notin \mathbb{Z}$), it is known how to interpret $\beta (s,t)$ as a period of a canonical pairing between algebraic de Rham cohomology and locally finite Betti (singular) homology:

$$\begin{array}{c}\hfill H^1(X,{\mathrm{\nabla }}_{s,t})\text{and}{H}_1^{\mathrm{lf}}(X(\mathbb{C}),{\mathcal{L}}_{-s,-t}),\end{array}$$ 6

where $X={\mathbb{P}}^1\backslash \{0,1,\infty \}$, ${\mathrm{\nabla }}_{s,t}$ is the integrable connection

$$\begin{array}{c}\hfill {\mathrm{\nabla }}_{s,t}=d+sdlogx+tdlog(1-x)\end{array}$$

on the rank one algebraic vector bundle ${\mathcal{O}}_X$, and ${\mathcal{L}}_{-s,-t}$ is the rank one local system generated by $x^s{(1-x)}^t$, which is a flat section of ${\mathrm{\nabla }}_{-s,-t}={\mathrm{\nabla }}_{s,t}^{\vee }$ (see Example 6.13). An important feature of this situation is Poincaré duality which gives rise to de Rham and Betti pairings between (6) for (s, t) and for $(-s,-t)$. Compatibility between these pairings amounts to the following functional equation for the beta function:

$$\begin{array}{c}\hfill 2\pi i\left(\frac{1}{s},+,\frac{1}{t}\right)=\beta (s,t)\beta (-s,-t)\left(\frac{2}{i},\frac{sin(\pi s)sin(\pi t)}{sin(\pi (s+t))}\right),\end{array}$$ 7

where the factor in brackets on the left-hand side is the de Rham pairing of $\frac{\mathit{dx}}{x(1-x)}$ with itself and the factor in brackets on the right-hand side is the inverse of the Betti pairing of $(0,1)\otimes x^s{(1-x)}^t$ with $(0,1)\otimes x^{-s}{(1-x)}^{-t}$.

As in the case of relative cohomology with constant coefficients studied in [BD20], there exists a single-valued formalism for cohomology with coefficients in this setting for which we give an integral formula (Theorem 7.8). This formula implies that ${\beta }_{\mathbb{C}}(s,t)$ is a single-valued period of (6), which amounts to the equality

$$\begin{array}{c}\hfill {\beta }_{\mathbb{C}}(s,t)=-(\frac{1}{s}+\frac{1}{t})\beta (s,t)\beta {(-s,-t)}^{-1}\end{array}$$ 8

and proves the second equality in (2).

Applying the functional equation (7) we then get the following ‘double copy formula’ expressing a single-valued period as a quadratic expression in ordinary periods:

$$\begin{array}{c}\hfill {\beta }_{\mathbb{C}}(s,t)=-\frac{1}{2\pi i}(\frac{2}{i}\frac{sin(\pi s)sin(\pi t)}{sin(\pi (s+t))})\beta {(s,t)}^2.\end{array}$$ 9

This formula is an instance of the Kawai–Lewellen–Tye (KLT) relations [KLT86].

In conclusion, there are three different ways to deduce the complex beta function from the classical beta function: via (8) or the double copy formula (9), or by applying the single valued period map term by term in its Laurent expansion.

General string amplitudes at tree level

The general N-point genus zero open string amplitude is formally written as an integral which generalises (1):

$$\begin{array}{c}\hfill I^{\mathrm{open}}(\omega ,\underset{\_}{s})={\int }_{0<t_1<\cdots <t_{N-3}<1}\prod _{1\le i<j\le N-3}{(t_j-t_i)}^{s_{\mathit{ij}}}\omega \end{array}$$

where $\omega$ is a meromorphic form with certain logarithmic singularities (see Sect. 3.2), and $\underset{\_}{s}=\{s_{\mathit{ij}}\}$ are Mandelstam variables satisfying momentum conservation equations (30).

It turns out that one can write the closed string amplitudes in the form

$$\begin{array}{c}\hfill I^{\mathrm{closed}}(\omega ,\underset{\_}{s})={(2\pi i)}^{3-N}{\int }_{{\mathbb{C}}^{N-3}}\prod _{1\le i<j\le N-3}{|z_j-z_i|}^{2s_{\mathit{ij}}}{\nu }_S\wedge \overline{\omega }.\end{array}$$

Later we shall rewrite the domain of integration as the complex points of the compactified moduli space of curves of genus 0 with N ordered marked points. Then, the form

$$\begin{array}{c}\hfill {\nu }_S={(-1)}^{\frac{N(N-1)}{2}}\prod _{i=0}^{N-3}{(t_{i+1}-t_i)}^{-1}d{t}_1\wedge \cdots \wedge d{t}_{N-3}(t_0=0,t_{N-2}=1)\end{array}$$

is logarithmic and has poles along the boundary of the domain of integration of the open string amplitude. It is in fact the image of the homology class of this domain under the map $c_0^{\vee }$ defined in [BD20].

The first task is to interpret the open and closed string amplitudes rigourously as integrals over the moduli space of curves ${\mathcal{M}}_{0,N}$. An immediate problem is that the poles of the integrand lie along divisors which do not cross normally. Using a cohomological interpretation of the momentum conservation equations in Sect. 3.1, we show how to resolve the singularities of the integral by rewriting it in terms of dihedral coordinates. These are certain cross-ratios $u_c$ in the $t_i$, indexed by chords c in an N-gon, whose zero loci form a normal crossing divisor. Thus, for example, we write in Sect. 3.3:

$$\begin{array}{c}\hfill I^{\mathrm{open}}(\omega ,\underset{\_}{s})={\int }_{X^{\delta }}\left(\prod _c,u_c^{s_c}\right)\omega \end{array}$$

where $X^{\delta }$ is the locus where all $0<u_c<1$ and the $s_c$ are linear combinations of the $s_{\mathit{ij}}$. This rewriting of the amplitude evinces the divergences of the integrand and the potential poles in the Mandelstam variables. A similar expression holds for the closed string amplitude, in which $u_c^{s_c}$ is replaced by $|u_c{|}^{2s_c}$ and in which the domain of integration is replaced by the complex points of the Deligne–Mumford compactification ${\overline{\mathcal{M}}}_{0,N}$.

By an inclusion-exclusion procedure close in spirit to renormalisation1 of algebraic integrals in perturbative quantum field theory [BK13], we can explicitly remove all poles using properties of dihedral coordinates and the combinatorics of chords. The renormalisation fundamentally hinges on special properties of morphisms between moduli spaces which play the role of counter-terms and are described in Sect. 4.

Theorem 1.1

There is a canonical ‘renormalisation’

$$\begin{array}{c}\hfill I^{\mathrm{open}}(\omega ,\underset{\_}{s})=\sum _J\frac{1}{s_J}{\int }_{X_J}{\mathrm{\Omega }}_J^{\mathrm{ren}}\text{where}{s}_J=\prod _{c\in J}{s}_c\end{array}$$

indexed by sets J of non-crossing chords in an N-gon, where ${\mathrm{\Omega }}_J^{\mathrm{ren}}$ is explicitly defined. The integrals on the right-hand side are convergent around $s_{\mathit{ij}}=0$. They are by definition products of convergent integrals over domains $X^{\delta }$ of various dimensions.

This theorem provides an interpretation of the poles in the Mandelstam variables $s_{\mathit{ij}}$ in terms of the poles of $\omega$ (see for example (51)). A similar statement holds for the closed string amplitude (Theorem 4.24). Having extended the range of convergence of the integrals using the previous theorem, we are then in a position to take a Laurent expansion around $s_{\mathit{ij}}=0$. The coefficients in this expansion, which are canonical, are products of convergent integrals of the form:

$$\begin{array}{c}\hfill {\int }_{X^{\delta }}\left(\prod _c,{log}^{n_c},(u_c)\right)\eta \end{array}$$

where the product ranges over chords c in a polygon and $n_c\in \mathbb{N}$. We then show how to interpret these integrals as periods of moduli spaces ${\mathcal{M}}_{0,N^{\prime }}$ for larger $N^{\prime }$ by replacing the logarithms with integrals (non-canonically). A key, and subtle point, is that they are integrals over a domain $X^{{\delta }^{\prime }}$ of a global regular form with logarithmic singularities. We can therefore interpret the previous integrals as motivic periods of universal moduli space motives, and hence define a motivic version of the string amplitude.

Theorem 1.2

There is a motivic string amplitude:

$$\begin{array}{c}\hfill I^{\mathfrak{m}}(\omega ,\underset{\_}{s})\in {\mathcal{P}}_{\mathcal{MT}(\mathbb{Z})}^{\mathfrak{m},+}((s_c))\end{array}$$

which is a Laurent expansion with coefficients in the ring of motivic multiple zeta values of homogeneous weight. Its period is the open string amplitude

$$\begin{array}{c}\hfill \mathrm{per}{I}^{\mathfrak{m}}(\omega ,\underset{\_}{s})=I^{\mathrm{open}}(\omega ,\underset{\_}{s}).\end{array}$$

It follows that the coefficients of $I^{\mathrm{open}}(\omega ,\underset{\_}{s})$ are multiple zeta values.

The first statement has been used implicitly in [SS13], [SS19] by assuming the period conjecture for multiple zeta values. The fact that the Laurent coefficients are multiple zeta values is folklore. A subtlety in the previous theorem is that the motivic lift $I^{\mathfrak{m}}(\omega ,\underset{\_}{s})$ is a priori not unique, as there are many possible ways to express the logarithms $log(u_c)$ as integrals. We believe that one could fix these choices if one wished. In any case, the period conjecture suggests that the motivic amplitude $I^{\mathfrak{m}}(\omega ,\underset{\_}{s})$ is independent of these choices.

By applying the general theorems on single-valued integration proved in the prequel to this paper [BD20] we deduce that the closed string amplitude is the single-valued version of the motivic amplitude.

Theorem 1.3

Let ${\pi }^{\mathfrak{m},\mathrm{dR}}$ denote the de Rham projection map from effective mixed Tate motivic periods to de Rham motivic periods (which maps ${\zeta }^{\mathfrak{m}}$ to ${\zeta }^{\mathfrak{m},\mathrm{dR}}$), and $\mathsf{s}$ the single-valued period map (which maps ${\zeta }^{\mathfrak{m},\mathrm{dR}}$ to ${\zeta }^{\mathsf{sv}}$). Then

$$\begin{array}{c}\hfill I^{\mathrm{closed}}(\omega ,\underset{\_}{s})=\mathsf{s}{\pi }^{\mathfrak{m},\mathrm{dR}}{I}^{\mathfrak{m}}(\omega ,\underset{\_}{s}).\end{array}$$

It follows that the coefficients in the canonical Laurent expansion of the closed string amplitudes are single-valued multiple zeta values.

This theorem, for periods (i.e., assuming the period conjecture) was conjectured in [Sti14], [ST14] and proved independently by a very different method from our own in [SS19]. Since the first draft of this paper was written, yet another approach to computing the closed string amplitudes appeared in [VZ18]. An interesting consequence of Theorem 1.3 is that it suggests that the space generated by closed string amplitudes might be closed under the action of the de Rham motivic Galois group. It is important to note that the proof of the previous theorem, in contrast to the approach sketched in [SS19], uses no prior knowledge of multiple zeta values or polylogarithms, and merely involves an application of our general results on single-valued integrals.

String amplitudes from the point of view of cohomology with coefficients and double copy formulae

In the final parts of this paper Sect. 6, 7, we consider the open string amplitude as a period of the canonical pairing between algebraic de Rham cohomology with coefficients in a certain universal (Koba–Nielsen) algebraic vector bundle with connection, and locally finite homology with coefficients in its dual local system:

$$\begin{array}{c}\hfill H^{N-3}({\mathcal{M}}_{0,N},{\mathrm{\nabla }}_{\underset{\_}{s}})\otimes H_{N-3}^{\mathrm{lf}}({\mathcal{M}}_{0,N},{\mathcal{L}}_{-\underset{\_}{s}})⟶\mathbb{C}.\end{array}$$

As in the case of the beta function, Poincaré duality exchanges $\underset{\_}{s}$ and $-\underset{\_}{s}$ and leads to quadratic functional equations for open string amplitudes generalising (7).

It is important to note that this interpretation of the open string amplitude, as a function of generic Mandelstam variables, is quite different from its interpretation as a Laurent series. After defining the single-valued period map, our main theorem (Theorem 7.8) provides an interpretation of the closed string amplitudes $I^{\mathrm{closed}}(\omega ,\underset{\_}{s})$ as its single-valued periods. Theorem 7.8 is in no way logically equivalent to the previous results since it is not obvious that the two notions of ‘single-valuedness’, namely as a function of the $s_{\mathit{ij}}$, or term-by-term in their Laurent expansion, coincide. The paper [BD19] provides yet another connection between these two different cohomological points of view.

As a consequence of Theorem 7.8, we immediately deduce an identity relating closed and open string amplitudes which involves the period matrix, its inverse, and the de Rham pairing. By the compatibility between the de Rham and Betti pairings, it in turn implies a ‘double copy formula’ which generalizes (9). It expresses closed string amplitudes as quadratic expressions in open string amplitudes but this time using the Betti intersection pairing (Corollary 7.10). Since Mizera has recently shown [Miz17] that the inverse transpose matrix of Betti intersection numbers coincides with the matrix of KLT coefficients, our formula implies the KLT relations.

Because our results for genus zero string amplitudes are in fact instances of a more general mathematical theory [BD20], valid for all algebraic varieties, we expect that many of these results may carry through in some form to higher genera. It remains to be seen, in the light of [Wit12], if this has a chance of leading to a possible double copy formalism for higher genus string amplitudes.

Contents

In §2 we review the geometry of the moduli spaces ${\mathcal{M}}_{0,N}$, dihedral coordinates, and the forgetful maps which play a key role in the regularisation of singularities. In §3 we recall the definitions of tree-level string amplitudes, their interpretation as moduli space integrals, and discuss their convergence. Section 4 defines the ‘renormalisation’ of string amplitudes via the subtraction of counter-terms which uses the natural maps between moduli spaces. It uses in an essential way the fact that the zeros of dihedral coordinates are normal crossing. Lastly, in Sect. 5 we construct the motivic amplitude and prove the main theorems using [BD20]. The final sections Sect. 6, 7 treat cohomology with coefficients as discussed above. In an appendix, we prove a folklore result that the Parke–Taylor forms are a basis of cohomology with coefficients.

Dihedral Coordinates and Geometry of ${\mathcal{M}}_{0,S}$

Let $n\ge 0$ and let S be a set with $n+3$ elements, which we frequently identify with $\{1,\dots ,n+3\}$. Let ${\mathcal{M}}_{0,S}$ denote the moduli space of curves of genus zero with marked points labelled by S. It is a smooth scheme over $\mathbb{Z}$ whose points correspond to sets of $n+3$ distinct points $p_s\in {\mathbb{P}}^1$, for $s\in S$, modulo the action of ${\mathrm{PGL}}_2$. Since this action is simply triply transitive, we can place $p_{n+1}=1,p_{n+2}=\infty ,p_{n+3}=0$ and define the simplicial coordinates $(t_1,\dots ,t_n)$ to be the remaining n points. In other words, they are defined for $1\le i\le n$ as the cross-ratios

$$\begin{array}{c}\hfill t_i=\frac{(p_i-p_{n+3})(p_{n+1}-p_{n+2})}{(p_i-p_{n+2})(p_{n+1}-p_{n+3})}·\end{array}$$ 10

Note that the indexing differs slightly from that in [Bro09]. These coordinates identify ${\mathcal{M}}_{0,S}$ as the hyperplane complement ${({\mathbb{P}}^1\backslash \{0,1,\infty \})}^n$ minus diagonals, and are widespread in the physics literature. We also use cubical coordinates:

$$\begin{array}{c}\hfill x_1=t_1/t_2,\dots ,x_{n-1}=t_{n-1}/t_n,x_n=t_n.\end{array}$$ 11

Dihedral extensions of moduli spaces

A dihedral structure $\delta$ for S is an identification of S with the edges of an $(n+3)$-gon (which we call $(S,\delta )$, or simply S when $\delta$ is fixed) modulo dihedral symmetries. When we identify S with $\{1,\dots ,n+3\}$ we take $\delta$ to be the ‘standard’ dihedral structure that is compatible with the linear order on S. Let ${\chi }_{S,\delta }$ denote the set of chords of $(S,\delta )$. The dihedral extension ${\mathcal{M}}_{0,S}^{\delta }$ of ${\mathcal{M}}_{0,S}$ is a smooth affine scheme over $\mathbb{Z}$ of dimension n defined in [Bro09]. Its affine ring $\mathcal{O}({\mathcal{M}}_{0,S}^{\delta })$ is the ring over $\mathbb{Z}$ generated by ‘dihedral coordinates’ $u_c$, for each chord $c\in {\chi }_{S,\delta }$, modulo the ideal generated by the relations

$$\begin{array}{c}\hfill \prod _{c\in A}{u}_c+\prod _{c\in B}{u}_c=1\end{array}$$ 12

for all sets of chords $A,B\subset {\chi }_{S,\delta }$ which cross completely (defined in [Bro09, §2.2]). We frequently use the following special case: if c, $c^{\prime }$ are crossing chords, then

$$\begin{array}{c}\hfill u_{c^{\prime }}=1-x{u}_c\end{array}$$ 13

where x is a product of dihedral coordinates which depends on $c,c^{\prime }.$

The zero locus of $u_c$ is denoted $D_c\subset {\mathcal{M}}_{0,S}^{\delta }$. We have

$$\begin{array}{c}\hfill {\mathcal{M}}_{0,S}={\mathcal{M}}_{0,S}^{\delta }\backslash D\text{where}D=\bigcup _{c\in {\chi }_{S,\delta }}{D}_c\end{array}$$

and D (also denoted by $\partial {\mathcal{M}}_{0,S}^{\delta }$) is a simple normal crossing divisor. Two components $D_c$, $D_{c^{\prime }}$ intersect if and only if c, $c^{\prime }$ do not cross. In the case $|S|=4$, ${\mathcal{M}}_{0,S}^{\delta }={\mathbb{A}}^1$, and the divisor D has two components, 0 and 1, corresponding to the two chords in a square. The case $|S|=5$ is pictured in Fig. 1.

Fig. 1.

On the left: three out of the five chords in a pentagon, corresponding to the dihedral coordinates $u_{24}$ (dashed), $u_{35}$, $u_{13}$ (dotted). The figure illustrates the relation $u_{24}=1-u_{13}{u}_{35}$. On the right: the five divisors on ${\mathcal{M}}_{0,5}^{\delta }$ defined by $u_{\mathit{ij}}=0$ form a pentagon. Two divisors intersect if and only if the corresponding chords do not cross

Let us write ${\overline{\mathcal{M}}}_{0,S}$ for the Deligne–Mumford compactification of ${\mathcal{M}}_{0,S}.$ The open subspace ${\mathcal{M}}_{0,S}^{\delta }\subset {\overline{\mathcal{M}}}_{0,S}$ can be obtained by removing all boundary divisors which are not compatible with the dihedral structure $\delta$. The set of ${\mathcal{M}}_{0,S}^{\delta }$ as $\delta$ ranges over all dihedral structures form an open affine cover of ${\overline{\mathcal{M}}}_{0,S}$.

Morphisms

Given a subset $T\subset S$ with $|T|\ge 3$, let ${\delta |}_T$ denote the dihedral structure on T induced by $\delta$. There is a partially defined map $f_T:{\chi }_{S,\delta }\to {\chi }_{T,{\delta }_{|T}}$ induced by contracting all edges in $(S,\delta )$ not in T. Since some chords map to the outer edges of the polygon $(T,\delta {|}_T)$ under this operation, it is only defined on the complementary set of such chords in ${\chi }_{S,\delta }$. It gives rise to a ‘forgetful map’

$$\begin{array}{c}\hfill f_T:{\mathcal{M}}_{0,S}^{\delta }⟶{\mathcal{M}}_{0,T}^{{\delta |}_T}\end{array}$$

whose associated morphism of affine rings $f_T^{\ast }:\mathcal{O}({\mathcal{M}}_{0,T}^{{\delta }_{|T}})\to \mathcal{O}({\mathcal{M}}_{0,S}^{\delta })$ is

$$\begin{array}{c}\hfill f_T^{\ast }(u_c)=\prod _{f_T(c^{\prime })=c}{u}_{c^{\prime }}\end{array}$$ 14

where $c\in {\chi }_{{T,\delta |}_T}$, and $c^{\prime }$ ranges over its preimages in ${\chi }_{S,\delta }$. The forgetful map restricts to a morphism $f_T:{\mathcal{M}}_{0,S}\to {\mathcal{M}}_{0,T}$ between the open moduli spaces.

A dihedral coordinate $u_c$ is such a morphism $f_{T_c}:{\mathcal{M}}_{0,S}^{\delta }\to {\mathcal{M}}_{0,T_c}^{{\delta |}_{T_c}}\cong {\mathbb{A}}^1$, where $T_c$ is the set of four edges which meet the endpoints of c.

Strata

Cutting along $c\in {\chi }_{S,\delta }$ breaks the polygon S into two smaller polygons, $(S^{\prime },{\delta }^{\prime })$ and $(S^{\prime \prime },{\delta }^{\prime \prime })$, with $S=(S^{\prime }\backslash \{c\})\bigsqcup (S^{\prime \prime }\backslash \{c\})$ (see e.g. [Bro09, Figure 3]). There is a canonical isomorphism

$$\begin{array}{c}\hfill D_c\cong {\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }}\times {\mathcal{M}}_{0,S^{\prime \prime }}^{{\delta }^{\prime \prime }}.\end{array}$$ 15

In particular, the restriction of a dihedral coordinate $u_{c^{\prime }}$ to the divisor $D_c$, where $c^{\prime }$ and c do not cross, is the dihedral coordinate $u_{c^{\prime }}$ on either $(S^{\prime },{\delta }^{\prime })$ or $(S^{\prime \prime },{\delta }^{\prime \prime })$, depending on which component $c^{\prime }$ lies in.

Definition 2.1

Let $J\subset {\chi }_{S,\delta }$ be a set of k non-crossing chords. Cutting $(S,\delta )$ along J decomposes it into polygons $(S_i,{\delta }_i)$, $0\le i\le k$. Write

$$\begin{array}{c}\hfill {\mathcal{M}}_{0,S/J}^{\delta /J}={\mathcal{M}}_{0,S_0}^{{\delta }_0}\times \cdots \times {\mathcal{M}}_{0,S_k}^{{\delta }_k}\end{array}$$

and similarly, ${\mathcal{M}}_{0,S/J}={\mathcal{M}}_{0,S_0}\times \cdots \times {\mathcal{M}}_{0,S_k}.$ If $J=\{j_1,\dots ,j_k\}$ then set

$$\begin{array}{c}\hfill D_J=D_{j_1}\cap \cdots \cap D_{j_k}.\end{array}$$

There is a canonical isomorphism $D_J\cong {\mathcal{M}}_{0,S/J}^{\delta /J}$.

Trivialisation maps

A crucial ingredient in our ‘renormalisation’ of differential forms is to use dihedral coordinates to define a canonical trivialisation of the normal bundles of the divisors $D_c$ in a compatible manner. In order to define this, we shall fix a cyclic order $\gamma$ on S, which is compatible with $\delta$. Such a cyclic structure is simply a choice of orientation of the polygon $(S,\delta )$.

Definition 2.2

Let c be a chord as above. Let $T^{\prime },T^{\prime \prime }$ be the subsets of S consisting of the edges in $S^{\prime }\backslash \{c\},S^{\prime \prime }\backslash \{c\}$, respectively, together with the next edge in S with respect to the cyclic ordering $\gamma$. Let ${\delta }^{\prime },{\delta }^{\prime \prime }$ be the induced dihedral structures on $T^{\prime },T^{\prime \prime }$. There are natural bijections $S^{\prime }\simeq T^{\prime }$ and $S^{\prime \prime }\simeq T^{\prime \prime }$ where in each case we identify the chord c with the next edge after $S^{\prime }$ or $S^{\prime \prime }$ in the cyclic ordering. Consider the map

$$\begin{array}{c}\hfill f_c^{\gamma }:{\mathcal{M}}_{0,S}^{\delta }⟶{\mathbb{A}}^1\times {\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }}\times {\mathcal{M}}_{0,S^{\prime \prime }}^{{\delta }^{\prime \prime }}\end{array}$$ 16

induced by $f_c^{\gamma }=f_{T_c}\times f_{T^{\prime }}\times f_{T^{\prime \prime }}$, where ${\mathcal{M}}_{T_c}^{{\delta |}_{T_c}}$ is identified with ${\mathbb{A}}^1$. An illustration of this map is given in Fig. 2.

Fig. 2.

An illustration of the trivialisation map $f_c^{\gamma }$ (the cyclic orientation $\gamma$ is clockwise, induced by the numbering)

The first component $f_{T_c}$ is simply the dihedral coordinate $u_c$, and hence the restriction of (16) to $D_c$ induces the isomorphism (15). Note that (15) is canonical, but $f_c^{\gamma }$ depends on the choice of cyclic structure $\gamma$.

Lemma 2.3

If $c_1,c_2\in {\chi }_{S,\delta }$ do not cross, then $f_{c_1}^{\gamma }\circ f_{c_2}^{\gamma }=f_{c_2}^{\gamma }\circ f_{c_1}^{\gamma }$.

Proof

Cutting along $c_1,c_2$ decomposes the oriented polygon $(S,\gamma )$ into three smaller polygons $(S_1,{\gamma }_1)$, $(S_{12},{\gamma }_{12})$, $(S_2,{\gamma }_2)$, where $S_1$ has one edge labelled by $c_1$, $S_2$ has one edge labelled by $c_2$, and $S_{12}$ two edges labelled $c_1,c_2$. The graphs $S_1\cap S$ and $S_2\cap S$ each have one connected component and $S_{12}\cap S$ has exactly two components (one of which may reduce to a single vertex). Extending each such component by the next edge in the cyclic order defines sets $T_1,T_{12},T_2\subset S$ where $|T_1|=|S_1|+1$, $|T_2|=|S_2|+1$, and $|T_{12}|=|S_{12}|+2$. One checks from the definitions that

$$\begin{array}{c}\hfill f_{c_1}^{\gamma }{f}_{c_2}^{\gamma }=f_{T_{c_1}}\times f_{T_{c_2}}\times f_{T_1}\times f_{T_{12}}\times f_{T_2},\end{array}$$

which is symmetric in $c_1,c_2$. The point is that the operation of ‘extending by adding the next edge in the cyclic order’ does not depend on the order in which one cuts along the chords $c_1,c_2$. $\square$

Definition 2.4

Let $J\subset {\chi }_{S,\delta }$ be a set of non-crossing chords, and define

$$\begin{array}{c}\hfill f_J^{\gamma }:{\mathcal{M}}_{0,S}^{\delta }⟶{\mathbb{A}}^J\times {\mathcal{M}}_{0,S/J}^{\delta /J}\end{array}$$

for the composite of the maps $f_c^{\gamma }$, for $c\in J$, in any order, where ${\mathbb{A}}^J={({\mathbb{A}}^1)}^J$. Its restriction to $D_J$ gives the canonical isomorphism $D_J\cong {\mathcal{M}}_{0,S/J}^{\delta /J}$.

When the cyclic ordering is fixed, we shall drop the $\gamma$ from the notation.

Domains

Let $X^{\delta }\subset {\mathcal{M}}_{0,S}^{\delta }(\mathbb{R})$ be the subset defined by the positivity of the dihedral coordinates $u_c>0$, for all $c\in {\chi }_{S,\delta }$. In simplicial coordinates (10) it is the open simplex $\{0<t_1<\cdots <t_n<1\}$. In cubical coordinates (11) it is the open hypercube ${(0,1)}^n$. It serves as a domain of integration. On the domain $X^{\delta }$, every dihedral coordinate $u_c$ takes values in (0, 1) by (13). Given a cyclic ordering $\gamma$ on S, (16) defines a homeomorphism

$$\begin{array}{c}\hfill f_c^{\gamma }:X^{\delta }\cong (0,1)\times X^{{\delta }^{\prime }}\times X^{{\delta }^{\prime \prime }}.\end{array}$$

More generally, for any set J of k non-crossing chords (Definition 2.1) set

$$\begin{array}{c}\hfill X_J=X^{{\delta }_0}\times \cdots \times X^{{\delta }_k}.\end{array}$$ 17

It follows by iterating the above that

$$\begin{array}{c}\hfill f_J^{\gamma }:X^{\delta }\cong {(0,1)}^k\times X_J.\end{array}$$ 18

The closure $\overline{X^{\delta }}\subset {\mathcal{M}}_{0,S}^{\delta }(\mathbb{R})$ for the analytic topology is a compact manifold with corners which has the structure of an associahedron. Note that the maps $f_J^{\gamma }$ do not extend to homeomorphisms of the closed polytopes $\overline{X^{\delta }}$.

Logarithmic differential forms

We define ${\mathrm{\Omega }}_S^{\bullet }$ to be the graded $\mathbb{Q}$-subalgebra of regular forms on ${\mathcal{M}}_{0,S}$ generated by the $dlog{u}_c$, $c\in {\chi }_{S,\delta }$. These are functorial with respect to forgetful maps, i.e.

$$\begin{array}{c}\hfill f_T^{\ast }:{\mathrm{\Omega }}_T^{\bullet }⟶{\mathrm{\Omega }}_S^{\bullet }\end{array}$$ 19

which follows from (14). One knows that all algebraic relations between the forms $dlog{u}_c$ are generated by quadratic relations and furthermore, by Arnol’d–Brieskorn, that ${\mathcal{M}}_{0,S}$ is formal, i.e., the natural map

$$\begin{array}{c}\hfill {\mathrm{\Omega }}_S^{\bullet }\stackrel{\sim }{⟶}{H}_{\mathrm{dR}}^{\bullet }({\mathcal{M}}_{0,S}/\mathbb{Q})\end{array}$$ 20

is an isomorphism of $\mathbb{Q}$-algebras. Consequently, one has [Bro09, §6.1]

$$\begin{array}{c}\hfill H_{\mathrm{dR}}^1({\mathcal{M}}_{0,S}/\mathbb{Q})=\underset{c\in {\chi }_{S,\delta }}{⨁}\mathbb{Q}[\frac{d{u}_c}{u_c}].\end{array}$$ 21

Finally, it follows from mixed Hodge theory [Del71] (see, e.g., [BD20, §4]), that

$$\begin{array}{c}\hfill {\mathrm{\Omega }}_S^r=\mathrm{\Gamma }({\overline{\mathcal{M}}}_{0,S},{\mathrm{\Omega }}_{{\overline{\mathcal{M}}}_{0,S}/\mathbb{Q}}^r(log\partial {\overline{\mathcal{M}}}_{0,S}))\end{array}$$

are the global sections of the sheaf of regular r-forms over $\mathbb{Q}$, with logarithmic singularities along $\partial {\overline{\mathcal{M}}}_{0,S}={\overline{\mathcal{M}}}_{0,S}\backslash {\mathcal{M}}_{0,S}$.

Residues

Taking the residue of logarithmic differential forms defines a map

$$\begin{array}{c}\hfill {\mathrm{Res}}_{D_c}:{\mathrm{\Omega }}_S^{|S|-3}⟶{\mathrm{\Omega }}_{S^{\prime }}^{|S^{\prime }|-3}\otimes {\mathrm{\Omega }}_{S^{\prime \prime }}^{|S^{\prime \prime }|-3}.\end{array}$$

It can be represented graphically by cutting S along the chord c (see e.g. [DV17, Proposition 4.4 and Remark 4.5] where ${\mathrm{Res}}_{D_c}$ is denoted by ${\mathrm{\Delta }}_{\{c\}}$ up to a sign). Residues are functorial with respect to forgetful maps:

Lemma 2.5

Let $T\subset S$ as in Sect. 2.2 and $c^{\prime }\in {\chi }_{{T,\delta |}_T}$. Let c be a chord in ${\chi }_{S,\delta }$ in the preimage of $c^{\prime }$ with respect to $f_T:{\chi }_{S,\delta }\to {\chi }_{{T,\delta |}_T}$. Suppose that cutting along $c^{\prime }$ breaks $(T,\delta {|}_T)$ into polygons $T^{\prime },T^{\prime \prime }$, and cutting along c breaks $(S,\delta )$ into polygons $S^{\prime }$, $S^{\prime \prime }$. Then the following diagram commutes:

$$\begin{array}{c}\hfill \begin{array}{ccc}{\mathrm{\Omega }}_T^{|T|-3}& \stackrel{f_T^{\ast }}{⟶}& {\mathrm{\Omega }}_S^{|S|-3}\\ {\downarrow }_{{\mathrm{Res}}_{D_{c^{\prime }}}}& & {\downarrow }_{{\mathrm{Res}}_{D_c}}\\ {\mathrm{\Omega }}_{T^{\prime }}^{|T^{\prime }|-3}\otimes {\mathrm{\Omega }}_{T^{\prime \prime }}^{|T^{\prime \prime }|-3}& \stackrel{f_{T^{\prime }}^{\ast }\otimes f_{T^{\prime \prime }}^{\ast }}{⟶}& {\mathrm{\Omega }}_{S^{\prime }}^{|S^{\prime }|-3}\otimes {\mathrm{\Omega }}_{S^{\prime \prime }}^{|S^{\prime \prime }|-3}\end{array}\end{array}$$

Proof

This is simply the functoriality of the residue. It can also be checked explicitly using (14) and (21) which implies that

$$\begin{array}{c}\hfill {\mathrm{Res}}_{D_c}{f}_T^{\ast }(dlog{u}_{c^{\prime }}\wedge \omega )={\mathrm{Res}}_{D_c}((dlog{u}_c+\sum _{x}dlog{u}_x)\wedge f_T^{\ast }(\omega ))=f_T^{\ast }(\omega ){|}_{u_c=0},\end{array}$$

where x ranges over chords in the preimage of $c^{\prime }$ not equal to c. Thus the statement reduces to the equation $(f_{T^{\prime }}^{\ast }\otimes f_{T^{\prime \prime }}^{\ast })(\omega {|}_{u_{c^{\prime }}=0})=f_T^{\ast }(\omega ){|}_{u_c=0}$, which is clear. For a form $\omega$ which does not have a pole along $D_{c^{\prime }}$, we have ${\mathrm{Res}}_{D_{c^{\prime }}}\omega =0$. One checks using (14) and the fact that $f_T(c)=c^{\prime }$ that ${\mathrm{Res}}_{D_c}{f}_T^{\ast }(\omega )=0$. $\square$

In the opposite direction, a cyclic structure $\gamma$ defines maps

$$\begin{array}{c}\hfill {(f_c^{\gamma })}^{\ast }:\mathbb{Q}\frac{\mathit{dx}}{x}\otimes {\mathrm{\Omega }}_{S^{\prime }}^{|S^{\prime }|-3}\otimes {\mathrm{\Omega }}_{S^{\prime \prime }}^{|S^{\prime \prime }|-3}⟶{\mathrm{\Omega }}_S^{|S|-3}\end{array}$$ 22

which send $\frac{\mathit{dx}}{x}\otimes {\omega }^{\prime }\otimes {\omega }^{\prime \prime }$ to $dlog(u_c)\wedge f_{T^{\prime }}^{\ast }({\omega }^{\prime })\wedge f_{T^{\prime \prime }}^{\ast }({\omega }^{\prime \prime })$.

Lemma 2.6

We have

$$\begin{array}{c}\hfill {\mathrm{Res}}_{D_c}\left({(f_c^{\gamma })}^{\ast }(\frac{\mathit{dx}}{x}\otimes {\omega }^{\prime }\otimes {\omega }^{\prime \prime })\right)={\omega }^{\prime }\otimes {\omega }^{\prime \prime }\end{array}$$ 23

and

$$\begin{array}{c}\hfill {\mathrm{Res}}_{D_{c^{\prime }}}\left({(f_c^{\gamma })}^{\ast }(\frac{\mathit{dx}}{x}\otimes {\omega }^{\prime }\otimes {\omega }^{\prime \prime })\right)=0\end{array}$$ 24

if c and $c^{\prime }$ cross.

Proof

The first equality follows from the definition. Suppose that cutting $(S,\delta )$ along c decomposes it into $S^{\prime },S^{\prime \prime }$. Since $c^{\prime }$ crosses c, (13) implies that $dlog(u_c)=dlog(1-x{u}_{c^{\prime }})$ vanishes along $u_{c^{\prime }}=0$. Hence forms in ${(f_c^{\gamma })}^{\ast }(\mathbb{Q}\frac{\mathit{dx}}{x}\otimes {\mathrm{\Omega }}_{S^{\prime }}^{|S^{\prime }|-3}\otimes {\mathrm{\Omega }}_{S^{\prime \prime }}^{|S^{\prime \prime }|-3})$ have no poles along $D_{c^{\prime }}$, which proves the second equality. $\square$

Summary of structures

With a view to generalisations we briefly list the geometric ingredients in our renormalisation procedure. We have a simple normal crossing divisor $D\subset {\mathcal{M}}_{0,S}^{\delta }$ whose induced stratification defines an operad structure (15). More precisely, this is a dihedral operad in the sense of [DV17]. We have spaces of global regular logarithmic forms equipped with

• (Residues)

  $$\begin{array}{c}\hfill {\mathrm{Res}}_{D_c}:{\mathrm{\Omega }}_S^{|S|-3}⟶{\mathrm{\Omega }}_{S^{\prime }}^{|S^{\prime }|-3}\otimes {\mathrm{\Omega }}_{S^{\prime \prime }}^{|S^{\prime \prime }|-3}.\end{array}$$
• (Trivialisations, depending on a choice of cyclic structure on S)

  $$\begin{array}{c}\hfill {(f_c^{\gamma })}^{\ast }:\mathbb{Q}\frac{\mathit{dx}}{x}\otimes {\mathrm{\Omega }}_{S^{\prime }}^{|S^{\prime }|-3}\otimes {\mathrm{\Omega }}_{S^{\prime \prime }}^{|S^{\prime \prime }|-3}⟶{\mathrm{\Omega }}_S^{|S|-3}\end{array}$$

satisfying a certain number of compatibilities. In this paper, we also use the property $u_c{|}_{D_{c^{\prime }}}=1$ if $D_c$ and $D_{c^{\prime }}$ do not intersect, but we plan to return to the renormalisation of integrals in a more general context with a leaner set of axioms.

Examples

Let $|S|=4$, and set $S=\{s_1,s_2,s_3,s_4\}$ with the natural dihedral structure $\delta$. The square $(S,\delta )$ has two chords, and two dihedral coordinates

$$\begin{array}{c}\hfill v_{24}=x\text{and}{v}_{13}=1-x.\end{array}$$

Here, and in the next example, a subscript ij denotes the chord meeting the edges labelled $\{s_i,s_{i+1}\}$ and $\{s_j,s_{j+1}\}$ [Bro09, Figure 2]. The scheme ${\mathcal{M}}_{0,4}$ is isomorphic, via the coordinate x, to ${\mathbb{P}}^1\backslash \{0,1,\infty \}$ and its dihedral extension is ${\mathcal{M}}_{0,4}^{\delta }=\mathrm{Spec}\mathbb{Z}[v_{24},v_{13}]/(v_{24}+v_{13}=1)\cong {\mathbb{A}}^1$. The domain $X^{\delta }\subset \mathbb{R}\backslash \{0,1\}$ is the open interval (0, 1). Its closure $\overline{X^{\delta }}\subset {\mathbb{A}}^1(\mathbb{R})=\mathbb{R}$ is [0, 1].

Let $|S|=5$, and set $S=\{s_1,s_2,s_3,s_4,s_5\}$ with the natural dihedral structure $\delta$. The five chords in the pentagon $(S,\delta )$ give rise to five dihedral coordinates which satisfy equations given in [Bro09, §2.2]. These equations define the affine scheme ${\mathcal{M}}_{0,5}^{\delta }$. The pair $x=u_{24},y=u_{25}$ are cubical coordinates (11), and embed

$$\begin{array}{c}\hfill (x,y):{\mathcal{M}}_{0,5}⟶{\mathcal{M}}_{0,4}\times {\mathcal{M}}_{0,4}\cong {\mathbb{P}}^1\backslash \{0,1,\infty \}\times {\mathbb{P}}^1\backslash \{0,1,\infty \}\end{array}$$

Its image is the complement of the hyperbola $xy=1$. We can write all other dihedral coordinates using (12) in terms of these two to give:

$$\begin{array}{c}\hfill u_{13}=1-xy,u_{24}=x,u_{35}=\frac{1-x}{1-xy},u_{14}=\frac{1-y}{1-xy},u_{25}=y.\end{array}$$

The domain $X^{\delta }$ maps to the open unit square $\{(x,y):0<x,y<1\}$. The first coordinate, x, is the forgetful map which forgets the edge $s_5$:

$$\begin{array}{c}\hfill (x,y)\mapsto x:{\mathcal{M}}_{0,5}^{\delta }\stackrel{\pi }{⟶}{\mathcal{M}}_{0,4}^{\delta }\end{array}$$

The induced map on affine rings satisfies ${\pi }^{\ast }(v_{24})=u_{24}$, ${\pi }^{\ast }(v_{13})=u_{13}{u}_{35}$.

de Rham projection

We now fix a dihedral structure $\delta$ on S and write S for $(S,\delta )$. There is a volume form ${\alpha }_{S,\delta }$ on ${\mathcal{M}}_{0,S}^{\delta }$ which is canonical up to a sign [Bro09, §7.1]. A cyclic structure on S defines an orientation on the cell $X^{\delta }$ and fixes the sign of ${\alpha }_{S,\delta }$ if we demand that its integral over $X^{\delta }$ be positive. In simplicial coordinates it is given by [Bro09, (7.1)]:

$$\begin{array}{c}\hfill {\alpha }_{S,\delta }=\prod _{i=0}^{n-1}{(t_{i+2}-t_i)}^{-1}d{t}_1\wedge \cdots \wedge d{t}_n,\end{array}$$ 25

with the convention $t_0=0$, $t_{n+1}=1$.

Definition 2.7

Writing $u_{S,\delta }={\prod }_{c\in {\chi }_{S,\delta }}{u}_c$ we define

$$\begin{array}{c}\hfill {\nu }_{S,\delta }={(-1)}^{\frac{n(n+1)}{2}}{u}_{S,\delta }^{-1}{\alpha }_{S,\delta }\end{array}$$ 26

Note that the sign is the same as in [BD20, §4.5]. When the dihedral structure is clear from the context, we write ${\nu }_S$ for ${\nu }_{S,\delta }.$

Lemma 2.8

The form ${\nu }_{S,\delta }$ defines a meromorphic form on ${\overline{\mathcal{M}}}_{0,S}$ with logarithmic singularities, and has simple poles only along those divisors which bound the cell $X^{\delta }$. In simplicial coordinates (10), and using the convention $t_0=0$, $t_{n+1}=1$,

$$\begin{array}{c}\hfill {\nu }_{S,\delta }={(-1)}^{\frac{n(n+1)}{2}}\prod _{i=0}^n{(t_{i+1}-t_i)}^{-1}d{t}_1\wedge \cdots \wedge d{t}_n.\end{array}$$ 27

Proof

Using the equation $1-u_c={\prod }_{c^{\prime }\in A}{u}_{c^{\prime }}$, where A is the set of chords which cross $c^{\prime }$, which as an instance of (12), we deduce that

$$\begin{array}{c}\hfill u_{S,\delta }^2=\prod _{i\mathrm{mod}n+3}(1-u_{\{i,i+1,i+2,i+3\}}).\end{array}$$

Using the definition of dihedral coordinates as cross-ratios [Bro09, (2.6) and §2.1],

$$\begin{array}{c}\hfill u_{S,\delta }^2=\prod _{i\mathrm{mod}n+3}\frac{(z_i-z_{i+1})(z_{i+2}-z_{i+3})}{(z_i-z_{i+2})(z_{i+1}-z_{i+3})}={\left(\prod _{i\mathrm{mod}n+3},\frac{z_i-z_{i+1}}{z_i-z_{i+2}}\right)}^2.\end{array}$$

Using the fact that $u_{S,\delta }$ is positive on $X^{\delta }$ one obtains

$$\begin{array}{c}\hfill u_{S,\delta }=\prod _{i=0}^n(t_{i+1}-t_i)\prod _{i=0}^{n-1}{(t_{i+2}-t_i)}^{-1}\end{array}$$

after passing to simplicial coordinates. Equation (27) then follows from (25). From (27), we see that ${\nu }_{S,\delta }$ is, up to a sign, the cellular differential form [BCS10, §2] corresponding to $(S,\delta )$. The rest follows from [BCS10, Proposition 2.7]. $\square$

After passing to cubical coordinates one obtains the more symmetric expression

$$\begin{array}{c}\hfill {\nu }_{S,\delta }={(-1)}^{\frac{n(n+1)}{2}}\underset{i=1}{\overset{n}{\bigwedge }}\frac{d{x}_i}{x_i(1-x_i)}·\end{array}$$ 28

The following proposition follows from the computations in [BD20, §4].

Proposition 2.9

Let $[\overline{X^{\delta }}]\in H_0^{\mathrm{B}}({\mathcal{M}}_{0,S}^{\delta },\partial {\mathcal{M}}_{0,S}^{\delta })$ denote the class of the closure of the domain $X^{\delta }$. Then, with $c_0^{\vee }$ as defined in [BD20, §4], we have

$$\begin{array}{c}\hfill c_0^{\vee }\left([,\overline{X^{\delta }},]\right)={(2\pi i)}^{-n}{\nu }_{S,\delta }.\end{array}$$

Working in cubical coordinates and using (28) we get the following compatibility between the ${\nu }_{S,\delta }$ and the maps $f_c^{\gamma }:{\mathcal{M}}_{0,S}\to {\mathcal{M}}_{0,T_c}\times {\mathcal{M}}_{0,S^{\prime }}\times {\mathcal{M}}_{0,S^{\prime \prime }}$. We set

$$\begin{array}{c}\hfill {\nu }_c=-\frac{d{u}_c}{u_c(1-u_c)}=u_c^{\ast }({\nu }_{T_c,{\delta }_{|T_c}}).\end{array}$$

Lemma 2.10

We have ${(f_c^{\gamma })}^{\ast }({\nu }_c\otimes {\nu }_{S^{\prime },{\delta }^{\prime }}\otimes {\nu }_{S^{\prime \prime },{\delta }^{\prime \prime }})={(-1)}^{(|S^{\prime }|-1)(|S^{\prime \prime }|-1)}{\nu }_{S,\delta }.$

The sign is compatible with the single-valued Fubini theorem discussed in [BD20, §5]: for $\omega \in {\mathrm{\Omega }}_{T_c}^1$, ${\omega }^{\prime }\in {\mathrm{\Omega }}_{S^{\prime }}^{|S^{\prime }|-3}$, ${\omega }^{\prime \prime }\in {\mathrm{\Omega }}_{S^{\prime \prime }}^{|S^{\prime \prime }|-3}$ we have

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}& {\nu }_S\wedge \overline{{(f_c^{\gamma })}^{\ast }(\omega \otimes {\omega }^{\prime }\otimes {\omega }^{\prime \prime })}\hfill \\ \hfill & =\left({\int }_{{\overline{\mathcal{M}}}_{0,4}(\mathbb{C})},{\nu }_c,\wedge ,\overline{\omega }\right)\left({\int }_{{\overline{\mathcal{M}}}_{0,S^{\prime }}(\mathbb{C})},{\nu }_{S^{\prime }},\wedge ,\overline{{\omega }^{\prime }}\right)\left({\int }_{{\overline{\mathcal{M}}}_{0,S^{\prime \prime }}(\mathbb{C})},{\nu }_{S^{\prime \prime }},\wedge ,\overline{{\omega }^{\prime \prime }}\right).\hfill \end{array}\end{array}$$

Let $J=\{j_1,\dots ,j_k\}$ be a set of k non-crossing chords. With the notation of Definition 2.1 we may define

$$\begin{array}{c}\hfill {\nu }_J={\nu }_{j_1}\otimes \cdots \otimes {\nu }_{j_k}\in {\mathrm{\Omega }}_{T_{j_1}}^1\otimes \cdots \otimes {\mathrm{\Omega }}_{T_{j_k}}^1\\ \hfill {\nu }_{S/J}={\nu }_{S_0}\otimes \cdots \otimes {\nu }_{S_k}\in {\mathrm{\Omega }}_{S_0}^{|S_0|-3}\otimes \cdots \otimes {\mathrm{\Omega }}_{S_k}^{|S_k|-3}.\end{array}$$

We have the compatibility

$$\begin{array}{c}\hfill {(f_J^{\gamma })}^{\ast }({\nu }_J\otimes {\nu }_{S/J})=\pm {\nu }_S,\end{array}$$ 29

with a sign that is compatible with the single-valued Fubini theorem.

String Amplitudes in Genus 0

We give a self-contained account of open and closed string amplitudes in genus 0, recast them in terms of dihedral coordinates, and discuss their convergence. The results in this section are standard in the physics literature, which is very extensive. The seminal references are [GSW12], [KLT86]. More recent work, including [SS13], [Sti14], [ST14], [BSST14], served as the main inspiration for the results below.

Momentum conservation

Let $N=n+3\ge 3$ and let $s_{\mathit{ij}}\in \mathbb{C}$ for $1\le i,j\le N$ satisfying $s_{\mathit{ij}}=s_{\mathit{ji}}$ and $s_{\mathit{ii}}=0$. Let $(x_i:y_i)$ denote homogeneous coordinates on ${\mathbb{P}}^1$ for $1\le i\le N.$ Consider the functions

$$\begin{array}{c}\hfill f_{\underset{\_}{s}}=\prod _{1\le i<j\le N}{(x_j{y}_i-x_i{y}_j)}^{s_{\mathit{ij}}}\text{and}{g}_{\underset{\_}{s}}=\prod _{1\le i<j\le N}{|x_j{y}_i-x_i{y}_j|}^{2s_{\mathit{ij}}}\end{array}$$

on ${((\mathbb{C}\times \mathbb{C})\backslash \{0,0\})}^N$. The former is multi-valued, the latter is single-valued.

Lemma 3.1

The functions $f_{\underset{\_}{s}}$, $g_{\underset{\_}{s}}$ define (multi-valued, in the case of $f_{\underset{\_}{s}}$) functions on the configuration space of distinct points $p_1,\dots ,p_N\in {\mathbb{P}}^1(\mathbb{C})$ if and only if

$$\begin{array}{c}\hfill \sum _{1\le j\le N}{s}_{\mathit{ij}}=0\text{for all}1\le i\le N.\end{array}$$ 30

In this case, they are automatically ${\mathrm{PGL}}_2$-invariant and define (multi-valued, in the case of $f_{\underset{\_}{s}}$) functions on the moduli space ${\mathcal{M}}_{0,N}(\mathbb{C})$.

Proof

The functions $f_{\underset{\_}{s}}$, $g_{\underset{\_}{s}}$ are invariant under scalar transformations $(x_i,y_i)\mapsto ({\lambda }_i{x}_i,{\lambda }_i{y}_i)$ if and only if (30) holds. The first part of the statement follows. For the second, observe that ${\mathrm{GL}}_2$ acts by left matrix multiplication on

$$\begin{array}{c}\hfill \left(\begin{array}{cccc}{x}_1& x_2& \dots & x_N\\ y_1& y_2& \dots & y_N\end{array}\right)\end{array}$$

Since each term $x_j{y}_i-x_i{y}_j$ is minus the determinant of the matrix formed from the columns i, j, ${\mathrm{GL}}_2$ acts via scalar multiplication. We have already established that scalar invariance is equivalent to (30), and hence proves the second part. The last part follows since the moduli space ${\mathcal{M}}_{0,N}$ is the quotient of the configuration space of N distinct points in ${\mathbb{P}}^1$ modulo the action of ${\mathrm{PGL}}_2$. $\square$

We call (30), together with $s_{\mathit{ij}}=s_{\mathit{ji}}$ and $s_{\mathit{ii}}=0$ the momentum conservation equations. The solutions to these equations form a vector space (scheme) $V_N$.

When they hold, denote the above functions simply by

$$\begin{array}{c}\hfill f_{\underset{\_}{s}}=\prod _{1\le i<j\le N}{(p_j-p_i)}^{s_{\mathit{ij}}}\text{and}{g}_{\underset{\_}{s}}=\prod _{1\le i<j\le N}{|p_j-p_i|}^{2s_{\mathit{ij}}},\end{array}$$

where $p_i=x_i/y_i$. The former has a canonical branch on the locus where the points $p_i$ are located on the circle ${\mathbb{P}}^1(\mathbb{R})$ in the natural order, which corresponds to the domain $X^{\delta }\subset {\mathcal{M}}_{0,N}(\mathbb{R})$. When (30) holds, the differential 1-form

$$\begin{array}{c}\hfill {\omega }_{\underset{\_}{s}}=\frac{d{f}_{\underset{\_}{s}}}{f_{\underset{\_}{s}}}=\sum _{1\le i<j\le N}{s}_{\mathit{ij}}\frac{d{p}_j-d{p}_i}{p_j-p_i}\end{array}$$ 31

defines a logarithmic 1-form on $({\overline{\mathcal{M}}}_{0,N},\partial {\overline{\mathcal{M}}}_{0,N})$. We therefore obtain a linear map

$$\begin{array}{c}\hfill V_N(\mathbb{K})⟶\mathrm{\Gamma }({\overline{\mathcal{M}}}_{0,N},{\mathrm{\Omega }}_{{\overline{\mathcal{M}}}_{0,N}/\mathbb{K}}^1(log\partial {\overline{\mathcal{M}}}_{0,N}))\cong H_{\mathrm{dR}}^1({\mathcal{M}}_{0,N}/\mathbb{K})\end{array}$$ 32

for any field $\mathbb{K}$ of characteristic zero.

Lemma 3.2

The map (32) is an isomorphism.

Proof

It is injective: if ${\omega }_{\underset{\_}{s}}$ were to vanish then its residue along $p_i=p_j$, viewed as a divisor in the configuration space of N distinct points on the projective line, would vanish. Hence all $s_{\mathit{ij}}=0$. Next observe that $V_{N-1}\subset V_N$, and that $V_N/V_{N-1}$ is generated by $s_{\mathit{iN}}=s_{\mathit{Ni}}$, for $1\le i\le N-1$, subject to the single relation

$$\begin{array}{c}\hfill s_{1N}+\cdots +s_{N-1N}=0.\end{array}$$

Therefore $dim{V}_N=dim{V}_{N-1}+N-2$. By injectivity, $V_3=0$ since ${\mathcal{M}}_{0,3}$ is a point. Hence $dim{V}_N=N(N-3)/2$, which equals $dim{H}_{\mathrm{dR}}^1({\mathcal{M}}_{0,N})$ by (21), and so (32) is an isomorphism. $\square$

String amplitudes in simplicial coordinates

It is customary in the physics literature to write the open and closed string amplitudes in simplicial coordinates (10). We use the coordinate system on $V_N$ consisting of the $s_{\mathit{ij}}$ for $1\le i<j\le n$ along with the $s_{i,n+1}$ and $s_{i,n+3}$ for $1\le i\le n$. We use the notation $s_{0,i}=s_{i,n+3}$. Let $|S|=N=n+3$ and let $\omega \in {\mathrm{\Omega }}_S^n$ be a global logarithmic form. Let $s_{\mathit{ij}}\in \mathbb{C}$ be a solution to the momentum conservation equations (30). The associated open string amplitude is formally written as the integral

$$\begin{array}{c}\hfill {\int }_{0<t_1<\dots <t_n<1}\left(\prod _{0\le i<j\le n+1},{(t_j-t_i)}^{s_{\mathit{ij}}}\right)\omega \end{array}$$ 33

with the convention $t_0=0$, $t_{n+1}=1$. In the literature (see Theorem 6.10 below), $\omega$ is typically of the form

$$\begin{array}{c}\hfill \frac{d{t}_1\wedge \cdots \wedge d{t}_n}{{\prod }_{i=0}^n(t_{\sigma (i+1)}-t_{\sigma (i)})}\end{array}$$ 34

for some permutation $\sigma$ of $\{0,\dots ,n+1\}$.

Closed string amplitudes are written in the form

$$\begin{array}{c}\hfill {(2\pi i)}^{-n}{\int }_{{\mathbb{C}}^n}\left(\prod _{0\le i<j\le n+1},{|z_j-z_i|}^{2s_{\mathit{ij}}}\right){\nu }_S\wedge \overline{\omega }\end{array}$$ 35

where ${\nu }_S$ was given in Definition 2.7. For $\omega$ of the form (34), we can rewrite (35) as

$$\begin{array}{c}\hfill {\pi }^{-n}{\int }_{{\mathbb{C}}^n}\frac{{\prod }_{0\le i<j\le n+1}{|z_j-z_i|}^{2s_{\mathit{ij}}}}{{\prod }_{i=0}^n(z_{i+1}-z_i){\prod }_{i=0}^n({\overline{z}}_{\sigma (i+1)}-{\overline{z}}_{\sigma (i)})}{d}^2{z}_1\wedge \cdots \wedge d^2{z}_n,\end{array}$$

with the notation $d^{2}z=d\mathrm{Re}(z)\wedge d\mathrm{Im}(z)$. Note that the apparently complicated sign in the definition of ${\nu }_S$ is such that all signs cancel in the previous formula, in agreement with the conventions in the physics literature.

Convergence of these integrals is discussed below. As we shall see, a huge amount is gained by first rewriting them in dihedral coordinates.

String amplitudes in dihedral coordinates

Let $S=(S,\delta )$ be a set of cardinality $N=n+3\ge 3$ and fix a dihedral structure. Suppose that $s_{\mathit{ij}}$ are solutions to the momentum-conservation equations. It follows from Lemma 3.2 and (21) that we can uniquely write

$$\begin{array}{c}\hfill {\omega }_{\underset{\_}{s}}=\sum _{c\in {\chi }_S}{s}_c\frac{d{u}_c}{u_c},\end{array}$$

where the $s_c$ are linear combinations of the $s_{\mathit{ij}}$ indexed by each chord in $(S,\delta )$. Thus the $s_c$ form a natural system of coordinates for the space $V_N$. More precisely:

Lemma 3.3

Denoting a chord by a set of edges $c=\{a,a+1,b,b+1\}$, we have

$$\begin{array}{cc}\hfill s_{\mathit{ij}}=& s_{\{i,i+1,j-1,j\}}+s_{\{i-1,i,j,j+1\}}-s_{\{i-1,i,j-1,j\}}-s_{\{i,i+1,j,j+1\}}\hfill \\ \hfill s_{\{i,i+1,j,j+1\}}=& \sum _{i<a<b\le j}{s}_{\mathit{ab}}.\hfill \end{array}$$ 36

Proof

See [Bro09, (6.14) and (6.17)]. $\square$

The coordinates $s_c$ are better suited than the $s_{\mathit{ij}}$ for studying (33) and (35). By (36), we have on appropriate branches (e.g., on $X^{\delta }$) the equation:

$$\begin{array}{c}\hfill \prod _{1\le i<j\le N}{(p_j-p_i)}^{s_{\mathit{ij}}}=\prod _{c\in {\chi }_S}{u}_c^{s_c}.\end{array}$$

Definition 3.4

For a tuple of complex numbers $\underset{\_}{s}={(s_c)}_{c\in {\chi }_S}$ and a logarithmic form $\omega \in {\mathrm{\Omega }}_S^{|S|-3}$, define the open string amplitude, when it converges, to be:

$$\begin{array}{c}\hfill I^{\mathrm{open}}(\omega ,\underset{\_}{s})={\int }_{X^{\delta }}\left(\prod _{c\in {\chi }_S},u_c^{s_c}\right)\omega .\end{array}$$ 37

Define the closed string amplitude, when it converges, to be:

$$\begin{array}{c}\hfill I^{\mathrm{closed}}(\omega ,\underset{\_}{s})={(2\pi i)}^{-n}{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}\left(\prod _{c\in {\chi }_S},{|u_c|}^{2s_c}\right){\nu }_S\wedge \overline{\omega }.\end{array}$$ 38

These definitions are equivalent to (33) and (35), respectively, after passing to simplicial coordinates. For the closed string case, one can change its domain using the fact that ${\overline{\mathcal{M}}}_{0,S}(\mathbb{C})\supset {\mathcal{M}}_{0,S}(\mathbb{C})\subset {\mathbb{C}}^n$ differ by sets of Lebesgue measure zero.

In the physics literature, one usually wants to expand string amplitudes in the Mandelstam variables $\underset{\_}{s}$. However, the integrals (37) and (38) generally do not converge if $\underset{\_}{s}$ is close to zero, as the following propositions show.

Convergence of the open and closed string amplitudes

Proposition 3.5

The integral $I^{\mathrm{open}}(\omega ,\underset{\_}{s})$ of (37) converges absolutely for $s_c\in \mathbb{C}$ satisfying

$$\begin{array}{c}\hfill \mathrm{Re}(s_c)>\left\{\begin{array}{c}0\text{if}{\mathrm{Res}}_{D_c}\omega \ne 0;\hfill \\ -1\text{if}{\mathrm{Res}}_{D_c}\omega =0.\hfill \end{array}\right)\end{array}$$

Proof

Let $J\subset {\chi }_S$ be a set of non-crossing chords. The set J can be extended to a maximal set $J\subset J^{\prime }\subset {\chi }_S$ of non-crossing chords. The $u_j$ for $j\in J^{\prime }$ form a system of local coordinates on ${\mathcal{M}}_{0,S}^{\delta }$ [Bro09, §2.4]. For any $\epsilon >0$, consider the set

$$\begin{array}{c}\hfill S_{\epsilon }^J=\{0\le u_j<\epsilon \text{for}j\in J,u_{j^{\prime }}\ge \epsilon \text{for}{j}^{\prime }\in J^{\prime }\backslash J\}\subset \overline{X^{\delta }}.\end{array}$$

The sets $S_{\epsilon }^J$, for varying J, cover $\overline{X^{\delta }}$ for sufficiently small $\epsilon$. This follows because the latter is defined by the domain $u_c\ge 0$ for all $c\in {\chi }_S$. Since $u_c$ and $u_{c^{\prime }}$ can only vanish simultaneously if c and $c^{\prime }$ do not cross by (13), it follows that

$$\begin{array}{c}\hfill \overline{X^{\delta }}=\bigcup _{\epsilon >0}\bigcup _J{S}_{\epsilon }^J.\end{array}$$

This implies the covering property by compactness of $\overline{X^{\delta }}$. It suffices to show that the integrand is absolutely convergent on each $S_{\epsilon }^J$. In the local coordinates $u_j$, the normal crossing property means that we can write the integrand of (37) as

$$\begin{array}{c}\hfill \left(\prod _{c\in {\chi }_S},u_c^{s_c}\right)\omega =\left(\prod _{c\notin J},u_c^{s_c}\right){\omega }_0\wedge \left(\underset{c\in J}{\bigwedge },u_c^{s_c},\frac{d{u}_c}{u_c^{p_c}}\right)\end{array}$$

where $p_c=-{\mathrm{ord}}_{D_c}\omega$ is the order of the pole of $\omega$ along $u_c=0$, and ${\omega }_0$ has no poles on $S_{\epsilon }^J$. Since $x^{\alpha }dx$ is integrable on $[0,\epsilon )$ for $\mathrm{Re}\alpha >-1$, the condition $\mathrm{Re}(s_c-p_c)>-1$ for all $c\in J$ guarantees absolute convergence over $S_{\epsilon }^J$. $\square$

Note that the region of convergence does not permit a Taylor expansion at $s_c=0$.

Proposition 3.6

Let $N=|S|$. The integral $I^{\mathrm{closed}}(\omega ,\underset{\_}{s})$ of (38) converges absolutely for $s_c\in \mathbb{C}$ satisfying

$$\begin{array}{c}\hfill \frac{1}{N^2}>\mathrm{Re}(s_c)>\left\{\begin{array}{cc}0\hfill & \text{if}{\mathrm{Res}}_{D_c}\omega \ne 0;\hfill \\ -\frac{1}{2}\hfill & \text{if}{\mathrm{Res}}_{D_c}\omega =0.\hfill \end{array}\right)\end{array}$$ 39

Proof

Let $\mathrm{\Omega }$ denote the integrand of (38). Let $D\subset {\overline{\mathcal{M}}}_{0,S}$ be an irreducible boundary divisor. Supose first that D is a component of $\partial {\mathcal{M}}_{0,S}^{\delta }$ and is therefore defined by $u_c=0$ for some $c\in {\chi }_S$. By Lemma 2.8, ${\nu }_S$ has a simple pole along D. In the local coordinate $z=u_c$, $\mathrm{\Omega }$ has at worst poles of the form:

$$\begin{array}{c}\hfill {|z|}^{2s_c}\frac{dz\wedge d\overline{z}}{z\overline{z}}\text{if}{\mathrm{Res}}_{D_c}\omega \ne 0,{|z|}^{2s_c}\frac{dz\wedge d\overline{z}}{z}\text{if}{\mathrm{Res}}_{D_c}\omega =0.\end{array}$$

In polar coordinates $z=\rho e^{i\theta }$, the left-hand term is proportional to ${\rho }^{2s_c-1}d\rho d\theta$ and hence integrable for $\mathrm{Re}(s_c)>0$, the right-hand term to ${\rho }^{2s_c}d\rho d\theta$ and hence integrable for $\mathrm{Re}(s_c)>-1/2$. Now consider a boundary divisor D which is a component of ${\overline{\mathcal{M}}}_{0,S}\backslash {\mathcal{M}}_{0,S}$ but which is not a component of $\partial {\mathcal{M}}_{0,S}^{\delta }$ (at ‘infinite distance’). It is defined by a local coordinate $z=0$ (which is a dihedral coordinate with respect to some other dihedral structure on S). By Lemma 2.8, ${\nu }_S$ has no pole along $z=0$. Since $\omega$ has logarithmic singularities, $\mathrm{\Omega }$ is locally at worst of the form

$$\begin{array}{c}\hfill {|z|}^{2p}\frac{dz\wedge d\overline{z}}{z}\end{array}$$

where p is a linear form in the $s_c$. Since any cross-ratio $u_c$ has at most a simple zero or pole along D, it follows that $p={\sum }_{c\in {\chi }_S}{a}_c{s}_c$ where $a_c\in \{0,\pm 1\}$ (an explicit formula for p in terms of $s_c$ is given in [Bro09, §7.3]). By passing to polar coordinates one sees that the integrability condition reads $2\mathrm{Re}(p)>-1$. Assuming (39) one gets the inequality

$$\begin{array}{c}\hfill 2\mathrm{Re}(p)>-2\frac{|{\chi }_S|}{N^2}=-\frac{N(N-3)}{N^2}>-1,\end{array}$$

and we are done. $\square$

Put differently, for any $s_c$ satisfying the assumptions (39), the integrand of (38) is polar-smooth on $({\overline{\mathcal{M}}}_{0,S},\partial {\overline{\mathcal{M}}}_{0,S})$ in the sense of Definition 3.7 of [BD20].

Example

Let $|S|=4$, and set $\omega =\frac{\mathit{dx}}{x(1-x)}$. We have for $s,t\in \mathbb{C}$,

$$\begin{array}{c}\hfill I^{\mathrm{open}}(\omega ,(s,t))={\int }_0^1{x}^s{(1-x)}^t\frac{\mathit{dx}}{x(1-x)}={\int }_0^1{x}^{s-1}{(1-x)}^{t-1}dx.\end{array}$$

This is the classical beta function $\beta (s,t)$, which converges for $\mathrm{Re}(s)>0$, $\mathrm{Re}(t)>0$. For the closed string amplitude we get

$$\begin{array}{cc}\hfill I^{\mathrm{closed}}(\omega ,(s,t))& =\frac{1}{2\pi i}{\int }_{{\mathbb{P}}^1(\mathbb{C})}{|z|}^{2s}{|1-z|}^{2t}\frac{\mathit{dz}}{z(1-z)}\wedge \left(-,\frac{d\overline{z}}{\overline{z}(1-\overline{z})}\right)\hfill \\ \hfill & =\frac{1}{\pi }{\int }_{\mathbb{C}}{|z|}^{2(s-1)}{|1-z|}^{2(t-1)}{d}^{2}z,\hfill \end{array}$$

where $d^{2}z=d\mathrm{Re}(z)\wedge d\mathrm{Im}(z)$. This is the complex beta function ${\beta }_{\mathbb{C}}(s,t)$, which converges for $\mathrm{Re}(s)>0$, $\mathrm{Re}(t)>0$, $\mathrm{Re}(s+t)<1$.

‘Renormalisation’ of String Amplitudes

Formal moduli space integrands

Let us fix $S=(S,\delta )$ as above. We shall interpret the integrands of string amplitudes as formal symbols in dihedral coordinates, with a view to either taking a Taylor expansion in the variables $s_c$, or specialising to complex numbers in the case when the integrals are convergent. This will furthermore enable us to treat the open and closed string integrands simultaneously. To this end, consider a fixed commutative monoid $(M,+)$ which is free with finitely many generators. The main example will be $M_S={⨁}_{c\in {\chi }_S}\mathbb{N}{s}_c$, the monoid of non-negative integer linear combinations of the symbols $s_c$.

Definition 4.1

Denote by $F_S(M)$ the $\mathbb{Q}$-algebra generated by formal symbols $u_c^m$, for $c\in {\chi }_S$ and $m\in M$, modulo the relations $u_c^0=1$ and

$$\begin{array}{c}\hfill u_c^{m+m^{\prime }}=u_c^m{u}_c^{m^{\prime }}\text{for all}m,m^{\prime }\in M.\end{array}$$

Similarly, if c is a chord, let $F_c(M)$ be the $\mathbb{Q}$-algebra generated by $u_c^m$ for $m\in M$ modulo the above relations. Let us write

$$\begin{array}{c}\hfill {\mathcal{A}}_S(M)=F_S(M)\otimes {\mathrm{\Omega }}_S^{|S|-3}\end{array}$$

and set

$$\begin{array}{c}\hfill {\mathcal{A}}_c(M)=F_c(M)\otimes \mathbb{Q}dlog(u_c).\end{array}$$

We write the elements of ${\mathcal{A}}_S(M)$ without the tensor product, as linear combinations of $\left({\prod }_{c\in {\chi }_S},u_c^{m_c}\right)\omega$. Similarly, an element of ${\mathcal{A}}_c(M)$ is denoted $u_c^{m_c}dlog(u_c)$.

Definition 4.2

Let $J\subset {\chi }_S$ be any subset of non-crossing chords as in Definition 2.1. Write $J=\{j_1,\dots ,j_k\}$. Let us define

$$\begin{array}{cc}\hfill {\mathcal{A}}_J(M)=& {\mathcal{A}}_{j_1}(M)\otimes \cdots \otimes {\mathcal{A}}_{j_k}(M)\hfill \\ \hfill {\mathcal{A}}_{S/J}(M)=& {\mathcal{A}}_{S_0}(M)\otimes \cdots \otimes {\mathcal{A}}_{S_k}(M).\hfill \end{array}$$

Remark 4.3

There is no preferred linear order on J or on the set of polygons that are cut out by J. The tensor products in Definition 4.2 are therefore to be understood in the tensor category of graded vector spaces with the Koszul sign rule, where ${\mathcal{A}}_S(M)$ has degree $|S|-3$, and ${\mathcal{A}}_c(M)$ has degree $4-3=1$.

Remark 4.4

We can think of the formal function $u_c^{m_c}$ as a horizontal section of the formal connection $\mathrm{\nabla }=d-m_{c}dlog(u_c)$ on the trivial rank 1 bundle on the punctured (total space of the) normal bundle to $D_c$.

A forgetful map $f_T:{\mathcal{M}}_{0,S}\to {\mathcal{M}}_{0,T}$ defines a morphism $f_T^{\ast }:F_T(M)\to F_S(M)$ via formula (14). By combining it with (19) we get a morphism

$$\begin{array}{c}\hfill f_T^{\ast }:{\mathcal{A}}_T(M)\to {\mathcal{A}}_S(M).\end{array}$$ 40

We can realise the formal moduli space integrands as differential forms as follows.

Definition 4.5

Given an additive map $\alpha :M\to \mathbb{C}$, define a $\mathbb{Q}$-linear map

$$\begin{array}{cc}\hfill {\rho }_{\alpha }^{\mathrm{open}}& :{\mathcal{A}}_S(M)⟶\text{differential forms on}{X}^{\delta }\hfill \\ \hfill & \left(\prod _c,u_c^{m_c}\right)\omega \mapsto \left(\prod _c,u_c^{\alpha (m_c)}\right)\omega .\hfill \end{array}$$

It is single-valued since $u_c^{\alpha }=exp(\alpha log(u_c))$ and $log(u_c)$ has a canonical branch on $X^{\delta }$, which is the region $0<u_c<1$. In a similar manner, we can define

$$\begin{array}{cc}\hfill {\rho }_{\alpha }^{\mathrm{closed}}& :{\mathcal{A}}_S(M)⟶\text{differential forms on}{\mathcal{M}}_{0,S}(\mathbb{C})\hfill \\ \hfill & \left(\prod _c,u_c^{m_c}\right)\omega \mapsto {(2\pi i)}^{-n}\left(\prod _c,{|u_c|}^{2\alpha (m_c)}\right){\nu }_S\wedge \overline{\omega }.\hfill \end{array}$$

Infinitesimal behaviour

We define a kind of residue of formal differential forms along boundary divisors which encodes the infinitesimal behaviour of functions in the neighbourhood of the divisor. We first define the evaluation map

$$\begin{array}{c}\hfill {\mathrm{ev}}_c:F_S(M)\to F_c(M)\otimes F_{S^{\prime }}(M)\otimes F_S(M)\end{array}$$

as the morphism sending a formal symbol $u_{c^{\prime }}$ to 1 if $c^{\prime }$ crosses c, and all other symbols to identically named symbols.

Definition 4.6

For any $c\in {\chi }_S$ we define the map

$$\begin{array}{c}\hfill R_c:{\mathcal{A}}_S(M)⟶{\mathcal{A}}_c(M)\otimes {\mathcal{A}}_{S^{\prime }}(M)\otimes {\mathcal{A}}_{S^{\prime \prime }}(M)\end{array}$$

to be the tensor product of the evaluation map ${\mathrm{ev}}_c$ and the map of logarithmic differential forms $\omega \mapsto dlog(u_c)\otimes {\mathrm{Res}}_{D_c}(\omega )$.

Lemma 4.7

If $c_1,c_2\in {\chi }_S$ do not cross, then $R_{c_1}\circ R_{c_2}=R_{c_2}\circ R_{c_1}$.

Proof

The commutativity for the evaluation maps is clear. Since $dlog(u_{c_1})\wedge dlog(u_{c_2})=-dlog(u_{c_2})\wedge dlog(u_{c_1})$, the residues anticommute: ${\mathrm{Res}}_{D_{c_1}}\circ {\mathrm{Res}}_{D_{c_2}}=-{\mathrm{Res}}_{D_{c_2}}\circ {\mathrm{Res}}_{D_{c_1}}$. This sign is compensated by the Koszul sign rule (see Remark 4.3) for the tensor product ${\mathcal{A}}_{c_1}(M)\otimes {\mathcal{A}}_{c_2}(M)\simeq {\mathcal{A}}_{c_2}(M)\otimes {\mathcal{A}}_{c_1}(M)$. $\square$

Let $J=\{j_1,\dots ,j_k\}\subset {\chi }_S$ be a subset of non-crossing chords as in Definition 2.1. By the previous lemma one can compute the iterated residue $R_J=R_{j_1}\circ \cdots \circ R_{j_k}$ in any order, which provides a linear map

$$\begin{array}{c}\hfill R_J:{\mathcal{A}}_S(M)⟶{\mathcal{A}}_J(M)\otimes {\mathcal{A}}_{S/J}(M).\end{array}$$

Trivialisation maps

Fix a cyclic ordering $\gamma$ on S which is compatible with $\delta$. Using the morphisms (40) define for each chord $c\in {\chi }_S$ a trivialisation map

$$\begin{array}{c}\hfill f_c^{\ast }:F_c(M)\otimes F_{S^{\prime }}(M)\otimes F_{S^{\prime \prime }}(M)\to F_S(M)\end{array}$$ 41

by $f_c^{\ast }(u_c^m\otimes U^{\prime }\otimes U^{\prime \prime })=u_c^m{f}_{T^{\prime }}^{\ast }(U^{\prime })f_{T^{\prime \prime }}^{\ast }(U^{\prime \prime })$ (compare (22)). One checks that

$$\begin{array}{c}\hfill {\mathrm{ev}}_c\circ f_c^{\ast }=\mathrm{id}.\end{array}$$ 42

Lemma 4.8

For $U\in F_S(M)$, the difference $U-f_c^{\ast }({\mathrm{ev}}_c(U))$ lies in the ideal of $F_S(M)$ generated by elements $u_{c^{\prime }}^{m^{\prime }}-1$ for all chords $c^{\prime }$ crossing c, and $m^{\prime }\in M.$

Proof

Follows from the definitions. $\square$

By tensoring (41) with the map of logarithmic forms (22) one gets a map

$$\begin{array}{c}\hfill f_c^{\ast }:{\mathcal{A}}_c(M)\otimes {\mathcal{A}}_{S^{\prime }}(M)\otimes {\mathcal{A}}_{S^{\prime \prime }}(M)⟶{\mathcal{A}}_S(M).\end{array}$$ 43

Lemma 4.9

If $c_1,c_2\in {\chi }_S$ do not cross, then $f_{c_1}^{\ast }\circ f_{c_2}^{\ast }=f_{c_2}^{\ast }\circ f_{c_1}^{\ast }$.

Proof

The commutativity for the maps on the components of the tensor products involving formal symbols is clear. The claim is thus a consequence of Lemma 2.3, which treats the components which are logarithmic forms. $\square$

Let $J=\{j_1,\dots ,j_k\}\subset {\chi }_S$ be a subset of non-crossing chords as in Definition 2.1. By the previous lemma one can compute the iterated trivialisation map $f_J^{\ast }=f_{j_1}^{\ast }\circ \cdots \circ f_{j_k}^{\ast }$ in any order, which provides a map

$$\begin{array}{c}\hfill f_J^{\ast }:{\mathcal{A}}_J(M)\otimes {\mathcal{A}}_{S/J}(M)⟶{\mathcal{A}}_S(M).\end{array}$$

Compatibilities

The maps $R_c$ and $f_c^{\ast }$ satisfy the following compatibilities.

Lemma 4.10

1. For every chord c we have $R_c\circ f_c^{\ast }=\mathrm{id}$.

2. For two crossing chords $c,c^{\prime }$ we have $R_{c^{\prime }}\circ f_c^{\ast }=0$.

Proof

(1) follows from (23) and (42), and (2) follows from (24). $\square$

Lemma 4.11

Let $c_1,c_2$ be two chords in ${\chi }_S$ which do not cross. Cutting along the chord $c_i$ produces polygons $S_i^{\prime },S_i^{\prime \prime }$, for $i=1,2$ with the induced cyclic or dihedral structures. Without loss of generality, suppose that $c_1$ lies in $S_2^{\prime }$. Then

$$\begin{array}{c}\hfill R_{c_1}\circ f_{c_2}^{\ast }=(\mathrm{id}\otimes f_{c_2}^{\ast }\otimes \mathrm{id})\circ (\mathrm{id}\otimes R_{c_1}\otimes \mathrm{id})\end{array}$$ 44

as a map from ${\mathcal{A}}_{c_2}\otimes {\mathcal{A}}_{S_2^{\prime }}\otimes {\mathcal{A}}_{S_2^{\prime \prime }}\to {\mathcal{A}}_{c_1}\otimes {\mathcal{A}}_{S_1^{\prime }}\otimes {\mathcal{A}}_{S_1^{\prime \prime }}$.

Proof

Use the notations of lemma 2.3. We wish to show the following diagram commutes, where the horizontal maps are induced by forgetful morphisms:

$$\begin{array}{c}\hfill \begin{array}{ccc}{\mathcal{A}}_{c_2}\otimes {\mathcal{A}}_{T_1\cup T_{12}}\otimes {\mathcal{A}}_{T_2}& ⟶& {\mathcal{A}}_S\\ {\downarrow }_{\mathrm{id}\otimes R_{c_1}\otimes \mathrm{id}}& & {\downarrow }_{R_{c_1}}\\ {\mathcal{A}}_{c_2}\otimes {\mathcal{A}}_{c_1}\otimes {\mathcal{A}}_{T_1}\otimes {\mathcal{A}}_{T_{12}}\otimes {\mathcal{A}}_{T_2}& ⟶& {\mathcal{A}}_{c_1}\otimes {\mathcal{A}}_{T_1}\otimes {\mathcal{A}}_{T_{12}\cup T_2}\end{array}\end{array}$$

The commutativity of this diagram on the level of formal symbols is clear, and the commutativity on the level of logarithmic forms is a consequence of Lemma 2.5. $\square$

Note that (44) has to be understood via the Koszul sign rule.

We can simply write it in the unambiguous form $R_{c_2}\circ f_{c_1}^{\ast }=f_{c_1}^{\ast }\circ R_{c_2}$ since the source and target of a map $f_c^{\ast }$ or $R_c$ is uniquely determined by the data of c.

The following lemma will not be needed in our renormalisation procedure, but will play a role in the analysis of the convergence of string amplitudes.

Lemma 4.12

For $\mathrm{\Omega }\in {\mathcal{A}}_S(M)$ and a chord $c\in {\chi }_S$, the difference $\mathrm{\Omega }-f_c^{\ast }{R}_c\mathrm{\Omega }$ is a linear combination of elements:

• (i)$U\omega$ with $U\in F_S(M)$ and $\omega \in {\mathrm{\Omega }}_S^{|S|-3}$ such that ${\mathrm{Res}}_{D_c}\omega =0$;
• (ii)$(u_{c^{\prime }}^{m^{\prime }}-1)U\omega ,$ with $U\in F_S(M)$ and $\omega \in {\mathrm{\Omega }}_S^{|S|-3}$, for some chord $c^{\prime }$ crossing c and some $m^{\prime }\in M$.

Proof

This is a consequence of Lemma 4.8. $\square$

Integrability and residues

Proposition 4.13

Let $\mathrm{\Omega }\in {\mathcal{A}}_S(M)$ such that $R_c\mathrm{\Omega }=0$ for every chord c. There exists an $\epsilon >0$ such that:

1. ${\rho }_{\alpha }^{\mathrm{open}}(\mathrm{\Omega })$ is absolutely integrable on $\overline{X^{\delta }}$ for any realisation $\alpha :M\to \mathbb{C}$ such that $\mathrm{Re}\alpha (m)>-\epsilon$ for every generator m of M;

2. ${\rho }_{\alpha }^{\mathrm{closed}}(\mathrm{\Omega })$ is absolutely integrable on ${\overline{\mathcal{M}}}_{0,S}(\mathbb{C})$ for any realisation $\alpha :M\to \mathbb{C}$ such that $-\epsilon <\mathrm{Re}\alpha (m)<\epsilon$ for every generator m of M.

Proof

1. It suffices to show that the integrand is absolutely convergent on each set $S_{\bullet }^J$, defined in the proof of Proposition 3.5. The normal crossing property implies that we only need to treat divergences in every local coordinate $t=u_c$ for c a chord. By Lemma 4.12 it is enough to consider integrands of the form (i) and (ii). Since $t^{\alpha }dt$ is integrable around 0 if $\mathrm{Re}\alpha >-1$, it suffices to check in each case that ${\rho }_{\alpha }^{\mathrm{open}}(\mathrm{\Omega })$ is a linear combination of $t^{\alpha (m)}{\omega }_0$ for $m\in M$ and ${\omega }_0$ a smooth form with no poles along $t=0$. The case (i) is clear. In the case (ii) we use (13) and write $1-u_{c^{\prime }}=t{\psi }_0$ where ${\psi }_0$ has no pole along $t=0$, to deduce that $u_{c^{\prime }}^{\alpha (m)}-1={(1-t{\psi }_0)}^{\alpha (m)}-1$. Since forms in ${\mathrm{\Omega }}_S^{|S|-3}$ have at most logarithmic poles at $t=0$, the claim follows.

2. We need to prove that ${\rho }_{\alpha }^{\mathrm{closed}}(\mathrm{\Omega })$ is integrable in the neighbourhood of every irreducible component D of $\partial {\overline{\mathcal{M}}}_{0,S}={\overline{\mathcal{M}}}_{0,S}\backslash {\mathcal{M}}_{0,S}$. Supose first that $D=D_c$ is a component of $\partial {\mathcal{M}}_{0,S}^{\delta }$. By Lemma 2.8, ${\nu }_S$ has a logarithmic pole along $D_c$. By Lemma 4.12 it is enough to treat the case of integrands (i) and (ii). We work with a local coordinate $z=u_c$. In case (i) we see that the singularities of ${\rho }_{\alpha }^{\mathrm{closed}}(\mathrm{\Omega })$ are of the type ${|z|}^{2\alpha (m)}\frac{dz\wedge d\overline{z}}{z}$ for some $m\in M$. Rewriting in polar coordinates $z=\rho e^{i\theta }$, this is proportional to ${\rho }^{2\alpha (m)}d\rho$, which is integrable for $\mathrm{Re}\alpha (m)>-\frac{1}{2}$. In case (ii) we use (13) to write

   $$\begin{array}{c}\hfill |u_{c^{\prime }}{|}^{2\alpha (m^{\prime })}-1={|1-xz|}^{2\alpha (m^{\prime })}-1=z{\psi }_0+\overline{z}{\xi }_0\end{array}$$

   where ${\psi }_0$ and ${\xi }_0$ have no pole along $z=0$. The singularities of ${\rho }_{\alpha }^{\mathrm{closed}}(\mathrm{\Omega })$ are thus at worst of the type ${|z|}^{2\alpha (m)}\frac{dz\wedge d\overline{z}}{z}$ or ${|z|}^{2\alpha (m)}\frac{dz\wedge d\overline{z}}{\overline{z}}$, and the claim follows as in case (i). Now consider an irreducible component D of $\partial {\overline{\mathcal{M}}}_{0,S}$ which is not a component of $\partial {\mathcal{M}}_{0,S}^{\delta }$ (at ‘infinite distance’). It is defined by a local coordinate $z=0$. By Lemma 2.8, ${\nu }_S$ has no pole along $z=0$ and the singularities of ${\rho }_{\alpha }^{\mathrm{closed}}(\mathrm{\Omega })$ are at worst of the type ${|z|}^{2\alpha (\tilde{m})}\frac{dz\wedge d\overline{z}}{\overline{z}}$ for some $\tilde{m}$ in the abelian group generated by M, by the same argument as in the proof of Proposition 3.6. This is integrable around $z=0$ for $\mathrm{Re}\alpha (\tilde{m})>-\frac{1}{2}$. Since there are finitely many such divisors, the latter condition is implied by the hypotheses (2) for sufficiently small $\epsilon .$ $\square$

Remark 4.14

In the case of closed string amplitudes, an integrand ${\rho }_{\alpha }^{\mathrm{closed}}(\mathrm{\Omega })$ satisfying the assumptions of Proposition 4.13 (2) is polar-smooth on $({\overline{\mathcal{M}}}_{0,S},\partial {\overline{\mathcal{M}}}_{0,S})$ in the sense of Definition 3.7 of [BD20].

Renormalisation of formal moduli space integrands

Definition 4.15

Define a renormalisation map

$$\begin{array}{cc}\hfill {\mathcal{A}}_S(M)⟶& {\mathcal{A}}_S(M)\hfill \\ \hfill \mathrm{\Omega }\mapsto & {\mathrm{\Omega }}^{\mathrm{ren}}=\sum _{J\subset {\chi }_S}{(-1)}^{|J|}{f}_J^{\ast }{R}_J\mathrm{\Omega },\hfill \end{array}$$ 45

where J ranges over all sets of non-crossing chords in ${\chi }_S$.

The reason for calling this map the renormalisation map, even though it does not agree with the notion of renormalisation in the strict physical sense, is that it is mathematically very close to the renormalisation procedure given in [BK13].

Proposition 4.16

For all $c\in {\chi }_S$, $R_c{\mathrm{\Omega }}^{\mathrm{ren}}=0.$

Proof

By the second part of Lemma 4.10, $R_c{f}_J^{\ast }=R_c{f}_{c^{\prime }}^{\ast }{f}_{J\backslash c^{\prime }}^{\ast }=0$ if J contains a chord $c^{\prime }$ which crosses c. Let us denote by $S_c$ the set of subsets $K\subset {\chi }_S$ consisting of non-crossing chords $c^{\prime }\ne c$ that do not cross c. Then, in $R_c{\mathrm{\Omega }}^{\mathrm{ren}}$, only the summands indexed by $J=K$ and $J=K\cup \{c\}$, for $K\in S_c$, contribute. Therefore

$$\begin{array}{c}\hfill R_c{\mathrm{\Omega }}^{\mathrm{ren}}=\sum _{K\in S_c}({(-1)}^{|K|}{R}_c{f}_K^{\ast }{R}_K+{(-1)}^{|K\cup \{c\}|}{R}_c{f}_{K\cup \{c\}}^{\ast }{R}_{K\cup \{c\}})\mathrm{\Omega }.\end{array}$$

Each summand is of the form

$$\begin{array}{c}\hfill {(-1)}^{|K|}(R_c{f}_K^{\ast }{R}_K-R_c{f}_c^{\ast }{f}_K^{\ast }{R}_c{R}_K)\mathrm{\Omega }.\end{array}$$

By the first part of Lemma 4.10, $(R_c{f}_c^{\ast })f_K^{\ast }{R}_c{R}_K=f_K^{\ast }{R}_c{R}_K$. By the commutation relation (44), this is $R_c{f}_K^{\ast }{R}_K$, and therefore the previous expression vanishes. $\square$

We extend the renormalisation map to tensor products of forms by defining it be the identity on every ${\mathcal{A}}_c(M)$. For $|J|=k$ it acts upon

$$\begin{array}{c}\hfill {\mathcal{A}}_J(M)\otimes {\mathcal{A}}_{S/J}(M)\end{array}$$

via ${\mathrm{id}}^{\otimes k}\otimes {\mathrm{ren}}^{\otimes k+1}$, and is denoted also by $\mathrm{ren}$.

Proposition 4.17

Any form $\mathrm{\Omega }$ admits a canonical decomposition (depending only on the choice of cyclic ordering of S involved in the definition of $f_J^{\ast }$):

$$\begin{array}{c}\hfill \mathrm{\Omega }=\sum _{J\subset {\chi }_S}{f}_J^{\ast }{(R_J\mathrm{\Omega })}^{\mathrm{ren}}\end{array}$$ 46

where the sum is over non-crossing sets of chords in ${\chi }_S$.

Proof

We prove formula (46) by induction on |S|. Suppose it is true for all sets S with $<N$ elements, and let $|S|=N$. Then applying the formula (46) to each component of $R_K\mathrm{\Omega }$, for $K\ne \mathrm{\varnothing }$, we obtain

$$\begin{array}{c}\hfill R_K\mathrm{\Omega }=\sum _{K\subset J}{f}_{J\backslash K}^{\ast }{(R_{J\backslash K}{R}_K\mathrm{\Omega })}^{\mathrm{ren}}=\sum _{K\subset J}{f}_{J\backslash K}^{\ast }{(R_J\mathrm{\Omega })}^{\mathrm{ren}}.\end{array}$$

Now, substituting into the definition of ${\mathrm{\Omega }}^{\mathrm{ren}}$, we obtain

$$\begin{array}{cc}\hfill {\mathrm{\Omega }}^{\mathrm{ren}}=& \mathrm{\Omega }+\sum _{\mathrm{\varnothing }\ne K}{(-1)}^{|K|}{f}_K^{\ast }(R_K\mathrm{\Omega })=\mathrm{\Omega }+\sum _{\mathrm{\varnothing }\ne K}{(-1)}^{|K|}\sum _{K\subset J}{f}_K^{\ast }{f}_{J\backslash K}^{\ast }{(R_J\mathrm{\Omega })}^{\mathrm{ren}}\hfill \\ \hfill =& \mathrm{\Omega }+\sum _{\mathrm{\varnothing }\ne J}(\sum _{\mathrm{\varnothing }\ne K\subset J}{(-1)}^{|K|})f_J^{\ast }{(R_J\mathrm{\Omega })}^{\mathrm{ren}}\hfill \end{array}$$

Via the binomial formula,

$$\begin{array}{c}\hfill \sum _{\mathrm{\varnothing }\ne K\subset J}{(-1)}^{|K|}=\sum _{k\ge 1}{(-1)}^k\left(\begin{array}{c}|J|\\ k\end{array}\right)=-1\end{array}$$

and therefore

$$\begin{array}{c}\hfill {\mathrm{\Omega }}^{\mathrm{ren}}=\mathrm{\Omega }-\sum _{\mathrm{\varnothing }\ne J}{f}_J^{\ast }{(R_J\mathrm{\Omega })}^{\mathrm{ren}}.\end{array}$$

Rearranging gives (46) and completes the induction step. The initial case with $|S|=3$ is trivial, since $\mathrm{\Omega }={\mathrm{\Omega }}^{\mathrm{ren}}$. $\square$

Example 4.18

Let $|S|=4$. Let $M=\mathbb{N}s\oplus \mathbb{N}t$ and consider

$$\begin{array}{c}\hfill \mathrm{\Omega }=x^s{(1-x)}^t(\frac{\mathit{dx}}{x}+\frac{\mathit{dx}}{1-x}).\end{array}$$

Then $R_0\mathrm{\Omega }=x^s\frac{\mathit{dx}}{x}$ and $R_1\mathrm{\Omega }={(1-x)}^t\frac{\mathit{dx}}{1-x}$. We have

$$\begin{array}{cc}\hfill {\mathrm{\Omega }}^{\mathrm{ren}}& =(x^s{(1-x)}^t-x^s)\frac{\mathit{dx}}{x}+(x^s{(1-x)}^t-{(1-x)}^t)\frac{\mathit{dx}}{1-x}\hfill \\ \hfill & =x^{s-1}({(1-x)}^t-1)dx+{(1-x)}^{t-1}(x^s-1)dx,\hfill \end{array}$$

and formula (46) is the statement:

$$\begin{array}{c}\hfill \mathrm{\Omega }={\mathrm{\Omega }}^{\mathrm{ren}}+x^s\frac{\mathit{dx}}{x}+{(1-x)}^t\frac{\mathit{dx}}{1-x}·\end{array}$$

If we identify s, t and their images by a realisation $\alpha :M\to \mathbb{C}$ then the renormalised open string integrand ${\rho }_{\alpha }^{\mathrm{open}}({\mathrm{\Omega }}^{\mathrm{ren}})$ is integrable on [0, 1] if $\mathrm{Re}(s),\mathrm{Re}(t)>-1$.

On the other hand, the renormalised closed string integrand ${\rho }_{\alpha }^{\mathrm{closed}}({\mathrm{\Omega }}^{\mathrm{ren}})$ is, up to the factor $-{(2\pi i)}^{-1}$:

$$\begin{array}{cc}& {(|z|}^{2s}{|1-z|}^{2t}-{|z|}^{2s})\frac{dz\wedge d\overline{z}}{z\overline{z}(1-z)}+{(|z|}^{2s}{|1-z|}^{2t}-{|1-z|}^{2t})\frac{dz\wedge d\overline{z}}{z(1-z)(1-\overline{z})}\hfill \\ \hfill & ={|z|}^{2(s-1)}{(|1-z|}^{2t}-1)\frac{dz\wedge d\overline{z}}{1-z}{+|1-z|}^{2(t-1)}{(|z|}^{2s}-1)\frac{dz\wedge d\overline{z}}{z}·\hfill \end{array}$$

It is integrable on ${\mathbb{P}}^1(\mathbb{C})$ for $\mathrm{Re}(s),\mathrm{Re}(t)>-\frac{1}{2}$ and $\mathrm{Re}(s+t)<1$.

Laurent expansion of open string integrals

Let

$$\begin{array}{c}\hfill \mathrm{\Omega }=\left(\prod _{c\in {\chi }_S},u_c^{s_c}\right)\omega \end{array}$$ 47

be the integrand of (37), viewed inside ${\mathcal{A}}_S(M_S),$ where $M_S={⨁}_{c\in {\chi }_S}\mathbb{N}{s}_c$.

Definition 4.19

Let $J\subset {\chi }_S$ be a set of non-crossing chords. Set

$$\begin{array}{c}\hfill {\mathrm{\Omega }}_J=(\prod _{c\in {\chi }_J}{u}_c^{s_c}){\mathrm{Res}}_{D_J}(\omega )\in {\mathcal{A}}_{S/J}(M_S)\end{array}$$ 48

where ${\mathrm{Res}}_{D_J}$ denotes the iterated residue along irreducible components of $D_J$ and ${\chi }_J$ denotes the set of chords in ${\chi }_S\backslash J$ which do not cross any element of J. Let

$$\begin{array}{c}\hfill s_J=\prod _{c\in J}{s}_c.\end{array}$$ 49

The integral of $\mathrm{\Omega }$ over $X^{\delta }$ can be canonically renormalised as follows.

Theorem 4.20

For all $s_c\in \mathbb{C}$ satisfying the assumptions of Proposition 4.13 (1),

$$\begin{array}{c}\hfill {\int }_{X^{\delta }}\mathrm{\Omega }=\sum _{J\subset {\chi }_S}\frac{1}{s_J}{\int }_{X_J}{\mathrm{\Omega }}_J^{\mathrm{ren}},\end{array}$$ 50

where the sum in the right-hand side is over all subsets of non-crossing chords (including the empty set). The integrals on the right-hand side converge for

$$\begin{array}{c}\hfill \mathrm{Re}(s_c)>-\epsilon \text{for}\text{some}\epsilon >0.\end{array}$$

Proof

For any subset J of non-crossing chords, we have

$$\begin{array}{c}\hfill R_J\mathrm{\Omega }=(\prod _{c\in J}{u}_c^{s_c}\frac{d{u}_c}{u_c}){\mathrm{\Omega }}_J\text{hence}{(R_J\mathrm{\Omega })}^{\mathrm{ren}}=(\prod _{c\in J}{u}_c^{s_c}\frac{d{u}_c}{u_c}){\mathrm{\Omega }}_J^{\mathrm{ren}},\end{array}$$

where tensors are omitted for simplicity. By Proposition 4.17, we have

$$\begin{array}{c}\hfill {\int }_{X^{\delta }}\mathrm{\Omega }=\sum _J{\int }_{X^{\delta }}{f}_J^{\ast }{(R_J\mathrm{\Omega })}^{\mathrm{ren}}=\sum _J{\int }_{f_J(X^{\delta })}{(R_J\mathrm{\Omega })}^{\mathrm{ren}}.\end{array}$$

By (18) we have $f_J(X^{\delta })={(0,1)}^J\times X_J$. Each summand in the last term equals

$$\begin{array}{c}\hfill {\int }_{{(0,1)}^J\times X_J}(\prod _{c\in J}{u}_c^{s_c}\frac{d{u}_c}{u_c}){\mathrm{\Omega }}_J^{\mathrm{ren}}=(\prod _{c\in J}\frac{1}{s_c}){\int }_{X_J}{\mathrm{\Omega }}_J^{\mathrm{ren}}\end{array}$$

which proves (50). Absolute convergence of every integral for $\mathrm{Re}(s_c)>-\epsilon$ is guaranteed by Proposition 4.13 (1) and Proposition 4.16. $\square$

The upshot is that each integral on the right-hand side of (50) now admits a Taylor expansion around $s_c=0$ which lies in the region of convergence:

$$\begin{array}{c}\hfill {\int }_{X_J}{\mathrm{\Omega }}_J^{\mathrm{ren}}\in \mathbb{C}[[s_c:c\in {\chi }_S]].\end{array}$$

Note that this integral is a linear combination of a product of integrals over $X^{{\delta }^{\prime }}$, for various ${\delta }^{\prime }$, by (17).

Corollary 4.21

The open string amplitude has a canonical Laurent expansion

$$\begin{array}{c}\hfill I^{\mathrm{open}}(\omega ,\underset{\_}{s})\in \mathbb{C}[\frac{1}{s_c}:{\mathrm{ord}}_{D_c}\omega =-1][[s_c:c\in {\chi }_S]].\end{array}$$

By proposition 3.5, it only has simple poles in the $s_c$ corresponding to chords c such that ${\mathrm{Res}}_{D_c}\omega \ne 0$. More precisely,

Corollary 4.22

The residue at $s_c=0$ of $I^{\mathrm{open}}(\omega ,\underset{\_}{s})$ is

$$\begin{array}{c}\hfill {\mathrm{Res}}_{s_c}{\int }_{X^{\delta }}\mathrm{\Omega }={\int }_{X^{\delta }\cap D_c}{\mathrm{\Omega }}_c.\end{array}$$ 51

Proof

It follows from the formula (50) that:

$$\begin{array}{c}\hfill \frac{1}{s_c}{\mathrm{Res}}_{s_c}{\int }_{X^{\delta }}\mathrm{\Omega }=\frac{1}{s_c}{\mathrm{Res}}_{s_c}\sum _J\frac{1}{s_J}{\int }_{X_J}{\mathrm{\Omega }}_J^{\mathrm{ren}}=\sum _{c\in J}\frac{1}{s_J}{\int }_{X_J}{\mathrm{\Omega }}_J^{\mathrm{ren}}.\end{array}$$

By similar arguments to those in the proof of theorem 4.20, we have

$$\begin{array}{c}\hfill \frac{1}{s_c}{\int }_{X^{\delta }\cap D_c}{\mathrm{\Omega }}_c={\int }_{f_c(X^{\delta })}{u}_c^{s_c}\frac{d{u}_c}{u_c}{\mathrm{\Omega }}_c={\int }_{X^{\delta }}{f}_c^{\ast }{R}_c\mathrm{\Omega }.\end{array}$$

Proposition 4.17 is stated for a form $\mathrm{\Omega }\in {\mathcal{A}}_S(M)$ but holds more generally for a tensor products of forms in ${\mathcal{A}}_{S^{\prime }}(M)\otimes {\mathcal{A}}_{S^{\prime \prime }}(M)$, where $S^{\prime },S^{\prime \prime }$ are the polygons obtained by cutting S along c. This is because the maps $f^{\ast },R$ and $\mathrm{ren}$ are all compatible with tensor products. Therefore writing $R_c\mathrm{\Omega }=\sum {\omega }^{\prime }\otimes {\omega }^{\prime \prime }$ (Sweedler’s notation) with ${\omega }^{\prime }\in {\mathcal{A}}_{S^{\prime }}(M)$, ${\omega }^{\prime \prime }\in {\mathcal{A}}_{S^{\prime \prime }}(M)$, we deduce that $R_c\mathrm{\Omega }$ equals

$$\begin{array}{c}\hfill \sum \left(\sum _{J^{\prime }\subset {\chi }_{S^{\prime }}},f_{J^{\prime }}^{\ast },{(R_{J^{\prime }}{\omega }^{\prime })}^{\mathrm{ren}}\right)\otimes \left(\sum _{J^{\prime \prime }\subset {\chi }_{S^{\prime \prime }}},f_{J^{\prime \prime }}^{\ast },{(R_{J^{\prime \prime }}{\omega }^{\prime \prime })}^{\mathrm{ren}}\right)=\sum _{c\notin J}{f}_J^{\ast }{(R_J{R}_c\mathrm{\Omega })}^{\mathrm{ren}}\end{array}$$

We therefore deduce that

$$\begin{array}{c}\hfill {\int }_{X^{\delta }}{f}_c^{\ast }{R}_c{\mathrm{\Omega }}_{=}\sum _{c\notin J}{\int }_{X^{\delta }}{f}_c^{\ast }{f}_J^{\ast }{(R_J{R}_c\mathrm{\Omega })}^{\mathrm{ren}}=\sum _{c\in J}{\int }_{X^{\delta }}{f}_J^{\ast }{(R_J\mathrm{\Omega })}^{\mathrm{ren}}=\sum _{c\in J}\frac{1}{s_J}{\int }_{X_J}{\mathrm{\Omega }}_J^{\mathrm{ren}},\end{array}$$

where the last equality follows from the same arguments as in the proof of theorem 4.20. We have therefore shown that both sides of (51) coincide for all values of $s_c$ such that the integrals converge. Note that since the left-hand side admits a Laurent expansion, the same is true of the right-hand side. $\square$

Laurent expansion of closed string amplitudes

The following lemma is the single-valued version of the formula $\frac{1}{s}={\int }_0^1{x}^{s-1}dx$.

Lemma 4.23

For all $0<\mathrm{Re}(s)<\frac{1}{2}$ the following Lebesgue integral equals

$$\begin{array}{c}\hfill \frac{1}{2\pi i}{\int }_{{\mathbb{P}}^1(\mathbb{C})}{|z|}^{2s}\left(-,\frac{\mathit{dz}}{z(1-z)}\right)\wedge \frac{d\overline{z}}{\overline{z}}=\frac{1}{s}.\end{array}$$

Proof

Since ${d|z|}^{2s}=s{|z|}^{2s}\left(\frac{\mathit{dz}}{z},+,\frac{d\overline{z}}{\overline{z}}\right)$, the integrand equals

$$\begin{array}{c}\hfill \frac{1}{s}d\left({|z|}^{2s},\frac{\mathit{dz}}{z(1-z)}\right).\end{array}$$

For $\epsilon >0$ small enough, let $U_{\epsilon }$ be the open subset of ${\mathbb{P}}^1(\mathbb{C})$ given by the complement of three open discs of radius $\epsilon$ around $0,1,\infty$ (in the local coordinates $z,1-z,z^{-1}$). By Stokes’ theorem,

$$\begin{array}{c}\hfill \frac{1}{2\pi i}{\int }_{U_{\epsilon }}{|z|}^{2s}\left(-,\frac{\mathit{dz}}{z(1-z)}\right)\wedge \frac{d\overline{z}}{\overline{z}}=\frac{1}{2\pi i}\frac{1}{s}{\int }_{\partial U_{\epsilon }}{|z|}^{2s}\frac{\mathit{dz}}{z(1-z)}\end{array}$$

where the boundary $\partial U_{ϵ}$ is a union of three negatively oriented circles around $0,1,\infty$. By using Cauchy’s theorem, we see that all integrals in the right-hand side are bounded as $\epsilon \to 0$, and that the only one which is non-vanishing in the limit as $\epsilon \to 0$ is around the point 1, giving

$$\begin{array}{c}\hfill \underset{\epsilon \to 0}{lim}\frac{1}{2\pi i}\frac{1}{s}{\int }_{\partial U_{\epsilon }}{|z|}^{2s}{\displaystyle \frac{\mathit{dz}}{z(1-z)}}=\frac{1}{s}.\end{array}$$

$\square$

Let $\mathrm{\Omega }$ be as in (47). We set

$$\begin{array}{c}\hfill {\mathrm{\Omega }}^{\mathrm{closed}}={(2\pi i)}^{-n}\left(\prod _{c\in {\chi }_S},{|u_c|}^{2s_c}\right){\nu }_S\wedge \overline{\omega }.\end{array}$$

The closed string amplitudes can be canonically renormalised as follows.

Theorem 4.24

For all $s_c\in \mathbb{C}$ satisfying the assumptions of proposition 4.13 (2):

$$\begin{array}{c}\hfill {\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}{\mathrm{\Omega }}^{\mathrm{closed}}=\sum _{J\subset {\chi }_S}\frac{1}{s_J}{\int }_{{\overline{\mathcal{M}}}_{0,S/J}(\mathbb{C})}{({\mathrm{\Omega }}_J^{\mathrm{ren}})}^{\mathrm{closed}},\end{array}$$ 52

where the sum in the right-hand side is over all subsets of non-crossing chords (including the empty set). The integrals on the right-hand side converge if

$$\begin{array}{c}\hfill -\epsilon <\mathrm{Re}{s}_c<\epsilon \text{for some}\epsilon >0.\end{array}$$

Proof

As in the proof of Theorem 4.20 we have

$$\begin{array}{c}\hfill {\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}{\mathrm{\Omega }}^{\mathrm{closed}}=\sum _J{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}{(f_J^{\ast }{(R_J\mathrm{\Omega })}^{\mathrm{ren}})}^{\mathrm{closed}}\end{array}$$

We note that

$$\begin{array}{c}\hfill f_J:{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})⟶{({\overline{\mathcal{M}}}_{0,4}(\mathbb{C}))}^J\times {\overline{\mathcal{M}}}_{0,S/J}(\mathbb{C})\end{array}$$

is an isomorphism outside a set of Lebesgue measure zero. Using the compatibility (29) between $f_J^{\ast }$ and the forms ${\nu }_S$, and making a change of variables via $f_J$, we can write each summand in the above expression as

$$\begin{array}{c}\hfill \prod _{c\in J}\left(\frac{1}{2\pi i},{\int }_{{\overline{\mathcal{M}}}_{0,4}(\mathbb{C})},{|u_c|}^{2s_c},{\nu }_c,\wedge ,\frac{d\overline{u_c}}{\overline{u_c}}\right)\times {\int }_{{\overline{\mathcal{M}}}_{0,S/J}(\mathbb{C})}{({\mathrm{\Omega }}_J^{\mathrm{ren}})}^{\mathrm{closed}}.\end{array}$$

By applying Lemma 4.23 we deduce (52). $\square$

Corollary 4.25

The closed string amplitude has a canonical Laurent expansion

$$\begin{array}{c}\hfill I^{\mathrm{closed}}(\omega ,\underset{\_}{s})\in \mathbb{C}[\frac{1}{s_c}:{\mathrm{ord}}_{D_c}\omega =-1][[s_c:c\in {\chi }_S]].\end{array}$$

By Proposition 3.6, it only has simple poles in the $s_c$ corresponding to chords c such that ${\mathrm{Res}}_{D_c}\omega \ne 0$. More precisely,

Corollary 4.26

The residue at $s_c=0$ of $I^{\mathrm{closed}}(\omega ,\underset{\_}{s})$ is

$$\begin{array}{c}\hfill {\mathrm{Res}}_{s_c}{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}{\mathrm{\Omega }}^{\mathrm{closed}}={\int }_{{\overline{\mathcal{M}}}_{0,S^{\prime }}(\mathbb{C})\times {\overline{\mathcal{M}}}_{0,S^{\prime \prime }}(\mathbb{C})}{({\mathrm{\Omega }}_c)}^{\mathrm{closed}},\end{array}$$ 53

where cutting along c decomposes S into $S^{\prime },S^{\prime \prime }$.

The proof is similar to the proof of (51).

Motivic String Perturbation Amplitudes

Having performed a Laurent expansion of string amplitudes, we now turn to their interpretation as periods of mixed Tate motives.

Decomposition of convergent forms

Let $V_c\subset F_S(M)$ denote the ideal generated by $u_{c^{\prime }}^m-1$ for any $m\in M$, where $c^{\prime }$ is a chord which crosses c. More generally, for any set of chords $I\subset {\chi }_S$ set $V_{\mathrm{\varnothing }}=F_S(M)$ and

$$\begin{array}{c}\hfill V_I=\bigcap _{c\in I}{V}_c.\end{array}$$

Let ${\mathrm{\Omega }}_S^{|S|-3}(I)\subset {\mathrm{\Omega }}_S^{|S|-3}$ denote the subspace of forms whose residue vanishes along $D_c$ for all $c\in I.$ We have the following refinement of Lemma 4.12.

Lemma 5.1

Let $\chi \subset {\chi }_S$ be a subset of chords, and let $\mathrm{\Omega }\in {\mathcal{A}}_S(M)$ such that $R_c\mathrm{\Omega }=0$ for all chords $c\in \chi$. Then $\mathrm{\Omega }$ has a canonical decomposition

$$\begin{array}{c}\hfill \mathrm{\Omega }=\sum _{I\subset \chi }{\mathrm{\Omega }}_{\chi }^{(I)}\end{array}$$ 54

where I ranges over all subsets of $\chi$, and

$$\begin{array}{c}\hfill {\mathrm{\Omega }}_{\chi }^{(I)}\in V_I\otimes {\mathrm{\Omega }}_S^{|S|-3}(\chi \backslash I).\end{array}$$

Proof

First observe that the case where $\chi =\{c\}$ is a single chord follows from Lemma 4.12, since $R_c\mathrm{\Omega }=0$ implies that $\mathrm{\Omega }=\mathrm{\Omega }-f_c^{\ast }{R}_c\mathrm{\Omega }$, and therefore

$$\begin{array}{c}\hfill \mathrm{\Omega }\in V_c\otimes {\mathrm{\Omega }}_S^{|S|-3}+F_S(M)\otimes {\mathrm{\Omega }}_S^{|S|-3}(\{c\}).\end{array}$$

Although the sum is not direct, the decomposition into two parts can be made canonical. For this, consider the natural inclusion

$$\begin{array}{c}\hfill i_c:F_c(M)\otimes F_{S^{\prime }}(M)\otimes F_{S^{\prime \prime }}(M)⟶F_S(M)\end{array}$$

corresponding to the inclusions ${\chi }_{S^{\prime }},{\chi }_{S^{\prime \prime }}\subset {\chi }_S.$ This map satisfies ${\mathrm{ev}}_c{i}_c=\mathrm{id}$. Observe that $V_c\subset F_S(M)$ is the kernel of the map ${\mathrm{ev}}_c$. The map $i_c{\mathrm{ev}}_c$ simply sends $u_{c^{\prime }}$ to 1 for all $c^{\prime }$ crossing c, and preserves $u_{c^{\prime }}$ for all other chords. Now write

$$\begin{array}{c}\hfill \mathrm{\Omega }=(1-i_c{\mathrm{ev}}_c\otimes \mathrm{id})\mathrm{\Omega }+(i_c{\mathrm{ev}}_c\otimes \mathrm{id})\mathrm{\Omega }\end{array}$$

The first term is annihilated by ${\mathrm{ev}}_c\otimes \mathrm{id}$, and so lies in $V_c\otimes {\mathrm{\Omega }}_S^{|S|-3}$. The second term satisfies $(\mathrm{id}\otimes dlog(u_c){\mathrm{Res}}_{D_c})(i_c{\mathrm{ev}}_c\otimes \mathrm{id})\mathrm{\Omega }=(i_c\otimes \mathrm{id})R_c\mathrm{\Omega }=0$ by definition of $R_c$, and hence lies in $F_S(M)\otimes {\mathrm{\Omega }}_S^{|S|-3}(\{c\})$. This gives a canonical decomposition of the form (54) when $\chi =\{c\}$.

In the general case, proceed by induction on the size of $\chi$ by setting:

$$\begin{array}{c}\hfill {\mathrm{\Omega }}_{\chi \cup c}^{(I)}=(i_c{\mathrm{ev}}_c\otimes \mathrm{id}){\mathrm{\Omega }}_{\chi }^{(I)}\text{and}{\mathrm{\Omega }}_{\chi \cup c}^{(I\cup c)}={\mathrm{\Omega }}_{\chi }^{(I)}-{\mathrm{\Omega }}_{\chi \cup c}^{(I)}.\end{array}$$

Since the maps ${\mathrm{ev}}_c$ commute for different c, the definition does not depend on the order in which the chords in $\chi \cup c$ are taken, and the decomposition is canonical. By an identical argument to the one above, we check by induction that indeed

$$\begin{array}{c}\hfill {\mathrm{\Omega }}_{\chi \cup c}^{(I\cup c)}\in V_{I\cup c}\otimes {\mathrm{\Omega }}_S^{|S|-3}(\chi \backslash I)\text{and}{\mathrm{\Omega }}_{\chi \cup c}^{(I)}\in V_I\otimes {\mathrm{\Omega }}_S^{|S|-3}(\chi \cup c\backslash I)\end{array}$$

since $({\mathrm{ev}}_c\otimes \mathrm{id}){\mathrm{\Omega }}_{\chi \cup c}^{(I\cup c)}=0$ and $(\mathrm{id}\otimes {\mathrm{Res}}_{D_c}){\mathrm{\Omega }}_{\chi \cup c}^{(I)}=0.$ $\square$

Note that the sum of the spaces $V_I\otimes {\mathrm{\Omega }}_S^{|S|-3}(\chi \backslash I)$ is not direct.

Logarithmic expansions

For each chord c, let ${\ell }_c$ be a formal symbol which we think of as corresponding to a logarithm of $u_c$.

There is a continuous homomorphism of algebras defined on generators by

$$\begin{array}{cc}\hfill F_S(M)⟶& \mathbb{Q}[{\{{\ell }_c\}}_{c\in {\chi }_S}][[M]]\hfill \\ \hfill u_c^m\mapsto & \sum _{n\ge 0}\frac{m^n}{n!}{\ell }_c^n.\hfill \end{array}$$ 55

This extends to a map

$$\begin{array}{c}\hfill {\mathcal{A}}_S(M)⟶{\mathrm{\Omega }}_S^{|S|-3}[{\{{\ell }_c\}}_{c\in {\chi }_S}][[M]].\end{array}$$ 56

For an additive map $\alpha :M\to \mathbb{C}$ we have the realisation maps ${\rho }_{\alpha }^{\mathrm{open}}$ and ${\rho }_{\alpha }^{\mathrm{closed}}$ from Definition 4.5. A form ${\rho }_{\alpha }^{\mathrm{open}}(\mathrm{\Omega })$ (resp. ${\rho }_{\alpha }^{\mathrm{closed}}(\mathrm{\Omega })$) has a series expansion given by composing (56) with $\alpha$ and by interpreting the formal symbols ${\ell }_c$ as:

$$\begin{array}{c}\hfill {\ell }_c\mapsto log(u_c)\text{(resp.}{\ell }_c\mapsto log{|u_c|}^2\text{)}.\end{array}$$

Definition 5.2

A convergent monomial is one of the form

$$\begin{array}{c}\hfill (\prod _{c\in {\chi }_S}{\ell }_c^{k_c})\omega \in {\mathrm{\Omega }}_S^{|S|-3}[{\{{\ell }_c\}}_{c\in {\chi }_S}]\end{array}$$ 57

where for every $c\in {\chi }_S$ such that ${\mathrm{Res}}_{D_c}\omega \ne 0$, there exists another chord $c^{\prime }\in {\chi }_S$ which crosses c such that $k_{c^{\prime }}\ge 1$.

Lemma 5.3

For a convergent monomial (57), the corresponding integrals

$$\begin{array}{c}\hfill {\int }_{X^{\delta }}(\prod _{c\in {\chi }_S}{log}^{k_c}(u_c))\omega \text{and}{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}(\prod _{c\in {\chi }_S}{log}^{k_c}{|u_c|}^2){\nu }_S\wedge \overline{\omega }\end{array}$$

are convergent.

Proof

For any chord $c^{\prime }$ which crosses $c\in {\chi }_S$, equation (13) implies that

$$\begin{array}{c}\hfill log(u_{c^{\prime }})=\alpha u_c\text{and}log{|u_{c^{\prime }}|}^2=\beta u_c+\gamma \overline{u_c}\end{array}$$

for some $\alpha ,\beta ,\gamma$. By applying this to every chord c for which ${\mathrm{Res}}_{D_c}\omega \ne 0$, we can rewrite the above integrals as linear combinations of

$$\begin{array}{c}\hfill {\int }_{X^{\delta }}F(u_c){\omega }^{\prime }\text{respectively}{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}G(u_c){\nu }_S\wedge \left(\prod _{c\in \chi },\frac{u_c}{\overline{u_c}}\right)\overline{{\omega }^{\prime }}\end{array}$$

where F, G have at most logarithmic singularties near boundary divisors, $\chi \subset {\chi }_S$ is a subset of chords, and ${\omega }^{\prime }$ has no poles along $D_c$, for all $c\in {\chi }_S$. Convergence in both cases follows from a very small modification of propositions 3.5, 3.6 to allow for possible logarithmic divergences. The latter do not affect the convergence since ${|log(z)|}^k{z}^s$ tends to zero as $z\to 0$ for any $\mathrm{Re}s>0.$ $\square$

Proposition 5.4

Let $\mathrm{\Omega }\in {\mathcal{A}}_S(M)$ such that $R_c\mathrm{\Omega }=0$ for all chords c. Then $\mathrm{\Omega }$ admits a canonical expansion which only involves convergent monomials (57).

Proof

Apply (55) to each term in ${\mathrm{\Omega }}_{\chi }^{(I)}$ in the decomposition (54). $\square$

Corollary 5.5

Renormalised amplitudes, where they converge, can be canonically written as infinite sums of integrals of convergent monomials in logarithms:

$$\begin{array}{cc}\hfill {\int }_{X^{\delta }}{\rho }_{\alpha }^{\mathrm{open}}{\mathrm{\Omega }}^{\mathrm{ren}}=& \sum _{K=(k_c)}{a}_K{\int }_{X^{\delta }}(\prod _{c\in {\chi }_S}{log}^{k_c}(u_c)){\omega }_K\hfill \\ \hfill {\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}{\rho }_{\alpha }^{\mathrm{closed}}{\mathrm{\Omega }}^{\mathrm{ren}}=& {(2\pi i)}^{-n}\sum _{K=(k_c)}{a}_K^{\prime }{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}(\prod _{c\in {\chi }_S}{log}^{k_c}(|u_c{|}^2)){\nu }_S\wedge \overline{{\omega }_K^{\prime }},\hfill \end{array}$$ 58

where $a_K,a_K^{\prime }$ lie in the $\mathbb{Q}$-subalgebra of $\mathbb{C}$ generated by $\alpha (M)$. Each integral on the right-hand side converges.

Equivalently, if we treat the elements of M as formal variables then the open and closed string amplitudes admit expansions in $\mathbb{C}[[M]]$ whose coefficients are canonically expressible as $\mathbb{Q}$-linear combinations of integrals of convergent monomials as above.

Example 5.6

We apply the above recipe to Example 4.18. By abuse of notation we identify s, t with their images under a realisation $\alpha :\mathbb{N}s\oplus \mathbb{N}t\to \mathbb{C}$, and write ${({\mathrm{\Omega }}^{\mathrm{ren}})}^{\mathrm{open}}={\rho }_{\alpha }^{\mathrm{open}}({\mathrm{\Omega }}^{\mathrm{ren}})$, ${({\mathrm{\Omega }}^{\mathrm{ren}})}^{\mathrm{closed}}={\rho }_{\alpha }^{\mathrm{closed}}({\mathrm{\Omega }}^{\mathrm{ren}})$. In the open case we get

$$\begin{array}{cc}& {\int }_{X^{\delta }}{({\mathrm{\Omega }}^{\mathrm{ren}})}^{\mathrm{open}}=\sum _{m\ge 0,n\ge 1}\frac{s^m}{m!}\frac{t^n}{n!}{\int }_0^1{log}^m(x){log}^n(1-x)\frac{\mathit{dx}}{x}\hfill \\ \hfill & +\sum _{m\ge 1,n\ge 0}\frac{s^m}{m!}\frac{t^n}{n!}{\int }_0^1{log}^m(x){log}^n(1-x)\frac{\mathit{dx}}{1-x}·\hfill \end{array}$$ 59

Note that $log(x)$ vanishes at $x=1$, and $log(1-x)$ at $x=0$, so the integrals on the right-hand side are convergent. In the closed case we get

$$\begin{array}{cc}& {\int }_{{\mathbb{P}}^1(\mathbb{C})}{({\mathrm{\Omega }}^{\mathrm{ren}})}^{\mathrm{closed}}=\frac{1}{\pi }\sum _{m\ge 0,n\ge 1}\frac{s^m}{m!}\frac{t^n}{n!}{\int }_{{\mathbb{P}}^1(\mathbb{C})}{log}^m{|z|}^2{log}^n{|1-z|}^2\frac{d^{2}z}{{|z|}^2(1-z)}\hfill \\ \hfill & +\frac{1}{\pi }\sum _{m\ge 1,n\ge 0}\frac{s^m}{m!}\frac{t^n}{n!}{\int }_{{\mathbb{P}}^1(\mathbb{C})}{log}^m{|z|}^2{log}^n{|1-z|}^2\frac{d^{2}z}{{z|1-z|}^2}·\hfill \end{array}$$ 60

Again, the integrals on the right-hand side are convergent.

Removing a logarithm

We can now replace each logarithm with an integral one by one. It suffices to do this once and for all for $|S|=5$.

Example 5.7

(The logarithm) Consider the forgetful map $x:{\mathcal{M}}_{0,5}\to {\mathcal{M}}_{0,4}$ of example 2.9. It is a fibration whose fibers are isomorphic to the projective line minus 4 points. More precisely, the forgetful maps $u_{24}=x$ and $u_{25}=y$ embed ${\mathcal{M}}_{0,5}$ as the complement of $1-xy=0$ in the product ${\mathcal{M}}_{0,4}\times {\mathcal{M}}_{0,4}$. The projection onto the first factor gives a commutative diagram

$$\begin{array}{c}\hfill \begin{array}{ccc}{\mathcal{M}}_{0,5}& \subset & {\mathcal{M}}_{0,4}\times {\mathcal{M}}_{0,4}\\ {\downarrow }_x& & \downarrow \\ {\mathcal{M}}_{0,4}& =& {\mathcal{M}}_{0,4}\end{array}\end{array}$$

The projection restricts to the real domains $X_5\to X_4$ whose fibers are identified with (0, 1) with respect to the coordinate y. Then

$$\begin{array}{c}\hfill {\int }_{0<y<1}\frac{d{u}_{13}}{u_{13}}={\int }_{0<y<1}dlog(1-xy)=log(1-x).\end{array}$$

The function $1-x$ is the dihedral coordinate $v_{13}$ on ${\mathcal{M}}_{0,4}$ and so

$$\begin{array}{c}\hfill log{v}_{13}={\int }_{0<y<1}\frac{d{u}_{13}}{u_{13}}.\end{array}$$ 61

In this manner we shall inductively replace all logarithms of dihedral coordinates with algebraic integrals. Note that it is not possible to express the logarithmic dihedral coordinate $log{v}_{24}=logx$ as an integral of another logarithmic dihedral coordinate over the fiber in y with respect to the same dihedral structure. It is precisely this subtlety that complicates the following arguments.

From now on, we fix a dihedral structure $(S,\delta )$, and consider a differential form of degree $|S|-3$ of the following type:

$$\begin{array}{c}\hfill \mathrm{\Omega }=(\prod _{c\in {\chi }_{S,\delta }}{log}^{n_c}(u_c)){\omega }_0\end{array}$$ 62

where ${\omega }_0\in {\mathrm{\Omega }}^{|S|-3}({\mathcal{M}}_{0,S})$. Suppose that it is convergent, i.e., for every chord c such that $\mathrm{Res}{}_{D_c}{\omega }_0\ne 0$, there exists a $c^{\prime }\in I$ which crosses c with $n_{c^{\prime }}\ge 1$. Define

$$\begin{array}{c}\hfill \mathrm{weight}(\mathrm{\Omega })=|S|-3+\sum _{c\in {\chi }_{S,\delta }}{n}_c.\end{array}$$

We can remove one logarithm at a time as follows.

Lemma 5.8

Pick any chord c such that $n_c\ge 1$, and write

$$\begin{array}{c}\hfill \mathrm{\Omega }=log(u_c){\mathrm{\Omega }}^{\prime }.\end{array}$$

Then there exists an enlargement $(S_c,{\delta }_c)$ of $(S,\delta )$, i.e., $S\subset S_c$ and $|S_c\backslash S|=1$, where the restriction of ${\delta }_c$ to S induces $\delta$, and a differential form ${\mathrm{\Omega }}^{\prime \prime }$ of degree $|S_c|-3$ which is a sum of convergent forms (62) such that

$$\begin{array}{c}\hfill {\int }_{X^{\delta }}log(u_c){\mathrm{\Omega }}^{\prime }={\int }_{X^{{\delta }_c}}{\mathrm{\Omega }}^{\prime \prime }.\end{array}$$ 63

Furthermore, each monomial in ${\mathrm{\Omega }}^{\prime \prime }$ has weight equal to that of $\mathrm{\Omega }$.

Proof

The chord c on S is determined by four edges $T=\{t_1,\dots ,t_4\}\subset S$, where $t_1,t_2$ and $t_3,t_4$ are consecutive with respect to $\delta$. This identifies ${\mathcal{M}}_{0,T}\cong {\mathcal{M}}_{0,4}$ and $u_c$ with the dihedral coordinate $v_{13}$ in ${\mathcal{M}}_{0,4}$. Consider the set $S_c=S\cup \{t_5\}$, equipped with the dihedral structure ${\delta }_c$ obtained by inserting a new edge $t_5$ next to $t_1$ and in between $t_1$ and $t_4$. Let $T^{\prime }$ be the set of five edges $T\cup \{t_5\}$ with the dihedral structure inherited from ${\delta }_c$. Then ${\mathcal{M}}_{0,T^{\prime }}\cong {\mathcal{M}}_{0,5}$ (see example 5.7).

Consider the diagram

$$\begin{array}{c}\hfill \begin{array}{ccc}{\mathcal{M}}_{0,S_c}^{{\delta }_c}& \stackrel{f_{T^{\prime }}}{⟶}& {\mathcal{M}}_{0,5}^{{\delta }_c{|}_{T^{\prime }}}\\ {\downarrow }_{f_S}& & {\downarrow }_x\\ {\mathcal{M}}_{0,S}^{\delta }& \stackrel{u_c}{⟶}& {\mathcal{M}}_{0,4}^{\delta }\end{array}.\end{array}$$

It commutes since forgetful maps are functorial. Let $\beta \in {\mathrm{\Omega }}^1({\mathcal{M}}_{0,5})$ denote the form $dlog{u}_{13}$ of example 5.7 whose integral in the fiber yields $log(v_{13})$ and set

$$\begin{array}{c}\hfill {\mathrm{\Omega }}^{\prime \prime }=f_S^{\ast }({\mathrm{\Omega }}^{\prime })\wedge f_{T^{\prime }}^{\ast }(\beta ).\end{array}$$

The product $f=f_S\times f_{T^{\prime }}$ induces a morphism

$$\begin{array}{c}\hfill f:{\mathcal{M}}_{0,S_c}⟶{\mathcal{M}}_{0,S}{\times }_{{\mathcal{M}}_{0,4}}{\mathcal{M}}_{0,5}\end{array}$$

and an isomorphism $f:X^{{\delta }_c}\cong X^{\delta }\times (0,1)$. Since ${\mathrm{\Omega }}^{\prime \prime }=f^{\ast }({\mathrm{\Omega }}^{\prime }\wedge \beta )$, we find by changing variables along the map f that

$$\begin{array}{c}\hfill {\int }_{X^{{\delta }_c}}{\mathrm{\Omega }}^{\prime \prime }={\int }_{X^{\delta }\times (0,1)}{\mathrm{\Omega }}^{\prime }\wedge \beta ={\int }_{X^{\delta }}log(u_c){\mathrm{\Omega }}^{\prime }.\end{array}$$

The second integral takes place on the fiber product ${\mathcal{M}}_{0,S}{\times }_{{\mathcal{M}}_{0,4}}{\mathcal{M}}_{0,5}$ and is computed using (61). This proves equation (63).

We now check that ${\mathrm{\Omega }}^{\prime \prime }$ is of the required shape (62) with respect to ${\mathcal{M}}_{0,S_c}^{{\delta }_c}$ and convergent. First of all, observe that for any forgetful morphism $f:S^{\prime }\to S$ and any chords a, b in S which cross, we have by (14)

$$\begin{array}{c}\hfill f^{\ast }\left(log,(u_a),,\frac{d{u}_b}{u_b}\right)=\sum _{a^{\prime },b^{\prime }}log(u_{a^{\prime }})\frac{d{u}_{b^{\prime }}}{u_{b^{\prime }}}\end{array}$$

where $a^{\prime },b^{\prime }$ range over chords in $S^{\prime }$ in the preimage of a and b respectively. Every pair $a^{\prime },b^{\prime }$ crosses. It remains to check the convergence condition along the poles of the 1-form $\beta .$ For this, denote the two chords in $S_c$ lying above the chord c by $c_1,c_2$. The chord $c_1$ corresponds to edges $\{t_5,t_1;t_3,t_4\}$ and $c_2$ to $\{t_1,t_2;t_3,t_4\}$. By (14), we have $f_S^{\ast }(u_c)=u_{c_1}{u}_{c_2}$, and by example 5.7$f_{T^{\prime }}^{\ast }\beta =\frac{d{u}_{c_2}}{u_{c_2}}$, ($\beta$ corresponds to $dlog{u}_{13}$ in example 2.9). We therefore check that

$$\begin{array}{cc}& f_S^{\ast }(d{u}_c)\wedge f_{T^{\prime }}^{\ast }(\beta )=d(u_{c_1}{u}_{c_2})\wedge \frac{d{u}_{c_2}}{u_{c_2}}=d{u}_{c_1}\wedge d{u}_{c_2}\hfill \\ \hfill & f_S^{\ast }\left(log,,(u_{c^{\prime }}),\frac{d{u}_c}{u_c}\right)\wedge f_{T^{\prime }}^{\ast }(\beta )=\left(\sum _{c^{\prime \prime }},log,u_{c^{\prime \prime }}\right)\frac{d{u}_{c_1}}{u_{c_1}}\wedge \frac{d{u}_{c_2}}{u_{c_2}}\hfill \end{array}$$

where $c^{\prime }$ crosses c. In the sum, $c^{\prime \prime }$ ranges over the preimages of $c^{\prime }$ under $f_S$, and necessarily crosses both $c_1$ and $c_2$. It follows that ${\mathrm{\Omega }}^{\prime \prime }$ is a sum of convergent monomials in logarithms. The statement about the weights is clear. $\square$

Remark 5.9

Note that $S_c$ depends on the choice of where to insert the new edge we called $t_5$. Similarly, the computation in example 5.7 also involves a choice: we could instead have used

$$\begin{array}{c}\hfill -log(1-x)={\int }_{0<y<1}\frac{d{u}_{35}}{u_{35}}={\int }_{0<y<1}dlog(\frac{1-x}{1-xy}).\end{array}$$

Thus there are two different ways in which we can remove each logarithm. One can presumably make these choices in a canonical way.

Corollary 5.10

Let $\mathrm{\Omega }$ be of the form (62) and convergent. Then the integral I of $\mathrm{\Omega }$ over $X^{\delta }$ is an absolutely convergent integral

$$\begin{array}{c}\hfill {\int }_{X^{{\delta }^{\prime }}}\omega \end{array}$$ 64

where $S^{\prime }\supset S$ is a set with dihedral structure ${\delta }^{\prime }$ compatible with $\delta$, and $\omega \in {\mathrm{\Omega }}_{S^{\prime }}$ a logarithmic algebraic differential form with no poles along the boundary of ${\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }}$. Furthermore, $|S^{\prime }|=\mathrm{weight}(\mathrm{\Omega })+3$.

Proof

Apply the previous lemma inductively to remove the logarithms $log(u_c)$ one at a time. At each stage the total degree of the logarithms decreases by one. One obtains a $\mathbb{Z}$-linear combination of convergent integrals of the form (64). Add the integrands together to obtain a single integral of the required form. $\square$

Motivic versions of open string amplitude coefficients

Let $\mathcal{MT}(\mathbb{Z})$ denote the tannakian category of mixed Tate motives over $\mathbb{Z}$ with rational coefficients [DG05]. An object $H\in \mathcal{MT}(\mathbb{Z})$ has two underlying $\mathbb{Q}$-vector spaces $H_{\mathrm{dR}}$ (the de Rham realisation) and $H_{\mathrm{B}}$ (the Betti realisation) together with a comparison isomorphism $\mathrm{comp}:H_{\mathrm{dR}}{\otimes }_{\mathbb{Q}}\mathbb{C}\stackrel{\sim }{\to }{H}_{\mathrm{B}}{\otimes }_{\mathbb{Q}}\mathbb{C}$. For every integer $N\ge 3$ we have an object $H=H^{N-3}({\mathcal{M}}_{0,N}^{\delta },\partial {\mathcal{M}}_{0,N}^{\delta })$ in $\mathcal{MT}(\mathbb{Z})$ whose de Rham and Betti realisations are the usual relative de Rham and Betti cohomology groups of the pair $({\mathcal{M}}_{0,N}^{\delta },\partial {\mathcal{M}}_{0,N}^{\delta })$ [GM04], [Bro09].

Let us recall [Bro14b], [Bro17] the algebra ${\mathcal{P}}_{\mathcal{MT}(\mathbb{Z})}^{\mathfrak{m}}$ of motivic periods of the category $\mathcal{MT}(\mathbb{Z})$. Its elements can be represented as equivalence classes of triples ${[H,[\sigma ],[\omega ]]}^{\mathfrak{m}}$ with $H\in \mathcal{MT}(\mathbb{Z})$, $[\sigma ]\in H_{\mathrm{B}}^{\vee }$ and $[\omega ]\in H_{\mathrm{dR}}$. It is equipped with a period map

$$\begin{array}{c}\hfill \mathrm{per}:{\mathcal{P}}_{\mathcal{MT}(\mathbb{Z})}^{\mathfrak{m}}\to \mathbb{C}\end{array}$$

defined by $\mathrm{per}{[H,[\sigma ],[\omega ]]}^{\mathfrak{m}}=⟨[\sigma ],\mathrm{comp}[\omega ]⟩$. Let us also recall the subalgebra ${\mathcal{P}}_{\mathcal{MT}(\mathbb{Z})}^{\mathfrak{m},+}$ of effective motivic periods of $\mathcal{MT}(\mathbb{Z})$.

Corollary 5.11

Let $\mathrm{\Omega }$ be of the form (62) and convergent. Then the integral

$$\begin{array}{c}\hfill I={\int }_{X^{\delta }}\mathrm{\Omega }\end{array}$$

is a period of a universal moduli space motive $H^{N-3}({\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }},\partial {\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }}),$ where $S^{\prime }\supset S$ is a set with dihedral structure ${\delta }^{\prime }$ compatible with $\delta$, and $|S^{\prime }|=N=3+\mathrm{weight}(\mathrm{\Omega })$. More precisely, we can write $I=\mathrm{per}{I}^{\mathfrak{m}}$ where

$$\begin{array}{c}\hfill I^{\mathfrak{m}}={[H^{N-3}({\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }},\partial {\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }}),X^{{\delta }^{\prime }},[\omega ]]}^{\mathfrak{m}}\in {\mathcal{P}}_{\mathcal{MT}(\mathbb{Z})}^{\mathfrak{m},+}\end{array}$$

is an effective motivic period of weight $N-3$ and $\omega \in \mathrm{\Gamma }({\overline{\mathcal{M}}}_{0,N},{\mathrm{\Omega }}_{{\overline{\mathcal{M}}}_{0,S^{\prime }}}^{N-3}(log\partial {\overline{\mathcal{M}}}_{0,S^{\prime }}))$ is a logarithmic differential form.

Proof

Let $(S^{\prime },{\delta }^{\prime })$ and $\omega$ be as in Corollary 5.10, set $H=H^{N-3}({\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }},\partial {\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }})$ and define $I^{\mathfrak{m}}$ as in the statement. We have

$$\begin{array}{c}\hfill I={\int }_{X^{{\delta }^{\prime }}}\omega =\mathrm{per}{I}^{\mathfrak{m}}\end{array}$$

by definition of the comparison isomorphism for H. The statement about the weight follows from the fact that $\omega$ is logarithmic in the following way. As for every mixed Tate motive, the weight filtration on $H_{\mathrm{dR}}$ is canonically split by the Hodge filtration [DG05, 2.9] and we have a weight grading on H; this splitting implies in particular that $H=W_{2(N-4)}H\oplus F^{N-3}H$. The statement about the weight says that the class of $\omega$ is a homogeneous element of weight $2(N-3)$ with respect to this grading, i.e., that $[\omega ]\in F^{N-3}H$. This can be checked after extending the scalars to $\mathbb{C}$ and thus follows from Corollary 4.13 in [BD20] (compare with [Dup18, Proposition 3.12]). $\square$

Remark 5.12

Note that the motivic lift $I^{\mathfrak{m}}$ of I depends on some choices which go into Lemma 5.8. One expects, from the period conjecture, that it is independent of these choices. One can possibly make the lift canonical by fixing choices in the application of Lemma 5.8.

We deduce a number of consequences:

Theorem 5.13

The coefficients in the Laurent expansion of open string amplitudes with N particles are multiple zeta values. More precisely,

$$\begin{array}{c}\hfill I^{\mathrm{open}}(\omega ,\underset{\_}{s})=\sum _{\underset{\_}{n}={(n_c)}_{c\in {\chi }_S}}{\zeta }_{\underset{\_}{n}}{\underset{\_}{s}}^{\underset{\_}{n}}\text{where}{\underset{\_}{s}}^{\underset{\_}{n}}=\prod _{c\in {\chi }_S}{s}_c^{n_c}\end{array}$$

and each $n_c\ge -1$. Here, ${\zeta }_{\underset{\_}{n}}$ is a $\mathbb{Q}$-linear combination of multiple zeta values of weight $N+|\underset{\_}{n}|-3$, where $|\underset{\_}{n}|={\sum }_{c\in {\chi }_S}{n}_c.$

Proof

Use the fact that the periods of universal moduli space motives are multiple zeta values [Bro09]. One can obtain the statement about the weights either by modifying the argument of loc. cit or as a corollary of the next theorem (using the fact that a real motivic period of weight n of an effective mixed Tate motive over $\mathbb{Z}$ is a $\mathbb{Q}$-linear combination of motivic multiple zeta values of weight n). $\square$

Theorem 5.13 is well-known in this field using results scattered throughout the literature, but until now lacked a completely rigorous proof from start to finish.

Theorem 5.14

The above expansion admits a (non-canonical) motivic lift

$$\begin{array}{c}\hfill I^{\mathfrak{m}}(\omega ,\underset{\_}{s})=\sum _{\underset{\_}{n}={(n_c)}_{c\in {\chi }_S}}{\zeta }_{\underset{\_}{n}}^{\mathfrak{m}}{\underset{\_}{s}}^{\underset{\_}{n}}\end{array}$$ 65

where ${\zeta }_{\underset{\_}{n}}^{\mathfrak{m}}$ is a $\mathbb{Q}$-linear combination of motivic multiple zeta values of weight $N+|\underset{\_}{n}|-3$, whose period is ${\zeta }_{\underset{\_}{n}}.$

Proof

Apply the Laurent expansions (58) to each renormalised integrand (50) and invoke Corollary 5.11. This expresses the terms in the Laurent expansion as linear combinations of products of motivic periods of the required type. $\square$

Remark 5.15

The existence of a motivic lift is a pre-requisite for the computations of Schlotterer and Stieberger [SS13], in which the motivic periods are decomposed into an ‘f-alphabet’ (rephrased in a different language, that paper and related literature studies the action of the motivic Galois group on $I^{\mathfrak{m}}(\omega ,\underset{\_}{s})$). In [SS19], this is achieved by assuming the period conjecture. The computation of universal moduli space periods in terms of multiple zeta values can be carried out algorithmically [Bro09], [Pan15], [Bog16]. This type of analytic argument (or [Ter02], [BSST14]) is used in the literature to deduce a theorem of the form 5.13, but it is not capable of proving the much stronger statement 5.14.

Example 5.16

(‘Motivic’ beta function). We now treat the case of the beta function (Example 4.18) by using the expansion (59) of the renormalised part. We can remove all logarithms at once and write, for $\omega \in \{\frac{\mathit{dx}}{x},\frac{\mathit{dx}}{1-x}\}$:

$$\begin{array}{c}\hfill {\int }_0^1\frac{{log}^m(x)}{m!}\frac{{log}^n(1-x)}{n!}\omega ={(-1)}^{m+n}{\int }_{{\mathrm{\Delta }}^{m+n+1}}\frac{d{u}_1}{1-u_1}\cdots \frac{d{u}_n}{1-u_n}\omega \frac{d{v}_1}{v_1}\cdots \frac{d{v}_m}{v_m}\end{array}$$

where ${\mathrm{\Delta }}^{m+n+1}=\{0<u_1<\cdots <u_n<x<v_1<\cdots <v_m<1\}$ is the standard simplex. We thus get the following expansion:

$$\begin{array}{cc}\hfill \beta (s,t)=& \frac{1}{s}+\frac{1}{t}+\sum _{m\ge 0,n\ge 1}{(-s)}^m{(-t)}^n\zeta ({\{1\}}^{n-1},m+2)\hfill \\ \hfill & +\sum _{m\ge 1,n\ge 0}{(-s)}^m{(-t)}^n\zeta ({\{1\}}^n,m+1),\hfill \end{array}$$

which can be rewritten as

$$\begin{array}{c}\hfill \beta (s,t)=\left(\frac{1}{s},+,\frac{1}{t}\right)\left(1,-,\sum _{m\ge 1,n\ge 1},{(-s)}^m,{(-t)}^n,,\zeta ,({\{1\}}^{n-1},m+1)\right).\end{array}$$ 66

The above argument yields a ‘motivic’ beta function

$$\begin{array}{c}\hfill {\beta }^{\mathfrak{m}}(s,t)=\left(\frac{1}{s},+,\frac{1}{t}\right)\left(1,-,\sum _{m\ge 1,n\ge 1},{(-s)}^m,{(-t)}^n,,{\zeta }^{\mathfrak{m}},({\{1\}}^{n-1},m+1)\right).\end{array}$$ 67

whose period, applied termwise, gives back (66).

Note that Ohno and Zagier observed in [OZ01] that (66) agrees with the more classical expansion of the beta function (3). Likewise, one can verify using motivic-Galois theoretic techniques that (67) indeed coincides with the definition (5).

Single valued projection and single-valued periods

We let ${\mathcal{P}}_{\mathcal{MT}(\mathbb{Z})}^{\mathfrak{m},\mathrm{dR}}$ denote the algebra of motivic de Rham periods of the category $\mathcal{MT}(\mathbb{Z})$ [Bro17] (see also [BD20, §2.3]). It is equipped with a single-valued period map

$$\begin{array}{c}\hfill \mathsf{s}:{\mathcal{P}}_{\mathcal{MT}(\mathbb{Z})}^{\mathfrak{m},\mathrm{dR}}⟶\mathbb{R}\end{array}$$

defined in [Bro14a], [Bro17] (see also [BD20, §2]). The de Rham projection

$$\begin{array}{c}\hfill {\pi }^{\mathfrak{m},\mathrm{dR}}:{\mathcal{P}}_{\mathcal{MT}(\mathbb{Z})}^{\mathfrak{m},+}\to {\mathcal{P}}_{\mathcal{MT}(\mathbb{Z})}^{\mathfrak{m},\mathrm{dR}}\end{array}$$

on effective mixed Tate motivic periods was defined in [Bro14a] and [Bro17, 4.3] (see also [BD20, Definition 4.3]).

Definition 5.17

Given a choice of motivic lift (65), define its de Rham projection to be its image after applying ${\pi }^{\mathfrak{m},\mathrm{dR}}$ term-by-term:

$$\begin{array}{c}\hfill I^{\mathfrak{m},\mathrm{dR}}(\omega ,\underset{\_}{s})=\sum _{\underset{\_}{n}={(n_c)}_{c\in {\chi }_S}}{\zeta }_{\underset{\_}{n}}^{\mathfrak{m},\mathrm{dR}}{\underset{\_}{s}}^{\underset{\_}{n}},\text{where}{\zeta }_{\underset{\_}{n}}^{\mathfrak{m},\mathrm{dR}}={\pi }^{\mathfrak{m},\mathrm{dR}}{\zeta }_{\underset{\_}{n}}^{\mathfrak{m}}.\end{array}$$

This makes sense since ${\zeta }_{\underset{\_}{n}}^{\mathfrak{m}}$ is effective. Likewise, define its single-valued version

$$\begin{array}{c}\hfill I^{\mathsf{sv}}(\omega ,\underset{\_}{s})=\sum _{\underset{\_}{n}={(n_c)}_{c\in {\chi }_S}}{\zeta }_{\underset{\_}{n}}^{\mathsf{sv}}{\underset{\_}{s}}^{\underset{\_}{n}},\text{where}{\zeta }^{\mathsf{sv}}=\mathsf{s}{\zeta }_{\underset{\_}{n}}^{\mathfrak{m},\mathrm{dR}}\end{array}$$

It is a Laurent series whose coefficients are $\mathbb{Q}$-linear combinations of single-valued multiple zeta values.

Since $\mathsf{sv}\circ {\pi }^{\mathfrak{m},\mathrm{dR}}=\mathsf{s}\circ {\pi }^{\mathfrak{m},\mathrm{dR}}$, we could equivalently have applied the map $\mathsf{sv}$, which is specific to the mixed Tate situation (see [BD20, §2.6]). We now compute $I^{\mathsf{sv}}(\omega ,\underset{\_}{s})$.

Lemma 5.18

For any $x\in \mathbb{C}\backslash \{1\}$,

$$\begin{array}{c}\hfill {log|1-x|}^2=\frac{1}{2\pi i}{\int }_{{\mathbb{P}}^1(\mathbb{C})}\left(-,\frac{\mathit{dy}}{y(1-y)}\right)\wedge dlog(1-\overline{x}\overline{y})\end{array}$$

Proof

This follows from the computations of [BD20, §6.3] after a change of coordinates. $\square$

Theorem 5.19

Consider an integral of the form

$$\begin{array}{c}\hfill I={\int }_{X^{\delta }}\prod _{c\in {\chi }_S}({log}^{n_c}(u_c)){\omega }_0\end{array}$$

where the integrand is convergent of the form (62). Let $I^{\mathfrak{m}}$ denote a choice of motivic lift (Corollary 5.11). Its single-valued period $I^{\mathsf{sv}}=\mathsf{s}{\pi }^{\mathfrak{m},\mathrm{dR}}(I^{\mathfrak{m}})$ is

$$\begin{array}{c}\hfill I^{\mathsf{sv}}={(2\pi i)}^{3-|S|}{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}\prod _{c\in {\chi }_S}({log}^{n_c}|u_c{|}^2){\nu }_S\wedge \overline{{\omega }_0},\end{array}$$ 68

and in particular does not depend on the choice of motivic lift.

Proof

Repeated application of Lemma 5.8 (which may involve a choice at each stage), gives rise to a dihedral structure $(S^{\prime },{\delta }^{\prime })$, a morphism

$$\begin{array}{c}\hfill f:{\mathcal{M}}_{0,S^{\prime }}⟶{\mathcal{M}}_{0,S}{\times }_{{\mathbb{A}}^k}({\mathcal{M}}_{0,5}{)}^k\subset {\mathcal{M}}_{0,S}\times {({\mathbb{P}}^1\backslash \{0,1,\infty \})}^k,\end{array}$$

and a differential form ${\omega }^{\prime }\in {\mathrm{\Omega }}_{S^{\prime }}$ with no poles along $\partial {\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }}$ such that

$$\begin{array}{c}\hfill I={\int }_{X^{{\delta }^{\prime }}}{\omega }^{\prime }\text{is the period of}{I}^{\mathfrak{m}}={[H^{|S^{\prime }|-3}({\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }},\partial {\mathcal{M}}_{0,S^{\prime }}^{{\delta }^{\prime }}),X_{{\delta }^{\prime }},{\omega }^{\prime }]}^{\mathfrak{m}}.\end{array}$$

The form ${\omega }^{\prime }$ satisfies ${\omega }^{\prime }=f^{\ast }({\omega }_0\wedge \beta )$ where

$$\begin{array}{c}\hfill \beta =dlog(1-x_1{y}_1)\wedge \dots \wedge dlog(1-x_k{y}_k)\end{array}$$

and $x_1,\dots ,x_k$ denote the coordinates on ${\mathbb{A}}^k$ and correspond to the $1-u_c$, with multiplicity $n_c$, taken in some order. By [BD20, Theorem 3.16] and Corollary 2.9,

$$\begin{array}{c}\hfill \mathsf{s}{\pi }^{\mathfrak{m},\mathrm{dR}}{I}^{\mathfrak{m}}={(2\pi i)}^{3-|S^{\prime }|}{\int }_{{\overline{\mathcal{M}}}_{0,S^{\prime }}(\mathbb{C})}{\nu }_{S^{\prime }}\wedge \overline{{\omega }^{\prime }}.\end{array}$$ 69

Since ${\omega }^{\prime },{\nu }_{S^{\prime }}$ are logarithmic with singularities along distinct divisors, the integral converges. By repeated application of Lemma 2.10, we obtain that ${\nu }_{S^{\prime }}$ is, up to a sign, the pullback by f of the form

$$\begin{array}{c}\hfill {\nu }_S\wedge \left(-,\frac{d{y}_1}{y_1(1-y_1)}\right)\wedge \cdots \wedge \left(-,\frac{d{y}_k}{y_k(1-y_k)}\right),\end{array}$$

the sign being such that after changing coordinates via f we obtain:

$$\begin{array}{c}\hfill I^{\mathsf{sv}}={(2\pi i)}^{3-|S^{\prime }|}{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}{\nu }_S\wedge \overline{{\omega }_0}\times \prod _{j=1}^k{\int }_{{\mathbb{P}}^1(\mathbb{C})}\left(-,\frac{d{y}_j}{y_j(1-y_j)}\right)\wedge dlog(1-\overline{x_j}\overline{y_j}).\end{array}$$

Formula (68) follows on applying Lemma 5.18. $\square$

Theorem 5.20

We have

$$\begin{array}{c}\hfill I^{\mathsf{sv}}(\omega ,\underset{\_}{s})=I^{\mathrm{closed}}(\omega ,\underset{\_}{s}).\end{array}$$ 70

In other words, the coefficients in the canonical Laurent expansion of the closed string amplitudes (52) are the images of the single-valued projection of the coefficients in any motivic lift of the expansion coefficients of open string amplitudes.

Proof

By (50), we write the open string amplitude as

$$\begin{array}{c}\hfill {\int }_{X^{\delta }}\mathrm{\Omega }=\sum _{J\subset {\chi }_S}\frac{1}{s_J}{\int }_{X_J}{\mathrm{\Omega }}_J^{\mathrm{ren}},\end{array}$$ 71

By Corollary 5.5, each integrand on the right-hand side admits a Taylor expansion, whose coefficients are products of integrals over moduli spaces, each of which can be lifted to motivic periods by Corollary 5.11. Thus

$$\begin{array}{c}\hfill {\int }_{X_J}{\mathrm{\Omega }}_J^{\mathrm{ren}}=\mathrm{per}(I_J^{\mathfrak{m}}(\underset{\_}{s}))\end{array}$$

for some formal power series $I_J^{\mathfrak{m}}(\underset{\_}{s})$ in the $s_c$, $c\in {\chi }_S$ whose coefficients are effective motivic periods coming from tensor products of universal moduli space motives. Since $\mathsf{s}$ is an algebra homomorphism, (68) yields

$$\begin{array}{c}\hfill \mathsf{s}{\pi }^{\mathfrak{m},\mathrm{dR}}{I}_J^{\mathfrak{m}}={\int }_{{\overline{\mathcal{M}}}_{0,S/J}(\mathbb{C})}{({\mathrm{\Omega }}_J^{\mathrm{ren}})}^{\mathrm{closed}}.\end{array}$$

On the other hand, by (52) these integrals can be repackaged into

$$\begin{array}{c}\hfill \sum _{J\subset {\chi }_S}\frac{1}{s_J}{\int }_{{\overline{\mathcal{M}}}_{0,S/J}(\mathbb{C})}{({\mathrm{\Omega }}_J^{\mathrm{ren}})}^{\mathrm{closed}}={\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}{\mathrm{\Omega }}^{\mathrm{closed}}.\end{array}$$

$\square$

By abuse of notation, we may express the previous theorem as the formula

$$\begin{array}{c}\hfill \mathsf{s}{\int }_{X^{\delta }}\left(\prod _{c\in {\chi }_S},u_c^{s_c}\right)\omega ={(2\pi i)}^{3-|S|}{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}\left(\prod _{c\in {\chi }_S},{|u_c|}^{2s_c}\right){\nu }_S\wedge \overline{\omega }\end{array}$$

which is equivalent to the form conjectured in [Sti14].

Remark 5.21

Define a motivic version of closed string amplitudes by setting

$$\begin{array}{c}\hfill I^{\mathsf{sv},\mathfrak{m}}(\omega ,\underset{\_}{s})={\mathsf{s}}^{\mathfrak{m}}{I}^{\mathfrak{m},\mathrm{dR}}(\omega ,\underset{\_}{s})\end{array}$$

where ${\mathsf{s}}^{\mathfrak{m}}$ was defined in [Bro17, (4.3)] (see also [BD20, Remark 2.10]). Its period is $\mathrm{per}(I^{\mathsf{sv},\mathfrak{m}}(\omega ,\underset{\_}{s}))=I^{\mathsf{sv}}(\omega ,\underset{\_}{s}),$ which coincides with the closed string amplitude, by the previous theorem. This object is of interest because it immediately implies a compatibility between the actions of the motivic Galois group on the open and closed string amplitudes.

Background on (Co)homology of ${\mathcal{M}}_{0,S}$ with Coefficients

Most, if not all, of the results reviewed below are taken from the literature. A proof that the Parke–Taylor forms are a basis for cohomology with coefficients can be found in the appendix. See [KY94a], [KY94b], [CM95], [Mat98], [MY03] and references therein for more details.

Koba–Nielsen connection and local system

Let S be a finite set with $|S|=N=n+3\ge 3$. Let $\underset{\_}{s}=(s_{\mathit{ij}})$ be a solution to the momentum conservation equations (30). Let

$$\begin{array}{c}\hfill {\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}=\mathbb{Q}(e^{2\pi i{s}_{\mathit{kl}}})\text{and}{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}=\mathbb{Q}(s_{\mathit{kl}})\end{array}$$ 72

be the subfields of $\mathbb{C}$ generated by the $exp(2\pi i{s}_{\mathit{kl}})$ and $s_{\mathit{kl}}$ respectively.

Definition 6.1

Let ${\mathcal{O}}_S$ denote the structure sheaf on ${\mathcal{M}}_{0,S}{\times }_{\mathbb{Q}}{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$. The Koba–Nielsen connection [KN69] is the logarithmic connection on ${\mathcal{O}}_S$ defined by

$$\begin{array}{c}\hfill {\mathrm{\nabla }}_{\underset{\_}{s}}:{\mathcal{O}}_S⟶{\mathrm{\Omega }}_S^1\text{where}{\mathrm{\nabla }}_{\underset{\_}{s}}=d+{\omega }_{\underset{\_}{s}}\end{array}$$

and ${\omega }_{\underset{\_}{s}}$ was defined in (31). The Koba–Nielsen local system is the ${\mathbb{Q}}_s^{\mathrm{B}}$-local system of rank one on ${\mathcal{M}}_{0,S}(\mathbb{C})$ defined by

$$\begin{array}{c}\hfill {\mathcal{L}}_{\underset{\_}{s}}={\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}\prod _{1\le i<j\le N}{(p_j-p_i)}^{-s_{\mathit{ij}}}.\end{array}$$

Since ${\omega }_{\underset{\_}{s}}$ is a closed one-form, the connection ${\mathrm{\nabla }}_{\underset{\_}{s}}$ is integrable. The horizontal sections of the analytification $({\mathcal{O}}_S^{\mathrm{an}},{\mathrm{\nabla }}_{\underset{\_}{s}}^{\mathrm{an}})$ define a rank one local system over the complex numbers that is naturally isomorphic to the complexification of ${\mathcal{L}}_{\underset{\_}{s}}$:

$$\begin{array}{c}\hfill {\left({\mathcal{O}}_S^{\mathrm{an}}\right)}^{{\mathrm{\nabla }}_{\underset{\_}{s}}^{\mathrm{an}}}\simeq {\mathcal{L}}_{\underset{\_}{s}}{\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}}\mathbb{C}.\end{array}$$ 73

We will also consider the dual of the Koba–Nielsen local system

$$\begin{array}{c}\hfill {\mathcal{L}}_{\underset{\_}{s}}^{\vee }={\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}\prod _{1\le i<j\le N}{(p_j-p_i)}^{s_{\mathit{ij}}}\simeq {\mathcal{L}}_{-\underset{\_}{s}}.\end{array}$$ 74

Let $(S,\delta )$ be a dihedral structure. In dihedral coordinates,

$$\begin{array}{c}\hfill {\mathrm{\nabla }}_{\underset{\_}{s}}=d+\sum _{c\in {\chi }_{S,\delta }}{s}_c\frac{d{u}_c}{u_c}\text{and}{\mathcal{L}}_{\underset{\_}{s}}={\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}\prod _{c\in {\chi }_{S,\delta }}{u}_c^{-s_c}.\end{array}$$

Definition 6.2

A solution to the momentum conservation equations (30) is generic if

$$\begin{array}{c}\hfill \sum _{i,j\in I}{s}_{\mathit{ij}}\notin \mathbb{Z}\end{array}$$ 75

for every subset $I\subset S$ with $|I|\ge 2$, and $|S\backslash I|\ge 2$.

Remark 6.3

Write $H=H_{\mathrm{dR}}^1({\mathcal{M}}_{0,S}/\mathbb{Q})$. By formality (20) and (21), and Lemma 3.2, the form ${\omega }_{\underset{\_}{s}}$ is the specialisation of the universal abelian one-form

$$\begin{array}{c}\hfill \omega \in H^{\vee }\otimes {\mathrm{\Omega }}_S^1\cong H^{\vee }\otimes H\end{array}$$

which represents the identity in $H^{\vee }\otimes H\cong \mathrm{End}(H)$.

Remark 6.4

The formal one-form $\omega$ defines a logarithmic connection on the universal enveloping algebra of the braid Lie algebra. It is the universal connection on the affine ring of the unipotent de Rham fundamental group ${\pi }_1^{\mathrm{dR}}({\mathcal{M}}_{0,S})$:

$$\begin{array}{c}\hfill {\mathrm{\nabla }}_{\mathrm{KZ}}:\mathcal{O}({\pi }_1^{\mathrm{dR}}({\mathcal{M}}_{0,S}))⟶{\mathrm{\Omega }}_S^1\otimes \mathcal{O}({\pi }_1^{\mathrm{dR}}({\mathcal{M}}_{0,S}))\end{array}$$

The Koba–Nielsen connection (viewed as a connection over the field ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$, i.e., for the universal solution of the momentum-conservation equations) is its abelianisation. Given any particular complex solution to the moment conservation equations, the latter specialises to a connection over $\mathbb{C}$.

Singular (co)homology

Denote the (singular) homology, locally finite (Borel-Moore) homology, cohomology, and cohomology with compact supports of ${\mathcal{M}}_{0,S}$ with coefficients in ${\mathcal{L}}_{\underset{\_}{s}}$ by

$$\begin{array}{c}\hfill H_k({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}}),H_k^{\mathrm{lf}}({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}}),H^k({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}}),H_{\mathrm{c}}^k({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}}).\end{array}$$

They are finite-dimensional ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}$-vector spaces. The second is the cohomology of the complex of formal infinite sums of cochains with coefficients in ${\mathcal{L}}_{\underset{\_}{s}}$ whose restriction to any compact subset have only finitely many non-zero terms.

Because of (74), duality between homology and cohomology gives rises to canonical isomorphisms of ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}$-vector spaces for all k:

$$\begin{array}{c}\hfill H_k({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})\simeq H^k{({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})}^{\vee },H_k^{\mathrm{lf}}({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})\simeq H_{\mathrm{c}}^k{({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})}^{\vee }.\end{array}$$

Proposition 6.5

If the $s_{\mathit{ij}}$ are generic in the sense of (75), then the natural maps induce the following isomorphisms:

$$\begin{array}{cc}& H_{\mathrm{c}}^k({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})\stackrel{\sim }{⟶}{H}^k({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})\hfill \end{array}$$ 76

$$\begin{array}{cc}& H_k({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})\stackrel{\sim }{⟶}{H}_k^{\mathrm{lf}}({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}}).\hfill \end{array}$$ 77

Proof

Let $j:{\mathcal{M}}_{0,S}\hookrightarrow {\overline{\mathcal{M}}}_{0,S}$ denote the open immersion. We claim that the natural map $j_{!}{\mathcal{L}}_{\underset{\_}{s}}\to R{j}_{\ast }{\mathcal{L}}_{\underset{\_}{s}}$ is an isomorphism in the derived category of the category of sheaves on ${\overline{\mathcal{M}}}_{0,S}$, which amounts to the fact that $R{j}_{\ast }{\mathcal{L}}_{\underset{\_}{s}}$ has zero stalk at any point of $\partial {\overline{\mathcal{M}}}_{0,S}$. Since $\partial {\overline{\mathcal{M}}}_{0,S}$ is a normal crossing divisor we are reduced, by Künneth, to proving that ${\mathcal{L}}_{\underset{\_}{s}}$ has non-trivial monodromy around each boundary divisor. For a divisor defined by the vanishing of a dihedral coordinate $u_c=0$, monodromy acts by multiplication by $exp(-2\pi i{s}_c)$, since ${\mathcal{L}}_{\underset{\_}{s}}$ is generated by ${\prod }_{c\in {\chi }_{S,\delta }}{u}_c^{-s_c}$. Every other boundary divisor on ${\mathcal{M}}_{0,S}$ is obtained from such a divisor by permuting the elements of S. From formula (36) and the action of the symmetric group, it follows that the monodromy of ${\mathcal{L}}_{\underset{\_}{s}}$ around a divisor D defined by a partition $S=S_1\bigsqcup S_2$ is given by $exp(-2\pi i{s}_D)$ where $s_D={\sum }_{i,j\in S_1}{s}_{\mathit{ij}}={\sum }_{i,j\in S_2}{s}_{\mathit{ij}}$. It is non-trivial if and only if $s_D\notin \mathbb{Z}$, which is equation (75). The first statement follows by applying $R{\mathrm{\Gamma }}_{\mathrm{c}}\simeq R\mathrm{\Gamma }$ to the isomorphism $j_{!}{\mathcal{L}}_{\underset{\_}{s}}\stackrel{\sim }{\to }R{j}_{\ast }{\mathcal{L}}_{\underset{\_}{s}}$. The second statement is dual to the first. $\square$

Remark 6.6

Under the assumptions (75), Artin vanishing and duality imply that all homology and cohomology groups in Proposition 6.5 vanish if $i\ne n$.

The inverse to the isomorphism (77) is sometimes called regularisation. For any dihedral structure $\delta$ on S, the function $f_{\underset{\_}{s}}={\prod }_{c\in {\chi }_{S,\delta }}{u}_c^{s_c}$ is well-defined on the domain $X^{\delta }\subset {\mathcal{M}}_{0,S}(\mathbb{R})$ and defines a class $[X^{\delta }\otimes f_{\underset{\_}{s}}]$ in $H_n^{\mathrm{lf}}({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})$. (Strictly speaking, this class is represented by the infinite sum of the simplices of a fixed locally finite triangulation of $X^{\delta }$, and does not depend on the choice of triangulation). Its image under the regularisation map, assuming (75), defines a class we abusively also denote by $[X^{\delta }\otimes f_{\underset{\_}{s}}]\in H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})$. The following result is classical.

Proposition 6.7

Assume that the $s_{\mathit{ij}}$ are generic in the sense of (75). Choose three distinct elements $a,b,c\in S$. A basis of $H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})$ is provided by the classes $[X^{\delta }\otimes f_{\underset{\_}{s}}]$, where $\delta$ ranges over the set of dihedral structures on S with respect to which a, b, c appear consecutively, and in that order (or the reverse order).

Proof

We may assume that $S=\{1,\dots ,n+3\}$, $(a,b,c)=(n+1,n+2,n+3)$, and work in simplicial coordinates $(t_1,\dots ,t_n)$ by fixing $p_{n+1}=1$, $p_{n+2}=\infty$, $p_{n+3}=0$. These coordinates give an isomorphism of ${\mathcal{M}}_{0,S}$ with the complement of the hyperplane arrangement in ${\mathbb{A}}^n$ consisting of the hyperplanes $\{t_i=0\}$ and $\{t_i=1\}$ for $1\le i\le n$, and $\{t_i=t_j\}$ for $1\le i<j\le n$. This arrangement is defined over $\mathbb{R}$ and the real points of its complement is the disjoint union of the domains $X^{\delta }$ for $\delta$ a dihedral structure on S. Such a domain is bounded in ${\mathbb{R}}^n$ if and only if it is of the form $\{0<t_{\sigma (1)}<\cdots <t_{\sigma (n)}<1\}$ for some permutation $\sigma \in {\mathrm{\Sigma }}_n$, i.e., if and only if no simplicial coordinate is adjacent to $\infty$ in the dihedral ordering. Equivalently the points $n+1,n+2,n+3$ are consecutive and in that order (or its reverse) in the dihedral ordering $\delta$. The proposition is thus a special case of [DT97, Proposition 3.1.4]. $\square$

Betti pairing

Under the assumptions (75), Poincaré–Verdier duality combined with (76) defines a perfect pairing of ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}$-vector spaces in cohomology

$$\begin{array}{c}\hfill {⟨,⟩}^{\mathrm{B}}:H^n({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}}){\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}}{H}^n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})⟶{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}},\end{array}$$

which is dual to a perfect pairing in homology

$$\begin{array}{c}\hfill {⟨,⟩}_{\mathrm{B}}:H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}}){\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}}{H}_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})⟶{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}.\end{array}$$

If $\sigma \otimes f_{-\underset{\_}{s}}$ and $\tau \otimes f_{\underset{\_}{s}}$ are locally finite representatives for homology classes in $H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})$ and $H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})$ respectively, then the corresponding pairing

$$\begin{array}{c}\hfill {⟨[\tau \otimes f_{\underset{\_}{s}}],[\sigma \otimes f_{-\underset{\_}{s}}]⟩}_{\mathrm{B}}\end{array}$$

is the number of intersection points (with signs) of $\sigma$ and $\tilde{\tau }$ where $[\tilde{\tau }\otimes f_{\underset{\_}{s}}]$ is a regularisation of $[\tau \otimes f_{\underset{\_}{s}}]$ and $\tilde{\tau }$ is in general position with respect to $\sigma$ [KY94a], [KY94b]. The matrix of the cohomological Betti pairing is the inverse transpose of the matrix of the homological Betti pairing.

Algebraic de Rham cohomology

Let $H^k({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})$ denote the algebraic de Rham cohomology of ${\mathcal{M}}_{0,S}$ with coefficients in the algebraic vector bundle $({\mathcal{O}}_S,{\mathrm{\nabla }}_{\underset{\_}{s}})$ with integrable connection over ${\mathcal{M}}_{0,S}{\times }_{\mathbb{Q}}{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$. It is a finite-dimensional ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$-vector space. Let $({\mathcal{O}}_S^{\mathrm{an}},{\mathrm{\nabla }}_{\underset{\_}{s}}^{\mathrm{an}})$ denote the analytic rank one vector bundle with connection on ${\mathcal{M}}_{0,S}(\mathbb{C})$ obtained from $({\mathcal{O}}_S,{\mathrm{\nabla }}_{\underset{\_}{s}})$. We have an isomorphism

$$\begin{array}{c}\hfill H^k({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}}){\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}}\mathbb{C}\simeq H^k({\mathcal{M}}_{0,S}(\mathbb{C}),{\mathrm{\nabla }}_{\underset{\_}{s}}^{\mathrm{an}}),\end{array}$$ 78

where the right-hand side denotes the cohomology of the complex of global smooth differential forms on ${\mathcal{M}}_{0,S}(\mathbb{C})$ with differential ${\mathrm{\nabla }}_{\underset{\_}{s}}$. Recall from [BD20, §3] the notation ${\mathcal{A}}_{{\overline{\mathcal{M}}}_{0,S}}^{\bullet }(log\partial {\overline{\mathcal{M}}}_{0,S})$ for the complex of sheaves of smooth forms on ${\overline{\mathcal{M}}}_{0,S}$ with logarithmic singularities along $\partial {\overline{\mathcal{M}}}_{0,S}$.

Proposition 6.8

Under the assumptions (75) we have a natural isomorphism

$$\begin{array}{c}\hfill H^k({\mathcal{M}}_{0,S}(\mathbb{C}),{\mathrm{\nabla }}_{\underset{\_}{s}}^{\mathrm{an}})\simeq H^k(\mathrm{\Gamma }({\overline{\mathcal{M}}}_{0,S},{\mathcal{A}}_{{\overline{\mathcal{M}}}_{0,S}}^{\bullet }(log\partial {\overline{\mathcal{M}}}_{0,S})),{\mathrm{\nabla }}_{\underset{\_}{s}}^{\mathrm{an}}).\end{array}$$

Proof

This is a smooth version of [Del70, Proposition 3.13]. The assumptions of [loc. cit.] are implied by (75) and one can check that its proof can be copied in the smooth setting. $\square$

By a classical argument due to Esnault–Schechtman–Viehweg [ESV92], we can replace global logarithmic smooth forms with global algebraic smooth forms and the cohomology group $H^k({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})$ is given, under the assumptions (75), by the cohomology of the complex $({\mathrm{\Omega }}_S^{\bullet }\otimes {\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}},{\omega }_{\underset{\_}{s}}\wedge -)$. In particular, $H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})$ is simply the quotient of ${\mathrm{\Omega }}_S^n\otimes {\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$ by the subspace spanned by the elements ${\omega }_{\underset{\_}{s}}\wedge \phi$ for $\phi \in {\mathrm{\Omega }}_S^{n-1}$. The following theorem gives a basis of that quotient.

Theorem 6.9

Assume that the $s_{\mathit{ij}}$ are generic in the sense of (75). A basis of $H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})$ is provided by the classes of the differential forms

$$\begin{array}{c}\hfill \frac{d{t}_1\wedge \cdots \wedge d{t}_n}{{\prod }_{k=1}^n(t_k-t_{i_k})}\end{array}$$

for the tuples $(i_1,\dots ,i_n)$ with $0\le i_k\le k-1$ and where we set $t_0=0$.

Proof

This is a special case of [Aom87, Theorem 1]. $\square$

The following more symmetric basis is more prevalent in the string theory literature. Its elements are called Parke–Taylor factors [PT86]. Therefore we shall refer to it as the Parke–Taylor basis, as opposed to the Aomoto basis of Theorem 6.9. Although the following theorem is frequently referred to in the literature, we could not find a complete proof for it and therefore provide one in “Appendix 7.4”.

Theorem 6.10

Assume that the $s_{\mathit{ij}}$ are generic in the sense of (75). A basis of $H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})$ is provided by the classes of the differential forms

$$\begin{array}{c}\hfill \frac{d{t}_1\wedge \cdots \wedge d{t}_n}{{\prod }_{k=1}^{n+1}(t_{\sigma (k)}-t_{\sigma (k-1)})}\end{array}$$

for permutations $\sigma \in {\mathrm{\Sigma }}_n$, where we set $t_{\sigma (0)}=0$ and $t_{\sigma (n+1)}=1$.

Other bases can be found in the literature, e.g., the $\beta$nbc bases of Falk–Terao [FT97].

de Rham pairing

Under the assumptions (75) there is an algebraic de Rham version of the intersection pairing, which is a perfect pairing

$$\begin{array}{c}\hfill {⟨,⟩}^{\mathrm{dR}}:H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}}){\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}}{H}^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{-\underset{\_}{s}})⟶{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}\end{array}$$

of ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$-vector spaces. This is easily checked after extending the scalars to $\mathbb{C}$ by working with smooth de Rham complexes. The only part to check is that this pairing is algebraic, i.e., defined over ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}.$ Indeed, it can be defined algebraically (see [CM95] for the general case of curves), and computed explicitly for hyperplane arrangements [Mat98], which contains the present situation as a special case.

If $\omega ,\nu \in {\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}\otimes {\mathrm{\Omega }}_S^n$ are logarithmic n-forms, let $\tilde{\nu }$ be a smooth ${\mathrm{\nabla }}_{\underset{\_}{s}}$-closed n-form on ${\mathcal{M}}_{0,S}(\mathbb{C})$ which represents $[\nu ]$ and has compact support. Then

$$\begin{array}{c}\hfill {⟨[\nu ],[\omega ]⟩}^{\mathrm{dR}}={(2\pi i)}^{-n}{\int }_{{\mathcal{M}}_{0,S}(\mathbb{C})}\tilde{\nu }\wedge \omega .\end{array}$$

Our normalisation differs from the one in the literature by the factor of ${(2\pi i)}^{-n}$.

Periods

Since algebraic de Rham cohomology is defined over ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$, we can meaningfully speak of periods. Using (73) we see that integration induces a perfect pairing of complex vector spaces:

$$\begin{array}{cc}\hfill H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}}{\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}}\mathbb{C}){\otimes }_{\mathbb{C}}{H}^n({\mathcal{M}}_{0,S}(\mathbb{C}),{\mathrm{\nabla }}_{\underset{\_}{s}}^{\mathrm{an}})⟶& \mathbb{C}\hfill \\ \hfill [\gamma \otimes f_{\underset{\_}{s}}]\otimes [\omega ]⟶& {\int }_{\gamma }{f}_{\underset{\_}{s}}\omega \hfill \end{array}$$

which is well-defined by Stokes’ theorem. By (78) it induces an isomorphism:

$$\begin{array}{c}\hfill {\mathrm{comp}}_{\mathrm{B},\mathrm{dR}}:H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}}){\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}}\mathbb{C}\stackrel{\sim }{⟶}{H}^n({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}}){\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}}\mathbb{C}.\end{array}$$ 79

We will use the notation ${\mathrm{comp}}_{\mathrm{B},\mathrm{dR}}(\underset{\_}{s})$ when we want to make the dependence on $\underset{\_}{s}$ explicit. If we choose a ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$-basis of the left-hand vector space, and a ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}$-basis of the right-hand vector space, the isomorphism ${\mathrm{comp}}_{\mathrm{B},\mathrm{dR}}(\underset{\_}{s})$ can be expressed as a matrix $P_{\underset{\_}{s}}$, and we will sometimes abusively use the notation $P_{\underset{\_}{s}}$ instead of ${\mathrm{comp}}_{\mathrm{B},\mathrm{dR}}(\underset{\_}{s})$.

Theorem 6.11

(Twisted period relations [KY94a], [CM95]) Assume that the $s_{\mathit{ij}}$ are generic in the sense of (75). Let $\omega ,\nu \in {\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}\otimes {\mathrm{\Omega }}_S^n$ be logarithmic n-forms giving rise to classes in $H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{-\underset{\_}{s}})$ and $H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})$ respectively. We have the equality:

$$\begin{array}{c}\hfill {(2\pi i)}^n{⟨[\nu ],[\omega ]⟩}^{\mathrm{dR}}={⟨P_{\underset{\_}{s}}[\nu ],P_{-\underset{\_}{s}}[\omega ]⟩}^{\mathrm{B}},\end{array}$$ 80

where the cohomological Betti pairing is naturally extended by $\mathbb{C}$-linearity.

Proof

This follows from the fact that the (iso)morphisms (76) and (77) and Poincaré–Verdier duality are compatible with the comparison isomorphisms. $\square$

The reason for the factor ${(2\pi i)}^n$ in the formula (80) is because of our insistence that the de Rham intersection pairing $I_{\mathrm{dR}}$ be algebraic and have entries in ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}.$

Proposition 6.12

Assume that the $s_{\mathit{ij}}$ are generic in the sense of (75). Let $\delta$ be a dihedral structure on S and let $\omega \in {\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}\otimes {\mathrm{\Omega }}_S^n$ be a regular logarithmic form on ${\mathcal{M}}_{0,S}$ of top degree. If the inequalities of Proposition 3.5 hold then we have

$$\begin{array}{c}\hfill ⟨[X^{\delta }\otimes f_{\underset{\_}{s}}],{\mathrm{comp}}_{\mathrm{B},\mathrm{dR}}[\omega ]⟩={\int }_{X^{\delta }}{f}_{\underset{\_}{s}}\omega .\end{array}$$

Proof

1. We first prove that the formula holds for any algebraic n-form $\omega$ on ${\mathcal{M}}_{0,S}^{\delta }$ with logarithmic singularities along $\partial {\mathcal{M}}_{0,S}^{\delta }$, provided $\mathrm{Re}(s_c)>0$ for every chord $c\in {\chi }_{S,\delta }$. By definition we have for every $\underset{\_}{s}$ the formula:

   $$\begin{array}{c}\hfill ⟨[X^{\delta }\otimes f_{\underset{\_}{s}}],{\mathrm{comp}}_{\mathrm{B},\mathrm{dR}}[\omega ]⟩={\int }_{X^{\delta }}{f}_{\underset{\_}{s}}\tilde{\omega },\end{array}$$

   where $\tilde{\omega }$ is a global section of ${\mathcal{A}}_{{\overline{\mathcal{M}}}_{0,S}}^n(log\partial {\overline{\mathcal{M}}}_{0,S})$ with compact support which is cohomologous to $\omega$, i.e., such that $\omega -\tilde{\omega }={\mathrm{\nabla }}_{\underset{\_}{s}}\varphi$, with $\varphi$ a global section of ${\mathcal{A}}_{{\overline{\mathcal{M}}}_{0,S}}^{n-1}(log\partial {\overline{\mathcal{M}}}_{0,S})$. Thus, we need to prove that the integral of $f_{\underset{\_}{s}}{\mathrm{\nabla }}_{\underset{\_}{s}}\varphi =d(f_{\underset{\_}{s}}\varphi )$ on $X^{\delta }$ vanishes if $\mathrm{Re}(s_c)>0$ for all chords $c\in {\chi }_{S,\delta }$. We note that in general $f_{\underset{\_}{s}}\varphi$ has singularities along the boundary of $X^{\delta }$ unless $\mathrm{Re}(s_c)>1$ for all chords $c\in {\chi }_{S,\delta }$, so that we cannot apply Stokes’ theorem directly. We can write

   $$\begin{array}{c}\hfill \varphi =\sum _J\left({\varphi }_J,\wedge ,\underset{c\in J}{\bigwedge },\frac{d{u}_c}{u_c}\right)\end{array}$$

   where the sum is over subsets of chords $J\subset {\chi }_{S,\delta }$ and ${\varphi }_J$ extends to a smooth form on ${\mathcal{M}}_{0,n}^{\delta }$ (i.e., has no poles along the boundary of $X^{\delta }$). By properties of dihedral coordinates, we can furthermore assume that ${\varphi }_J=0$ if J contains two crossing chords. Indeed, a form ${\bigwedge }_{c\in J}\frac{d{u}_c}{u_c}$ extends to a regular form on ${\mathcal{M}}_{0,n}^{\delta }$ if every chord in J is crossed by another chord in J by (13). It is therefore sufficient to consider a single term given by a set $J\subset {\chi }_{S,\delta }$ consisting of chords that do not cross. We write ${\varphi }^{\prime }={\varphi }_J$ and set $f_{\underset{\_}{s}}^{\prime }={\prod }_{c\notin J}{u}_c^{s_c}$ so that we have

   $$\begin{array}{c}\hfill d(f_{\underset{\_}{s}}\varphi )=d(f_{\underset{\_}{s}}^{\prime }{\varphi }^{\prime })\wedge \left(\underset{c\in J}{\bigwedge },u_c^{s_c},\frac{d{u}_c}{u_c}\right).\end{array}$$

   The forgetful maps (18) give rise to a diffeomorphism $X^{\delta }\simeq {(0,1)}^k\times X_J$ with $k=|J|$ and $X_J=X^{{\delta }_0}\times \cdots \times X^{{\delta }_k}$. We can thus write

   $$\begin{array}{c}\hfill {\int }_{X^{\delta }}d(f_{\underset{\_}{s}}\varphi )=\pm {\int }_{{(0,1)}^k}\left(\underset{i=1}{\overset{k}{\bigwedge }},x_i^{s_{c_i}},\frac{d{x}_i}{x_i},{\int }_{X_J},d,(f_{\underset{\_}{s}}^{\prime }{\varphi }^{\prime })\right),\end{array}$$

   where the $x_i$ are the coordinates on ${(0,1)}^k$, corresponding to the dihedral coordinates $u_{c_i}$ for $J=\{c_1,\dots ,c_k\}$. Now the boundary of $X_J$ has components $\{u_c=0\}$ for c a chord that does not cross any chord in J. Thus, if $\mathrm{Re}(s_c)>0$ for every chord c we have that $f_{\underset{\_}{s}}^{\prime }$, and hence $f_{\underset{\_}{s}}^{\prime }{\varphi }^{\prime }$, vanishes on the boundary of $X_J$, and the inner integral is zero by Stokes’ theorem for manifolds with corners.

2. Now, for $\omega$ as in the statement of the proposition, let $D_{c_1},\dots ,D_{c_r}$ be the divisors along which $\omega$ does not have a pole. Applying the first step of the proof to the product $\left({\prod }_{i=1}^r,u_{c_i}^{-1}\right)\omega$ yields the result.

$\square$

Example 6.13

Let $|S|=4$. Then $H_1({\mathcal{M}}_{0,S},{\mathcal{L}}_{-s,-t})\cong H_1^{\mathrm{lf}}({\mathcal{M}}_{0,S},{\mathcal{L}}_{-s,-t})$ is one-dimensional. The locally finite homology is spanned by the class of $\sigma \otimes x^s{(1-x)}^t$ where $\sigma$ is the open interval (0, 1). The algebraic de Rham cohomology group $H^1({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})\cong {\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}[\nu ]$ is one-dimensional spanned by the class of $\nu =-{\nu }_S$ where

$$\begin{array}{c}\hfill \nu =\frac{\mathit{dx}}{x(1-x)}\in {\mathrm{\Omega }}_S^1.\end{array}$$

The period matrix $P_{\underset{\_}{s}}$ is the $1\times 1$ matrix whose entry is the beta function:

$$\begin{array}{c}\hfill P_{\underset{\_}{s}}=\left({\int }_0^1,x^s,{(1-x)}^t,\frac{\mathit{dx}}{x(1-x)}\right)=\left(,\beta ,(,s,,,t,),\right)=\left(\frac{\mathrm{\Gamma }(s)\mathrm{\Gamma }(t)}{\mathrm{\Gamma }(s+t)}\right).\end{array}$$ 81

For any small $\epsilon >0$, a representative for the regularisation of $[\sigma \otimes x^s{(1-x)}^t]$ is

$$\begin{array}{c}\hfill (\frac{S_0(\epsilon )}{e^{2\pi is}-1}+[\epsilon ,1-\epsilon ]-\frac{S_1(\epsilon )}{e^{2\pi it}-1})\otimes x^s{(1-x)}^t\end{array}$$

where $S_i(\epsilon )$ denotes the small circle of radius $\epsilon$ winding positively around i. From this one easily deduces the intersection product with the class of $\sigma \otimes x^{-s}{(1-x)}^{-t}$. It is

$$\begin{array}{c}\hfill {⟨[\sigma \otimes x^s{(1-x)}^t],[\sigma \otimes x^{-s}{(1-x)}^{-t}]⟩}_{\mathrm{B}}=\frac{1-e^{2\pi i(s+t)}}{(1-e^{2\pi is})(1-e^{2\pi it})}=\frac{i}{2}\frac{sin(\pi (s+t))}{sin(\pi s)sin(\pi t)}·\\ \hfill \end{array}$$ 82

See, e.g., [CM95], [KY94a, §2], or [MY03, §2]. Dually:

$$\begin{array}{c}\hfill {⟨{[\sigma \otimes x^s{(1-x)}^t]}^{\vee },{[\sigma \otimes x^{-s}{(1-x)}^{-t}]}^{\vee }⟩}^{\mathrm{B}}=\frac{2}{i}\frac{sin(\pi s)sin(\pi t)}{sin\pi (s+t)}·\end{array}$$

On the other hand, the de Rham intersection pairing [Mat98] is

$$\begin{array}{c}\hfill {⟨[\nu ],[\nu ]⟩}^{\mathrm{dR}}=\frac{1}{s}+\frac{1}{t}·\end{array}$$ 83

In this case, equation (80) reads

$$\begin{array}{c}\hfill 2\pi i(\frac{1}{s}+\frac{1}{t})=\beta (-s,-t)\beta (s,t)\frac{2}{i}\frac{sin(\pi s)sin(\pi t)}{sin\pi (s+t)}\end{array}$$ 84

using (82) and (83), as observed in [CM95], or in terms of the gamma function:

$$\begin{array}{c}\hfill \frac{\mathrm{\Gamma }(s)\mathrm{\Gamma }(t)}{\mathrm{\Gamma }(s+t)}\frac{\mathrm{\Gamma }(-s)\mathrm{\Gamma }(-t)}{\mathrm{\Gamma }(-s-t)}=-\pi \frac{(s+t)sin(\pi (s+t))}{ssin(\pi s)tsin(\pi t)}·\end{array}$$ 85

This can easily be deduced from the well-known functional equation for the gamma function $\mathrm{\Gamma }(s)\mathrm{\Gamma }(-s)=-\frac{\pi }{ssin(\pi s)}$, and is in fact equivalent to it (set $t=-s/2$).

Self-duality

It is convenient to reformulate the above relations as a statement about self-duality. Consider the object

$$\begin{array}{cc}\hfill M_{\mathrm{dR}}=& H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})\oplus H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{-\underset{\_}{s}})\hfill \\ \hfill M_{\mathrm{B}}=& H^n({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})\oplus H^n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})\hfill \end{array}$$

and denote the comparison

$$\begin{array}{c}\hfill P=P_{\underset{\_}{s}}\oplus P_{-\underset{\_}{s}}:M_{\mathrm{dR}}{\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}}\mathbb{C}\stackrel{\sim }{⟶}{M}_{\mathrm{B}}{\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}}\mathbb{C}\end{array}$$

The results in the previous section can be summarised by saying that the triple of objects $(M_{\mathrm{dR}},M_{\mathrm{B}},P)$ is self-dual. In other words, the Betti and de Rham pairings induce isomorphisms

$$\begin{array}{c}\hfill I_{\mathrm{dR}}:M_{\mathrm{dR}}\cong M_{\mathrm{dR}}^{\vee }\text{and}{I}_{\mathrm{B}}:M_{\mathrm{B}}\cong M_{\mathrm{B}}^{\vee }\end{array}$$

which are compatible with the comparison isomorphism P. With these notations, equation (80) can be written in the simpler form:

$$\begin{array}{c}\hfill {(2\pi i)}^n{I}_{\mathrm{dR}}=P^{\vee }{I}_{\mathrm{B}}P.\end{array}$$ 86

Single-Valued Periods for Cohomology with Coefficients

We fix a solution $(s_{\mathit{ij}})$ of the momentum conservation equations over the complex numbers.

Complex conjugation and the single-valued period map

We can define and compute a period pairing on de Rham cohomology classes by transporting complex conjugation which is the anti-holomorphic diffeomorphism:

$$\begin{array}{c}\hfill \mathrm{conj}:{\mathcal{M}}_{0,S}(\mathbb{C})⟶{\mathcal{M}}_{0,S}(\mathbb{C}).\end{array}$$ 87

Since it reverses the orientation of simple closed loops, and since a rank one local system on ${\mathcal{M}}_{0,S}(\mathbb{C})$ is determined by a representation of the abelian group $H_1({\mathcal{M}}_{0,S}(\mathbb{C}))$ we see that we have an isomorphism of local systems:

$$\begin{array}{c}\hfill {\mathrm{conj}}^{\ast }{\mathcal{L}}_{\underset{\_}{s}}\simeq {\mathcal{L}}_{-\underset{\_}{s}}.\end{array}$$ 88

We thus get a morphism of local systems on ${\mathcal{M}}_{0,S}(\mathbb{C})$:

$$\begin{array}{c}\hfill {\mathcal{L}}_{\underset{\_}{s}}⟶{\mathrm{conj}}_{\ast }{\mathrm{conj}}^{\ast }{\mathcal{L}}_{\underset{\_}{s}}\simeq {\mathrm{conj}}_{\ast }{\mathcal{L}}_{-\underset{\_}{s}},\end{array}$$

which at the level of cohomology induces a morphism of ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}$-vector spaces

$$\begin{array}{c}\hfill F_{\infty }:H^n({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})⟶H^n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}}).\end{array}$$

We call $F_{\infty }$ the real Frobenius or Frobenius at the infinite prime. We will use the notation $F_{\infty }(\underset{\_}{s})$ when we want to make dependence on $\underset{\_}{s}$ explicit. One checks that the Frobenius is involutive: $F_{\infty }(-\underset{\_}{s})F_{\infty }(\underset{\_}{s})=\mathrm{id}$.

Remark 7.1

The isomorphism (88) is induced by the trivialisation of the tensor product ${\mathrm{conj}}^{\ast }{\mathcal{L}}_{\underset{\_}{s}}\otimes {\mathcal{L}}_{\underset{\_}{s}}$ given by the section

$$\begin{array}{c}\hfill g_{\underset{\_}{s}}=\prod _{i<j}{|p_j-p_i|}^{-2s_{\mathit{ij}}}=\prod _{i<j}{(\overline{p_j}-\overline{p_i})}^{-s_{\mathit{ij}}}·\prod _{i<j}{(p_j-p_i)}^{-s_{\mathit{ij}}}.\end{array}$$

Thus, the action of real Frobenius on homology

$$\begin{array}{c}\hfill F_{\infty }:H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})⟶H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})\end{array}$$

is given by the formula

$$\begin{array}{c}\hfill \sigma \otimes \prod _{i<j}{(p_j-p_i)}^{-s_{\mathit{ij}}}\mapsto \overline{\sigma }\otimes \prod _{i<j}{(\overline{p_j}-\overline{p_i})}^{-s_{\mathit{ij}}}{g}_{\underset{\_}{s}}^{-1}=\overline{\sigma }\otimes \prod _{i<j}{(p_j-p_i)}^{s_{\mathit{ij}}}.\end{array}$$

Remark 7.2

A morphism similar to $F_{\infty }$ was considered in [HY99] and leads to similar formulae but has a different definition. Our definition only uses the action of complex conjugation on the complex points of ${\mathcal{M}}_{0,S}$, whereas the definition in [loc. cit.] conjugates the field of coefficients of the local systems. Note that our definition does not require the $s_{\mathit{ij}}$ to be real.

Definition 7.3

The single-valued period map is the $\mathbb{C}$-linear isomorphism

$$\begin{array}{c}\hfill \mathsf{s}:H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}}){\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}}\mathbb{C}⟶H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{-\underset{\_}{s}}){\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}}\mathbb{C}\end{array}$$

defined as the composite

$$\begin{array}{c}\hfill \mathsf{s}={\mathrm{comp}}_{\mathrm{B},\mathrm{dR}}^{-1}(-\underset{\_}{s})\circ (F_{\infty }\otimes \mathrm{id})\circ {\mathrm{comp}}_{\mathrm{B},\mathrm{dR}}(\underset{\_}{s}).\end{array}$$

In other words, it is defined by the following commutative diagram:

The single-valued period map can be computed explicitly by choosing a ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$-bases $\{[\omega ]\}$ and $\{[\nu ]\}$ for $H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{-\underset{\_}{s}})$ and $H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})$ respectively and a ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{B}}$-basis $\{[\sigma \otimes f_{\underset{\_}{s}}]\}$ for $H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})$. In these bases, the isomorphism (79) is represented by a matrix $P_{\underset{\_}{s}}$ with entries

$$\begin{array}{c}\hfill P_{\underset{\_}{s}}([\sigma \otimes f_{\underset{\_}{s}}],[\nu ])={\int }_{\sigma }{f}_{\underset{\_}{s}}\nu .\end{array}$$

By Remark 7.1 the entries of $F_{\infty }{P}_{-\underset{\_}{s}}$ are

$$\begin{array}{c}\hfill (F_{\infty }{P}_{-\underset{\_}{s}})([\sigma \otimes f_{\underset{\_}{s}}],[\omega ])={\int }_{\overline{\sigma }}{f}_{-\underset{\_}{s}}\omega .\end{array}$$

The single-valued period matrix (the matrix of $\mathsf{s}$) is then the product

$$\begin{array}{c}\hfill P_{-\underset{\_}{s}}^{-1}(F_{\infty }{P}_{\underset{\_}{s}})={(F_{\infty }{P}_{-\underset{\_}{s}})}^{-1}{P}_{\underset{\_}{s}}.\end{array}$$

This formula is often impractical because one needs to compute all the entries of the period matrix in order to compute any single entry of the single-valued period matrix.

Example 7.4

With the notation of Example 6.13 we have $\overline{\sigma }=\sigma$ since (0, 1) is real, and the single-valued period matrix is

$$\begin{array}{c}\hfill {(F_{\infty }{P}_{-\underset{\_}{s}})}^{-1}{P}_{\underset{\_}{s}}=\left(\beta ,{(-s,-t)}^{-1},\beta ,(s,t)\right)=\left(\frac{\mathrm{\Gamma }(s)\mathrm{\Gamma }(t)\mathrm{\Gamma }(-s-t)}{\mathrm{\Gamma }(s+t)\mathrm{\Gamma }(-s)\mathrm{\Gamma }(-t)}\right).\end{array}$$

The single-valued period pairing via the Betti pairing

If the $s_{\mathit{ij}}$ are generic in the sense of (75), the single-valued period map and the de Rham pairing induce a single-valued period pairing

$$\begin{array}{c}\hfill H_{\mathrm{dR}}^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}}){\otimes }_{{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}}{H}_{\mathrm{dR}}^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})⟶\mathbb{C}\end{array}$$

given for $\omega ,\nu \in {\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}\otimes {\mathrm{\Omega }}_S^n$ by the formula

$$\begin{array}{c}\hfill [\nu ]\otimes [\omega ]\mapsto {⟨[\nu ],\mathsf{s}[\omega ]⟩}^{\mathrm{dR}}={⟨[\nu ],P_{-\underset{\_}{s}}^{-1}{F}_{\infty }{P}_{\underset{\_}{s}}[\omega ]⟩}^{\mathrm{dR}}.\end{array}$$

One can use the compatibility between the de Rham and the Betti pairings to express the single-valued pairing in terms of the latter.

Proposition 7.5

Assume that the $s_{\mathit{ij}}$ are generic in the sense of (75). Let $\omega ,\nu \in {\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}\otimes {\mathrm{\Omega }}_S^n$ and denote by $[\omega ]$, $[\nu ]$ their classes in $H^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}})$. The corresponding single-valued period is given by the formula

$$\begin{array}{c}\hfill {⟨[\nu ],\mathsf{s}[\omega ]⟩}^{\mathrm{dR}}={(2\pi i)}^{-n}{⟨P_{\underset{\_}{s}}[\nu ],F_{\infty }{P}_{\underset{\_}{s}}[\omega ]⟩}^{\mathrm{B}}\end{array}$$

and can be computed explicitly by a sum

$$\begin{array}{c}\hfill {(2\pi i)}^{-n}\sum _{\begin{array}{c}[\sigma \otimes f_{-\underset{\_}{s}}]\\ [\tau \otimes f_{\underset{\_}{s}}]\end{array}}{⟨{[\tau \otimes f_{\underset{\_}{s}}]}^{\vee },{[\sigma \otimes f_{-\underset{\_}{s}}]}^{\vee }⟩}^{\mathrm{B}}{\int }_{\tau }{f}_{\underset{\_}{s}}\nu {\int }_{\overline{\sigma }}{f}_{\underset{\_}{s}}\omega ,\end{array}$$

where $[\sigma \otimes f_{-\underset{\_}{s}}]$ and $[\tau \otimes f_{\underset{\_}{s}}]$ range over a basis of $H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{\underset{\_}{s}})$ and $H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})$ respectively, and ${[\sigma \otimes f_{-\underset{\_}{s}}]}^{\vee },{[\tau \otimes f_{\underset{\_}{s}}]}^{\vee }$ are the dual bases.

Proof

We have

$$\begin{array}{c}\hfill {⟨[\nu ],\mathsf{s}[\omega ]⟩}^{\mathrm{dR}}={⟨[\nu ],P_{-\underset{\_}{s}}^{-1}{F}_{\infty }{P}_{\underset{\_}{s}}[\omega ]⟩}^{\mathrm{dR}}={(2\pi i)}^{-n}{⟨P_{\underset{\_}{s}}[\nu ],F_{\infty }{P}_{\underset{\_}{s}}[\omega ]⟩}^{\mathrm{B}},\end{array}$$

where the first equality is the definition of the single-valued period map, and the second equality follows from Theorem 6.11. The second formula follows from the definition of $P_{\underset{\_}{s}}$ and Remark 7.1. $\square$

Example 7.6

Following up on Example 7.4 and using (83) we see that we have

$$\begin{array}{c}\hfill {⟨[\nu ],\mathsf{s}[\nu ]⟩}^{\mathrm{dR}}=\beta {(-s,-t)}^{-1}\beta (s,t)\left(\frac{1}{s},+,\frac{1}{t}\right)=-\frac{\mathrm{\Gamma }(s)\mathrm{\Gamma }(t)\mathrm{\Gamma }(1-s-t)}{\mathrm{\Gamma }(s+t)\mathrm{\Gamma }(1-s)\mathrm{\Gamma }(1-t)},\end{array}$$ 89

where we have used $\mathrm{\Gamma }(-x)=-x\mathrm{\Gamma }(1-x)$. Now using (82), Proposition 7.5 reads

$$\begin{array}{c}\hfill {⟨[\nu ],\mathsf{s}[\nu ]⟩}^{\mathrm{dR}}=\frac{1}{2\pi i}\frac{2}{i}\frac{sin(\pi s)sin(\pi t)}{sin(\pi (s+t))}\beta {(s,t)}^2=-\frac{1}{\pi }\frac{sin(\pi s)sin(\pi t)}{sin(\pi (s+t))}{\left(\frac{\mathrm{\Gamma }(s)\mathrm{\Gamma }(t)}{\mathrm{\Gamma }(s+t)}\right)}^2.\\ \hfill \end{array}$$ 90

One deduces (90) from (89), and vice versa, by applying the functional equation (84).

An integral formula for single-valued periods

The single-valued period map is a transcendental comparison isomorphism that is naturally interpreted at the level of analytic de Rham cohomology via the isomorphism (78).

Lemma 7.7

In analytic de Rham cohomology, the single-valued period map is induced by the morphism of smooth de Rham complexes

$$\begin{array}{cc}\hfill {\mathsf{s}}^{\mathrm{an}}:({\mathcal{A}}_{{\mathcal{M}}_{0,S}(\mathbb{C})}^{\bullet },{\mathrm{\nabla }}_{\underset{\_}{s}}^{\mathrm{an}})⟶& {\mathrm{conj}}_{\ast }({\mathcal{A}}_{{\mathcal{M}}_{0,S}(\mathbb{C})}^{\bullet },{\mathrm{\nabla }}_{-\underset{\_}{s}}^{\mathrm{an}})\hfill \end{array}$$

given on the level of sections by

$$\begin{array}{c}\hfill {\mathcal{A}}_{{\mathcal{M}}_{0,S}(\mathbb{C})}^{\bullet }(U)\ni \omega \mapsto \prod _{i<j}{|p_j-p_i|}^{2s_{\mathit{ij}}}{\mathrm{conj}}^{\ast }(\omega )\in {\mathcal{A}}_{{\mathcal{M}}_{0,S}(\mathbb{C})}^{\bullet }(\overline{U}).\end{array}$$

Proof

Recall the notation $g_{\underset{\_}{s}}={\prod }_{i<j}{|p_j-p_i|}^{2s_{\mathit{ij}}}$. We first check that ${\mathsf{s}}^{\mathrm{an}}$ is a morphism of complexes:

$$\begin{array}{cc}\hfill {\mathrm{\nabla }}_{-\underset{\_}{s}}^{\mathrm{an}}({\mathsf{s}}^{\mathrm{an}}(\omega ))=& {\mathrm{\nabla }}_{-\underset{\_}{s}}^{\mathrm{an}}(g_{\underset{\_}{s}}{\mathrm{conj}}^{\ast }(\omega ))\hfill \\ \hfill =& g_{\underset{\_}{s}}\left(\left(\sum _{i<j},s_{\mathit{ij}},,d,log,(p_j-p_i),+,\sum _{i<j},s_{\mathit{ij}},,d,log,(\overline{p_j}-\overline{p_i})\right),\wedge ,{\mathrm{conj}}^{\ast },(\omega ),+,d,({\mathrm{conj}}^{\ast }(\omega ))\right)\hfill \\ \hfill & -\sum _{i<j}{s}_{\mathit{ij}}dlog(p_j-p_i)\wedge (g_{\underset{\_}{s}}{\mathrm{conj}}^{\ast }(\omega ))\hfill \\ \hfill =& g_{\underset{\_}{s}}\left(\sum _{i<j},s_{\mathit{ij}},,d,log,(\overline{p_j}-\overline{p_i}),\wedge ,{\mathrm{conj}}^{\ast },(\omega ),+,d,({\mathrm{conj}}^{\ast }(\omega ))\right)\hfill \\ \hfill =& g_{\underset{\_}{s}}{\mathrm{conj}}^{\ast }\left(\sum _{i<j},s_{\mathit{ij}},,d,log,(p_j-p_i),\wedge ,\omega ,+,d,\omega \right)\hfill \\ \hfill =& {\mathsf{s}}^{\mathrm{an}}({\mathrm{\nabla }}_{\underset{\_}{s}}^{\mathrm{an}}(\omega )).\hfill \\ \hfill \end{array}$$

On the level of horizontal sections, we compute:

$$\begin{array}{c}\hfill {\mathsf{s}}^{\mathrm{an}}\left(\prod _{i<j},{(p_j-p_i)}^{-s_{\mathit{ij}}}\right)=g_{\underset{\_}{s}}\prod _{i<j}{(\overline{p_j}-\overline{p_i})}^{-s_{\mathit{ij}}}=\prod _{i<j}{(p_j-p_i)}^{s_{\mathit{ij}}}.\end{array}$$

Thus, ${\mathsf{s}}^{\mathrm{an}}$ induces the isomorphism ${\mathcal{L}}_{\underset{\_}{s}}\to {\mathrm{conj}}_{\ast }{\mathcal{L}}_{-\underset{\_}{s}}$ and the result follows. $\square$

We can now give an explicit formula for single-valued periods in the case of forms with logarithmic singularities.

Theorem 7.8

Assume the $s_{\mathit{ij}}$ are generic in the sense of (75). Let $\omega \in {\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}\otimes {\mathrm{\Omega }}_S^n$ and let ${\nu }_S$ be as in Definition 2.7. Then ${\nu }_S$, $\omega$ define de Rham cohomology classes

$$\begin{array}{c}\hfill [{\nu }_S],[\omega ]\in H_{\mathrm{dR}}^n({\mathcal{M}}_{0,S},{\mathrm{\nabla }}_{\underset{\_}{s}}).\end{array}$$

If the inequalities stated in Proposition 3.6 hold, then the single-valued period of $[{\nu }_S]\otimes [\omega ]$ is given by the absolutely convergent integral

$$\begin{array}{c}\hfill {⟨[{\nu }_S],\mathsf{s}[\omega ]⟩}^{\mathrm{dR}}={(2\pi i)}^{-n}{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}\left(\prod _{i<j},{|p_j-p_i|}^{2s_{\mathit{ij}}}\right){\nu }_S\wedge \overline{\omega }.\end{array}$$

Proof

Recall the notation $g_{\underset{\_}{s}}={\prod }_{i<j}{|p_j-p_i|}^{2s_{\mathit{ij}}}$. By definition and Lemma 7.7 we have the formula, valid for every generic $(s_{\mathit{ij}})$:

$$\begin{array}{c}\hfill {⟨[{\nu }_S],\mathsf{s}[\omega ]⟩}^{\mathrm{dR}}={(2\pi i)}^{-n}{\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}{g}_{\underset{\_}{s}}{\nu }_S\wedge \overline{\tilde{\omega }},\end{array}$$

where $\tilde{\omega }$ is a global section of ${\mathcal{A}}_{{\overline{\mathcal{M}}}_{0,S}}^n(log\partial {\overline{\mathcal{M}}}_{0,S})$ with compact support which is cohomologous to $\omega$, i.e., such that $\omega -\tilde{\omega }={\mathrm{\nabla }}_{\underset{\_}{s}}\varphi$, with $\varphi$ a global section of ${\mathcal{A}}_{{\overline{\mathcal{M}}}_{0,S}}^{n-1}(log\partial {\overline{\mathcal{M}}}_{0,S})$. We need to prove that the integral of $g_{\underset{\_}{s}}{\nu }_S\wedge \overline{{\mathrm{\nabla }}_{\underset{\_}{s}}\varphi }=\pm d(g_{\underset{\_}{s}}{\nu }_S\wedge \overline{\varphi })$ on ${\overline{\mathcal{M}}}_{0,S}(\mathbb{C})$ vanishes under the stated assumptions on $\underset{\_}{s}$. By a partition of unity argument, we can assume that $\varphi$ has support in a local chart on ${\overline{\mathcal{M}}}_{0,S}$. For this, let $(z_1,\dots ,z_n)$ denote local coordinates ${\overline{\mathcal{M}}}_{0,S}$ taking values in a polydisk ${\mathrm{\Delta }}^n=\{|z_i|<1\}$, with respect to which $\partial {\overline{\mathcal{M}}}_{0,S}$ is a union of coordinate hyperplanes $\{z_i=0\}$. We can assume the support of $\varphi$ is contained within this polydisk. By renumbering the coordinates if necessary, we let $z_1,\dots ,z_r$ denote the equations of components of $\partial {\overline{\mathcal{M}}}_{0,S}$ at finite distance and $z_{r+1},\dots ,z_{r+s}$ denote the coordinates corresponding to components at infinite distance (relative to the fixed dihedral structure on S). In these coordinates we have

$$\begin{array}{c}\hfill g_{\underset{\_}{s}}=a\prod _{i=1}^r|z_i{|}^{2s_i}\prod _{i=r+1}^{r+s}{|z_i|}^{2t_i}\end{array}$$

where a is a smooth function on ${\mathrm{\Delta }}^n$, $s_i$ is one of the Mandelstam variables $s_c$, and $t_i$ is a linear combination of Mandelstam variables $s_c$ with coefficients in $\{0,1,-1\}$. Since ${\nu }_S$ only has simple poles located along the divisors at finite distance, we can write

$$\begin{array}{c}\hfill {\nu }_S=b\frac{d{z}_1}{z_1}\wedge \cdots \wedge \frac{d{z}_r}{z_r}\wedge d{z}_{r+1}\wedge \cdots \wedge d{z}_n\end{array}$$

where b is a smooth function on ${\mathrm{\Delta }}^n$. Since $\varphi$ has degree $n-1$, by linearity in $\varphi$, we can assume that there is a single coordinate $z_p$ such that $d{z}_p$ does not appear in $\varphi$. There are three cases to consider, depending on whether this coordinate is away from $\partial {\overline{\mathcal{M}}}_{0,S}$, or corresponds to a component at finite or infinite distance. In each case we use the Leibniz rule to compute $d(g_{\underset{\_}{s}}{\nu }_S\wedge \overline{\varphi })$.

1. We have $p>r+s$. Without loss of generality, assume that $p=n$. Then $\varphi$ has the form

   $$\begin{array}{c}\hfill \varphi =c\frac{d{z}_1}{z_1}\wedge \cdots \wedge \frac{d{z}_{r+s}}{z_{r+s}}\wedge d{z}_{r+s+1}\wedge \cdots \wedge d{z}_{n-1}\end{array}$$

   where c is a smooth function on ${\mathbb{C}}^n$. Since c has support in ${\mathrm{\Delta }}^n$, it is enough to show that the following integral vanishes:

   $$\begin{array}{c}\hfill {\int }_{{\mathrm{\Delta }}^{n-1}}\underset{i=1}{\overset{r}{\bigwedge }}|z_i{|}^{2s_i}\frac{d{z}_i\wedge d{\overline{z}}_i}{z_i\overline{z_i}}\wedge \underset{i=r+1}{\overset{r+s}{\bigwedge }}{|z_i|}^{2t_i}\frac{d{z}_i\wedge d{\overline{z}}_i}{\overline{z_i}}\wedge \underset{i=r+s+1}{\overset{n-1}{\bigwedge }}d{z}_i\wedge d\overline{z_i}\left({\int }_{|z_n|\le 1},d,(fd{z}_n)\right),\end{array}$$

   where $f=ab\overline{c}$ is a smooth function on ${\mathbb{C}}^n$ with support in ${\mathrm{\Delta }}^n$. The inner integral vanishes by Stokes’ theorem and we are done.
2. We have $p\le r$. Without loss of generality, let $p=r$. Then $\varphi$ has the form

   $$\begin{array}{c}\hfill \varphi =c\frac{d{z}_1}{z_1}\wedge \cdots \wedge \frac{d{z}_{r-1}}{z_{r-1}}\wedge \frac{d{z}_{r+1}}{z_{r+1}}\wedge \cdots \wedge \frac{d{z}_{r+s}}{z_{r+s}}\wedge d{z}_{r+s+1}\wedge \cdots \wedge d{z}_n\end{array}$$

   where c is a smooth function on ${\mathbb{C}}^n$ with support in ${\mathrm{\Delta }}^n$. It is enough to show that the following integral vanishes:

   $$\begin{array}{c}\hfill {\int }_{{\mathrm{\Delta }}^{n-1}}\underset{i=1}{\overset{r-1}{\bigwedge }}|z_i{|}^{2s_i}\frac{d{z}_i\wedge d{\overline{z}}_i}{z_i\overline{z_i}}\wedge \underset{i=r+1}{\overset{r+s}{\bigwedge }}{|z_i|}^{2t_i}\frac{d{z}_i\wedge d{\overline{z}}_i}{\overline{z_i}}\wedge \underset{i=r+s+1}{\overset{n}{\bigwedge }}d{z}_i\wedge d\overline{z_i}\left({\int }_{|z_r|\le 1},d,\left(f|,z_r,{|}^{2s_r},\frac{d{z}_r}{z_r}\right)\right),\end{array}$$

   where $f=ab\overline{c}$ is a smooth function on ${\mathbb{C}}^n$ with support in ${\mathrm{\Delta }}^n$. The inner integral is the limit as $\epsilon$ goes to zero of the same integral over $\{\epsilon \le |z_r|\le 1\}$, which by Stokes and changing to polar coordinates evaluates to

   $$\begin{array}{c}\hfill {\int }_{|z_r|=\epsilon }f{|z_r|}^{2s_r}\frac{d{z}_r}{z_r}={\epsilon }^{2s_r}{\int }_0^{2\pi }ifd\theta .\end{array}$$

   This tends to zero when $\epsilon$ goes to zero if $\mathrm{Re}(s_r)>0$.
3. We have $r<p\le r+s$. We can assume that $p=r+s$ and so $\varphi$ has the form

   $$\begin{array}{c}\hfill \varphi =c\frac{d{z}_1}{z_1}\wedge \cdots \wedge \frac{d{z}_{r+s-1}}{z_{r+s-1}}\wedge d{z}_{r+s+1}\wedge \cdots \wedge d{z}_n\end{array}$$

   where c is a smooth function on ${\mathbb{C}}^n$ with support in ${\mathrm{\Delta }}^n$. We want to prove that the following integral vanishes:

   $$\begin{array}{c}\hfill {\int }_{{\mathrm{\Delta }}^{n-1}}\underset{i=1}{\overset{r}{\bigwedge }}|z_i{|}^{2s_i}\frac{d{z}_i\wedge d{\overline{z}}_i}{z_i\overline{z_i}}\wedge \underset{i=r+1}{\overset{r+s-1}{\bigwedge }}{|z_i|}^{2t_i}\frac{d{z}_i\wedge d{\overline{z}}_i}{\overline{z_i}}\wedge \underset{i=r+s+1}{\overset{n}{\bigwedge }}d{z}_i\wedge d\overline{z_i}\left({\int }_{|z_{r+s}|\le 1},d,\left(f|,z_{r+s},{|}^{2t_{r+s}},d,z_{r+s}\right)\right),\end{array}$$

   where $f=ab\overline{c}$ is a smooth function on ${\mathbb{C}}^n$ with support in ${\mathrm{\Delta }}^n$. The inner integral is the limit as $\epsilon$ goes to zero of the same integral over $\{\epsilon \le |z_{r+s}|\le 1\}$, which by Stokes and changing to polar coordinates evaluates to

   $$\begin{array}{c}\hfill {\int }_{|z_{r+s}|=\epsilon }f{|z_{r+s}|}^{2t_{r+s}}d{z}_{r+s}={\epsilon }^{2t_{r+s}+1}{\int }_0^{2\pi }if{e}^{i\theta }d\theta .\end{array}$$

   This goes to zero when $\epsilon$ goes to zero if $2\mathrm{Re}(t_{r+s})>-1$, which is a consequence of the inequalities stated in Proposition 3.6 as in the proof of that Proposition.

Therefore, the integral of $g_{\underset{\_}{s}}{\nu }_S\wedge \overline{{\mathrm{\nabla }}_{\underset{\_}{s}}\varphi }$ vanishes if the inequalities stated in Proposition 3.6 hold: namely $-\frac{1}{2}<\mathrm{Re}(s_c)<\frac{1}{N^2}$ for all c and $\mathrm{Re}(s_c)>0$ for every divisor $D_c$ along which $\omega$ has a pole. $\square$

Example 7.9

In the case of the beta function, with $\nu =-{\nu }_S=-\frac{\mathit{dx}}{x(1-x)}$, Theorem 7.8 reads:

$$\begin{array}{c}\hfill {⟨[\nu ],\mathsf{s}[\nu ]⟩}^{\mathrm{dR}}=\frac{1}{2\pi i}{\int }_{{\mathbb{P}}^1(\mathbb{C})}{|z|}^{2s}{|1-z|}^{2t}\nu \wedge \overline{\nu }=\frac{1}{2\pi i}{\int }_{{\mathbb{P}}^1(\mathbb{C})}{|z|}^{2s-2}{|1-z|}^{2t-2}dz\wedge d\overline{z},\end{array}$$

which equals $-{\beta }_{\mathbb{C}}(s,t)$.

Double copy formula

By equating the two expressions for the single-valued period given in Proposition 7.5 and Theorem 7.8 we obtain an equality that expresses a volume integral as a quadratic expression in ordinary period integrals.

Corollary 7.10

Under the assumptions of Theorem 7.8 we have the equality:

$$\begin{array}{c}\hfill {\int }_{{\overline{\mathcal{M}}}_{0,S}(\mathbb{C})}\left(\prod _{i<j},{|p_j-p_i|}^{2s_{\mathit{ij}}}\right){\nu }_S\wedge \overline{\omega }=\sum _{\begin{array}{c}[\sigma \otimes f_{-\underset{\_}{s}}]\\ [\tau \otimes f_{\underset{\_}{s}}]\end{array}}{⟨{[\tau \otimes f_{\underset{\_}{s}}]}^{\vee },{[\sigma \otimes f_{-\underset{\_}{s}}]}^{\vee }⟩}^{\mathrm{B}}{\int }_{\tau }{f}_{\underset{\_}{s}}{\nu }_S{\int }_{\overline{\sigma }}{f}_{\underset{\_}{s}}\omega ,\end{array}$$

where $[\sigma \otimes f_{-\underset{\_}{s}}]$ and $[\tau \otimes f_{\underset{\_}{s}}]$ range over a basis of $H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_s)$ and $H_n({\mathcal{M}}_{0,S},{\mathcal{L}}_{-\underset{\_}{s}})$ respectively, and ${[\sigma \otimes f_{-\underset{\_}{s}}]}^{\vee },{[\tau \otimes f_{\underset{\_}{s}}]}^{\vee }$ are the dual bases.

This formula bears very close similarity to the KLT formula [KLT86], and makes it apparent that the ‘KLT kernel’ should coincide with the Betti intersection pairing on twisted cohomology, which is the inverse transpose of the intersection pairing on twisted homology. Indeed, Mizera has shown in [Miz17] that the KLT kernel indeed coincides with the inverse transpose matrix of the intersection pairing.

Example 7.11

Examples 7.6 and 7.9 give rise to the equality

$$\begin{array}{c}\hfill {\beta }_{\mathbb{C}}(s,t)=-\frac{1}{2\pi i}\frac{2}{i}\frac{sin(\pi s)sin(\pi t)}{sin(\pi (s+t))}\beta {(s,t)}^2,\end{array}$$

which is an instance of Corollary 7.10.

Appendix A: The Parke–Taylor basis

In this appendix we prove the following theorem, which is Theorem 6.10 from the main body of the paper.

Theorem A.1

Assume that the $s_{i,j}$ are generic in the sense of (75). A basis of $H^n({\mathcal{M}}_{0,n+3},{\mathrm{\nabla }}_{\underset{\_}{s}})$ is provided by the classes of the differential forms

$$\begin{array}{c}\hfill \frac{d{t}_1\wedge \cdots \wedge d{t}_n}{{\prod }_{k=1}^{n+1}(t_{\sigma (k)}-t_{\sigma (k-1)})}\end{array}$$ 91

for permutations $\sigma \in {\mathrm{\Sigma }}_n$, where we set $t_{\sigma (0)}=0$ and $t_{\sigma (n+1)}=1$.

Working with the Configuration Space of Points in $\mathbb{C}$

We consider the configuration space

$$\begin{array}{c}\hfill \mathrm{Conf}(n+2,\mathbb{C})=\{(z_0,z_1,\dots ,z_{n+1})\in {\mathbb{C}}^{n+2},z_i\ne z_j\}\end{array}$$

and its (rational algebraic de Rham) cohomology algebra

$$\begin{array}{c}\hfill A^{\bullet }=H_{\mathrm{dR}}^{\bullet }(\mathrm{Conf}(n+2,\mathbb{C})).\end{array}$$

By a classical result of Arnol’d [Arn69], it is generated by the (classes of the) forms

$$\begin{array}{c}\hfill {\omega }_{i,j}=dlog(z_j-z_i).\end{array}$$

The natural (diagonal) ${\mathbb{C}}^{\ast }$-action on $\mathrm{Conf}(n+2,\mathbb{C})$ induces a linear map in cohomology:

$$\begin{array}{c}\hfill \partial :A^{\bullet }\to A^{\bullet -1}\otimes H_{\mathrm{dR}}^1({\mathbb{C}}^{\ast })\simeq A^{\bullet -1}.\end{array}$$

Compatibility with the cup-product and the Koszul sign rule implies that it is a graded derivation, i.e., that it satisfies the Leibniz rule

$$\begin{array}{c}\hfill \partial (ab)=\partial (a)b+{(-1)}^{|b|}a\partial (b)\end{array}$$

for b homogeneous of degree |b|. It is uniquely determined by $\partial ({\omega }_{i,j})=1$ for all i, j and is given more generally by the formula:

$$\begin{array}{c}\hfill \partial ({\omega }_{i_1,j_1}\wedge \cdots \wedge {\omega }_{i_r,j_r})=\sum _{k=1}^r{(-1)}^{k-1}{\omega }_{i_1,j_1}\wedge \cdots \wedge \widehat{{\omega }_{i_k,j_k}}\wedge \cdots \wedge {\omega }_{i_r,j_r}.\end{array}$$

We will make use of the following relations.

Lemma A.2

We have

$$\begin{array}{c}\hfill {\omega }_{i_1,j_1}\wedge \cdots \wedge {\omega }_{i_r,j_r}=0\text{and}\partial ({\omega }_{i_1,j_1}\wedge \cdots \wedge {\omega }_{i_r,j_r})=0\end{array}$$

if there is a cycle in the graph with vertices $\{0,\dots ,n+1\}$ and edges $\{i_1,j_1\},\dots ,\{i_r,j_r\}$.

Proof

The second relation follows from the first, which is already satisfied at the level of differential forms. $\square$

A special case is the classical Arnol’d relations $\partial ({\omega }_{i,j}\wedge {\omega }_{i,k}\wedge {\omega }_{j,k})=0$, which generate all the relations among the generators ${\omega }_{i,j}$ in the algebra $A^{\bullet }$ [Arn69].

The (homological) complex $(A^{\bullet },\partial )$ is contractible. A contracting homotopy is given, for instance, by multiplication by the generator ${\omega }_{0,1}$.

There is a natural quotient morphism (by the affine group $\mathbb{C}⋊{\mathbb{C}}^{\ast }$):

$$\begin{array}{c}\hfill \mathrm{Conf}(n+2,\mathbb{C})\twoheadrightarrow {\mathcal{M}}_{0,n+3},(z_0,\dots ,z_{n+1})\mapsto (z_1,\dots ,z_{n+1},\infty ,z_0),\end{array}$$

defined so that the simplicial coordinates $t_0=0,t_1,\dots ,t_n,t_{n+1}=1$ on ${\mathcal{M}}_{0,n+3}$ are related to the coordinates $z_i$ by the formula

$$\begin{array}{c}\hfill t_i=\frac{z_i-z_0}{z_{n+1}-z_0}·\end{array}$$

The pullback by this quotient identifies ${\mathrm{\Omega }}^{\bullet }=H_{\mathrm{dR}}^{\bullet }({\mathcal{M}}_{0,n+3})$ with the subalgebra $ker(\partial )\subset A^{\bullet }$. Since $(A^{\bullet },\partial )$ is contractible we have $ker(\partial )=\mathrm{Im}(\partial )$ and we get a short exact sequence:

$$\begin{array}{c}\hfill 0⟶{\mathrm{\Omega }}^{\bullet }⟶A^{\bullet }\stackrel{\partial }{⟶}{\mathrm{\Omega }}^{\bullet -1}⟶0.\end{array}$$ 92

We now move to cohomology with coefficients. A solution $\underset{\_}{s}$ to the momentum conservation equations is completely determined by the complex numbers $s_{i,j}$ for $0\le i<j\le n+1$, where we set $s_{0,j}:=s_{j,n+3}$ as in Sect. 3.2, subject to the single relation:

$$\begin{array}{c}\hfill \sum _{0\le i<j\le n+1}{s}_{\mathit{ij}}=0.\end{array}$$ 93

Denote the pullback of the Koba–Nielsen form to $\mathrm{Conf}(n+2,\mathbb{C})$ by the same symbol:

$$\begin{array}{c}\hfill {\omega }_{\underset{\_}{s}}=\sum _{0\le i<j\le n+1}{s}_{i,j}{\omega }_{i,j}.\end{array}$$

In the remainder of this appendix we extend the scalars from $\mathbb{Q}$ to the field ${\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}=\mathbb{Q}(s_{i,j})$ generated by the $s_{i,j}$ inside $\mathbb{C}$. In order to keep the notations simple, we continue to write $A^{\bullet }$ and ${\mathrm{\Omega }}^{\bullet }$ for $A^{\bullet }{\otimes }_{\mathbb{Q}}{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$ and ${\mathrm{\Omega }}^{\bullet }{\otimes }_{\mathbb{Q}}{\mathbb{Q}}_{\underset{\_}{s}}^{\mathrm{dR}}$, respectively.

The short exact sequence (92) induces a short exact sequence of complexes :

$$\begin{array}{c}\hfill 0⟶({\mathrm{\Omega }}^{\bullet },\wedge {\omega }_{\underset{\_}{s}})⟶(A^{\bullet },\wedge {\omega }_{\underset{\_}{s}})\stackrel{\partial }{⟶}({\mathrm{\Omega }}^{\bullet -1},\wedge {\omega }_{\underset{\_}{s}})⟶0.\end{array}$$

This is because $\partial ({\omega }_{\underset{\_}{s}})=0$, which follows from equation (93). Assume that $\underset{\_}{s}$ is generic (75). Then $H^k({\mathrm{\Omega }}^{\bullet },\wedge {\omega }_{\underset{\_}{s}})=0$ for $k\ne n$ (Remark 6.6) and the long exact sequence in cohomology shows that the morphism induced by $\partial$ in top degree cohomology

$$\begin{array}{c}\hfill H^{n+1}(A^{\bullet },\wedge {\omega }_{\underset{\_}{s}})\stackrel{\partial }{⟶}{H}^n({\mathrm{\Omega }}^{\bullet },\wedge {\omega }_{\underset{\_}{s}})\end{array}$$

is an isomorphism. An easy computation (see, e.g., [Miz17, Claim 3.1]) shows that the Parke–Taylor form (91) from Theorem A.1 is, up to the sign $\mathrm{sgn}(\sigma )$, the image by $\partial$ of the form

$$\begin{array}{c}\hfill {\omega }_{\sigma }={\omega }_{0,\sigma (1)}\wedge {\omega }_{\sigma (1),\sigma (2)}\wedge \cdots \wedge {\omega }_{\sigma (n-1),\sigma (n)}\wedge {\omega }_{\sigma (n),n+1}\in A^{n+1},\end{array}$$

for $\sigma \in {\mathrm{\Sigma }}_n$. Thus, a restatement of Theorem A.1 is as follows:

Theorem A.3

Assume that the $s_{i,j}$ are generic in the sense of (75). Then a basis of

$$\begin{array}{c}\hfill H^{n+1}(A^{\bullet },\wedge {\omega }_{\underset{\_}{s}})=A^{n+1}/(A^n\wedge {\omega }_{\underset{\_}{s}})\end{array}$$

is provided by the classes of the forms ${\omega }_{\sigma }$, for permutations $\sigma \in {\mathrm{\Sigma }}_n$.

The rest of this appendix is devoted to the proof of this theorem.

A Basis of $A^{n+1}$

We slightly extend the notation ${\omega }_{\sigma }$ to permutations $\sigma \in {\mathrm{\Sigma }}_{n+1}$:

$$\begin{array}{c}\hfill {\omega }_{\sigma }:={\omega }_{0,\sigma (1)}\wedge {\omega }_{\sigma (1),\sigma (2)}\wedge \cdots \wedge {\omega }_{\sigma (n-1),\sigma (n)}\wedge {\omega }_{\sigma (n),\sigma (n+1)}\in A^{n+1}.\end{array}$$

Proposition A.4

The cohomology classes ${\omega }_{\sigma }$, for $\sigma \in {\mathrm{\Sigma }}_{n+1}$, are a basis of $A^{n+1}$.

Proof

The dimension of $A^{n+1}$ is $(n+1)!$ by [Arn69], so it is enough to prove that the ${\omega }_{\sigma }$ are linearly independent in $A^{n+1}$. For $1\le i\le n+1$ we have a residue morphism along $\{z_0=z_i\}$:

$$\begin{array}{c}\hfill {\mathrm{Res}}_i:H_{\mathrm{dR}}^{n+1}(\mathrm{Conf}(n+2,\mathbb{C}))⟶H_{\mathrm{dR}}^n(\mathrm{Conf}(n+1,\mathbb{C})),\end{array}$$

where in the target $\mathrm{Conf}(n+1,\mathbb{C})$ consists of tuples $(z_0,\dots ,\widehat{z_i},\dots ,z_{n+1})$. It satisfies:

$$\begin{array}{c}\hfill {\mathrm{Res}}_i({\omega }_{\sigma })=\left\{\begin{array}{cc}0\hfill & \text{if}\sigma (1)\ne i;\hfill \\ {\omega }_{\sigma }\hfill & \text{if}\sigma (1)=i,\hfill \end{array}\right)\end{array}$$

where in the second case we implicitly use the natural bijection

$$\begin{array}{c}\hfill {\mathrm{\Sigma }}_n\simeq \mathrm{Bij}(\{2,\dots ,n+1\},\{1,\dots ,\widehat{i},\dots ,n+1\}).\end{array}$$

The result follows by induction on n, since the case $n=0$ is trivial. $\square$

We now let $F^k{A}^{n+1}$ denote the subspace of $A^{n+1}$ spanned by the basis elements ${\omega }_{\sigma }$, for $\sigma \in {\mathrm{\Sigma }}_{n+1}$ such that ${\sigma }^{-1}(n+1)\ge k$. It forms a decreasing filtration, where $F^1{A}^{n+1}=A^{n+1}$, $F^{n+2}{A}^{n+1}=0$, and $F^{n+1}{A}^{n+1}$ is spanned by the ${\omega }_{\sigma }$ for $\sigma \in {\mathrm{\Sigma }}_n$.

Lemma A.5

Any element of $A^{n+1}$ which is the exterior product of a form with an element of the following type

$$\begin{array}{c}\hfill {\omega }_{0,i_1}\wedge {\omega }_{i_1,i_2}\wedge \cdots \wedge {\omega }_{i_{k-2},i_{k-1}}\wedge {\omega }_{i_{k-1},n+1}\end{array}$$

lies in $F^k{A}^{n+1}$.

Proof

To a graph $\mathrm{\Gamma }$ with set of vertices $\{0,\dots ,n+1\}$ and $(n+1)$ edges we associate a monomial ${\omega }_{\mathrm{\Gamma }}$ (well-defined up to a sign) obtained by multiplying the generators ${\omega }_{i,j}$ together for $\{i,j\}$ an edge of $\mathrm{\Gamma }$. What we need to prove is that ${\omega }_{\mathrm{\Gamma }}\in F^k{A}^{n+1}$ if $\mathrm{\Gamma }$ contains a path of length k between the vertices 0 and $n+1$. If $\mathrm{\Gamma }$ contains a cycle then ${\omega }_{\mathrm{\Gamma }}=0$ by Lemma A.2 and there is nothing to prove. Since $\mathrm{\Gamma }$ has $n+2$ vertices and $n+1$ edges we can thus assume that it is a tree. If we choose 0 to be the root of $\mathrm{\Gamma }$ then all edges inherit a preferred orientation (from the root to the leaves). We let ${\delta }_{\mathrm{\Gamma }}(i)$ denote the distance between the vertices 0 and i in $\mathrm{\Gamma }$ and set

$$\begin{array}{c}\hfill {\delta }_{\mathrm{\Gamma }}=\sum _{i=1}^{n+1}{\delta }_{\mathrm{\Gamma }}(i).\end{array}$$

      We have ${\delta }_{\mathrm{\Gamma }}\le 1+2+\cdots +(n+1)$ and the equality holds exactly when $\mathrm{\Gamma }$ is linear, i.e., has only one leaf. We prove by decreasing induction on ${\delta }_{\mathrm{\Gamma }}$ the statement: ${\omega }_{\mathrm{\Gamma }}\in F^k{A}^{n+1}$ if ${\delta }_{\mathrm{\Gamma }}(n+1)\ge k$. If $\mathrm{\Gamma }$ is linear then ${\omega }_{\mathrm{\Gamma }}$ is one of the basis elements ${\omega }_{\sigma }$ for some $\sigma \in {\mathrm{\Sigma }}_{n+1}$ such that ${\sigma }^{-1}(n+1)\ge k$ and thus ${\omega }_{\mathrm{\Gamma }}\in F^k{A}^{n+1}$ by definition. Now assume that $\mathrm{\Gamma }$ is not linear and let a be a vertex of $\mathrm{\Gamma }$ with two children $b_1$ and $b_2$ (which means that there is an edge from a to $b_1$ and an edge from a to $b_2$ in $\mathrm{\Gamma }$). Then we can use the Arnol’d relation

$$\begin{array}{c}\hfill {\omega }_{a,b_1}\wedge {\omega }_{a,b_2}={\omega }_{a,b_1}\wedge {\omega }_{b_1,b_2}-{\omega }_{a,b_2}\wedge {\omega }_{b_1,b_2}\end{array}$$

and deduce a relation

$$\begin{array}{c}\hfill {\omega }_{\mathrm{\Gamma }}=\pm {\omega }_{{\mathrm{\Gamma }}_2^{\prime }}\pm {\omega }_{{\mathrm{\Gamma }}_1^{\prime }}\end{array}$$

where ${\mathrm{\Gamma }}_s^{\prime }$ is obtained from $\mathrm{\Gamma }$ by deleting the edge $\{a,b_s\}$ and adding the edge $\{b_1,b_2\}$, for $s\in \{1,2\}$. One easily sees that we have, for all $i\in \{1,\dots ,n+1\}$, ${\delta }_{{\mathrm{\Gamma }}_s^{\prime }}(i)\ge {\delta }_{\mathrm{\Gamma }}(i)$, and ${\delta }_{{\mathrm{\Gamma }}_s^{\prime }}>{\delta }_{\mathrm{\Gamma }}$, for $s\in \{1,2\}$. One can thus apply the induction hypothesis to ${\mathrm{\Gamma }}_1^{\prime }$ and ${\mathrm{\Gamma }}_2^{\prime }$, which completes the induction step and the proof. $\square$

The Proof

The filtration $F^k$ on $A^{n+1}$ induces a decreasing filtration denoted by the same symbol on the quotient $H^{n+1}(A^{\bullet },\wedge {\omega }_{\underset{\_}{s}})=A^{n+1}/(A^n\wedge {\omega }_{\underset{\_}{s}})$.

Proposition A.6

For every $k\in \{1,\dots ,n\}$ we have

$$\begin{array}{c}\hfill F^k{H}^{n+1}(A^{\bullet },\wedge {\omega }_{\underset{\_}{s}})\subset F^{k+1}{H}^{n+1}(A^{\bullet },\wedge {\omega }_{\underset{\_}{s}}).\end{array}$$

Proof

Let us fix a permutation $\sigma \in {\mathrm{\Sigma }}_n$ such that ${\sigma }^{-1}(n+1)=k\in \{1,\dots ,n\}$. We set $i_s=\sigma (s)$ for every $s\in \{1,\dots ,n+1\}$ and $i_0=0$, so that we have

$$\begin{array}{c}\hfill {\omega }_{\sigma }=X\wedge Y\end{array}$$

where we set:

$$\begin{array}{c}\hfill X={\omega }_{i_0,i_1}\wedge {\omega }_{i_1,i_2}\wedge \cdots \wedge {\omega }_{i_{k-1},n+1}\text{and}Y={\omega }_{n+1,i_{k+1}}\wedge \cdots \wedge {\omega }_{i_{n-1},i_n}\wedge {\omega }_{i_n,i_{n+1}}.\end{array}$$

      We have the relation, in $H^{n+1}(A^{\bullet },{\omega }_{\underset{\_}{s}})$:

$$\begin{array}{c}\hfill X\wedge {\omega }_{\underset{\_}{s}}\wedge \partial (Y)=0.\end{array}$$

      We note that if $\{i,j\}=\{i_a,i_b\}$ for $0\le a<b\le k$ then we have $X\wedge {\omega }_{i,j}=0$ by Lemma A.2. Let P denote the set of remaining pairs of indices. We then get the relation:

$$\begin{array}{c}\hfill \sum _{\{i,j\}\in P}{s}_{i,j}X\wedge {\omega }_{i,j}\wedge \partial (Y)=0.\end{array}$$

      The Leibniz rule gives

$$\begin{array}{c}\hfill {\omega }_{i,j}\wedge \partial (Y)=Y-\partial ({\omega }_{i,j}\wedge Y)\end{array}$$

and we can rewrite the relation as:

$$\begin{array}{c}\hfill \left(\sum _{\{i,j\}\in P},s_{i,j}\right){\omega }_{\sigma }=\sum _{\{i,j\}\in P}{s}_{i,j}X\wedge \partial ({\omega }_{i,j}\wedge Y).\end{array}$$ 94

      We now claim that the term $X\wedge \partial ({\omega }_{i,j}\wedge Y)$ is in $F^{k+1}$ for all $\{i,j\}\in P$. There is one easy case: if $\{i,j\}=\{i_a,i_b\}$ for $k\le a<b\le n+1$ then we have $\partial ({\omega }_{\mathit{ij}}\wedge Y)=0$ by Lemma A.2. Thus, we only have to treat the case where $\{i,j\}=\{i_a,i_b\}$ for $0\le a\le k$ and $k+1\le b\le n+1$.

We proceed by decreasing induction on a. If $a=k$ then the first case applies and we are done. If $a<k$ then the Leibniz rule implies:

$$\begin{array}{c}\hfill X\wedge \partial ({\omega }_{i_a,i_b}\wedge Y)-X\wedge \partial ({\omega }_{i_{a+1},i_b}\wedge Y)=X\wedge \partial ({\omega }_{i_a,i_b}\wedge {\omega }_{i_{a+1},i_b})\wedge \partial (Y).\end{array}$$

We now set

$$\begin{array}{c}\hfill X^{\prime }={\omega }_{i_0,i_1}\wedge \cdots \wedge {\omega }_{i_{a-1},i_a}\wedge {\omega }_{i_{a+1},i_{a+2}}\wedge \cdots \wedge {\omega }_{i_{k-1},n+1}\end{array}$$

so that we have $X=\pm {\omega }_{i_a,i_{a+1}}\wedge X^{\prime }$. We thus get

$$\begin{array}{c}\hfill X\wedge \partial ({\omega }_{i_a,i_b}\wedge Y)-X\wedge \partial ({\omega }_{i_{a+1},i_b}\wedge Y)=\pm X^{\prime }\wedge {\omega }_{i_a,i_b}\wedge {\omega }_{i_{a+1},i_b}\wedge \partial (Y),\end{array}$$

where we have used the Arnol’d relation $\partial ({\omega }_{i_a,i_{a+1}}\wedge {\omega }_{i_a,i_b}\wedge {\omega }_{i_{a+1},i_b})=0$ in the form: ${\omega }_{i_a,i_{a+1}}\wedge \partial ({\omega }_{i_a,i_b}\wedge {\omega }_{i_{a+1},i_b})=\pm {\omega }_{i_a,i_b}\wedge {\omega }_{i_{a+1},i_b}$. Now Lemma A.5 applied to $\left(X^{\prime },\wedge ,{\omega }_{i_a,i_b},\wedge ,{\omega }_{i_{a+1},i_b}\right)\wedge \partial (Y)$ and the induction hypothesis respectively imply that

$$\begin{array}{c}\hfill X^{\prime }\wedge {\omega }_{i_a,i_b}\wedge {\omega }_{i_{a+1},i_b}\wedge \partial (Y)\text{and}X\wedge \partial ({\omega }_{i_{a+1},i_b}\wedge Y)\end{array}$$

are in $F^{k+1}{H}^{n+1}(A^{\bullet },{\omega }_{\underset{\_}{s}})$, which implies that it is also the case for $X\wedge \partial ({\omega }_{i_a,i_b}\wedge Y)$. This concludes the induction step and the proof by induction. Returning to (94) we see that we have $S{\omega }_{\sigma }\in F^{k+1}$ for

$$\begin{array}{c}\hfill S=\sum _{\{i,j\}\in P}{s}_{i,j}=-\sum _{0\le a<b\le k}{s}_{i_a,i_b},\end{array}$$

where we have used equation (93). Thus $S\ne 0$ by the genericity assumption, and ${\omega }_{\sigma }\in F^{k+1}$, which finishes the proof of the proposition. $\square$

We can now conclude with the proof of Theorem A.3. By Proposition A.6 we have

$$\begin{array}{c}\hfill H^{n+1}(A^{\bullet },{\omega }_{\underset{\_}{s}})=F^1{H}^{n+1}(A^{\bullet },{\omega }_{\underset{\_}{s}})=F^{n+1}{H}^{n+1}(A^{\bullet },{\omega }_{\underset{\_}{s}})\end{array}$$

which is spanned by the ${\omega }_{\sigma }$ for $\sigma \in {\mathrm{\Sigma }}_n$. Since the dimension of $H^{n+1}(A^{\bullet },{\omega }_{\underset{\_}{s}})$ is n! if the $s_{i,j}$ are generic, this implies that the ${\omega }_{\sigma }$ are a basis, and Theorem A.3 is proved. Theorem A.1 follows as explained in Sect. A.1.