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

Riepilogo Tecnico: Sul Numero di Direzioni Formate da Prodotti Cartesiani in $\mathbb{F}_{p^2}$

Enunciato del Problema
Il lavoro indaga il numero di direzioni determinate da un insieme di punti $U$ nel piano affine su un campo finito $\mathbb{F}_q$, focalizzandosi specificamente sui prodotti cartesiani $A \times A$ dove $A \subset \mathbb{F}_{p^2}$ e $q = p^2$. Una direzione è definita dalla pendenza della retta che congiunge due punti distinti nell'insieme.

Sebbene sia banale che un insieme con più di $q$ punti determini tutte le direzioni possibili, il problema diventa non banale per insiemi di cardinalità $|U| \le q$. Nei campi primi, sono noti limiti inferiori netti, ma sui campi finiti generali, gli insiemi strutturati (in particolare quelli concentrati su copie affini di sottocampi) possono determinare significativamente meno direzioni. L'ostacolo specifico affrontato qui si verifica quando $A$ è contenuto in una copia affine del sottocampo proprio $\mathbb{F}_p$. In tali casi, $A \times A$ determina al massimo $p$ direzioni, un valore ben al di sotto della scala quadratica attesa per insiemi di cardinalità prossima a $p$.

La domanda centrale è: se $A$ non è contenuto in alcuna copia affine di $\mathbb{F}_p$, qual è il limite inferiore sul numero di direzioni $|D(A \times A)|$?

Metodologia
La dimostrazione sintetizza strumenti dall'algebra combinatoria, dalla geometria finita e dalla teoria dei numeri additiva:

1. Metodo del Polinomio di Rédei: Il lavoro utilizza il polinomio di Rédei $R(X, Y)$ associato all'insieme di punti. Le radici del polinomio specializzato $R(X, y)$ corrispondono agli intercetti delle rette con pendenza $y$ che intersecano l'insieme. La molteplicità di queste radici è correlata al numero di punti su ciascuna retta.
2. Parametri di Molteplicità Algebrica: Gli autori impiegano definizioni di Fancsali, Sziklai e Takács riguardanti due parametri chiave:
   • $s(y)$: La massima potenza di $p$ tale che ogni retta di direzione $y$ intersechi l'insieme in un numero di punti divisibile per $s(y)$.
   • $t(y)$: Un parametro algebrico derivato dal polinomio ausiliario $H(X, y)$ nella fattorizzazione $R(X, Y)Q(X, Y) = X^q + H(X, Y)$. Nello specifico, $t(y)$ è la massima potenza di $p$ tale che $H(X, y)$ appartenga a $\mathbb{F}_q[X^{t(y)}]$ ma non a $\mathbb{F}_q[X^{p \cdot t(y)}]$.
3. Risultati Strutturali sugli Insiemi di Direzioni: La dimostrazione si basa su un lemma strutturale (Lemma 2.7, implicito in Li e Roche-Newton) che afferma che se un insieme di direzioni $D(X)$ è chiuso rispetto all'addizione ($1+D(X) \subset D(X)$) e alla moltiplicazione ($X D(X) \subset D(X)$), allora $D(X)$ deve essere un sottocampo generato da $X$.
4. Combinatoria Additiva: L'argomento utilizza varianti della disuguaglianza di Plünnecke-Ruzsa (Lemmi 2.5 e 2.6) e un risultato di Li e Roche-Newton (Lemma 2.4) per limitare la cardinalità di somme e prodotti di insiemi. Questi strumenti sono impiegati per derivare contraddizioni se l'insieme delle direzioni non esibisce le proprietà di chiusura necessarie.

Contributi e Risultati Chiave
Il risultato principale, Teorema 1.1, stabilisce un limite inferiore quadratico per il numero di direzioni determinate da $A \times A$ in $\mathbb{F}_{p^2}$, a condizione che $A$ eviti la struttura di sottocampo.

• Teorema 1.1: Sia $q = p^2$ per un numero primo dispari $p$, e sia $A \subset \mathbb{F}_q$. Esiste una costante assoluta $k > 1$ tale che se $k \cdot p^{2/3} < |A| < p$ e $A$ non è contenuto in alcuna copia affine di $\mathbb{F}_p$ (cioè $A \not\subset c\mathbb{F}_p + d$ per qualsiasi $c \in \mathbb{F}_q^*, d \in \mathbb{F}_q$), allora:
  $$|D(A)| \ge \frac{|A|^2 + 1}{2}$$

Logica della Dimostrazione:
La dimostrazione procede normalizzando $A$ in modo che $0, 1 \in A$. Si considerano quindi due casi:

1. Caso di Chiusura: Se per tutte le direzioni $r \in D(A)$, l'insieme soddisfa $|rA - A| \le p$, gli autori utilizzano limiti combinatori additivi per mostrare che $D(A)$ deve essere chiuso rispetto all'addizione e alla moltiplicazione. Per il Lemma 2.7, ciò implica che $D(A)$ è un sottocampo. Poiché $A \not\subset \text{copia affine di } \mathbb{F}_p$, $D(A)$ non può essere $\mathbb{F}_p$. Se $D(A) = \mathbb{F}_{p^2}$, il limite vale banalmente.
2. Caso di Non Chiusura: Se esiste una direzione $y \in D(A)$ tale che $|yA - A| > p$, gli autori dimostrano (Affermazione 3.1) che il parametro di molteplicità algebrica $t(y)$ e il parametro geometrico $s(y)$ sono entrambi uguali a 1. Applicando il teorema del limite inferiore di Fancsali, Sziklai e Takács (Teorema 2.3) con $t=1$ si ottiene il desiderato limite quadratico $|D(A)| \ge (|A|^2 + 1)/2$.

Significato e Ambito
Il lavoro afferma di risolvere il problema del limite inferiore per i prodotti cartesiani nel range specifico $p^{2/3} < |A| < p$ (a meno di un fattore costante), escludendo il caso degenere del sottocampo.

• Raffinamento dei Limiti Esistenti: Il lavoro affina i limiti inferiori generali ottenuti da Fancsali, Sziklai e Takács per insiemi di punti generici gestendo esplicitamente la struttura del prodotto cartesiano e la geometria specifica di $\mathbb{F}_{p^2}$.
• Molteplicità Esplicita: Un passo tecnico chiave è dimostrare che, a meno che l'insieme delle direzioni non imponga una struttura di sottocampo, è possibile identificare esplicitamente una direzione in cui il parametro di molteplicità algebrica $t$ è 1, permettendo l'applicazione di limiti netti.
• Limitazioni: Gli autori notano che estendere questo limite inferiore quadratico al range $|A| < p^{2/3}$ rimane un problema aperto. In quel range inferiore, i migliori limiti noti sono sub-quadratici e si basano su metodi di geometria d'incidenza (citando [6] e [7]). Il lavoro non afferma di risolvere il problema per tutte le cardinalità di insiemi, né fornisce una caratterizzazione geometrica degli insiemi che raggiungono il limite ottimale per $|A| < q$ nel caso generale, notando che ciò rimane sconosciuto.