Average eigenvalue bound for Hecke operators on Hermitian modular forms

At least 3 years old · documented by

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:=dim⁡M0(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 F∈HE(K)F\in HE(K). Average eigenvalue conjecture. For each ℓ≠p\ell\ne p,

lim sup⁡p→∞1dn,p∑F∈HE(K)∣λF(T(ℓ))∣≤2nℓn(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.

References

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.