Bateman–Horn conjecture over function fields

Fix an odd prime pp and a power qq of pp, and let Fq[u]\mathbb{F}_q[u] be the polynomial ring over the field with qq elements. Let π\pi range over monic irreducible polynomials in Fq[u]\mathbb{F}_q[u], let f=qdeg(f)|f|=q^{\deg(f)} for nonzero fFq[u]f\in\mathbb{F}_q[u], and let F(T)Fq[u][T]F(T)\in\mathbb{F}_q[u][T] be an irreducible separable monic polynomial. Define

Sq(F)=1degT(F)π11π#{xFq[u]/(π):F(x)0 mod π}11π.\mathfrak{S}_q(F)=\frac{1}{\deg_T(F)}\prod_{\pi}\frac{1-\frac{1}{|\pi|}\#\{x\in\mathbb{F}_q[u]/(\pi):F(x)\equiv0\ \mathrm{mod}\ \pi\}}{1-\frac{1}{|\pi|}}.

Function-field Bateman–Horn conjecture. As XX\to\infty through powers of qq,

#{gFq[u]:g=X, g is monic, F(g) is prime}Sq(F)XlogqX.\#\{g\in\mathbb{F}_q[u]:|g|=X,\ g\ \text{is monic},\ F(g)\ \text{is prime}\}\sim\mathfrak{S}_q(F)\cdot\frac{X}{\log_qX}.

The paper resolves the quadratic case when qq satisfies the stated sufficiently large lower bound, but the conjecture in general degree remains open.

Sources & referencesView supporting material

Primary source

Will Sawin and Mark Shusterman, “Möbius cancellation on polynomial sequences and the quadratic Bateman-Horn conjecture over function fields”, arXiv:2008.09905 (2020).

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.