Skip to main content
5 of 5
added 32 characters in body
Wanderer
  • 5.2k
  • 40
  • 49

Forms over finite fields and Chevalley's theorem

Chevalley's theorem says that if $k$ is a finite field and $f(X_1,...,X_n)$ is a form (homogeneous polynomial) of degree $d < n$, then the equation $f(X_1,...,X_n) = 0$ has a non-trivial solution in $k^n$.

It is known that this result is optimal, in the sense that for each $n$ there exists a form $f(X_1,...,X_n)$ - coming from a norm - of degree $d = n$ which has only the trivial zero. See Brian Conrad's answer below.

I am interested in each form with this property, i.e. each form $f(X_1,...,X_n)$ of degree $d = n$ which has only the trivial zero. What are the known examples/classes of such forms? It would be very nice if we could describe/classify them all...

I am in particular interested in the case of quartic forms.

Wanderer
  • 5.2k
  • 40
  • 49