Scalar‐valued depth two Eichler–Shimura integrals of cusp forms

DOI10.1112/TLM3.12055MaRDI QIDQ6141053zbMATH OpenFDO

Authors Martin Raum

Publication date 2 January 2024

Published in Transactions of the London Mathematical Society (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://arxiv.org/abs/2209.00488

Mathematics Subject Classification ID

Holomorphic modular forms of integral weight (11F11) Fourier coefficients of automorphic forms (11F30) Cohomology of arithmetic groups (11F75)

Abstract: Given cusp forms $f$ and $g$ of integral weight $kgeq2$, the depth two holomorphic iterated Eichler-Shimura integral $I_{f,g}$ is defined by $in{t}_a{u}^{iinfty}f(z)(X-z{)}^{k-2}{I}_g(z;Y)mathrmdz$, where $I_g$ is the Eichler integral of $g$ and $X,Y$ are formal variables. We provide an explicit vector-valued modular form whose top components are given by $I_{f,g}$. We show that this vector-valued modular form gives rise to a scalar-valued iterated Eichler integral of depth two, denoted by $mathcal{E}_{f,g}$, that can be seen as a higher-depth generalization of the scalar-valued Eichler integral $mathcal{E}_f$ of depth one. As an aside, our argument provides an alternative explanation of an orthogonality relation satisfied by period polynomials originally due to Pac{s}ol-Popa. We show that $mathcal{E}_{f,g}$ can be expressed in terms of sums of products of components of vector-valued Eisenstein series with classical modular forms after multiplication with a suitable power of the discriminant modular form $Delta$. This allows for effective computation of $mathcal{E}_{f,g}$.

Recommendations

• Modular iterated integrals associated with cusp forms
• Poincaré series for modular graph forms at depth two. II: Iterated integrals of cusp forms
• Eichler-Shimura isomorphism and vector-valued Hecke eigenpolynomials
• scientific article; zbMATH DE number 5182616
• Iterated integrals of modular forms and noncommutative modular symbols

Cites work

• A class of non-holomorphic modular forms. I
• A CLASS OF NONHOLOMORPHIC MODULAR FORMS II: EQUIVARIANT ITERATED EISENSTEIN INTEGRALS
• Fourier series of modular graph functions
• scientific article; zbMATH DE number 4002178 (Why is no real title available?)
• scientific article; zbMATH DE number 3536194 (Why is no real title available?)
• scientific article; zbMATH DE number 3349944 (Why is no real title available?)
• scientific article; zbMATH DE number 3191380 (Why is no real title available?)
• scientific article; zbMATH DE number 5182616 (Why is no real title available?)
• Integral of two-loop modular graph functions
• Iterated integrals of modular forms and noncommutative modular symbols
• Modular forms and period polynomials
• Modular forms of virtually real-arithmetic type I: mixed mock modular forms yield vector-valued modular forms
• Modular iterated integrals associated with cusp forms
• Perioden von Modulformen einer Variabler und Gruppencohomologie, I
• Poincaré series for modular graph forms at depth two. I: Seeds and Laplace systems
• Poincaré series for modular graph forms at depth two. II: Iterated integrals of cusp forms
• Products of vector valued Eisenstein series

Cited in

(1)

• Periods of modular forms and Jacobi theta functions

This page was built for publication: Scalar‐valued depth two Eichler–Shimura integrals of cusp forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6141053)