CFKRS moment conjecture for the random Euler-product model of function-field L-functions

Let rr and r~\tilde{r} be nonnegative integers, let q>2q>2 be a prime power, let s1,,sr+r~s_1,\dots,s_{r+\tilde{r}} be complex numbers with real part 12\frac{1}{2}, and let AA be a real number. Let LL range over C[[qs]]+\mathbb C[[q^{-s}]]^+, let μch\mu_{\textrm{ch}} be the measure on this space, and let MTNr,r~(s1,,sr+r~)\operatorname{MT}_{N}^{r,\tilde{r}}(s_1,\dots,s_{r+\tilde{r}}) denote the CFKRS main term. CFKRS moment conjecture. The moment satisfies

C[[qs]]+(j=1rL(sj)j=r+1r+r~L(sj))μch=MTNr,r~(s1,,sr+r~)+Oq,r,r~,A(NA).\int_{\mathbb C[[q^{-s}]]^+} \Bigl( \prod_{j=1}^{r} L(s_j) \prod_{j=r+1}^{r+\tilde{r}} \overline{L(s_j)} \Bigr)\,\mu_{\textrm{ch}} = \operatorname{MT}_{N}^{r,\tilde{r}}(s_1,\dots,s_{r+\tilde{r}}) + O_{q,r,\tilde{r},A}(N^{-A}).

If true, this would make μch\mu_{\textrm{ch}} reproduce every coefficient of the polynomial CFKRS main term, strengthening the preceding power-saving estimate and supporting the random-matrix model for the family of function-field LL-functions. The conjecture is presented as an expected strengthening; no resolution is given in the supplied text.

Sources & referencesView supporting material

Primary source

Will Sawin, “A refined random matrix model for function field L-functions”, arXiv:2409.02876 (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.