Weight-aspect Bergman-kernel size conjecture for Siegel cusp forms

Let n1n\geq 1, let ΓSpn(Z)\Gamma\subset\operatorname{Sp}_n(\mathbf Z) be cofinite, and let Sk(n)(Γ)S^{(n)}_k(\Gamma) be the space of holomorphic Siegel cusp forms of degree nn and weight kk. If Bk(Γ)B_k(\Gamma) is an orthonormal basis, define

Bk,Γ(Z)=FBk(Γ)det(Y)kF(Z)2,Z=X+iYHn.\mathbb B_{k,\Gamma}(Z)=\sum_{F\in B_k(\Gamma)}\det(Y)^k|F(Z)|^2,\qquad Z=X+iY\in\mathbf H_n.

Weight-aspect Bergman-kernel size conjecture. As kk\to\infty,

supZHnBk,Γ(Z)n,Γk3n(n+1)/4.\sup_{Z\in\mathbf H_n}\mathbb B_{k,\Gamma}(Z)\asymp_{n,\Gamma} k^{3n(n+1)/4}.

This predicts the correct L2L^2-size of the space in the weight aspect. The corresponding lower bounds are accessible, and the expected size is motivated by the identity and parabolic contributions to the Bergman kernel, but the asserted asymptotic order in the non-compact arithmetic setting remains open.

Sources & referencesView supporting material

Primary source

Soumya Das, “L^-sizes of the spaces Siegel cusp forms of degree n via Poincaré series”, arXiv:2406.19335 (2026).

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.