The local-density kernel conjecture for Jordan components of quadratic lattices

Let (L,h)(L,h) be a quadratic lattice over a non-Archimedean local field, let G\underline{G} be the associated smooth integral model, and let G~\tilde{G} be its special fiber over the residue field κ\kappa. For a Jordan splitting L=i0LiL=\bigoplus_{i\geq 0}L_i, let Viˉ=Bi/Zi\bar{V_i}=B_i/Z_i be the associated κ\kappa-vector space with nonsingular quadratic form hiˉ\bar{h_i}, and consider the homomorphism

φκ:G~(κ)iO(Viˉ,hiˉ)(κ).\varphi_{\kappa}:\tilde{G}(\kappa)\longrightarrow\prod_i\mathrm{O}(\bar{V_i},\bar{h_i})(\kappa).

Local-density kernel conjecture. The map φκ\varphi_{\kappa} is surjective, and its kernel is isomorphic as a set to

(Al×(Z/2Z)β)(κ),(\mathbf{A}^{l}\times(\mathbb{Z}/2\mathbb{Z})^{\beta})(\kappa),

where

l=dimG~idimO(Viˉ,hiˉ)l=\dim\tilde{G}-\sum_i\dim\mathrm{O}(\bar{V_i},\bar{h_i})

and β\beta is a certain non-negative integer.

If true, this gives the remaining group-counting ingredient needed to compute the local density from the smooth integral model. The source presents the claim both as Conjecture 5.10 and as an expectation, but supplies no resolution evidence; its status is therefore open.

Sources & referencesView supporting material

Primary source

Sungmun Cho, “A uniform construction of smooth integral models and a recipe for computing local densities”, arXiv:1412.6218 (2014).

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.