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

Technische Samenvatting: Kwantitatieve Oppenheim in Signatuur (2, 2) via Determinantwaarden

Probleemstelling
Het artikel behandelt het kwantitatieve Oppenheim-probleem voor ongedefinieerde kwadratische vormen van signatuur $(2, 2)$. De klassieke Oppenheim-veronderstelling, bewezen door Margulis, stelt dat de waarden van een ongedefinieerde irrationale kwadratische vorm op gehele vectoren dicht in $\mathbb{R}$ liggen. De kwantitatieve verfijning vraagt om het asymptotische gedrag van de telfunctie:
$$N_Q(a, b; T) := \#\{v \in \mathbb{Z}^n : \|v\| < T, a < Q(v) < b\}$$
wanneer $T \to \infty$. Hoewel dit voor hogere signaturen werd vastgesteld door Dani–Margulis en Eskin–Margulis–Mozes (EMM), vereisen de lage signaturen $(2, 1)$ en $(2, 2)$ aanvullende Diophantische hypothesen om roosters die te goed benaderd kunnen worden door rationale vormen uit te sluiten. Het $(2, 2)$-geval werd eerder bewezen door Eskin–Margulis–Mozes. Dit artikel biedt een nieuw bewijs van het $(2, 2)$-geval door het probleem te herformuleren in termen van determinantwaarden op roosters in $M_2(\mathbb{R})$.

Methodologie
De auteurs herformuleren het probleem met behulp van de identificatie van $\mathbb{R}^4$ met $M_2(\mathbb{R})$, waarbij de kwadratische vorm de determinant is:
$$Q_0 \begin{pmatrix} x & y \\ z & w \end{pmatrix} = xw - yz.$$
Het probleem wordt zo getransformeerd naar het tellen van roosterpunten $\Lambda < M_2(\mathbb{R})$ met determinantwaarden in een specifiek interval. Het bewijs maakt gebruik van de modified-height and avoidance strategy, een dynamische aanpak die eerder is ontwikkeld in het werk van de auteurs over het $(2, 1)$-geval.

Belangrijke methodologische componenten zijn onder meer:

1. Dynamische Setup: Het probleem wordt geanalyseerd op de ruimte van unimodulaire roosters $X = SL_4(\mathbb{R})/SL_4(\mathbb{Z})$. De actie van de groep $H = SL_2(\mathbb{R}) \otimes SL_2(\mathbb{R})$ komt overeen met de natuurlijke actie op $M_2(\mathbb{R})$.
2. Gemodificeerde Hoogtefuncties: De standaard hoogtefunctie $\alpha(\Delta)$, die de grootte van de kleinste niet-nul vector in exterior machten van het rooster meet, voldoet niet aan de vereiste uniforme momentbounds in de kritieke exterior graad vanwege de aanwezigheid van "quasi-nul" rationale twee-vlakken. De auteurs introduceren een gemodificeerde hoogte $\tilde{\alpha}_{\eta, M}$ die rationale twee-vlakken weglaat waarvan de Plücker-vectoren "quasi-nul" zijn (d.w.z. zeer dicht bij de uitzonderlijke submodules $M_c$ of $M_r$ liggen).
3. Auxiliaire Hoogte en Contractie: Om momentbounds voor de gemodificeerde hoogte te bewijzen, wordt een auxiliaire hoogte $\hat{\alpha}_{\eta, M, \theta}$ geïntroduceerd. Deze hoogte bevat een gewichtsfunctie $\phi_\theta$ die de nabijheid van de uitzonderlijke submodules bestraft, waardoor de degeneratie van contractie-inschattingen nabij deze subruimten wordt gecompenseerd.
4. Vermijden van Uitzonderlijke Sets: Het bewijs maakt gebruik van een stopping-time iteratie die combineert:
   • Contractie-inschattingen weg van een uitzonderlijke set (waar de auxiliaire hoogte contracteert onder de actie van expanderende horocyclische subgroepen).
   • Kwantitatieve niet-divergentie en Diophantische condities om aan te tonen dat de flow de uitzonderlijke set vermijdt (waar een niet-quasi-nul rationaal twee-vlak extreem dicht bij een uitzonderlijke summand wordt gebracht).
