Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0506373

Explicit formulas for Hecke operators on cusp forms, Dedekind symbols and period polynomials

Shinji Fukuhara
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let S_{w+2} be the vector space of cusp forms of weight w+2 on the full modular group, and let S_{w+2}^* denote its dual space. Periods of cusp forms can be regarded as elements of S_{w+2}^*. The Eichler-Shimura isomorphism theorem asserts that odd (or even) periods span S_{w+2}^*. However, periods are not linearly independent; in fact, they satisfy the Eichler-Shimura relations. This leads to a natural question: which periods would form a basis of S_{w+2}^*. First we give an answer to this question. Passing to the dual space S_{w+2}, we will determine a new basis for S_{w+2}. The even period polynomials of this basis elements are expressed explicitly by means of Bernoulli polynomials. Next we consider three spaces--S_{w+2}, the space of even Dedekind symbols of weight w with polynomial reciprocity laws, and the space of even period polynomials of degree w. There are natural correspondences among these three spaces. All these spaces are equipped with compatible action of Hecke operators. We will find explicit form of period polynomials and the actions of Hecke operators on the period polynomials. Finally we will obtain explicit formulas for Hecke operators on S_{w+2} in terms of Bernoulli numbers B_k and divisor functions sigma_k(n), which are quite different from the Eichler-Selberg trace formula.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shinji Fukuhara. 2006-03-28. Explicit formulas for Hecke operators on cusp forms, Dedekind symbols and period polynomials. https://arxiv.org/abs/math/0506373

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT↗
arXiv2026

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

For irreducible generic representations $π_1$ and $π_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,π_1\timesπ_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

math.NT↗