-
A string-like realization of hyperbolic Kac-Moody algebras
Authors:
Saverio Capolongo,
Axel Kleinschmidt,
Hannes Malcha,
Hermann Nicolai
Abstract:
We propose a new approach to studying hyperbolic Kac-Moody algebras, focussing on the rank-3 algebra $\mathfrak{F}$ first investigated by Feingold and Frenkel. Our approach is based on the concrete realization of this Lie algebra in terms of a Hilbert space of transverse and longitudinal physical string states, which are expressed in a basis using DDF operators. When decomposed under its affine su…
▽ More
We propose a new approach to studying hyperbolic Kac-Moody algebras, focussing on the rank-3 algebra $\mathfrak{F}$ first investigated by Feingold and Frenkel. Our approach is based on the concrete realization of this Lie algebra in terms of a Hilbert space of transverse and longitudinal physical string states, which are expressed in a basis using DDF operators. When decomposed under its affine subalgebra $A_1^{(1)}$, the algebra $\mathfrak{F}$ decomposes into an infinite sum of affine representation spaces of $A_1^{(1)}$ for all levels $\ell\in\mathbb{Z}$. For $|\ell| >1$ there appear in addition coset Virasoro representations for all minimal models of central charge $c<1$, but the different level-$\ell$ sectors of $\mathfrak{F}$ do not form proper representations of these because they are incompletely realized in $\mathfrak{F}$. To get around this problem we propose to nevertheless exploit the coset Virasoro algebra for each level by identifying for each level a (for $|\ell|\geq 3$ infinite) set of `Virasoro ground states' that are not necessarily elements of $\mathfrak{F}$ (in which case we refer to them as `virtual'), but from which the level-$\ell$ sectors of $\mathfrak{F}$ can be fully generated by the joint action of affine and coset Virasoro raising operators. We conjecture (and present partial evidence) that the Virasoro ground states for $|\ell|\geq 3$ in turn can be generated from a finite set of `maximal ground states' by the additional action of the `spectator' coset Virasoro raising operators present for all levels $|\ell| > 2$. Our results hint at an intriguing but so far elusive secret behind Einstein's theory of gravity, with possibly important implications for quantum cosmology.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Canonicalizing zeta generators: genus zero and genus one
Authors:
Daniele Dorigoni,
Mehregan Doroudiani,
Joshua Drewitt,
Martijn Hidding,
Axel Kleinschmidt,
Oliver Schlotterer,
Leila Schneps,
Bram Verbeek
Abstract:
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, togethe…
▽ More
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.
△ Less
Submitted 4 July, 2024; v1 submitted 7 June, 2024;
originally announced June 2024.
-
Non-holomorphic modular forms from zeta generators
Authors:
Daniele Dorigoni,
Mehregan Doroudiani,
Joshua Drewitt,
Martijn Hidding,
Axel Kleinschmidt,
Oliver Schlotterer,
Leila Schneps,
Bram Verbeek
Abstract:
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 sin…
▽ More
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.
△ Less
Submitted 3 October, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
Decompositions of hyperbolic Kac-Moody algebras with respect to imaginary root groups
Authors:
Alex J. Feingold,
Axel Kleinschmidt,
Hermann Nicolai
Abstract:
We propose a novel way to define imaginary root subgroups associated with (timelike) imaginary roots of hyperbolic Kac-Moody algebras. Using in an essential way the theory of unitary irreducible representation of covers of the group SO(2,1), these imaginary root subgroups act on the complex Kac-Moody algebra viewed as a Hilbert space. We illustrate our new view on Kac-Moody groups by considering t…
▽ More
We propose a novel way to define imaginary root subgroups associated with (timelike) imaginary roots of hyperbolic Kac-Moody algebras. Using in an essential way the theory of unitary irreducible representation of covers of the group SO(2,1), these imaginary root subgroups act on the complex Kac-Moody algebra viewed as a Hilbert space. We illustrate our new view on Kac-Moody groups by considering the example of a rank-two hyperbolic algebra that is related to the Fibonacci numbers. We also point out some open issues and new avenues for further research, and briefly discuss the potential relevance of the present results for physics and current attempts at unification.
△ Less
Submitted 30 July, 2024; v1 submitted 27 February, 2024;
originally announced February 2024.
-
Modular graph forms from equivariant iterated Eisenstein integrals
Authors:
Daniele Dorigoni,
Mehregan Doroudiani,
Joshua Drewitt,
Martijn Hidding,
Axel Kleinschmidt,
Nils Matthes,
Oliver Schlotterer,
Bram Verbeek
Abstract:
The low-energy expansion of closed-string scattering amplitudes at genus one introduces infinite families of non-holomorphic modular forms called modular graph forms. Their differential and number-theoretic properties motivated Brown's alternative construction of non-holomorphic modular forms in the recent mathematics literature from so-called equivariant iterated Eisenstein integrals. In this wor…
▽ More
The low-energy expansion of closed-string scattering amplitudes at genus one introduces infinite families of non-holomorphic modular forms called modular graph forms. Their differential and number-theoretic properties motivated Brown's alternative construction of non-holomorphic modular forms in the recent mathematics literature from so-called equivariant iterated Eisenstein integrals. In this work, we provide the first validations beyond depth one of Brown's conjecture that equivariant iterated Eisenstein integrals contain modular graph forms. Apart from a variety of examples at depth two and three, we spell out the systematics of the dictionary and make certain elements of Brown's construction fully explicit to all orders.
△ Less
Submitted 21 December, 2022; v1 submitted 14 September, 2022;
originally announced September 2022.
-
To the cusp and back: Resurgent analysis for modular graph functions
Authors:
Daniele Dorigoni,
Axel Kleinschmidt,
Rudolfs Treilis
Abstract:
Modular graph functions arise in the calculation of the low-energy expansion of closed-string scattering amplitudes. For toroidal world-sheets, they are ${\rm SL}(2,\mathbb{Z})$-invariant functions of the torus complex structure that have to be integrated over the moduli space of inequivalent tori. We use methods from resurgent analysis to construct the non-perturbative corrections arising when th…
▽ More
Modular graph functions arise in the calculation of the low-energy expansion of closed-string scattering amplitudes. For toroidal world-sheets, they are ${\rm SL}(2,\mathbb{Z})$-invariant functions of the torus complex structure that have to be integrated over the moduli space of inequivalent tori. We use methods from resurgent analysis to construct the non-perturbative corrections arising when the argument of the modular graph function approaches the cusp on this moduli space. ${\rm SL}(2,\mathbb{Z})$-invariance will in turn strongly constrain the behaviour of the non-perturbative sector when expanded at the origin of the moduli space.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Poincaré series for modular graph forms at depth two. II. Iterated integrals of cusp forms
Authors:
Daniele Dorigoni,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
We continue the analysis of modular invariant functions, subject to inhomogeneous Laplace eigenvalue equations, that were determined in terms of Poincaré series in a companion paper. The source term of the Laplace equation is a product of (derivatives of) two non-holomorphic Eisenstein series whence the modular invariants are assigned depth two. These modular invariant functions can sometimes be e…
▽ More
We continue the analysis of modular invariant functions, subject to inhomogeneous Laplace eigenvalue equations, that were determined in terms of Poincaré series in a companion paper. The source term of the Laplace equation is a product of (derivatives 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.
△ Less
Submitted 28 January, 2022; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Poincaré series for modular graph forms at depth two. I. Seeds and Laplace systems
Authors:
Daniele Dorigoni,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
We derive new Poincaré-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 Poincaré series are constructed from iterated integrals over single holomorphic Eisenstein series and their complex conjugates, decorated by suitable co…
▽ More
We derive new Poincaré-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 Poincaré 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 Poincaré 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 Poincaré 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.
△ Less
Submitted 28 January, 2022; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Generalised holonomies and K(E$_9$)
Authors:
Axel Kleinschmidt,
Hermann Nicolai
Abstract:
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 their associated ideals in more detail, with particular emphasis on two chiral versions that can be constructed for each such representation. For every su…
▽ More
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 their associated ideals in more detail, with particular emphasis on two chiral versions that can be constructed for each such representation. For every such unfaithful representation we show that the action of K(E$_9$) decomposes into a direct sum of two mutually commuting (`chiral' and `anti-chiral') parabolic algebras with Levi subalgebra $\mathfrak{so}(16)_+\,\oplus\,\mathfrak{so}(16)_-$. We also spell out the consistency conditions for uplifting such representations to unfaithful representations of K(E$_{10}$). From these results it is evident that the holonomy groups so far discussed in the literature are mere shadows (in a Platonic sense) of a much larger structure.
△ Less
Submitted 8 September, 2021; v1 submitted 6 July, 2021;
originally announced July 2021.
-
Representations of involutory subalgebras of affine Kac-Moody algebras
Authors:
Axel Kleinschmidt,
Ralf Köhl,
Robin Lautenbacher,
Hermann Nicolai
Abstract:
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 representat…
▽ More
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.
△ Less
Submitted 11 March, 2022; v1 submitted 1 February, 2021;
originally announced February 2021.
-
Elliptic modular graph forms I: Identities and generating series
Authors:
Eric D'Hoker,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
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 simplest 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
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 simplest 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.
△ Less
Submitted 15 March, 2021; v1 submitted 16 December, 2020;
originally announced December 2020.
-
Towards closed strings as single-valued open strings at genus one
Authors:
Jan E. Gerken,
Axel Kleinschmidt,
Carlos R. Mafra,
Oliver Schlotterer,
Bram Verbeek
Abstract:
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 gen…
▽ More
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.
△ Less
Submitted 14 June, 2021; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Eulerianity of Fourier coefficients of automorphic forms
Authors:
Dmitry Gourevitch,
Henrik P. A. Gustafsson,
Axel Kleinschmidt,
Daniel Persson,
Siddhartha Sahi
Abstract:
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, a…
▽ More
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.
△ Less
Submitted 3 March, 2021; v1 submitted 29 April, 2020;
originally announced April 2020.
-
Generating series of all modular graph forms from iterated Eisenstein integrals
Authors:
Jan E. Gerken,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
We study generating series of torus integrals that contain all so-called modular graph forms relevant for massless one-loop closed-string amplitudes. By analysing the differential equation of the generating series we construct a solution for its low-energy expansion to all orders in the inverse string tension $α'$. Our solution is expressed through initial data involving multiple zeta values and c…
▽ More
We study generating series of torus integrals that contain all so-called modular graph forms relevant for massless one-loop closed-string amplitudes. By analysing the differential equation of the generating series we construct a solution for its low-energy expansion to all orders in the inverse string tension $α'$. Our solution is expressed through initial data involving multiple zeta values and certain real-analytic functions of the modular parameter of the torus. These functions are built from real and imaginary parts of holomorphic iterated Eisenstein integrals and should be closely related to Brown's recent construction of real-analytic modular forms. We study the properties of our real-analytic objects in detail and give explicit examples to a fixed order in the $α'$-expansion. In particular, our solution allows for a counting of linearly independent modular graph forms at a given weight, confirming previous partial results and giving predictions for higher, hitherto unexplored weights. It also sheds new light on the topic of uniform transcendentality of the $α'$-expansion.
△ Less
Submitted 13 May, 2020; v1 submitted 10 April, 2020;
originally announced April 2020.
-
Resurgent expansion of Lambert series and iterated Eisenstein integrals
Authors:
Daniele Dorigoni,
Axel Kleinschmidt
Abstract:
We consider special Lambert series as generating functions of divisor sums and determine their complete transseries expansion near rational roots of unity. Our methods also yield new insights into the Laurent expansions and modularity properties of iterated Eisenstein integrals that have recently attracted attention in the context of certain period integrals and string theory scattering amplitudes…
▽ More
We consider special Lambert series as generating functions of divisor sums and determine their complete transseries expansion near rational roots of unity. Our methods also yield new insights into the Laurent expansions and modularity properties of iterated Eisenstein integrals that have recently attracted attention in the context of certain period integrals and string theory scattering amplitudes.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
All-order differential equations for one-loop closed-string integrals and modular graph forms
Authors:
Jan E. Gerken,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
We investigate generating functions for the integrals over world-sheet tori appearing in closed-string one-loop amplitudes of bosonic, heterotic and type-II theories. These closed-string integrals are shown to obey homogeneous and linear differential equations in the modular parameter of the torus. We spell out the first-order Cauchy-Riemann and second-order Laplace equations for the generating fu…
▽ More
We investigate generating functions for the integrals over world-sheet tori appearing in closed-string one-loop amplitudes of bosonic, heterotic and type-II theories. These closed-string integrals are shown to obey homogeneous and linear differential equations in the modular parameter of the torus. We spell out the first-order Cauchy-Riemann and second-order Laplace equations for the generating functions for any number of external states. The low-energy expansion of such torus integrals introduces infinite families of non-holomorphic modular forms known as modular graph forms. Our results generate homogeneous first- and second-order differential equations for arbitrary such modular graph forms and can be viewed as a step towards all-order low-energy expansions of closed-string integrals.
△ Less
Submitted 21 January, 2020; v1 submitted 8 November, 2019;
originally announced November 2019.
-
Fourier coefficients of minimal and next-to-minimal automorphic representations of simply-laced groups
Authors:
Dmitry Gourevitch,
Henrik P. A. Gustafsson,
Axel Kleinschmidt,
Daniel Persson,
Siddhartha Sahi
Abstract:
In this paper we analyze Fourier coefficients of automorphic forms on a finite cover $G$ of an adelic split simply-laced group. Let $π$ be a minimal or next-to-minimal automorphic representation of $G$. We prove that any $η\in π$ is completely determined by its Whittaker coefficients with respect to (possibly degenerate) characters of the unipotent radical of a fixed Borel subgroup, analogously to…
▽ More
In this paper we analyze Fourier coefficients of automorphic forms on a finite cover $G$ of an adelic split simply-laced group. Let $π$ be a minimal or next-to-minimal automorphic representation of $G$. We prove that any $η\in π$ is completely determined by its Whittaker coefficients with respect to (possibly degenerate) characters of the unipotent radical of a fixed Borel subgroup, analogously to the Piatetski-Shapiro--Shalika formula for cusp forms on $GL_n$. We also derive explicit formulas expressing the form, as well as all its maximal parabolic Fourier coefficient in terms of these Whittaker coefficients. A consequence of our results is the non-existence of cusp forms in the minimal and next-to-minimal automorphic spectrum. We provide detailed examples for $G$ of type $D_5$ and $E_8$ with a view towards applications to scattering amplitudes in string theory.
△ Less
Submitted 7 October, 2019; v1 submitted 21 August, 2019;
originally announced August 2019.
-
Modular graph functions and asymptotic expansions of Poincaré series
Authors:
Daniele Dorigoni,
Axel Kleinschmidt
Abstract:
In this note we study $SL(2,\mathbb{Z})$-invariant functions such as modular graph functions or coefficient functions of higher derivative corrections in type IIB string theory. The functions solve inhomogeneous Laplace equations and we choose to represent them as Poincaré series. In this way we can combine different methods for asymptotic expansions and obtain the perturbative and non-perturbativ…
▽ More
In this note we study $SL(2,\mathbb{Z})$-invariant functions such as modular graph functions or coefficient functions of higher derivative corrections in type IIB string theory. The functions solve inhomogeneous Laplace equations and we choose to represent them as Poincaré series. In this way we can combine different methods for asymptotic expansions and obtain the perturbative and non-perturbative contributions to their zero Fourier modes. In the case of the higher derivative corrections, these terms have an interpretation in terms of perturbative string loop effects and pairs of instantons/anti-instantons.
△ Less
Submitted 14 January, 2020; v1 submitted 21 March, 2019;
originally announced March 2019.
-
A reduction principle for Fourier coefficients of automorphic forms
Authors:
Dmitry Gourevitch,
Henrik P. A. Gustafsson,
Axel Kleinschmidt,
Daniel Persson,
Siddhartha Sahi
Abstract:
We consider a general class of Fourier coefficients for an automorphic form on a finite cover of a reductive adelic group ${\bf G}(\mathbb{A}_{\mathbb{K}})$, associated to the data of a `Whittaker pair'. We describe a quasi-order on Fourier coefficients, and an algorithm that gives an explicit formula for any coefficient in terms of integrals and sums involving higher coefficients. The maximal ele…
▽ More
We consider a general class of Fourier coefficients for an automorphic form on a finite cover of a reductive adelic group ${\bf G}(\mathbb{A}_{\mathbb{K}})$, associated to the data of a `Whittaker pair'. We describe a quasi-order on Fourier coefficients, and an algorithm that gives an explicit formula for any coefficient in terms of integrals and sums involving higher coefficients. The maximal elements for the quasi-order are `Levi-distinguished' Fourier coefficients, which correspond to taking the constant term along the unipotent radical of a parabolic subgroup, and then further taking a Fourier coefficient with respect to a $\mathbb{K}$-distinguished nilpotent orbit in the Levi quotient. Thus one can express any Fourier coefficient, including the form itself, in terms of higher Levi-distinguished coefficients. In follow-up papers we use this result to determine explicit Fourier expansions of minimal and next-to-minimal automorphic forms on split simply-laced reductive groups, and to obtain Euler product decompositions of their top Fourier coefficients.
△ Less
Submitted 3 March, 2021; v1 submitted 14 November, 2018;
originally announced November 2018.
-
Heterotic-string amplitudes at one loop: modular graph forms and relations to open strings
Authors:
Jan E. Gerken,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
We investigate one-loop four-point scattering of non-abelian gauge bosons in heterotic string theory and identify new connections with the corresponding open-string amplitude. In the low-energy expansion of the heterotic-string amplitude, the integrals over torus punctures are systematically evaluated in terms of modular graph forms, certain non-holomorphic modular forms. For a specific torus inte…
▽ More
We investigate one-loop four-point scattering of non-abelian gauge bosons in heterotic string theory and identify new connections with the corresponding open-string amplitude. In the low-energy expansion of the heterotic-string amplitude, the integrals over torus punctures are systematically evaluated in terms of modular graph forms, certain non-holomorphic modular forms. For a specific torus integral, the modular graph forms in the low-energy expansion are related to the elliptic multiple zeta values from the analogous open-string integrations over cylinder boundaries. The detailed correspondence between these modular graph forms and elliptic multiple zeta values supports a recent proposal for an elliptic generalization of the single-valued map at genus zero.
△ Less
Submitted 6 March, 2019; v1 submitted 6 November, 2018;
originally announced November 2018.
-
$D^6R^4$ curvature corrections, modular graph functions and Poincaré series
Authors:
Olof Ahlén,
Axel Kleinschmidt
Abstract:
In this note we study the U-duality invariant coefficient functions of higher curvature corrections to the four-graviton scattering amplitude in type IIB string theory compactified on a torus. The main focus is on the $D^6R^4$ term that is known to satisfy an inhomogeneous Laplace equation. We exhibit a novel method for solving this equation in terms of a Poincaré series ansatz and recover known r…
▽ More
In this note we study the U-duality invariant coefficient functions of higher curvature corrections to the four-graviton scattering amplitude in type IIB string theory compactified on a torus. The main focus is on the $D^6R^4$ term that is known to satisfy an inhomogeneous Laplace equation. We exhibit a novel method for solving this equation in terms of a Poincaré series ansatz and recover known results in $D=10$ dimensions and find new results in $D<10$ dimensions. We also apply the method to modular graph functions as they arise from closed superstring one-loop amplitudes.
△ Less
Submitted 27 March, 2018;
originally announced March 2018.
-
Fourier coefficients attached to small automorphic representations of ${\mathrm{SL}}_n(\mathbb{A})$
Authors:
Olof Ahlén,
Henrik P. A. Gustafsson,
Axel Kleinschmidt,
Baiying Liu,
Daniel Persson
Abstract:
We show that Fourier coefficients of automorphic forms attached to minimal or next-to-minimal automorphic representations of ${\mathrm{SL}}_n(\mathbb{A})$ are completely determined by certain highly degenerate Whittaker coefficients. We give an explicit formula for the Fourier expansion, analogously to the Piatetski-Shapiro-Shalika formula. In addition, we derive expressions for Fourier coefficien…
▽ More
We show that Fourier coefficients of automorphic forms attached to minimal or next-to-minimal automorphic representations of ${\mathrm{SL}}_n(\mathbb{A})$ are completely determined by certain highly degenerate Whittaker coefficients. We give an explicit formula for the Fourier expansion, analogously to the Piatetski-Shapiro-Shalika formula. In addition, we derive expressions for Fourier coefficients associated to all maximal parabolic subgroups. These results have potential applications for scattering amplitudes in string theory.
△ Less
Submitted 27 July, 2017;
originally announced July 2017.
-
Tetrahedral modular graph functions
Authors:
Axel Kleinschmidt,
Valentin Verschinin
Abstract:
The low-energy expansion of one-loop amplitudes in type II string theory generates a series of world-sheet integrals whose integrands can be represented by world-sheet Feynman diagrams. These integrands are modular invariant and understanding the structure of the action of the modular Laplacian on them is important for determining their contribution to string scattering amplitudes. In this paper w…
▽ More
The low-energy expansion of one-loop amplitudes in type II string theory generates a series of world-sheet integrals whose integrands can be represented by world-sheet Feynman diagrams. These integrands are modular invariant and understanding the structure of the action of the modular Laplacian on them is important for determining their contribution to string scattering amplitudes. In this paper we study a particular infinite family of such integrands associated with three-loop scalar vacuum diagrams of tetrahedral topology and find closed forms for the action of the Laplacian. We analyse the possible eigenvalues and degeneracies of the Laplace operator by group- and representation-theoretic means.
△ Less
Submitted 4 October, 2017; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Eisenstein series and automorphic representations
Authors:
Philipp Fleig,
Henrik P. A. Gustafsson,
Axel Kleinschmidt,
Daniel Persson
Abstract:
We provide an introduction to the theory of Eisenstein series and automorphic forms on real simple Lie groups G, emphasising the role of representation theory. It is useful to take a slightly wider view and define all objects over the (rational) adeles A, thereby also paving the way for connections to number theory, representation theory and the Langlands program. Most of the results we present ar…
▽ More
We provide an introduction to the theory of Eisenstein series and automorphic forms on real simple Lie groups G, emphasising the role of representation theory. It is useful to take a slightly wider view and define all objects over the (rational) adeles A, thereby also paving the way for connections to number theory, representation theory and the Langlands program. Most of the results we present are already scattered throughout the mathematics literature but our exposition collects them together and is driven by examples. Many interesting aspects of these functions are hidden in their Fourier coefficients with respect to unipotent subgroups and a large part of our focus is to explain and derive general theorems on these Fourier expansions. Specifically, we give complete proofs of the Langlands constant term formula for Eisenstein series on adelic groups G(A) as well as the Casselman--Shalika formula for the p-adic spherical Whittaker function associated to unramified automorphic representations of G(Q_p). In addition, we explain how the classical theory of Hecke operators fits into the modern theory of automorphic representations of adelic groups, thereby providing a connection with some key elements in the Langlands program, such as the Langlands dual group LG and automorphic L-functions. Somewhat surprisingly, all these results have natural interpretations as encoding physical effects in string theory. We therefore also introduce some basic concepts of string theory, aimed toward mathematicians, emphasising the role of automorphic forms. In particular, we provide a detailed treatment of supersymmetry constraints on string amplitudes which enforce differential equations of the same type that are satisfied by automorphic forms. Our treatise concludes with a detailed list of interesting open questions and pointers to additional topics which go beyond the scope of this book.
△ Less
Submitted 6 July, 2016; v1 submitted 13 November, 2015;
originally announced November 2015.
-
Small automorphic representations and degenerate Whittaker vectors
Authors:
Henrik P. A. Gustafsson,
Axel Kleinschmidt,
Daniel Persson
Abstract:
We investigate Fourier coefficients of automorphic forms on split simply-laced Lie groups G. We show that for automorphic representations of small Gelfand-Kirillov dimension the Fourier coefficients are completely determined by certain degenerate Whittaker vectors on G. Although we expect our results to hold for arbitrary simply-laced groups, we give complete proofs only for G=SL(3) and G=SL(4). T…
▽ More
We investigate Fourier coefficients of automorphic forms on split simply-laced Lie groups G. We show that for automorphic representations of small Gelfand-Kirillov dimension the Fourier coefficients are completely determined by certain degenerate Whittaker vectors on G. Although we expect our results to hold for arbitrary simply-laced groups, we give complete proofs only for G=SL(3) and G=SL(4). This is based on a method of Ginzburg that associates Fourier coefficients of automorphic forms with nilpotent orbits of G. Our results complement and extend recent results of Miller and Sahi. We also use our formalism to calculate various local (real and p-adic) spherical vectors of minimal representations of the exceptional groups E_6, E_7, E_8 using global (adelic) degenerate Whittaker vectors, correctly reproducing existing results for such spherical vectors obtained by very different methods.
△ Less
Submitted 17 December, 2014;
originally announced December 2014.
-
Fourier expansions of Kac-Moody Eisenstein series and degenerate Whittaker vectors
Authors:
Philipp Fleig,
Axel Kleinschmidt,
Daniel Persson
Abstract:
Motivated by string theory scattering amplitudes that are invariant under a discrete U-duality, we study Fourier coefficients of Eisenstein series on Kac-Moody groups. In particular, we analyse the Eisenstein series on $E_9(R)$, $E_{10}(R)$ and $E_{11}(R)$ corresponding to certain degenerate principal series at the values s=3/2 and s=5/2 that were studied in 1204.3043. We show that these Eisenstei…
▽ More
Motivated by string theory scattering amplitudes that are invariant under a discrete U-duality, we study Fourier coefficients of Eisenstein series on Kac-Moody groups. In particular, we analyse the Eisenstein series on $E_9(R)$, $E_{10}(R)$ and $E_{11}(R)$ corresponding to certain degenerate principal series at the values s=3/2 and s=5/2 that were studied in 1204.3043. We show that these Eisenstein series have very simple Fourier coefficients as expected for their role as supersymmetric contributions to the higher derivative couplings $R^4$ and $\partial^{4} R^4$ coming from 1/2-BPS and 1/4-BPS instantons, respectively. This suggests that there exist minimal and next-to-minimal unipotent automorphic representations of the associated Kac-Moody groups to which these special Eisenstein series are attached. We also provide complete explicit expressions for degenerate Whittaker vectors of minimal Eisenstein series on $E_6(R)$, $E_7(R)$ and $E_8(R)$ that have not appeared in the literature before.
△ Less
Submitted 2 March, 2015; v1 submitted 12 December, 2013;
originally announced December 2013.
-
Scale-Free and Multifractal Time Dynamics of fMRI Signals during Rest and Task
Authors:
P. Ciuciu,
G. Varoquaux,
P. Abry,
S. Sadaghiani,
A. Kleinschmidt
Abstract:
Scaling temporal dynamics in functional MRI (fMRI) signals have been evidenced for a decade as intrinsic characteristics of ongoing brain activity (Zarahn et al., 1997). Recently, scaling properties were shown to fluctuate across brain networks and to be modulated between rest and task (He, 2011): notably, Hurst exponent, quantifying long memory, decreases under task in activating and deactivating…
▽ More
Scaling temporal dynamics in functional MRI (fMRI) signals have been evidenced for a decade as intrinsic characteristics of ongoing brain activity (Zarahn et al., 1997). Recently, scaling properties were shown to fluctuate across brain networks and to be modulated between rest and task (He, 2011): notably, Hurst exponent, quantifying long memory, decreases under task in activating and deactivating brain regions. In most cases, such results were obtained: First, from univariate (voxelwise or regionwise) analysis, hence focusing on specific cognitive systems such as Resting-State Networks (RSNs) and raising the issue of the specificity of this scale-free dynamics modulation in RSNs. Second, using analysis tools designed to measure a single scaling exponent related to the second order statistics of the data, thus relying on models that either implicitly or explicitly assume Gaussianity and (asymptotic) self-similarity, while fMRI signals may significantly depart from those either of those two assumptions (Ciuciu et al., 2008; Wink et al., 2008). To address these issues, the present contribution elaborates on the analysis of the scaling properties of fMRI temporal dynamics by proposing two significant variations. First, scaling properties are technically investigated using the recently introduced Wavelet Leader-based Multifractal formalism (WLMF; Wendt et al., 2007). This measures a collection of scaling exponents, thus enables a richer and more versatile description of scale invariance (beyond correlation and Gaussianity), referred to as multifractality. Also, it benefits from improved estimation performance compared to tools previously used in the literature. Second, scaling properties are investigated in both RSN and non-RSN structures (e.g., artifacts), at a broader spatial scale than the voxel one, using a multivariate approach, namely the Multi-Subject Dictionary Learning (MSDL) algorithm (Varoquaux et al., 2011) that produces a set of spatial components that appear more sparse than their Independent Component Analysis (ICA) counterpart. These tools are combined and applied to a fMRI dataset comprising 12 subjects with resting-state and activation runs (Sadaghiani et al., 2009). Results stemming from those analysis confirm the already reported task-related decrease of long memory in functional networks, but also show that it occurs in artifacts, thus making this feature not specific to functional networks. Further, results indicate that most fMRI signals appear multifractal at rest except in non-cortical regions. Task-related modulation of multifractality appears only significant in functional networks and thus can be considered as the key property disentangling functional networks from artifacts. These finding are discussed in the light of the recent literature reporting scaling dynamics of EEG microstate sequences at rest and addressing non-stationarity issues in temporally independent fMRI modes.
△ Less
Submitted 20 August, 2013;
originally announced August 2013.
-
Oxidizing Borcherds symmetries
Authors:
Axel Kleinschmidt,
Jakob Palmkvist
Abstract:
The tensor hierarchy of maximal supergravity in D dimensions is known to be closely related to a Borcherds (super)algebra that is constructed from the global symmetry group E(11-D). We here explain how the Borcherds algebras in different dimensions are embedded into each other and can be constructed from a unifying Borcherds algebra. The construction also has a natural physical explanation in term…
▽ More
The tensor hierarchy of maximal supergravity in D dimensions is known to be closely related to a Borcherds (super)algebra that is constructed from the global symmetry group E(11-D). We here explain how the Borcherds algebras in different dimensions are embedded into each other and can be constructed from a unifying Borcherds algebra. The construction also has a natural physical explanation in terms of oxidation. We then go on to show that the Hodge duality that is present in the tensor hierarchy has an algebraic counterpart. For D>8 the Borcherds algebras we find differ from the ones existing in the literature although they generate the same tensor hierarchy.
△ Less
Submitted 7 January, 2013;
originally announced January 2013.
-
Eisenstein series for infinite-dimensional U-duality groups
Authors:
Philipp Fleig,
Axel Kleinschmidt
Abstract:
We consider Eisenstein series appearing as coefficients of curvature corrections in the low-energy expansion of type II string theory four-graviton scattering amplitudes. We define these Eisenstein series over all groups in the E_n series of string duality groups, and in particular for the infinite-dimensional Kac-Moody groups E9, E10 and E11. We show that, remarkably, the so-called constant term…
▽ More
We consider Eisenstein series appearing as coefficients of curvature corrections in the low-energy expansion of type II string theory four-graviton scattering amplitudes. We define these Eisenstein series over all groups in the E_n series of string duality groups, and in particular for the infinite-dimensional Kac-Moody groups E9, E10 and E11. We show that, remarkably, the so-called constant term of Kac-Moody-Eisenstein series contains only a finite number of terms for particular choices of a parameter appearing in the definition of the series. This resonates with the idea that the constant term of the Eisenstein series encodes perturbative string corrections in BPS-protected sectors allowing only a finite number of corrections. We underpin our findings with an extensive discussion of physical degeneration limits in D<3 space-time dimensions.
△ Less
Submitted 29 May, 2012; v1 submitted 13 April, 2012;
originally announced April 2012.
-
Modular realizations of hyperbolic Weyl groups
Authors:
Axel Kleinschmidt,
Hermann Nicolai,
Jakob Palmkvist
Abstract:
We study the recently discovered isomorphisms between hyperbolic Weyl groups and unfamiliar modular groups. These modular groups are defined over integer domains in normed division algebras, and we focus on the cases involving quaternions and octonions. We outline how to construct and analyse automorphic forms for these groups; their structure depends on the underlying arithmetic properties of the…
▽ More
We study the recently discovered isomorphisms between hyperbolic Weyl groups and unfamiliar modular groups. These modular groups are defined over integer domains in normed division algebras, and we focus on the cases involving quaternions and octonions. We outline how to construct and analyse automorphic forms for these groups; their structure depends on the underlying arithmetic properties of the integer domains. We also give a new realization of the Weyl group W(E8) in terms of unit octavians and their automorphism group.
△ Less
Submitted 12 May, 2011; v1 submitted 11 October, 2010;
originally announced October 2010.
-
Rigid Calabi-Yau threefolds, Picard Eisenstein series and instantons
Authors:
Ling Bao,
Axel Kleinschmidt,
Bengt E. W. Nilsson,
Daniel Persson,
Boris Pioline
Abstract:
Type IIA string theory compactified on a rigid Calabi-Yau threefold gives rise to a classical moduli space that carries an isometric action of U(2,1). Various quantum corrections break this continuous isometry to a discrete subgroup. Focussing on the case where the intermediate Jacobian of the Calabi-Yau admits complex multiplication by the ring of quadratic imaginary integers O_d, we argue that t…
▽ More
Type IIA string theory compactified on a rigid Calabi-Yau threefold gives rise to a classical moduli space that carries an isometric action of U(2,1). Various quantum corrections break this continuous isometry to a discrete subgroup. Focussing on the case where the intermediate Jacobian of the Calabi-Yau admits complex multiplication by the ring of quadratic imaginary integers O_d, we argue that the remaining quantum duality group is an arithmetic Picard modular group PU(2,1;O_d). Based on this proposal we construct an Eisenstein series invariant under this duality group and study its non-Abelian Fourier expansion. This allows the prediction of non-perturbative effects, notably the contribution of D2- and NS5-brane instantons. The present work extends our previous analysis in 0909.4299 which was restricted to the special case of the Gaussian integers O_1=Z[i].
△ Less
Submitted 26 May, 2010;
originally announced May 2010.
-
Instanton Corrections to the Universal Hypermultiplet and Automorphic Forms on SU(2,1)
Authors:
Ling Bao,
Axel Kleinschmidt,
Bengt E. W. Nilsson,
Daniel Persson,
Boris Pioline
Abstract:
The hypermultiplet moduli space in Type IIA string theory compactified on a rigid Calabi-Yau threefold X, corresponding to the "universal hypermultiplet", is described at tree-level by the symmetric space SU(2,1)/(SU(2) x U(1)). To determine the quantum corrections to this metric, we posit that a discrete subgroup of the continuous tree-level isometry group SU(2,1), namely the Picard modular group…
▽ More
The hypermultiplet moduli space in Type IIA string theory compactified on a rigid Calabi-Yau threefold X, corresponding to the "universal hypermultiplet", is described at tree-level by the symmetric space SU(2,1)/(SU(2) x U(1)). To determine the quantum corrections to this metric, we posit that a discrete subgroup of the continuous tree-level isometry group SU(2,1), namely the Picard modular group SU(2,1;Z[i]), must remain unbroken in the exact metric -- including all perturbative and non perturbative quantum corrections. This assumption is expected to be valid when X admits complex multiplication by Z[i]. Based on this hypothesis, we construct an SU(2,1;Z[i])-invariant, non-holomorphic Eisenstein series, and tentatively propose that this Eisenstein series provides the exact contact potential on the twistor space over the universal hypermultiplet moduli space. We analyze its non-Abelian Fourier expansion, and show that the Abelian and non-Abelian Fourier coefficients take the required form for instanton corrections due to Euclidean D2-branes wrapping special Lagrangian submanifolds, and to Euclidean NS5-branes wrapping the entire Calabi-Yau threefold, respectively. While this tentative proposal fails to reproduce the correct one-loop correction, the consistency of the Fourier expansion with physics expectations provides strong support for the utility of the Picard modular group in constraining the quantum moduli space.
△ Less
Submitted 9 June, 2010; v1 submitted 24 September, 2009;
originally announced September 2009.
-
Hyperbolic Weyl groups and the four normed division algebras
Authors:
Alex J. Feingold,
Axel Kleinschmidt,
Hermann Nicolai
Abstract:
We study the Weyl groups of hyperbolic Kac-Moody algebras of `over-extended' type and ranks 3, 4, 6 and 10, which are intimately linked with the four normed division algebras K=R,C,H,O, respectively. A crucial role is played by integral lattices of the division algebras and associated discrete matrix groups. Our findings can be summarized by saying that the even subgroups, W^+, of the Kac-Moody We…
▽ More
We study the Weyl groups of hyperbolic Kac-Moody algebras of `over-extended' type and ranks 3, 4, 6 and 10, which are intimately linked with the four normed division algebras K=R,C,H,O, respectively. A crucial role is played by integral lattices of the division algebras and associated discrete matrix groups. Our findings can be summarized by saying that the even subgroups, W^+, of the Kac-Moody Weyl groups, W, are isomorphic to generalized modular groups over K for the simply laced algebras, and to certain finite extensions thereof for the non-simply laced algebras. This hints at an extended theory of modular forms and functions.
△ Less
Submitted 14 July, 2017; v1 submitted 20 May, 2008;
originally announced May 2008.
-
Lattice Vertex Algebras on General Even, Self-dual Lattices
Authors:
Axel Kleinschmidt
Abstract:
In this note we analyse the Lie algebras of physical states stemming from lattice constructions on general even, self-dual lattices Gamma^{p,q} with p greater or equal to q. It is known that if the lattice is at most Lorentzian, the resulting Lie algebra is of generalized Kac-Moody type (or has a quotient that is). We show that this is not true as soon as q is larger than 1. By studying a certai…
▽ More
In this note we analyse the Lie algebras of physical states stemming from lattice constructions on general even, self-dual lattices Gamma^{p,q} with p greater or equal to q. It is known that if the lattice is at most Lorentzian, the resulting Lie algebra is of generalized Kac-Moody type (or has a quotient that is). We show that this is not true as soon as q is larger than 1. By studying a certain sublattice in the case q>1 we obtain results that lead to the conjecture that the resulting non-GKM Lie algebra cannot be described conveniently in terms of generators and relations and belongs to a new and qualitatively different class of Lie algebras.
△ Less
Submitted 11 February, 2003; v1 submitted 30 October, 2002;
originally announced October 2002.