A zero-one law for improvements to Dirichlet's theorem in arbitrary dimension

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria dei numeri metrica e della dinamica omogenea, focalizzandosi sul problema dell'approssimazione uniforme e sul miglioramento del Teorema di Dirichlet.

• Teorema di Dirichlet Generalizzato: Per ogni matrice reale $A \in M_{m,n}(\mathbb{R})$ e per ogni $t > 1$, esistono vettori interi $p \in \mathbb{Z}^m$ e $q \in \mathbb{Z}^n \setminus \{0\}$ tali che:
  $$\|Aq - p\|_m \leq \frac{1}{t} \quad \text{e} \quad \|q\|_n < t$$
  dove $\|\cdot\|$ denota la norma del supremo.
• Il Problema di Miglioramento: La domanda centrale è se sia possibile sostituire $1/t$ con una funzione decrescente $\psi(t)$ più piccola (che tende a zero all'infinito) mantenendo la solvibilità del sistema per ogni $t$ sufficientemente grande. Una matrice $A$ è detta $\psi$-Dirichlet se tale sistema è risolubile per ogni $t$ grande.
• Obiettivo Metrico: Determinare la misura di Lebesgue dell'insieme delle matrici $\psi$-Dirichlet, denotato $DI_{\alpha,\beta}(\psi)$, nello spazio delle matrici $M_{m,n}(\mathbb{R}/\mathbb{Z})$. In particolare, si cerca di stabilire una legge zero-uno: la misura di questo insieme è o 0 o 1, a seconda di una condizione di convergenza/divergenza su una serie legata a $\psi$.

2. Metodologia

Gli autori adottano un approccio basato sulla dinamica omogenea, utilizzando la corrispondenza di Dani per tradurre il problema aritmetico in un problema di "bersaglio restringente" (shrinking target problem) nello spazio dei reticoli unimodulari $X_d = SL_d(\mathbb{R})/SL_d(\mathbb{Z})$, dove $d = m+n$.

I pilastri metodologici includono:

1. Corrispondenza di Dani: Il problema di approssimazione per $A$ è equivalente allo studio del comportamento asintotico dell'orbita del reticolo $\Lambda_A$ sotto l'azione di un sottogruppo diagonale uniparametrico $g_s$ (definito tramite vettori di peso $\alpha$ e $\beta$).
2. Stime di Misura e Approssimazione Liscia: Viene studiata la misura delle immagini inverse di funzioni di altezza sui reticoli ($\Delta^{-1}[0, r]$). Gli autori introducono un sottoinsieme più raffinato, $\Delta'_r$, che garantisce proprietà di disgiunzione migliori rispetto ai target precedenti.
3. Teoremi di Mixing Effettivo: Si utilizzano risultati di equidistribuzione e "doppio mixing" (Kleinbock-Margulis, Kleinbock-Shi-Weiss) per stimare le correlazioni tra eventi di impatto su bersagli a tempi diversi.
4. Lemmi di Borel-Cantelli:
   • Il caso di convergenza è trattato tramite il lemma di Borel-Cantelli classico.
   • Il caso di divergenza richiede un lemma di Borel-Cantelli divergente, che necessita di stime precise sulla correlazione (mixing) tra eventi distanziati.

3. Contributi Chiave e Innovazioni

Il contributo principale del paper risiede nel rimuovere una condizione tecnica restrittiva presente nel lavoro precedente [KSY22] e nel generalizzare le ipotesi di monotonia.

• Rimozione della Condizione Tecnica (1.8): Il teorema precedente richiedeva una condizione asintotica complessa sul limite inferiore di una somma parziale (condizione (1.8) nel testo) per garantire la misura zero nel caso di divergenza. Questo nuovo lavoro dimostra che tale condizione è superflua.
• Indebolimento dell'Ipotesi di Monotonia: Invece di richiedere che $t\psi(t)$ sia strettamente crescente, gli autori introducono una condizione più debole di "quasi-decrescenza" per la funzione $F_\psi(t) = 1 - t\psi(t)$ (condizione (1.9)). Questa condizione permette di trattare funzioni $\psi$ per cui $t\psi(t)$ non è monotona o tende a zero.
• Nuovi Bersagli Restringenti ($\Delta'_r$): Viene definito un nuovo insieme target $\Delta'_r$ che interseca $\Delta^{-1}[0, r]$ con una regione specifica $H(R_r)$. Questa scelta è cruciale per dimostrare un fatto di disgiunzione (Proposizione 4.4): per un certo intervallo di indici, le immagini dei target sotto l'azione del flusso $g_s$ sono disgiunte. Questa proprietà permette di controllare le sovrapposizioni nel caso di divergenza senza la condizione tecnica precedente.
• Stime di Mixing a Breve Raggio: L'uso combinato dei nuovi target e delle stime di mixing effettivo permette di ottenere stime sufficienti per applicare il lemma di Borel-Cantelli divergente in una situazione più generale.

4. Risultati Principali

Il teorema principale (Teorema 3) stabilisce una legge zero-uno completa per la misura di Lebesgue di $DI_{\alpha,\beta}(\psi)$.

Siano $\kappa_d = \frac{d^2+d-4}{2}$ e $\lambda_d = \frac{d(d-1)}{2}$. Sotto le ipotesi che $\psi$ sia continua, decrescente, $\psi(t) < 1/t$ e soddisfi la condizione di quasi-decrescenza (1.9), vale quanto segue:

$$\text{Leb}(DI_{\alpha,\beta}(\psi)) = \begin{cases} 1 & \text{se } \sum_{k} k^{-1} F_\psi(k)^{\kappa_d} \log^{\lambda_d}\left(1 + \frac{1}{F_\psi(k)}\right) < \infty \\ 0 & \text{se } \sum_{k} k^{-1} F_\psi(k)^{\kappa_d} \log^{\lambda_d}\left(1 + \frac{1}{F_\psi(k)}\right) = \infty \end{cases}$$

dove $F_\psi(t) = 1 - t\psi(t)$.

• Generalizzazione: Questo risultato estende la legge zero-uno di Kleinbock e Wadleigh (valida per $m=n=1$) a dimensioni arbitrarie e rimuove le restrizioni tecniche del lavoro [KSY22].
• Caso di Divergenza: Se la serie diverge, la misura dell'insieme delle matrici che non sono $\psi$-Dirichlet è 1 (quindi quasi tutte le matrici non soddisfano il miglioramento).
• Caso di Convergenza: Se la serie converge, quasi tutte le matrici sono $\psi$-Dirichlet.

5. Significato e Impatto

• Completezza Teorica: Il lavoro risolve un problema aperto nella teoria metrica dei numeri, fornendo un criterio necessario e sufficiente per la validità del miglioramento di Dirichlet in dimensioni arbitrarie, senza condizioni asintotiche artificiali.
• Robustezza del Metodo Dinamico: Dimostra che l'approccio dinamico, combinato con stime di mixing precise e una scelta intelligente dei target, è potente abbastanza da gestire funzioni di approssimazione con comportamenti oscillanti o non strettamente monotoni.
• Fondamento per Future Ricerche: La tecnica di costruzione di target "quasi-disgiunti" ($\Delta'_r$) e le stime di mixing associate potrebbero essere applicate ad altri problemi di approssimazione diofantea o a sistemi dinamici su spazi omogenei con target non regolari.

In sintesi, Strömbergsson e Yu hanno perfezionato la comprensione della misura delle matrici che ammettono approssimazioni migliori di quelle garantite dal teorema classico di Dirichlet, chiudendo un capitolo importante nella teoria metrica delle approssimazioni uniformi in alta dimensione.