Conjecture on poles of abelian extension counting Dirichlet series

At least 1 year old · documented by

Let GG be an abelian group, and let D\Q,G(s)D_{\Q,G}(s) be the generating Dirichlet series for GG-extensions of \Q\Q ordered by discriminant. Let a(G)a(G) denote the minimal index, let \ind(G−{1})\ind(G-\{1\}) be the set of indices of nonidentity elements, and let Φ(G)\Phi(G) be the Frattini subgroup. For each relevant group HH, define bˉd(\Q,H)\bar{b}_d(\Q,H) as in the nonvanishing theorem.

Pole-order conjecture. The series D\Q,G(s)D_{\Q,G}(s) should have a meromorphic continuation to

Re⁡(s)>12a(G)\operatorname{Re}(s)>\frac{1}{2a(G)}

with poles at s=1/ds=1/d for every d∈\ind(G−{1})d\in\ind(G-\{1\}), each of order exactly

max⁡Φ(G)≤H≤Gbˉd/[G:H](\Q,H).\max_{\Phi(G)\le H\le G}\bar{b}_{d/[G:H]}(\Q,H).

This conjecture extends the established meromorphic-continuation and nonvanishing results for abelian extension counting series, predicting the exact order of every pole in the stated half-plane. The source presents the preceding theorem and obstruction analysis as evidence, but gives no resolution of the general claim.

References

Primary source

Brandon Alberts, “Power Savings for Counting (Twisted) Abelian Extensions of Number Fields”, arXiv:2402.03475 (2024).

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.