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

At least 8 years old · documented by

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={(111aτ(a)τ2(a)tau(a)τ2(a)a)∣a∈Zp(3), a≠0, Tr⁡Qp(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 i∈Z≥0i\in\mathbb Z_{\geq0},

lim⁡D→∞#{K∈Kpx∣vp(Rp(K))=i and ∣d(K)∣≤D}#{K∈Kpx∣∣d(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:Mpx→R≥0X: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.

References

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.