Conjecture on poles of abelian extension counting Dirichlet series

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)HGbˉ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.

Sources & referencesView supporting material

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.