SearcharxivSearch

arXiv subjects

Federico Zerbini

Publications and source records attributed to Federico Zerbini.

14 recordsLinked to original sources

Flat connections on moduli spaces I: Local (1,0)-extension of the DHS connection

The flat DHS connection $\mathcal J_{\mathrm{DHS}}$ constructed in arXiv:2602.01461 is smooth on the configuration space of $n$ points on a fixed compact Riemann surface $\Sigma$ of arbitrary genus $h$, takes values in an infinite-dimensional Lie algebra $\hat{\mathfrak t}_{h,n}$ and is invariant under the modular group $\mathrm{Sp}(2h,\mathbb Z)$. This paper is the first in a series for a program whose goal is to extend the connection $\mathcal J_{\mathrm{DHS}}$ to a global flat connection on the Teichm\"uller space $\mathcal T_{h,n}$ valued in the Lie algebra of derivations of $\hat{\mathfrak t}_{h,n}$. Upon the choice of local coordinates adapted to the map $\mathcal T_{h,n}\to \mathcal T_h$, such a connection splits into three pieces: $\mathcal J_{\mathrm{DHS}}$, a piece $\mathcal L$ corresponding to holomorphic directions of $\mathcal T_h$ and a third piece corresponding to anti-holomorphic directions in $\mathcal T_h$. In this paper, we isolate the system of equations satisfied by $\mathcal L$ and obtain its solution locally and explicitly. The construction of a global extension of $\mathcal J_{\mathrm{DHS}}$ to $\mathcal T_{h,n}$ and the extension of the meromorphic connection of arXiv:1112.0864 to $\mathcal T_{h,n}$, are relegated to future publications in this series.

hep-th

Relating flat connections and polylogarithms on higher genus Riemann surfaces

In this work, we relate two recent constructions that generalize classical (genus-zero) polylogarithms to higher-genus Riemann surfaces. A flat connection valued in a freely generated Lie algebra on a punctured Riemann surface of arbitrary genus produces an infinite family of homotopy-invariant iterated integrals associated to all possible words in the alphabet of the Lie algebra generators. Each iterated integral associated to a word is a higher-genus polylogarithm. Different flat connections taking values in the same Lie algebra on a given Riemann surface may be related to one another by the composition of a gauge transformation and an automorphism of the Lie algebra, thus producing closely related families of polylogarithms. In this paper we provide two methods to explicitly construct this correspondence between the meromorphic multiple-valued connection introduced by Enriquez in e-Print 1112.0864 and the non-meromorphic single-valued and modular-invariant connection introduced by D'Hoker, Hidding and Schlotterer, in e-Print 2306.08644.

hep-th

Closed-string amplitude recursions from the Deligne associator

Inspired by earlier results on recursions for open-string tree-level amplitudes, and by a result of Brown and Dupont relating open- and closed-string tree-level amplitudes via single-valued periods, we identify a recursive relation for closed-string tree-level amplitudes. We achieve this by showing that closed-string analogues of Selberg integrals satisfy the Knizhnik-Zamolodchikov equation for a suitable matrix representation of the free Lie algebra on two generators, and by identifying the limits at z=1 and z=0, which are related by the Deligne associator, with N-point and (N-1)-point closed-string amplitudes, respectively.

hep-th

Schottky-Kronecker forms and hyperelliptic polylogarithms

Elliptic polylogarithms can be defined as iterated integrals on a genus-one Riemann surface of a set of integration kernels whose generating series was already considered by Kronecker in the 19th century. In this article, we employ the Schottky parametrization of a Riemann surface to construct higher-genus analogues of Kronecker's generating series, which we refer to as Schottky-Kronecker forms. Our explicit construction generalizes ideas from Bernard's higher-genus construction of the Knizhnik-Zamolodchikov connection. Integration kernels generated from the Schottky-Kronecker forms are defined as Poincaré series. Under technical assumptions, related to the convergence of these Poincaré series on the underlying Riemann surface, we argue that these integration kernels coincide with a set of differentials defined by Enriquez, whose iterated integrals constitute higher-genus analogues of polylogarithms. Enriquez' original definition is not well-suited for numerical evaluation of higher-genus polylogarithms. In contrast, the Poincaré series defining our integration kernels can be evaluated numerically for real hyperelliptic curves, for which the above-mentioned convergence assumptions can be verified. We numerically evaluate several examples of genus-two polylogarithms, thereby paving the way for numerical evaluation of hyperelliptic analogues of polylogarithms.

hep-th

Analogues of hyperlogarithm functions on affine complex curves

For $C$ a smooth affine complex curve, there is a unique minimal subalgebra $A_C$ of the algebra $\mathcal O_{hol}(\tilde C)$ of holomorphic functions on its universal cover $\tilde C$, which is stable under all the operations $f\mapsto \int fω$, for $ω$ in the space $Ω(C)$ of regular differentials on $C$. We identify $A_C$ with the image of the iterated integration map $I_{x_0} : \mathrm{Sh}(Ω(C))\to\mathcal O_{hol}(\tilde C)$ based at any point $x_0$ of $\tilde C$ (here $\mathrm{Sh}(-)$ denotes the shuffle algebra of a vector space), as well as with the unipotent part, with respect to the action of $\mathrm{Aut}(\tilde C/C)$, of a subalgebra of $\mathcal O_{hol}(\tilde C)$ of moderate growth functions. We show that any regular Maurer-Cartan (MC) element $J$ on $C$ with values in the topologically free Lie algebra over $\mathrm H^1_{\mathrm{dR}}(C)^*$ gives rise to an isomorphism of $A_C$ with $\mathcal O(C) \otimes\mathrm{Sh}(\mathrm H^1_{\mathrm{dR}}(C))$, where $\mathcal O(C)$ is the algebra of regular functions on $C$, leading to the assignment of a subalgebra $\mathcal H_C(J)$ of $A_C$ (isomorphic to $\mathrm{Sh}(\mathrm H^1_{\mathrm{dR}}(C))$) to any MC element. We also associate a MC element $J_σ$ to each section $σ$ of the projection $Ω(C)\to \mathrm H^1_{\mathrm{dR}}(C)$; when $C$ has genus $0$, we exhibit a particular section $σ_0$ for which $\mathcal H_C(J_{σ_0})$ is the algebra of hyperlogarithm functions (Poincaré, Lappo-Danilevsky).

