On the number of directions formed by Cartesian products in $\mathbb{F}_{p^2}^2$

Résumé Technique : Sur le Nombre de Directions Formées par des Produits Cartésiens dans $\mathbb{F}_{p^2}$

Énoncé du Problème
L'article étudie le nombre de directions déterminées par un ensemble de points $U$ dans le plan affine sur un corps fini $\mathbb{F}_q$, en se concentrant spécifiquement sur les produits cartésiens $A \times A$ où $A \subset \mathbb{F}_{p^2}$ et $q = p^2$. Une direction est définie par la pente de la droite reliant deux points distincts de l'ensemble.

Bien qu'il soit trivial qu'un ensemble comportant plus de $q$ points détermine toutes les directions possibles, le problème devient non trivial pour des ensembles de taille $|U| \le q$. Dans les corps premiers, des bornes inférieures précises sont connues, mais sur des corps finis généraux, des ensembles structurés (en particulier ceux concentrés sur des copies affines de sous-corps) peuvent déterminer nettement moins de directions. L'obstacle spécifique abordé ici est le cas où $A$ est contenu dans une copie affine du sous-corps propre $\mathbb{F}_p$. Dans de tels cas, $A \times A$ détermine au plus $p$ directions, ce qui est bien en deçà de l'échelle quadratique attendue pour des ensembles de taille proche de $p$.

La question centrale est : si $A$ n'est pas contenu dans une copie affine de $\mathbb{F}_p$, quelle est la borne inférieure sur le nombre de directions $|D(A \times A)|$ ?

Méthodologie
La preuve synthétise des outils issus de la combinatoire algébrique, de la géométrie finie et de la théorie additive des nombres :

1. Méthode du Polynôme de Rédei : L'article utilise le polynôme de Rédei $R(X, Y)$ associé à l'ensemble de points. Les racines du polynôme spécialisé $R(X, y)$ correspondent aux ordonnées à l'origine des droites de pente $y$ intersectant l'ensemble. La multiplicité de ces racines est liée au nombre de points sur chaque droite.
2. Paramètres de Multiplicité Algébrique : Les auteurs emploient des définitions issues de Fancsali, Sziklai et Takács concernant deux paramètres clés :
   • $s(y)$ : La plus grande puissance de $p$ telle que toute droite de direction $y$ intersecte l'ensemble en un nombre de points divisible par $s(y)$.
   • $t(y)$ : Un paramètre algébrique dérivé du polynôme auxiliaire $H(X, y)$ dans la factorisation $R(X, Y)Q(X, Y) = X^q + H(X, Y)$. Plus précisément, $t(y)$ est la puissance maximale de $p$ telle que $H(X, y)$ appartienne à $\mathbb{F}_q[X^{t(y)}]$ mais pas à $\mathbb{F}_q[X^{p \cdot t(y)}]$.
3. Résultats Structurels sur les Ensembles de Directions : La preuve repose sur un lemme structurel (Lemme 2.7, implicite chez Li et Roche-Newton) stipulant que si un ensemble de directions $D(X)$ est fermé par addition ($1+D(X) \subset D(X)$) et par multiplication ($X D(X) \subset D(X)$), alors $D(X)$ doit être un sous-corps engendré par $X$.
4. Combinatoire Additive : L'argument utilise des variantes de l'inégalité de Plünnecke-Ruzsa (Lemmes 2.5 et 2.6) et un résultat de Li et Roche-Newton (Lemme 2.4) pour borner la taille des sommes et des produits d'ensembles. Ces outils sont utilisés pour dériver des contradictions si l'ensemble de directions ne présente pas les propriétés de fermeture nécessaires.

Contributions et Résultats Clés
Le résultat principal, Théorème 1.1, établit une borne inférieure quadratique pour le nombre de directions déterminées par $A \times A$ dans $\mathbb{F}_{p^2}$, à condition que $A$ évite la structure de sous-corps.

• Théorème 1.1 : Soit $q = p^2$ pour un nombre premier impair $p$, et soit $A \subset \mathbb{F}_q$. Il existe une constante absolue $k > 1$ telle que si $k \cdot p^{2/3} < |A| < p$ et que $A$ n'est contenu dans aucune copie affine de $\mathbb{F}_p$ (c'est-à-dire $A \not\subset c\mathbb{F}_p + d$ pour tout $c \in \mathbb{F}_q^*, d \in \mathbb{F}_q$), alors :
  $$|D(A)| \ge \frac{|A|^2 + 1}{2}$$

Logique de la Preuve :
La preuve procède en normalisant $A$ de telle sorte que $0, 1 \in A$. Elle considère ensuite deux cas :

1. Cas de Fermeture : Si pour toutes les directions $r \in D(A)$, l'ensemble $|rA - A| \le p$, les auteurs utilisent des bornes combinatoires additives pour montrer que $D(A)$ doit être fermé par addition et multiplication. Par le Lemme 2.7, cela implique que $D(A)$ est un sous-corps. Puisque $A \not\subset \text{copie affine de } \mathbb{F}_p$, $D(A)$ ne peut pas être $\mathbb{F}_p$. Si $D(A) = \mathbb{F}_{p^2}$, la borne est trivialement vérifiée.
2. Cas de Non-Fermeture : S'il existe une direction $y \in D(A)$ telle que $|yA - A| > p$, les auteurs prouvent (Affirmation 3.1) que le paramètre de multiplicité algébrique $t(y)$ et le paramètre géométrique $s(y)$ sont tous deux égaux à 1. L'application du théorème de borne inférieure de Fancsali, Sziklai et Takács (Théorème 2.3) avec $t=1$ donne la borne quadratique souhaitée $|D(A)| \ge (|A|^2 + 1)/2$.

Signification et Portée
L'article prétend résoudre le problème de la borne inférieure pour les produits cartésiens dans la plage spécifique $p^{2/3} < |A| < p$ (à un facteur constant près), en excluant le cas dégénéré du sous-corps.

• Raffinement des Bornes Existantes : Ce travail affine les bornes inférieures générales obtenues par Fancsali, Sziklai et Takács pour des ensembles de points généraux en traitant explicitement la structure du produit cartésien et la géométrie spécifique de $\mathbb{F}_{p^2}$.
• Multiplicité Explicite : Une étape technique clé consiste à démontrer que, sauf si l'ensemble de directions impose une structure de sous-corps, on peut identifier explicitement une direction où le paramètre de multiplicité algébrique $t$ est égal à 1, permettant ainsi l'application de bornes précises.
• Limites : Les auteurs notent que l'extension de cette borne inférieure quadratique à la plage $|A| < p^{2/3}$ reste un problème ouvert. Dans cette plage inférieure, les meilleures bornes connues sont sous-quadratiques et reposent sur des méthodes de géométrie d'incidence (citant [6] et [7]). L'article ne prétend pas résoudre le problème pour toutes les tailles d'ensembles, ni fournir une caractérisation géométrique des ensembles atteignant la borne optimale pour $|A| < q$ dans le cas général, notant que cela reste inconnu.