Residue criterion for the primitive height zeta function

From papers

In the same quotient setting, let \fieGK\fie GK denote the set of isomorphism classes of large GG-fields over KK, and let δF,m\delta_{F,m} be the residue invariant associated with FF and mm. Write ZX(K)prim(s)Z_{X(K)^{\operatorname{prim}}}(s) for the primitive height zeta function. Residue criterion conjecture. The function ZX(K)prim(s)Z_{X(K)^{\operatorname{prim}}}(s) has a simple pole at s=1s=1 if and only if

F\fieGKδF,m<.\sum_{F\in\fie GK}\delta_{F,m}<\infty.

When these equivalent conditions hold,

Ress=1ZX(K)prim(s)=NSn(G)CSn(G)GF\fieGKδF,m.\operatorname{Res}_{s=1}Z_{X(K)^{\operatorname{prim}}}(s)=\frac{\sharp N_{S_n}(G)}{\sharp C_{S_n}(G)\cdot\sharp G}\cdot\sum_{F\in\fie GK}\delta_{F,m}.

The source introduces this as a reasonable expectation concerning the possible issue of interchanging limits. No resolution is given.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Takehiko Yasuda, “Densities of rational points and number fields”, arXiv:1408.3912 (2014).

Solutions 0

No solutions have been posted yet.