Counting rational points on smooth cyclic covers (Q423619)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Counting rational points on smooth cyclic covers
scientific article

    Statements

    Counting rational points on smooth cyclic covers (English)
    0 references
    0 references
    0 references
    4 June 2012
    0 references
    The paper addresses Serre's conjecture about the number of rational points of bounded height on a finite cover of the projective space \({\mathbb P}^{n-1}\). Given a finite cover \(\phi\,:\,X \to {\mathbb P}^{n-1}\) over \({\mathbb Q}\), one introduces the counting function \[ N_B(\phi) = \#\{P\in X({\mathbb Q}) : H(\phi(P)) \leq B\}. \] The conjecture is that \(N_B(\phi) \ll B^{n-1} (\log B)^c\) for some \(c\) and for covers of degree \(r\geq 2\). The authors investigate the number of integer solutions with \(|x_i|\leq B\) to \(y^r = F(x_1,\dots,x_n)\), where \(F\) is an irreducible form with integer coefficients of degree \(mr\), with \(r\geq 2\) and \(m\geq 1\), and such that the projective hypersurface defined by \(F(x_1,\dots,x_n)=0\) is smooth. An upper bound for the number of such points of course gives an upper bound for the number of \textit{cyclic} covers of \({\mathbb P}^{n-1}\). In fact, the authors can get rid of the condition that the polynomial \(F\) shoud be a form, allowing \(F\) to be a general polynomial of degree \(d\geq 3\), subject to the only condition that its leading form is nonsingular. Their main result is stated in terms of a quantity called \(N_{w,B}(F)\), where \(w : {\mathbb R}^n \to {\mathbb R}\) is a suitable non-negative weight, and which relates to the original counting function by the inequality \(N_B(\phi)\leq N_{w,2B}(F)\). The statement is the following: for every \(r\geq 2\) \[ N_{w,B}(F) \ll \begin{cases} B^{n-3n/(2n+10)} (\log B)^2 & n\geq 8; \\ B^{n-n(n-2)/(6n+4)} (\log B)^2 & 2\leq n \leq 8. \end{cases} \] Applying this result Serre's conjecture is proved for cyclic covers of any degree for \(n\geq 10\) and even surpasses it for \(n>10\) and \(r\geq 3\).
    0 references
    rational points
    0 references
    cyclic covers
    0 references
    power sieve
    0 references
    character sums
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references