The inert-case uniformity conjecture for pp-adic regulator matrices

Let p>3p>3 be a prime. Let Qp(3)\mathbb Q_p^{(3)} be the unique unramified cubic extension of Qp\mathbb Q_p, with ring of integers Zp(3)\mathbb Z_p^{(3)} and cyclic Galois group generated by τ\tau. Define

Mpinert={(111\aτ(a)τ2(a)τ(a)τ2(a)a)aZp(3), a0, TrQp(3)Qp(a)=0}.M_p^{\mathrm{inert}}=\left\{\begin{pmatrix}1&1&1\a&\tau(a)&\tau^2(a)\tau(a)&\tau^2(a)&a\end{pmatrix}\mathrel{\Bigg|}a\in\mathbb Z_p^{(3)},\ a\ne0,\ \operatorname{Tr}_{\mathbb Q_p^{(3)}\mid\mathbb Q_p}(a)=0\right\}.

For x{split,ram,inert}x\in\{\mathrm{split},\mathrm{ram},\mathrm{inert}\}, let MpxM_p^x be the corresponding space of matrices, equipped with its canonical finite measure, and let Kpx\mathcal K_p^x denote cyclic cubic fields with the corresponding splitting type at pp. Uniformity conjecture. For every x{split,ram,inert}x\in\{\mathrm{split},\mathrm{ram},\mathrm{inert}\} and iZ0i\in\mathbb Z_{\geq0},

limD#{KKpxvp(Rp(K))=i and d(K)D}#{KKpxd(K)D}=pr(X=i),\lim_{D\to\infty}\frac{\#\{K\in\mathcal K_p^x\mid v_p(R_p(K))=i\text{ and }|d(K)|\leq D\}}{\#\{K\in\mathcal K_p^x\mid |d(K)|\leq D\}}=\operatorname{pr}(X=i),

where X:MpxR0X:M_p^x\to\mathbb R_{\geq0} is the random variable X(A)=vp(det(A))X(A)=v_p(\det(A)). The conjecture asserts that the matrices arising from cyclic cubic fields are distributed like random matrices in MpxM_p^x; this is motivated by numerical observations and remains open, particularly in the inert case.

Sources & referencesView supporting material

Primary source

Tommy Hofmann and Yinan Zhang, “Valuations of p-adic regulators of cyclic cubic fields”, arXiv:1701.00340 (2017).

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.