SearcharxivSearch

arXiv subjects

Oliver Schlotterer

Publications and source records attributed to Oliver Schlotterer.

At least 19 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

Degenerations of flat connections on Riemann surfaces

The integration kernels for polylogarithm functions on a compact Riemann surface of arbitrary genus $h$ are shown to close as the surface undergoes a non-separating degeneration to one of genus $h{-}1$. Explicit formulas are obtained for the non-separating degeneration of the multivariable Enriquez connection for genus $h$ with an arbitrary number of variables to the Enriquez connection for genus $h{-}1$ with two additional punctures whose Lie algebra generators are related to the original ones by the characteristic Bernoulli generating functions known from the degeneration at $h=1$. Analogous degeneration formulas are obtained for the single-valued DHS kernels at the leading order in the real degeneration parameter that is adapted to relating modular tensors at genus $h$ and $h{-}1$.

hep-th

Equivalence of flat connections and Fay identities on arbitrary Riemann surfaces

A flat connection on a Riemann surface with values in an infinite dimensional Lie algebra provides a systematic and effective tool for generating an infinite family of polylogarithms via iterated integrals. The recent literature offers different types of connections, in one or several variables, on compact Riemann surfaces with or without punctures, and in the meromorphic or single-valued categories. In this work, we show that the flatness conditions for the single-valued and modular DHS connection in multiple variables, which was introduced in the companion paper arXiv:2602.01461, are equivalent to the union of all the interchange and Fay identities among DHS integration kernels that were proven in arXiv:2407.11476. Based on the same combinatorial techniques, the flatness conditions on the multivariable Enriquez connection is shown to imply the union of all the interchange and Fay identities for Enriquez kernels.

hep-th

Single-valued flat connections in several variables on arbitrary Riemann surfaces

Polylogarithms on Riemann surfaces may be constructed efficiently in terms of flat connections that can enjoy various algebraic and analytic properties. In this paper, we present a single-valued and modular invariant connection ${\cal J}_\text{DHS}$ on the configuration space $\text{Cf}_n(\Sigma)$ of an arbitrary number $n$ of points on an arbitrary compact Riemann surface $\Sigma$ with or without punctures. The connection ${\cal J}_\text{DHS}$ generalizes an earlier construction for a single variable and is built out of the same integration kernels. We show that ${\cal J}_\text{DHS}$ is flat on $\text{Cf}_n(\Sigma)$. For the case without punctures, we relate it to the meromorphic multiple-valued Enriquez connection ${\cal K}_\text{E}$ in $n$ variables on the universal cover $\tilde \Sigma$ of $\Sigma$ by the composition of a gauge transformation and an automorphism of the Lie algebra in which ${\cal J}_\text{DHS}$ and ${\cal K}_\text{E}$ take values. In a companion paper, we shall establish the equivalence between the flatness of these connections and the corresponding interchange and Fay identities, for arbitrary compact Riemann surfaces.

hep-th

Elliptic modular graph forms, equivariant iterated integrals and single-valued elliptic polylogarithms

The low-energy expansion of genus-one string amplitudes produces infinite families of non-holomorphic modular forms after each step of integrating over a point on the torus worldsheet which are known as elliptic modular graph forms (eMGFs). We solve the differential equations of eMGFs depending on a single point $z$ and the modular parameter $\tau$ via iterated integrals over holomorphic modular forms which individually transform inhomogeneously under ${\rm SL}_2(\mathbb Z)$. Suitable generating series of these iterated integrals over $\tau$, their complex conjugates and single-valued multiple zeta values (svMZVs) are combined to attain equivariant transformations under ${\rm SL}_2(\mathbb Z)$ such that their components are modular forms. Our generating series of equivariant iterated integrals for eMGFs is related to elliptic multiple polylogarithms (eMPLs) through a gauge transform of the flat Calaque-Enriquez-Etingof connection. By converting iterated $\tau$-integrals to iterated integrals over points on a torus, we arrive at an explicit construction of single-valued eMPLs where all the monodromies in the points cancel. Each single-valued eMPL depending on a single point $z$ is found to be a finite combination of meromorphic eMPLs, their complex conjugates, svMZVs and equivariant iterated Eisenstein integrals. Our generating series determines the latter two admixtures via so-called zeta generators and Tsunogai derivations which act on the two generators $x$, $y$ of a free Lie algebra and where the coefficients of words in $x,y$ define the single-valued eMPLs.

hep-th

Towards Motivic Coactions at Genus One from Zeta Generators

The motivic coaction of multiple zeta values and multiple polylogarithms encodes both structural insights on and computational methods for scattering amplitudes in a variety of quantum field theories and in string theory. In this work, we propose coaction formulae for iterated integrals over holomorphic Eisenstein series that arise from configuration-space integrals at genus one. Our proposal is motivated by formal similarities between the motivic coaction and the single-valued map of multiple polylogarithms at genus zero that are exposed in their recent reformulations via zeta generators. The genus-one coaction of this work is then proposed by analogies with the construction of single-valued iterated Eisenstein integrals via zeta generators at genus one. We show that our proposal exhibits the expected properties of a coaction and deduce $f$-alphabet decompositions of the multiple modular values obtained from regularized limits.

