We continue the analysis of modular invariant functions, subject to inhomogeneous Laplace eigenvalue equations, that were determined in terms of Poincare series in a companion paper. The source term of the Laplace equation is a product of (derivative
s of) two non-holomorphic Eisenstein series whence the modular invariants are assigned depth two. These modular invariant functions can sometimes be expressed in terms of single-valued iterated integrals of holomorphic Eisenstein series as they appear in generating series of modular graph forms. We show that the set of iterated integrals of Eisenstein series has to be extended to include also iterated integrals of holomorphic cusp forms to find expressions for all modular invariant functions of depth two. The coefficients of these cusp forms are identified as ratios of their L-values inside and outside the critical strip.
We derive new Poincare-series representations for infinite families of non-holomorphic modular invariant functions that include modular graph forms as they appear in the low-energy expansion of closed-string scattering amplitudes at genus one. The Po
incare series are constructed from iterated integrals over single holomorphic Eisenstein series and their complex conjugates, decorated by suitable combinations of zeta values. We evaluate the Poincare sums over these iterated Eisenstein integrals of depth one and deduce new representations for all modular graph forms built from iterated Eisenstein integrals at depth two. In a companion paper, some of the Poincare sums over depth-one integrals going beyond modular graph forms will be described in terms of iterated integrals over holomorphic cusp forms and their L-values.
The involutory subalgebra K(E$_9$) of the affine Kac-Moody algebra E$_9$ was recently shown to admit an infinite sequence of unfaithful representations of ever increasing dimensions arXiv:2102.00870. We revisit these representations and describe thei
r associated ideals in more detail, with particular emphasis on two chir
We construct a generalisation of the three-dimensional Poincare algebra that also includes a colour symmetry factor. This algebra can be used to define coloured Poincare gravity in three space-time dimensions as well as to study generalisations of ma
ssive and massless free particle models. We present various such generalised particle models that differ in which orbits of the coloured Poincare symmetry are described. Our approach can be seen as a stepping stone towards the description of particles interacting with a non-abelian background field or as a starting point for a worldline formulation of an associated quantum field theory.
We construct a pseudo-Lagrangian that is invariant under rigid $E_{11}$ and transforms as a density under $E_{11}$ generalised diffeomorphisms. The gauge-invariance requires the use of a section condition studied in previous work on $E_{11}$ exceptio
nal field theory and the inclusion of constrained fields that transform in an indecomposable $E_{11}$-representation together with the $E_{11}$ coset fields. We show that, in combination with gauge-invariant and $E_{11}$-invariant duality equations, this pseudo-Lagrangian reduces to the bosonic sector of non-linear eleven-dimensional supergravity for one choice of solution to the section condition. For another choice, we reobtain the $E_8$ exceptional field theory and conjecture that our pseudo-Lagrangian and duality equations produce all exceptional field theories with maximal supersymmetry in any dimension. We also describe how the theory entails non-linear equations for higher dual fields, including the dual graviton in eleven dimensions. Furthermore, we speculate on the relation to the $E_{10}$ sigma model.
We consider the subalgebras of split real, non-twisted affine Kac-Moody Lie algebras that are fixed by the Chevalley involution. These infinite-dimensional Lie algebras are not of Kac-Moody type and admit finite-dimensional unfaithful representations
. We exhibit a formulation of these algebras in terms of $mathbb{N}$-graded Lie algebras that allows the construction of a large class of representations using the techniques of induced representations. We study how these representations relate to previously established spinor representations as they arise in the theory of supergravity.
Elliptic modular graph functions and forms (eMGFs) are defined for arbitrary graphs as natural generalizations of modular graph functions and forms obtained by including the character of an Abelian group in their Kronecker--Eisenstein series. The sim
plest examples of eMGFs are given by the Green function for a massless scalar field on the torus and the Zagier single-valued elliptic polylogarithms. More complicated eMGFs are produced by the non-separating degeneration of a higher genus surface to a genus one surface with punctures. eMGFs may equivalently be represented by multiple integrals over the torus of combinations of coefficients of the Kronecker--Eisenstein series, and may be assembled into generating series. These relations are exploited to derive holomorphic subgraph reduction formulas, as well as algebraic and differential identities between eMGFs and their generating series.
We relate the low-energy expansions of world-sheet integrals in genus-one amplitudes of open- and closed-string states. The respective expansion coefficients are elliptic multiple zeta values in the open-string case and non-holomorphic modular forms
dubbed modular graph forms for closed strings. By inspecting the differential equations and degeneration limits of suitable generating series of genus-one integrals, we identify formal substitution rules mapping the elliptic multiple zeta values of open strings to the modular graph forms of closed strings. Based on the properties of these rules, we refer to them as an elliptic single-valued map which generalizes the genus-zero notion of a single-valued map acting on multiple zeta values seen in tree-level relations between the open and closed string.
We investigate a systematic approach to include curvature corrections to the isometry algebra of flat space-time order-by-order in the curvature scale. The Poincare algebra is extended to a free Lie algebra, with generalised boosts and translations t
hat no longer commute. The additional generators satisfy a level-ordering and encode the curvature corrections at that order. This eventually results in an infinite-dimensional algebra that we refer to as Poincare${}_infty$, and we show that it contains among others an (A)dS quotient. We discuss a non-linear realisation of this infinite-dimensional algebra, and construct a particle action based on it. The latter yields a geodesic equation that includes (A)dS curvature corrections at every order.
We study the question of Eulerianity (factorizability) for Fourier coefficients of automorphic forms, and we prove a general transfer theorem that allows one to deduce the Eulerianity of certain coefficients from that of another coefficient. We also
establish a `hidden invariance property of Fourier coefficients. We apply these results to minimal and next-to-minimal automorphic representations, and deduce Eulerianity for a large class of Fourier and Fourier-Jacobi coefficients. In particular, we prove Eulerianity for parabolic Fourier coefficients with characters of maximal rank for a class of Eisenstein series in minimal and next-to-minimal representations of groups of ADE-type that are of interest in string theory.