math.AG

Elliptic hyperlogarithms

Let $\mathcal E$ be a complex elliptic curve and $S$ be a non-empty finite subset of $\mathcal E$. We show that the functions $\tildeΓ$ introduced in arXiv:1712.07089 out of string theory motivations give rise to a basis of the minimal algebra $A_{\mathcal E\smallsetminus S}$ of holomorphic multivalued functions on $\mathcal E\smallsetminus S$ which is stable under integration, introduced in arXiv:2212.03119; this basis is alternative to the basis of $A_{\mathcal E\smallsetminus S}$ constructed in loc. cit. using elliptic analogues of the hyperlogarithm functions.

math.AG

Construction of Maurer-Cartan elements over configuration spaces of curves

For $C$ a complex curve and $n \geq 1$, a pair $(\mathcal{P},\nabla_\mathcal{P})$ of a principal bundle $\mathcal{P}$ with meromorphic flat connection over $C^n$, holomorphic over the configuration space $C_n(C)$ of $n$ points over $C$, was introduced in arXiv:1112.0864. For any point $\infty \in C$, we construct a trivialisation of the restriction of $\mathcal{P}$ to $(C\setminus\infty)^n$ and obtain a Maurer-Cartan element $J$ over $C_n(C\setminus\infty)$ out of $\nabla_\mathcal{P}$, thus generalising a construction of Levin and Racinet when the genus of $C$ is higher than one. We give explicit formulas for $J$ as well as for $\nabla_\mathcal{P}$. When $n=1$, this construction gives rise to elements of Hain's space of second kind iterated integrals over $C$.

math.AG

Single-valued hyperlogarithms, correlation functions and closed string amplitudes

We give new proofs of a global and a local property of the integrals which compute closed string theory amplitudes at genus zero. Both kinds of properties are related to the newborn theory of single-valued periods, and our proofs provide an intuitive understanding of this relation. The global property, known in physics as the KLT formula, is a factorisation of the closed string integrals into products of pairs of open string integrals. We deduce it by identifying closed string integrals with special values of single-valued correlation functions in two dimensional conformal field theory, and by obtaining their conformal block decomposition. The local property is of number theoretical nature. We write the asymptotic expansion coefficients as multiple integrals over the complex plane of special functions known as single-valued hyperlogarithms. We develop a theory of integration of single-valued hyperlogarithms, and we use it to demonstrate that the asymptotic expansion coefficients belong to the ring of single-valued multiple zeta values.

hep-th

Building blocks of closed and open string amplitudes

In this text we review various relations between building blocks of closed and open string amplitudes at tree-level and genus one. We explain that KLT relations between tree-level closed and open string amplitudes follow from the holomorphic factorisation of conformal correlation functions on conformal blocks. We give a simple hands-on evaluation of the $α'$-expansion of tree-level closed string amplitudes displaying the special single-valued nature of the coefficients. We show that the same techniques can be used also at genus-one, where we give a new proof of the single-valued nature of the coefficients of 2-point closed string amplitudes. We conclude by giving an overview of some open problems.

hep-th

Genus-zero and genus-one string amplitudes and special multiple zeta values

In this paper we show that in perturbative string theory the genus-one contribution to formal 2-point amplitudes can be related to the genus-zero contribution to 4-point amplitudes. This is achieved by studying special linear combinations of multiple zeta values that appear as coefficients of the amplitudes. We also exploit our results to relate closed strings to open strings at genus one using Brown's single-valued projection, proving a conjecture of Broedel, Schlotterer and the second author.

math.NT

Modular and holomorphic graph function from superstring amplitudes

We compare two classes of functions arising from genus-one superstring amplitudes: modular and holomorphic graph functions. We focus on their analytic properties, we recall the known asymptotic behaviour of modular graph functions and we refine the formula for the asymptotic behaviour of holomorphic graph functions. Moreover, we give new evidence of a conjecture which relates these two asymptotic expansions.

math-ph

Elliptic multiple zeta values, modular graph functions and genus 1 superstring scattering amplitudes

In this PhD thesis we study holomorphic and non-holomorphic elliptic analogues of multiple zeta values, namely elliptic multiple zeta values and modular graph functions. Both classes of functions have been discovered very recently, and are involved in the computation of genus one superstring amplitudes. In particular, we obtain new results on the asymptotic expansion of these functions that allow us to perform explicit computations and point out analogies between genus zero and genus one amplitudes.

math-ph

Single-valued multiple zeta values in genus 1 superstring amplitudes

We study the modular graph functions introduced by Green, Russo, Vanhove in the context of type II superstring scattering amplitudes of 4 gravitons on a torus. In particular we describe a method to algorithmically compute the coefficients in their expansion at the cusp in terms of conical sums. We perform explicit computations for 3-graviton functions, which naturally suggest to conjecture that only single-valued multiple zeta values appear.

hep-th