hep-th

Cyclic products of higher-genus Szegö kernels, modular tensors and polylogarithms

A wealth of information on multiloop string amplitudes is encoded in fermionic two-point functions known as Szegö kernels. In this paper we show that cyclic products of any number of Szegö kernels on a Riemann surface of arbitrary genus may be decomposed into linear combinations of modular tensors on moduli space that carry all the dependence on the spin structure $δ$. The $δ$-independent coefficients in these combinations carry all the dependence on the marked points and are composed of the integration kernels of higher-genus polylogarithms. We determine the antiholomorphic moduli derivatives of the $δ$-dependent modular tensors.

hep-th

Worldsheet fermion correlators, modular tensors and higher genus integration kernels

The cyclic product of an arbitrary number of Szeg\"o kernels for even spin structure $\delta$ on a compact higher-genus Riemann surface $\Sigma$ may be decomposed via a descent procedure which systematically separates the dependence on the points $z_i \in \Sigma$ from the dependence on the spin structure $\delta$. In this paper, we prove two different, but complementary, descent procedures to achieve this decomposition. In the first procedure, the dependence on the points $z_i \in \Sigma$ is expressed via the meromorphic multiple-valued Enriquez kernels of e-print 1112.0864 while the dependence on $\delta$ resides in multiplets of functions that are independent of $z_i$, locally holomorphic in the moduli of $\Sigma$ and generally do not have simple modular transformation properties. The $\delta$-dependent constants are expressed as multiple convolution integrals over homology cycles of $\Sigma$, thereby generalizing a similar representation of the individual Enriquez kernels. In the second procedure, which was proposed without proof in e-print 2308.05044, the dependence on $z_i$ is expressed in terms the single-valued, modular invariant, but non-meromorphic DHS kernels introduced in e-print 2306.08644 while the dependence on $\delta$ resides in modular tensors that are independent of $z_i$ and are generally non-holomorphic in the moduli of $\Sigma$. Although the individual building blocks of these decompositions have markedly different properties, we show that the combinatorial structure of the two decompositions is virtually identical, thereby extending the striking correspondence observed earlier between the roles played by Enriquez and DHS kernels. Both decompositions are further generalized to the case of linear chain products of Szeg\"o kernels.

hep-th

Pinching rules in the chiral-splitting description of one-loop string amplitudes

Loop amplitudes in string theories reduce to those of gauge theories and (super)gravity in their worldline description as the inverse string tension $α'$ tends to zero. The appearance of reducible diagrams in these $α' \rightarrow 0$ limits is determined through so-called pinching rules in the worldline literature. In this work, we extend these pinching rules to the chiral-splitting description of one-loop superstring amplitudes where left- and right-moving degrees of freedom decouple at fixed loop momentum. Starting from six points, the Kronecker-Eisenstein integrands of chiral amplitudes introduce subtleties into the pinching rules and integration-by-parts simplifications. Resolutions of these subtleties are presented and applied to produce a new superspace representation of the six-point one-loop amplitude of type IIA/B supergravity. The worldline computations and their subtleties are compared with the ambitwistor-string approach to one-loop field-theory amplitudes where integration-by-parts manipulations are shown to be more flexible. Throughout this work, the homology invariance of loop-momentum dependent correlation functions on the torus is highlighted as a consistency condition of $α' \rightarrow 0$ limits and their comparison with ambitwistor methods.

hep-th

Constructing polylogarithms on higher-genus Riemann surfaces

An explicit construction is presented of homotopy-invariant iterated integrals on a Riemann surface of arbitrary genus in terms of a flat connection valued in a freely generated Lie algebra. The integration kernels consist of modular tensors, built from convolutions of the Arakelov Green function and its derivatives with holomorphic Abelian differentials, combined into a flat connection. Our construction thereby produces explicit formulas for polylogarithms as higher-genus modular tensors. This construction generalizes the elliptic polylogarithms of Brown-Levin, and prompts future investigations into the relation with the function spaces of higher-genus polylogarithms in the work of Enriquez-Zerbini.

hep-th

Deriving motivic coactions and single-valued maps at genus zero from zeta generators

Multiple polylogarithms are equipped with rich algebraic structures including the motivic coaction and the single-valued map which both found fruitful applications in high-energy physics. In recent work arXiv:2312.00697, the current authors presented a conjectural reformulation of the motivic coaction and the single-valued map via zeta generators, certain operations on non-commuting variables in suitable generating series of multiple polylogarithms. In this work, the conjectures of the reference will be proven for multiple polylogarithms that depend on any number of variables on the Riemann sphere.

hep-th

Meromorphic higher-genus integration kernels via convolution over homology cycles