5. Scheiding van Singuliere Bijdragen: De auteurs maken onderscheid tussen exacte rationale isotrope twee-vlakken (waar de determinant identiek nul is) en quasi-nul twee-vlakken. Zij bewijzen dat er voor determinant-irrationale roosters slechts eindig veel exacte rationale isotrope twee-vlakken zijn. De bijdrage van quasi-nul maar niet-isotrope twee-vlakken wordt getoond als verwaarloosbaar in de limiet, terwijl de exacte isotrope twee-vlakken een singuliere term toevoegen aan de asymptotische formule.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt het volgende hoofdtheorema vast (Theorema 1.1):

Laat $\Lambda < M_2(\mathbb{R})$ een Diophantisch rooster zijn dat niet determinant-rationaal is. Voor elke norm $\|\cdot\|$ op $\mathbb{R}^4$ en elke $a < b$, is het aantal roosterpunten met een niet-nul determinant:
$$N^\times_\Lambda(a, b; T) \sim \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)} (b-a)T^2.$$
Verder bestaat de limiet voor punten met een nul-determinant:
$$c^{\text{sing}}_\Lambda := \lim_{T \to \infty} T^{-2} \#\{v \in \Lambda : \|v\| < T, \det v = 0\}.$$
De totale telfunctie wordt gegeven door:
$$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.$$

Specifieke Technische Bevindingen:

• Eindigheid van Isotrope Vlakken: Voor een niet-determinant-rationaal rooster zijn er maximaal vier rationale twee-vlakken waarop de determinant identiek nul is (maximaal twee kolom-isotrope en twee rij-isotrope). Deze eindigheid is een bijzonder kenmerk van het $2 \times 2$ geval.
• Singuliere Constante: De constante $c^{\text{sing}}_\Lambda$ is strikt positief dan en slechts dan als $\Lambda$ een rang-twee $\mathbb{Z}$-submodule bevat waarop de determinant nul is. Deze is expliciet berekend als een som over deze eindige rationale isotrope twee-vlakken.
• Diophantische Conditie: Het resultaat geldt onder een "split-Diophantische" conditie, die voorkomt dat de determinantvorm te dicht wordt benaderd door rationale split kwadratische vormen. Dit is equivalent aan de niet-EWAS conditie gebruikt door Eskin–Margulis–Mozes.
• Algebraïsche Coëfficiënten: Als gevolg hiervan is het theorema van toepassing op elk rooster met algebraïsche entiteiten die niet determinant-rationaal zijn, aangezien deze automatisch voldoen aan de Diophantische conditie via Liouville-type ongelijkheden.

Betekenis en Claims
Het artikel claimt dat de primaire nieuwheid ligt in de bewijstechniek zelf, en niet in de stelling van het theorema.

• Gestroomlijnd Model: Door te werken in de $2 \times 2$ determinant-setting, bieden de auteurs een "gestroomlijnd modelgeval" voor de modified-height en avoidance methode. In deze dimensie zijn de representatietheorie en sublevel-inschattingen elementair vergeleken met hogere dimensies, terwijl de belangrijkste dynamische mechanismen nog steeds zichtbaar blijven.
• Nieuw Bewijs voor EMM: Het werk herstelt het $(2, 2)$ kwantitatieve Oppenheim-theorema van Eskin–Margulis–Mozes. De auteurs merken op dat hun aanpak verschilt van het oorspronkelijke EMM-bewijs, dat direct werkte met $K$-gemiddelden en shrinking/overlap argumenten gebruikte voor "bad sets". In tegen respect introduceert dit artikel een tweede auxiliaire gemodificeerde hoogte om aan de vereiste Margulis-type ongelijkheid te voldoen, waardoor het directe benaderen van slechte sets door rechthoeken wordt vermeden.
• Fundament voor Hogere Dimensies: De determinant-formulering wordt gepresenteerd als het eenvoudigste lid van een hogere-dimensionale determinant-waarde probleem die wordt bestudeerd in het begeleidende werk van de auteurs [7], wat suggereert dat de inzichten hier fundamenteel zijn voor het aanpakken van complexere signaturen.

Het artikel stelt geen nieuwe experimentele toepassingen of toekomstige implicaties voor, buiten de wiskundige context van dynamische systemen en de kwantitatieve theorie van kwadratische vormen. Het richt zich strikt op het vaststellen van de asymptotische telformule via de verfijnde dynamische methode.