Quantitative Oppenheim in signature $(2,2)$ via determinant values

Sintesi Tecnica: Oppenheim Quantitativo in Firma (2, 2) tramite Valori del Determinante

Enunciato del Probleo
L'articolo affronta il problema quantitativo di Oppenheim per forme quadratiche indefinite di firma $(2, 2)$. Il classico problema di Oppenheim, dimostrato da Margulis, afferma che i valori di una forma quadratica irrazionale indefinita su vettori interi sono densi in $\mathbb{R}$. Il raffinamento quantitativo chiede il comportamento asintotico della funzione di conteggio:
$$N_Q(a, b; T) := \#\{v \in \mathbb{Z}^n : \|v\| < T, a < Q(v) < b\}$$
quando $T \to \infty$. Sebbene ciò sia stato stabilito per firme superiori da Dani–Margulis ed Eskin–Margulis–Mozes (EMM), le firme inferiori $(2, 1)$ e $(2, 2)$ richiedono ipotesi diosefantiiche aggiuntive per escludere reticoli che sono troppo ben approssimabili da forme razionali. Il caso $(2, 2)$ è stato precedentemente provato da Eskin–Margulis–Mozes. Questo articolo fornisce una nuova prova del caso $(2, 2)$ riformulando il problema in termini di valori del determinante su reticoli in $M_2(\mathbb{R})$.

Metodologia
Gli autori riformulano il problema utilizzando l'identificazione di $\mathbb{R}^4$ con $M_2(\mathbb{R})$, dove la forma quadratica è il determinante:
$$Q_0 \begin{pmatrix} x & y \\ z & w \end{pmatrix} = xw - yz.$$
Il problema viene così trasformato nel conteggio di punti di reticolo $\Lambda < M_2(\mathbb{R})$ con valori di determinante in un intervallo specifico. La prova impiega la strategia dell'altezza modificata e dell'evitamento (modified-height and avoidance strategy), un approccio dinamico precedentemente sviluppato nel lavoro degli autori sul caso $(2, 1)$.

Componenti metodologiche chiave includono:

1. Setup Dinamico: Il problema è analizzato sullo spazio dei reticoli unimodulari $X = SL_4(\mathbb{R})/SL_4(\mathbb{Z})$. L'azione del gruppo $H = SL_2(\mathbb{R}) \otimes SL_2(\mathbb{R})$ corrisponde all'azione naturale su $M_2(\mathbb{R})$.
2. Funzioni di Altezza Modificate: La funzione di altezza standard $\alpha(\Delta)$, che misura la dimensione del vettore non nullo più piccolo nei potenze esterne del reticolo, fallisce nel soddisfare i richiesti limiti di momento uniformi nel grado esterno critico 2 a causa della presenza di piani razionali "quasi-nulli". Gli autori introducono un'altezza modificata $\tilde{\alpha}_{\eta, M}$ che omette i piani a due dimensioni razionali i cui vettori di Plücker sono "quasi-nulli" (ovvero, giacciono molto vicino ai sottospazi eccezionali $M_c$ o $M_r$).
3. Altezza Ausiliaria e Contrazione: Per provare i limiti di momento per l'altezza modificata, viene introdotta un'altezza ausiliaria $\hat{\alpha}_{\eta, M, \theta}$. Questa altezza incorpora una funzione di peso $\phi_\theta$ che penalizza la prossimità ai sottospazi eccezionali, compensando la degenerazione delle stime di contrazione vicino a tali sottospazi.
4. Evitamento di Insiemi Eccezionali: La prova utilizza un'iterazione a tempo di arresto che combina:
   • Stime di contrazione lontano da un insieme eccezionale (dove l'altezza ausiliaria contrae sotto l'azione di sottogruppi orosferici in espansione).
   • Non-divergenza quantitativa e condizioni diofantiiche per dimostrare che il flusso evita l'insieme eccezionale (dove un piano razionale non quasi-nullo viene trasportato estremamente vicino a un termine eccezionale).
