Effective Bertini theorems and zeros of $p$-adic forms of degrees 7 and 11

Abstract

We establish an effective Bertini-type theorem for hypersurfaces $X_f:f=0$ defined over a finite field $k$ for which $f$ has no linear factors over the algebraic closure $\overline{k}$. Given a line $L$ defined over $k$ and a nonreduced $\overline{k}$-point $x$ on $X_f\cap L$, we give an upper bound on the number of planes $P$ containing $L$ for which $X_f\cap P$ contains a line through $x$. Underlying this result is a factorization algorithm for bivariate polynomials originally due to Kaltofen, which we present with slightly relaxed hypotheses. Our primary application is to Artin's conjecture on $p$-adic forms of prime degree $d$: if $K/{\mathbb{Q}}_p$ is a finite extension with residue field isomorphic to ${\mathbb{F}}_q$ and $F\in K[x_0,\dots ,x_{d^2}]$ is homogeneous of degree $d$, the conjecture states $F$ has a nontrivial zero in $K$. We show this conjecture holds whenever $q>679$ for $d=7$ and $q>7393$ for $d=11$, improving upon a result of Wooley.

18 pages, comments welcome