The Least Common Multiple of Polynomial Values over Function Fields

TL;DR

This paper explores the function field analogue of Cilleruelo's conjecture on the growth of the least common multiple of polynomial values, providing bounds, confirming the conjecture for certain classes, and classifying special polynomials.

Contribution

It introduces a function field version of Cilleruelo's conjecture, proves it for specific polynomial classes, and classifies these special polynomials.

Findings

Established bounds for the degree of L_f(n).

Confirmed the conjecture for quadratic and certain other polynomials.

Showed L_f(n) is close to squarefree, unlike over integers.

Abstract

Cilleruelo conjectured that for an irreducible polynomial $f \in \mathbb{Z}[X]$ of degree $d \geq 2$ one has $$\log\left[\mathrm{lcm}(f(1),f(2),\ldots f(N))\right]\sim(d-1)N\log N$$ as $N \to \infty$. He proved it in the case $d=2$ but it remains open for every polynomial with $d>2$. We investigate the function field analogue of the problem by considering polynomials over the ring $\mathbb F_q[T]$. We state an analog of Cilleruelo's conjecture in this setting: denoting by $$L_f(n) := \mathrm{lcm} \left(f\left(Q\right)\ : \ Q \in \mathbb F_q[T]\mbox{ monic},\, \mathrm{deg}\,Q = n\right)$$ we conjecture that \begin{equation}\label{eq:conjffabs}\mathrm{deg}\, L_f(n) \sim c_f \left(d-1\right) nq^n,\ n \to \infty\end{equation} ($c_f$ is an explicit constant dependent only on $f$, typically $c_f=1$). We give both upper and lower bounds for $L_f(n)$ and show that the conjectured asymptotic holds for a class of ``special" polynomials, initially considered by Leumi in this context, which includes all quadratic polynomials and many other examples as well. We fully classify these special polynomials. We also show that $\mathrm{deg}\, L_f(n) \sim \mathrm{deg}\,\mathrm{rad}\left(L_f(n)\right)$ (in other words the corresponding LCM is close to being squarefree), which is not known over $\mathbb Z$.