Polylogarithms on arbitrary higher-genus Riemann surfaces can be constructed from meromorphic integration kernels with at most simple poles, whose definition was given by Enriquez via functional properties. In this work, homotopy-invariant convolution integrals over homology cycles are shown to provide a direct construction of Enriquez kernels solely from holomorphic Abelian differentials and the prime form. Our new representation is used to demonstrate the closure of the space of Enriquez kernels under convolution over homology cycles and under variations of the moduli. The results of this work further strengthen the remarkable parallels of Enriquez kernels with the non-holomorphic modular tensors recently developed in an alternative construction of higher-genus polylogarithms.

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

Non-holomorphic modular forms from zeta generators

We study non-holomorphic modular forms built from iterated integrals of holomorphic modular forms for SL$(2,\mathbb Z)$ known as equivariant iterated Eisenstein integrals. A special subclass of them furnishes an equivalent description of the modular graph forms appearing in the low-energy expansion of string amplitudes at genus one. Notably the Fourier expansion of modular graph forms contains single-valued multiple zeta values. We deduce the appearance of products and higher-depth instances of multiple zeta values in equivariant iterated Eisenstein integrals, and ultimately modular graph forms, from the appearance of simpler odd Riemann zeta values. This analysis relies on so-called zeta generators which act on certain non-commutative variables in the generating series of the iterated integrals. From an extension of these non-commutative variables we incorporate iterated integrals involving holomorphic cusp forms into our setup and use them to construct the modular completion of triple Eisenstein integrals. Our work represents a fully explicit realisation of the modular graph forms within Brown's framework of equivariant iterated Eisenstein integrals and reveals structural analogies between single-valued period functions appearing in genus zero and one string amplitudes.

hep-th

Motivic coaction and single-valued map of polylogarithms from zeta generators

We introduce a new Lie-algebraic approach to explicitly construct the motivic coaction and single-valued map of multiple polylogarithms in any number of variables. In both cases, the appearance of multiple zeta values is controlled by conjugating generating series of polylogarithms with Lie-algebra generators associated with odd zeta values. Our reformulation of earlier constructions of coactions and single-valued polylogarithms preserves choices of fibration bases, exposes the correlation between multiple zeta values of different depths and paves the way for generalizations beyond genus zero.

hep-th

Fay identities for polylogarithms on higher-genus Riemann surfaces

A recent construction of polylogarithms on Riemann surfaces of arbitrary genus in arXiv:2306.08644 is based on a flat connection assembled from single-valued non-holomorphic integration kernels that depend on two points on the Riemann surface. In this work, we construct and prove infinite families of bilinear relations among these integration kernels that are necessary for the closure of the space of higher-genus polylogarithms under integration over the points on the surface. Our bilinear relations generalize the Fay identities among the genus-one Kronecker-Eisenstein kernels to arbitrary genus. The multiple-valued meromorphic kernels in the flat connection of Enriquez are conjectured to obey higher-genus Fay identities of exactly the same form as their single-valued non-holomorphic counterparts. We initiate the applications of Fay identities to derive functional relations among higher-genus polylogarithms involving either single-valued or meromorphic integration kernels.

hep-th

Canonicalizing zeta generators: genus zero and genus one

Zeta generators are derivations associated with odd Riemann zeta values that act freely on the Lie algebra of the fundamental group of Riemann surfaces with marked points. The genus-zero incarnation of zeta generators are Ihara derivations of certain Lie polynomials in two generators that can be obtained from the Drinfeld associator. We characterize a canonical choice of these polynomials, together with their non-Lie counterparts at even degrees $w\geq 2$, through the action of the dual space of formal and motivic multizeta values. Based on these canonical polynomials, we propose a canonical isomorphism that maps motivic multizeta values into the $f$-alphabet. The canonical Lie polynomials from the genus-zero setup determine canonical zeta generators in genus one that act on the two generators of Enriquez' elliptic associators. Up to a single contribution at fixed degree, the zeta generators in genus one are systematically expanded in terms of Tsunogai's geometric derivations dual to holomorphic Eisenstein series, leading to a wealth of explicit high-order computations. Earlier ambiguities in defining the non-geometric part of genus-one zeta generators are resolved by imposing a new representation-theoretic condition. The tight interplay between zeta generators in genus zero and genus one unravelled in this work connects the construction of single-valued multiple polylogarithms on the sphere with iterated-Eisenstein-integral representations of modular graph forms.

math.QA

Basis decompositions of genus-one string integrals

One-loop scattering amplitudes in string theories involve configuration-space integrals over genus-one surfaces with coefficients of Kronecker-Eisenstein series in the integrand. A conjectural genus-one basis of integrands under Fay identities and integration by parts was recently constructed out of chains of Kronecker-Eisenstein series. In this work, we decompose a variety of more general genus-one integrands into the conjectural chain basis. The explicit form of the expansion coefficients is worked out for infinite families of cases where the Kronecker-Eisenstein series form cycles. Our results can be used to simplify multiparticle amplitudes in supersymmetric, heterotic and bosonic string theories and to investigate loop-level echoes of the field-theory double-copy structures of string tree-level amplitudes. The multitude of basis reductions in this work strongly validate the recently proposed chain basis and stimulate mathematical follow-up studies of more general configuration-space integrals with additional marked points or at higher genus.

hep-th