Bateman–Horn conjecture over function fields

At least 5 years old · documented by

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 f∈Fq[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)=1deg⁡T(F)∏π1−1∣π∣#{x∈Fq[u]/(π):F(x)≡0 mod π}1−1∣π∣.\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 X→∞X\to\infty through powers of qq,

#{g∈Fq[u]:∣g∣=X, g is monic, F(g) is prime}∼Sq(F)⋅Xlog⁡qX.\#\{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.

References

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.