Singular systems of linear forms over global function fields

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo dell'approssimazione diofantea e della dinamica omogenea. L'obiettivo principale è studiare la dimensione di Hausdorff dell'insieme delle matrici singolari (o sistemi di forme lineari singolari) definite su campi globali di funzioni.

• Definizione di Singolarità: Una matrice $A \in M_{m,n}(K_\nu)$ è definita singolare se, per ogni $\epsilon > 0$, esiste un $T_0 \ge 1$ tale che per ogni $T \ge T_0$, esistono vettori $p \in R_\nu^m$ e $q \in R_\nu^n$ che soddisfano:
  $$\|Aq + p\| \le \epsilon T^{-n/m} \quad \text{e} \quad 0 < \|q\| \le T$$
  dove $R_\nu$ è l'anello affine di una curva proiettiva liscia su un campo finito $\mathbb{F}_q$, completato rispetto a una valutazione discreta $\nu$.
• Stato dell'arte: Nel caso dei numeri reali ($\mathbb{R}$), la misura di Lebesgue di tali insiemi è zero (Khintchine, 1926). Il calcolo della dimensione di Hausdorff è stato una sfida aperta fino al recente lavoro di Das, Fishman, Simmons e Urbański [DFSU24], che ha dimostrato che il limite superiore $mn - \frac{mn}{m+n}$ è sharp.
• Il Gap: Esistono pochi risultati per i campi di funzioni. Questo articolo mira a colmare tale lacuna estendendo i metodi sviluppati per i numeri reali al contesto dei campi globali di funzioni.

2. Metodologia

Gli autori adottano un approccio che combina la corrispondenza di Dani (che lega l'approssimazione diofantea alla dinamica omogenea) e la costruzione di funzioni di Margulis (funzioni di altezza) con proprietà di contrazione.

A. Impostazione Geometrica e Dinamica

• Spazio dei Reticoli: Si considera lo spazio omogeneo $X = G/\Gamma$, dove $G = SL_{m+n}(K_\nu)$ e $\Gamma = SL_{m+n}(R_\nu)$. $X$ può essere identificato con l'orbita dei reticoli unimodari in $K_\nu^{m+n}$.
• Flusso Diagonale: Viene introdotto un flusso diagonale $g_t$ che agisce su $X$. La singolarità di una matrice è equivalente alla divergenza della traiettoria $g_t u_s \Gamma$ nello spazio $X$ (Lemma 2.1).
• Ipotesi Tecnica: Si assume che $R_\nu$ sia un dominio a ideali principali (PID). Questa assunzione è necessaria per utilizzare la proprietà di submodularità della funzione di covolume, stabilita in lavori precedenti (Bang, 2025).

B. Stime di Algebra Lineare e Misura

Un aspetto cruciale del metodo è la stima degli integrali su gruppi compatti.

• Sostituzione della Misura Gaussiana: Nel lavoro precedente sui numeri reali [KKLM17], si utilizzavano variabili casuali gaussiane per semplificare i calcoli a livello di algebra lineare. In questo contesto non archimedeo, gli autori sostituiscono la misura gaussiana con la misura di Haar ristretta su $O_\nu^d$.
• Proprietà di Contrazione: Viene dimostrato che la misura di Haar ristretta possiede proprietà analoghe a quelle della misura gaussiana, permettendo di ottenere stime di contrazione per l'integrale di norme di vettori decomponibili sotto l'azione del flusso $g_t$ (Teorema 3.2 e Proposizione 3.7).
• Dualità di Hodge: Poiché l'operatore di dualità di Hodge non è equivariante sotto il gruppo ortogonale ultrametrico $SL_d(O_\nu)$, gli autori sviluppano una versione adattata della dualità per i sottogruppi orosferici, permettendo di trattare casi di dimensioni superiori a $m$ (Sezione 4).

C. Costruzione della Funzione di Margulis

• Viene costruita una funzione di altezza $\tilde{\alpha}(x)$ definita come una combinazione lineare di funzioni $\alpha_i(x)$, dove $\alpha_i(x)$ è legato alla norma minima dei sottospazi $x$-razionali di dimensione $i$.
• Corollario 5.2: Si dimostra che questa funzione soddisfa una proprietà di contrazione media: l'aspettativa del valore della funzione dopo l'azione del flusso e dell'oroscero è strettamente minore del valore iniziale, a meno che la funzione non sia già molto grande. Questo è il cuore della stima della dimensione.

3. Risultati Principali

Il risultato centrale è il Teorema 1.1:

Teorema 1.1: Assumendo che $R_\nu$ sia un dominio a ideali principali, per ogni $m, n \in \mathbb{Z}_{\ge 1}$, la dimensione di Hausdorff dell'insieme delle matrici singolari $Sing(m, n)$ soddisfa:
$$\dim_H Sing(m, n) \le mn - \frac{mn}{m+n}$$

Risultati Intermedi e Rafforzati:

• Proposizione 6.5: Gli autori dimostrano un risultato più forte riguardante i punti che "sfuggono in media" ($\delta$-escapes on average). Dimostrano che l'insieme dei parametri $s$ tali che la traiettoria $u_s x$ sfugge in media con frequenza $\delta$ ha dimensione di Hausdorff limitata da $mn - \frac{\delta mn}{m+n}$.
• Il caso $\delta = 1$ corrisponde esattamente alle matrici singolari, recuperando il limite superiore sopra citato.

4. Contributi Chiave

1. Estensione ai Campi di Funzioni: È il primo lavoro che stabilisce un limite superiore rigoroso per la dimensione di Hausdorff delle matrici singolari in campi globali di funzioni, generalizzando i risultati noti per i numeri reali.
2. Adattamento delle Tecniche di Misura: La sostituzione della misura gaussiana con la misura di Haar ristretta e la dimostrazione che essa mantiene le proprietà di contrazione necessarie (Teorema 3.2) è un contributo tecnico significativo per l'analisi armonica non archimedea.
3. Gestione della Dualità di Hodge: La gestione della non-equivarianza dell'operatore di Hodge nel contesto ultrametrico, risolta attraverso l'uso di sottogruppi orosferici, permette di estendere le stime a tutte le dimensioni $i$ necessarie per la costruzione della funzione di Margulis.
4. Metodo di Copertura: L'uso di stime di copertura basate su convoluzioni di misure (ispirato a [GS20]) invece delle ricorsioni gaussiane permette di adattare la dimostrazione alla struttura discreta e ultrametrica dei campi di funzioni.

5. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

• Unificazione della Teoria: Dimostra che i fenomeni profondi legati alla singolarità e alla dimensione di Hausdorff, scoperti recentemente per i numeri reali, sono robusti e valgono anche nel contesto aritmetico dei campi di funzioni, nonostante le differenze strutturali (assenza di metriche euclidee, natura discreta dei valori).
• Strumenti per la Dinamica Non Archimedea: Fornisce un quadro metodologico solido (funzioni di Margulis, stime di misura su gruppi $p$-adici e di funzioni) che può essere applicato ad altri problemi di approssimazione diofantea e dinamica omogenea su campi locali non archimedei.
• Conferma di Congetture: Conferma che il limite superiore $mn - \frac{mn}{m+n}$, che è stato dimostrato essere sharp per i reali, è anche un limite valido (e presumibilmente sharp) per i campi di funzioni, suggerendo una universalità nella geometria dei sistemi singolari.

In sintesi, il paper rappresenta un passo fondamentale nell'estensione della teoria moderna delle matrici singolari al mondo delle funzioni, utilizzando strumenti sofisticati di dinamica omogenea e analisi non archimedea.