Points below a parabola in affine planes of prime order

Sintesi Tecnica: Punti al di sotto di una Parabola in Piani Affini di Ordine Primo

Enunciato del Problema
Questo articolo investiga le proprietà geometriche e combinatorie dell'insieme di punti situati al di sotto di una parabola nel piano affine desarguesiano $AG(2, p)$, dove $p$ è un numero primo. Nello specifico, gli autori analizzano l'insieme $S = \{(x, y) \in \mathbb{F}_p^2 \mid y < f(x)\}$, dove $f(x) = \alpha x^2 + \beta x + \gamma$ è un polinomio quadratico con $\alpha \neq 0$.

Lo studio è motivato dal recente lavoro di Kiss e Somlai [KS24], che ha esaminato l'insieme di punti al di sotto della retta diagonale ($y < x$) in $AG(2, p)$. Essi hanno dimostrato che questo insieme determina esattamente tre direzioni "speciali" (direzioni in cui le rette non intersecano l'insieme in modo equidistribuito) e che tale insieme possiede un unico automorfismo non banale. Gli autori di questo articolo mirano a determinare se fenomeni simili si verifichino per gli insiemi parabolici, nonostante il fatto che le parabole possiedano generalmente meno simmetria rispetto alle rette.

Metodologia
Gli autori impiegano una combinazione di geometria finita, teoria dei numeri e analisi combinatoria:

1. Ordinamento e Proiezione: Utilizzando la corrispondenza canonica tra gli elementi di $\mathbb{F}_p$ e gli interi in $[0, p-1]$, gli autori definiscono un ordinamento sul campo. Introducono la funzione di proiezione $pr_{S,d}$, che mappa una direzione $d$ al numero di punti in $S$ intersecati dalle rette di pendenza $d$.
2. Analisi del Carattere Quadratico: Il nucleo dell'analisi si basa sul carattere quadratico $\chi$ su $\mathbb{F}_p$. Gli autori utilizzano la disuguaglianza di Pólya-Vinogradov (Risultato 2.1) per limitare le somme dei caratteri su intervalli e i risultati di Sárközy e Sokolovskiĭ (Risultato 2.2) riguardanti i limiti inferiori di tali somme.
3. Trasformazione Algebrica: Per analizzare la distribuzione dei numeri di intersezione, gli autori applicano trasformazioni lineari alle variabili della disuguaglianza definitoria di $S$. Ciò consente di relazionare le funzioni di proiezione di diverse direzioni l'una con l'altra.
4. Analisi del Gruppo di Simmetria: Gli autori investigano il stabilizzatore dell'insieme $S$ all'interno del gruppo lineare proiettivo $PGL(3, p)$, distinguendo punti specifici all'infinito in base alla distribuzione dei numeri di intersezione delle rette passanti per essi.

Contributi Chiave e Risultati

• Simmetria Ciclica delle Proiezioni (Teorema 3.1):
  Il principale risultato strutturale è che per ogni direzione non nulla $d \in \mathbb{F}_p^*$, la funzione di proiezione $pr_{S,d}$ è uno scorrimento ciclico della funzione di proiezione $pr_{S,1}$. Nello specifico, i valori assunti dalla funzione di proiezione per qualsiasi direzione non verticale e non orizzontale sono identici, salvo uno scorrimento nel dominio. Ciò implica che l'insieme $S$ "appare uguale" da tutte le direzioni, eccetto per le direzioni verticale ($\infty$) e orizzontale ($0$).
  Inoltre, l'immagine di queste funzioni di proiezione forma un intervallo di interi la cui lunghezza è limitata tra $\frac{\sqrt{p}}{2\pi}$ e $\sqrt{p} \ln(p)$.

• Dimensione dell'Insieme (Teorema 3.3):
  Gli autori stabiliscono limiti stretti sulla cardinalità di $S$. Dimostrano che $|S|$ è sempre un multiplo di $p$. Inoltre, la dimensione di $S$ è vicina a $\binom{p}{2}$, con la deviazione limitata da $c_p p \sqrt{p} \ln(p)$, dove la costante $c_p$ dipende da $p \pmod 4$ e $p \pmod 8$. Nel caso specifico in cui $p \equiv 1 \pmod 4$ e $\gamma = 0$, la dimensione è esattamente $\binom{p}{2}$.

• Rigidità delle Simmetrie (Teorema 3.5):
  Contrariamente all'intuizione secondo cui tale comportamento uniforme delle proiezioni potrebbe implicare un'alta simmetria, gli autori dimostrano che per $p$ sufficientemente grande ($p \geq 97$), l'insieme $S$ possiede un unico automorfismo non banale in $PGL(3, p)$. Questo automorfismo è la riflessione rispetto all'asse verticale: $(X, Y, Z) \mapsto (-X, Y, Z)$.
  La dimostrazione evidenzia che le direzioni $(0)$ e $(\infty)$ sono unicamente distinguibili da tutte le altre direzioni in base al numero di conteggi di intersezione distinti delle rette passanti per esse. Questa rigidità contrasta con l'aspetto "uniforme" dell'insieme visto dalle altre direzioni.

• Classificazione delle Classi di Isomorfismo (Osservazione 3.7):
  Gli autori classificano il numero di insiemi di questo tipo non isomorfi. Considerando le trasformazioni affini e il complemento degli insiemi, determinano che esistono esattamente $3p+1$ insiemi pairwise non isomorfi formati da punti al di sotto o sopra una parabola (incluse le variazioni con $\leq, >, \geq$).

Significato
Il saggio evidenzia un fenomeno controintuitivo nella geometria finita: un insieme di punti può esibire un alto grado di "uniformità" nelle sue funzioni di proiezione (appaia identico da quasi tutte le direzioni) pur possedendo una simmetria geometrica molto limitata (solo un automorfismo non banale).

Questo lavoro estende i risultati di Kiss e Somlai [KS24] dai confini lineari ai confini quadratici. Dimostra che la proprietà di avere poche direzioni speciali e funzioni di proiezione a scorrimento ciclico non è esclusiva degli insiemi definiti da disuguaglianze lineari. I risultati si basano fortemente sulla distribuzione dei residui quadratici e sulle somme dei caratteri, collegando le proprietà geometriche dell'insieme di punti direttamente alle proprietà aritmetiche del campo finito sottostante.

Gli autori osservano che questi risultati fanno parte di uno sforzo più ampio per generalizzare i risultati di [KS24], con un articolo concomitante [ASW24] che esplora le connessioni con i codici generati dalle matrici di incidenza di piani progettivi finiti.