Möbius cancellation conjecture for ramified primes

Let GG be a nontrivial finite group and let EC(G;X)\mathcal E^C(G;X) be the family of totally real tamely ramified GG-extensions K/QK/\mathbb Q specified by the prescribed inertia classes, with radical discriminant DK<XD_K<X. The Möbius function of DKD_K is μ(DK)=(1)ram(K)\mu(D_K)=(-1)^{|\operatorname{ram}(K)|}.

Möbius cancellation conjecture. As XX\to\infty,

KEC(G;X)(1)ram(K)=o(EC(G;X)).\sum_{K\in\mathcal E^C(G;X)}(-1)^{|\operatorname{ram}(K)|}=o\bigl(|\mathcal E^C(G;X)|\bigr).

Equivalently, the number of ramified primes is predicted to be even approximately as often as it is odd. The source presents this as an additional conjectural asymptotic motivated by random-prime and Galois-distribution heuristics.

Sources & referencesView supporting material

Primary source

Mark Shusterman, “The Tamely Ramified Geometric Quantitative Minimal Ramification Problem”, arXiv:2211.16983 (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.