Singular systems of linear forms over global function fields

Titel: Singular Systemen van Lineaire Vormen over Globale Functielichamen

Auteurs: Gukyeong Bang, Taehyeong Kim en Seonhee Lim

1. Probleemstelling en Context

Het artikel onderzoekt de Diophantische benadering in de context van globale functielichamen (global function fields), specifiek over een eindig lichaam $\mathbb{F}_q$. Het centrale object van studie zijn singuliere matrices.

• Definitie: Een $m \times n$ matrix $A$ over een lokaal lichaam $K_\nu$ (de voltooiing van een globaal functielichaam $K$) wordt singulier genoemd als voor elke $\epsilon > 0$ er een $T_0 \geq 1$ bestaat zodanig dat voor alle $T \geq T_0$ er vectoren $p \in R_\nu^m$ en $q \in R_\nu^n$ bestaan die voldoen aan:
  $$\|Aq + p\| \leq \epsilon T^{-n/m} \quad \text{en} \quad 0 < \|q\| \leq T$$
  waarbij $R_\nu$ de affiene algebra is van een curve (analoog aan de gehele getallen $\mathbb{Z}$ in $\mathbb{R}$) en $\|\cdot\|$ de supremum-norm is.

• Achtergrond: In de klassieke theorie over reële getallen ($\mathbb{R}$) is bewezen dat de verzameling van singuliere matrices Lebesgue-maat nul heeft. De berekening van de Hausdorff-dimensie van deze verzameling was echter een langdurige uitdaging. Recent werk (Das, Fishman, Simmons, Urbański, 2024) heeft de scherpe bovengrens voor de Hausdorff-dimensie van $m \times n$ singuliere matrices over $\mathbb{R}$ vastgesteld op:
  $$mn - \frac{mn}{m+n}$$

• Het gat in de literatuur: Er zijn tot nu toe weinig resultaten bekend over singuliere verzamelingen in functielichamen. Dit artikel vult dat gat in door de bovengrens voor de Hausdorff-dimensie van singuliere matrices over globale functielichamen te bepalen.

2. Methodologie

De auteurs gebruiken een combinatie van homogene dynamica, Diophantische benadering en lineaire algebra over niet-Archimedische velden. De kern van hun aanpak is als volgt:

1. Dani's Correspondentie:
   Ze maken gebruik van de correspondentie tussen singuliere matrices en divergente banen in de ruimte van roosters (lattices). Een matrix $s$ is singulier dan en slechts dan als de baan $\{g_t u_s \Gamma : t \in \mathbb{Z}_{\geq 1}\}$ in de homogene ruimte $X = G/\Gamma$ divergeert (elke compacte deelverzameling verlaat). Hierbij is $G = SL_{m+n}(K_\nu)$, $\Gamma = SL_{m+n}(R_\nu)$, en $g_t$ een diagonale stroom.

2. Constructie van een Margulis-functie:
   Om de dimensie te schatten, construeren de auteurs een specifieke height function (hoogtefunctie), bekend als een Margulis-functie (geïnspireerd door [EMM98]). Deze functie moet een zekere contractie-eigenschap vertonen onder de actie van de stroom $g_t$ en de horosferische subgroep $U$.

   • De functie $\alpha_i(x)$ wordt gedefinieerd gebaseerd op de norm van decomposeerbare vectoren (wedge products) die corresponderen met $i$-dimensionale rationale deelruimten van een rooster.
   • De hoofdstap is het bewijzen dat de verwachting van deze functie onder integratie over de subgroep $U$ afneemt met een specifieke snelheid.

3. Lineaire Algebra en Maattheorie:
   Een cruciaal verschil met eerdere werken over $\mathbb{R}$ (zoals [KKLM17]) is het gebruik van maattheorie.

   • In plaats van Gaussische verdelingen (die in $\mathbb{R}$ worden gebruikt), gebruiken de auteurs de beperkte Haar-maat $\mu_d$ op $O_\nu^d$.
   • Ze bewijzen dat analoge eigenschappen van de Gaussische maat gelden voor de Haar-maat in deze niet-Archimedische setting (Theorema 3.2). Dit omvat schattingen van de maat van verzamelingen waar de norm van een wedge-product klein is.
   • Ze gebruiken Hodge-dualiteit om de contractie-eigenschappen voor hoge dimensies ($i > m$) te reduceren tot lage dimensies, hoewel de Hodge-dual operator hier niet equivariant is onder de orthogonale groep $SL_d(O_\nu)$ zoals in het reële geval. Ze omzeilen dit door de dualiteit toe te passen op horosferische subgroepen.

4. Submodulariteit:
   De analyse vereist dat $R_\nu$ een hoofdideaaldomein (PID) is. Deze aanname is noodzakelijk om de submodulariteit van de covolume-functie van roosters te gebruiken (een resultaat uit eerdere werken van Bang), wat essentieel is voor het bewijs van de contractie-eigenschappen.

3. Belangrijkste Resultaten

Het hoofdstuk van het artikel is Stelling 1.1:

Stelling 1.1: Neem aan dat $R_\nu$ een hoofdideaaldomein is. Voor $m, n \in \mathbb{Z}_{\geq 1}$ geldt voor de Hausdorff-dimensie van de verzameling van singuliere matrices $Sing(m, n)$:
$$\dim_H Sing(m, n) \leq mn - \frac{mn}{m+n}$$

Dit resultaat toont aan dat de bovengrens voor de Hausdorff-dimensie in functielichamen identiek is aan de bekende bovengrens in het reële geval.

Versterkte Resultaten:
De auteurs bewijzen een sterker resultaat (Propositie 6.5) over de dimensie van de verzameling van roosters die "gemiddeld ontsnappen" (escape on average). Voor een gegeven $\delta \in [0, 1]$ is de Hausdorff-dimensie van de verzameling van matrices die $\delta$-ontsnappen op gemiddeld:
$$\dim_H \leq mn - \delta \frac{mn}{m+n}$$
Dit impliceert dat de bovengrens scherp is voor het geval $\delta=1$ (singuliere matrices).

4. Significatie en Bijdrage

• Unificatie van theorieën: Het artikel toont aan dat de diepe structurele eigenschappen van singuliere Diophantische benadering (zoals de dimensie van de singuliere verzameling) universeel zijn voor zowel reële getallen als functielichamen, ondanks de fundamentele verschillen in de onderliggende meetkunde en analyse (Archimedisch vs. niet-Archimedisch).
• Technische innovatie: De auteurs slagen erin om de complexe techniek van Margulis-functies en homogene dynamica over te brengen naar de wereld van functielichamen. Ze ontwikkelen nieuwe technieken om de beperkte Haar-maat te gebruiken als vervanging voor Gaussische maten en passen Hodge-dualiteit aan voor niet-Archimedische velden.
• Voorwaarde voor PID: Het artikel identificeert de noodzaak van een triviale ideaalklassegroep (PID) voor de huidige bewijstechniek. Dit markeert een duidelijke grens voor de huidige methode en suggereert dat verdere generalisatie naar velden met een niet-triviale klassegroep nieuwe inzichten vereist.

Conclusie:
Dit werk is een mijlpaal in de Diophantische benadering over functielichamen. Het bevestigt dat de "schaduw" van singuliere matrices in functielichamen dezelfde fractale dimensie heeft als in de reële wereld, en levert een robuust raamwerk voor toekomstig onderzoek in homogene dynamica over niet-Archimedische velden.