On the trace formula for Hecke operators on congruence subgroups, II
In a previous paper, we obtained a general trace formula for double coset operators acting on modular forms for congruence subgroups, expressed as a sum over conjugacy classes. Here we specialize it to the congruence subgroups \(\Gamma _0(N)\) and \(\Gamma _1(N)\), obtaining explicit formulas in terms of class numbers for the trace of a composition of Hecke and Atkin–Lehner operators. The formulas are among the simplest in the literature and hold without any restriction on the index of the operators. We give two applications of the trace formula for \(\Gamma _1(N)\): we determine explicit trace cusp forms for \(\Gamma _0(4)\) with Nebentypus, and we compute the limit of the trace of a fixed Hecke operator as the level N tends to infinity.
KeywordsTrace formula Hecke operators Holomorphic modular forms
Mathematics Subject Classification11F11 11F25
This work was partly supported by the European Community Grant PIRG05-GA-2009-248569 and by the CNCS-UEFISCDI Grant TE-2014-4-2077. Part of this work was completed during several visits at MPIM in Bonn, whose support I gratefully acknowledge. It is a great pleasure to dedicate this paper to Don Zagier on the occasion of his 65th birthday.
- 3.Cohen, H.: Trace des opérateurs de Hecke sur \(\Gamma _0(N)\). Séminaire de Théorie des Nombres de Bordeau, 1976–1977, pp. 4-01–4-09Google Scholar
- 8.Oesterlé, J.: Sur la trace des opérateurs de Hecke. Université Paris-Sud, Orsay, Thèse de troisième cycle (1977)Google Scholar
- 9.Popa, A.A.: On the trace formula for Hecke operators on congruence subgroups. Am. Math. Soc. Proc. (2017). https://doi.org/10.1090/proc/13896 (Early view)
- 10.Popa, A.A., Zagier, D.: An elementary proof of the Eichler–Selberg trace formula. Arxiv:1711.00327 (2017)
- 18.Zagier, D.: Hecke operators and periods of modular forms. In: Israel Mathematical Conference Proceedings, vol. 3, pp. 321–336 (1990)Google Scholar
- 19.Zagier, D.: Periods of modular forms, traces of Hecke operators, and multiple zeta values. Research into automorphic forms and \(L\)-functions (Kyoto, 1992). Sūrikaisekikenkyūsho Kōkyūroku 843, 162–170 (1993)Google Scholar