The dimension growth conjecture, polynomial in the degree and without logarithmic factors.

*(English)*Zbl 07275228Summary: We study Heath-Brown’s and Serre’s dimension growth conjecture (proved by Salberger) when the degree \(d\) grows. Recall that Salberger’s dimension growth results give bounds of the form \(O_{X, \varepsilon} (B^{\dim X+\varepsilon})\) for the number of rational points of height at most \(B\) on any integral subvariety \(X\) of \(\mathbb{P}^n_{\mathbb Q}\) of degree \(d\geq 2\), where one can write \(O_{d,n, \varepsilon}\) instead of \(O_{X, \varepsilon}\) as soon as \(d\geq 4\). We give the following simplified and strengthened forms of these results: we remove the factor \(B^\varepsilon\) as soon as \(d \geq 5\), we obtain polynomial dependence on \(d\) of the implied constant, and we give a simplified, self-contained approach for \(d \geq 16\). Along the way, we improve the well-known bounds due to Bombieri and Pila on the number of integral points of bounded height on affine curves and those by Walsh on the number of rational points of bounded height on projective curves. This leads to a slight sharpening of a recent estimate due to Bhargava, Shankar, Taniguchi, Thorne, Tsimerman and Zhao on the size of the \(2\)-torsion subgroup of the class group of a degree \(d\) number field. Our treatment builds on recent work by Salberger, who brings in many primes in Heath-Brown’s variant of the determinant method, and on recent work by Walsh and by Ellenberg and Venkatesh who bring in the size of the defining polynomial. We also obtain lower bounds showing that one cannot do better than polynomial dependence on \(d\).