Möbius cancellation conjecture for ramified primes

About 4 years old · traced to

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 X→∞X\to\infty,

∑K∈EC(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.

References

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.