Abstract:Let $p$ be an odd prime and $\F_q$ be the finite field with $q=p^n$ elements. A planar function $f:\F_q\rightarrow\F_q$ is called homogenous if $f(\lambda x)=\lambda^df(x)$ for all $\lambda\in\F_p$ and $x\in\F_q$, where $d$ is some fixed positive integer. We characterize $x^2$ as the unique homogenous planar function over $\F_{p^2}$ up to equivalence.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to classify homogeneous planar functions defined on the finite field \( \mathbb{F}_{p^2} \). Specifically, the author hopes to determine all homogeneous planar functions that satisfy certain properties and prove that, up to equivalence, the only homogeneous planar function is \( f(x) = x^2 \).
### Problem Background
1. **Planar Functions**:
- A planar function refers to the fact that for any non - zero element \( a \in \mathbb{F}_q^* \), the function \( \Delta_a f(x) := f(x + a)-f(x)-f(a) \) is a permutation polynomial.
2. **Homogeneous Planar Functions**:
- If a planar function \( f \) satisfies \( f(\lambda x)=\lambda^d f(x) \) for all \( \lambda \in \mathbb{F}_p \) and \( x \in \mathbb{F}_{p^2} \), where \( d \) is some fixed positive integer, then \( f \) is called a homogeneous planar function.
3. **Research Motivation**:
- The study of homogeneous planar functions stems from the work of Dembowski and Ostrom on affine planes with large collineation groups. These functions are related to certain additional automorphism groups, so classifying them helps to understand the relevant geometric structures.
### Main Contributions of the Paper
- **Classification Theorem**: The main result of the paper is to prove that, up to equivalence, the only homogeneous planar function defined on \( \mathbb{F}_{p^2} \) is \( f(x) = x^2 \).
The specific statement is as follows:
\[
\text{Let } p \text{ be an odd prime, and let } f \text{ be a homogeneous planar function defined on } \mathbb{F}_{p^2} \text{, that is, } f(\lambda x)=\lambda^d f(x) \text{ for all } \lambda \in \mathbb{F}_p \text{ and } x \in \mathbb{F}_{p^2} \text{, where } d \text{ is some fixed positive integer. Then, up to equivalence, we have } f(x) = x^2.
\]
Through this classification result, the author provides a complete description of homogeneous planar functions on finite fields, which is of great significance in algebraic combinatorics and finite geometry.