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

## TL;DR

This paper proves an effective Bertini theorem for hypersurfaces over finite fields and applies it to confirm Artin's conjecture for certain $p$-adic forms of degrees 7 and 11, improving previous bounds.

## Contribution

It establishes an effective Bertini-type theorem for hypersurfaces over finite fields and applies it to verify Artin's conjecture for specific prime degrees with improved bounds.

## Key findings

- Confirmed Artin's conjecture for degree 7 when q > 679.
- Confirmed Artin's conjecture for degree 11 when q > 7393.
- Provided a factorization algorithm for bivariate polynomials with relaxed hypotheses.

## Abstract

We establish an effective Bertini-type theorem for hypersurfaces $X_f \colon 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, \ldots, 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.