5. Separazione dei Contributi Singolari: Gli autori distinguono tra piani isotropi razionali esatti (dove il determinante svanisce identicamente) e piani quasi-nulli. Dimostrano che, per i reticoli determinante-irrazionali, esistono solo finiti piani isotropi razionali esatti. Il contributo dei piani quasi-nulli ma non isotropi è mostrato essere nullo nel limite, mentre i piani isotropi esatti contribuiscono con un termine singolare alla formula asintotica.

Contributi Chiave e Risultati
L'articolo stabilisce il seguente teorema principale (Teorema 1.1):

Sia $\Lambda < M_2(\mathbb{R})$ un reticolo diofantico che non è determinante-razionale. Per ogni norma $\|\cdot\|$ su $\mathbb{R}^4$ e per ogni $a < b$, il numero di punti di reticolo con determinante non nullo soddisfa:
$$N^\times_\Lambda(a, b; T) \sim \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)} (b-a)T^2.$$
Inoltre, il limite per i punti con determinante zero esiste:
$$c^{\text{sing}}_\Lambda := \lim_{T \to \infty} T^{-2} \#\{v \in \Lambda : \|v\| < T, \det v = 0\}.$$
La funzione di conteggio totale è data da:
$$N_\Lambda(a, b; T) \sim \left( \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)}(b-a) + c^{\text{sing}}_\Lambda \mathbf{1}_{\{0 \in (a, b)\}} \right) T^2.$$

Risultati Tecnici Specifici:

• Finitezza dei Piani Isotropi: Per un reticolo determinante-non-razionale, esistono al massimo quattro piani a due dimensioni razionali sui quali il determinante svanisce identicamente (al massimo due a colonna-isotropi e due a riga-isotropi). Questa finitezza è una caratteristica speciale del caso $2 \times 2$.
• Costante Singolare: La costante $c^{\text{sing}}_\Lambda$ è strettamente positiva se e solo se $\Lambda$ contiene un sottomodulo $\mathbb{Z}$ di rango due su cui il determinante svanisce. Essa è calcolata esplicitamente come una somma su questi finiti piani isotropi razionali.
• Condizione Diofantica: Il risultato è valido sotto una condizione "split-diophantine", che impedisce alla forma determinante di essere approssimata troppo da vicino da forme quadratiche split razionali. Ciò è equivalente alla condizione non-EWAS utilizzata da Eskin–Margulis–Mozes.
• Coefficienti Algebrici: Come corollario, il teorema si applica a qualsiasi reticolo con entrate algebriche che non sia determinante-razionale, poiché queste soddisfano automaticamente la condizione diofantica tramite disuguaglianze di tipo Liouville.

Significato e Rivendicazioni
L'articolo rivendica la sua novità primaria risiede nella tecnica di prova piuttosto che nell'enunciato del teorema stesso.

• Modello Semplificato: Lavorando in questo setting di determinante $2 \times 2$, gli autori forniscono un "modello semplificato" per il metodo dell'altezza modificata e dell'evitamento. In questa dimensione, la teoria delle rappresentazioni e le stime dei livelli inferiori sono elementari rispetto ai casi di dimensione superiore, pur mantenendo visibili i principali meccanismi dinamici.
• Nuova Prova di EMM: Il lavoro recupera il teorema di Oppenheim quantitativo $(2, 2)$ di Eskin–Margulis–Mozes. Gli autori osservano che il loro approccio differisce dalla prova originale di EMM, che lavorava direttamente con le medie $K$ e utilizzava argomenti di contrazione/sovrapposizione per i cattivi set. Al contrario, questo articolo introduce una seconda altezza ausiliaria modificata per soddisfare la richiesta disuguaglianza di tipo Margulis, evitando l'approssimazione diretta dei cattivi set tramite rettangoli.
• Fondamento per Dimensioni Superiori: La formulazione del determinante è presentata come il membro più semplice di un problema di valori del determinante di dimensione superiore studiato nel lavoro di accompagnamento degli autori [7], suggerendo che le intuizioni ottenute qui siano fondamentali per affrontare casi di firma più complessi.

L'articolo non propone nuove applicazioni sperimentali o implicazioni future oltre al contesto matematico dei sistemi dinamici e della teoria quantitativa delle forme quadratiche. Si concentra rigorosamente sull'instaurazione della formula di conteggio asintotico attraverso il raffinato metodo dinamico.