DSXDH-shape conjecture

Let GG be a definite Gross inner form, let M(G)\mathcal{M}(G) be the set of AA-shapes, and let h(G,ς;q)h(G,\varsigma;q) be the counting function defined from discrete global AA-parameters and their packet multiplicities. Let Xp(q)X_{\mathfrak{p}}(q) be the associated congruence complex. DSXDH-shape conjecture. Fix a finite prime p\mathfrak{p}. Then for any ςM(G)\varsigma\in\mathcal{M}(G),

h(G,ς;q)Xp(q)2r(ς).h(G,\varsigma;q)\ll|X_{\mathfrak{p}}(q)|^{\frac{2}{r(\varsigma)}}.

This is the definite Gross inner form analogue of the CSXDH-shape conjecture; the source gives no evidence of resolution.

Sources & referencesView supporting material

Primary source

Shai Evra, Mathilde Gerbelli-Gauthier and Henrik P. A. Gustafsson, “The Cohomological Sarnak-Xue Density Hypothesis for SO_5”, arXiv:2309.12413 (2025).

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.