Average eigenvalue bound for Hecke operators on Hermitian modular forms

Let KK be the field and level data used in the paper, let M0(K)M_0(K) be the cuspidal space, and let HE(K)HE(K) be its Hecke-eigenform basis. Write

dn,p:=dimM0(K)=HE(K)=Hn(p,1)1.d_{n,p}:=\dim M_0(K)=|HE(K)|=H_n(p,1)-1.

For a prime p\ell\ne p, let T()T(\ell) be the Hecke operator and λF(T())\lambda_F(T(\ell)) the eigenvalue of T()T(\ell) on FHE(K)F\in HE(K). Average eigenvalue conjecture. For each p\ell\ne p,

lim supp1dn,pFHE(K)λF(T())2nn(n+1)4.\limsup_{p\to\infty}\frac{1}{d_{n,p}}\sum_{F\in HE(K)}|\lambda_F(T(\ell))|\le 2^n\ell^{\frac{n(n+1)}{4}}.

The bound expresses the expectation that exceptional CAP forms are negligible in the large-pp limit, so that the average Hecke eigenvalue is controlled by the non-CAP spectrum. No resolution is supplied in the source.

Sources & referencesView supporting material

Primary source

Yusuke Aikawa, Ryokichi Tanaka and Takuya Yamauchi, “Isogeny graphs on superspecial abelian varieties: Eigenvalues and Connection to Bruhat-Tits buildings”, arXiv:2201.04293 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.