Spherical matrix-coefficient lower-bound conjecture

Let GG be the ambient group, KK a maximal compact subgroup, and Π(G)sph\Pi(G)_{\operatorname{sph}} the set of unitary irreducible spherical representations of GG. For gGg\in G, let S(g)S(g) be the KK-bi-invariant function in the Cartan integration formula, and let l(g)l(g) be the associated length. For (π,V)Π(G)sph(\pi,V)\in\Pi(G)_{\operatorname{sph}} with p(π)>2p(\pi)>2, choose a KK-fixed vector vVv\in V with v=1\|v\|=1. Spherical matrix-coefficient conjecture. There exist D>0D>0 and L>0L>0 such that, for every ϵ>0\epsilon>0 and every such (π,V)(\pi,V), if d0>Dd_0>D, then in the non-Archimedean case

l(g)d0S(g)v,π(g)v2dgϵq2d0(11/p(π)ϵ),\int_{l(g)\le d_0}S(g)\left|\left\langle v,\pi(g)v\right\rangle\right|^2\,dg\gg_\epsilon q^{2d_0(1-1/p(\pi)-\epsilon)},

and in the Archimedean case

l(g)d0S(g)v,π(g)v2dgϵ(λ(π)+1)Lq2d0(11/p(π)ϵ).\int_{l(g)\le d_0}S(g)\left|\left\langle v,\pi(g)v\right\rangle\right|^2\,dg\gg_\epsilon(\lambda(\pi)+1)^{-L}q^{2d_0(1-1/p(\pi)-\epsilon)}.

Such a lower bound would provide the desired optimal spherical test functions for the density framework. The source compares it with partial results for G=PGLnG=\operatorname{PGL}_n and states the assertion as a conjecture; no general resolution is given.

Sources & referencesView supporting material

Primary source

Konstantin Golubev and Amitay Kamber, “On Sarnak's Density Conjecture and its Applications”, arXiv:2004.00373 (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.