Singular systems of linear forms over global function fields

Resumo Técnico: Sistemas Singulares de Formas Lineares sobre Campos de Funções Globais

1. O Problema e o Contexto

O artigo investiga a teoria da aproximação diofantina em campos de funções globais (global function fields), especificamente focando no conjunto de matrizes singulares.

• Definição de Singularidade: Uma matriz $A \in M_{m,n}(K_\nu)$ (onde $K_\nu$ é a completude de um campo de funções globais $K$ em relação a uma valoração $\nu$) é chamada de singular se, para qualquer $\epsilon > 0$, existir um $T_0 \geq 1$ tal que, para todo $T \geq T_0$, existam vetores $p \in R_\nu^m$ e $q \in R_\nu^n$ (onde $R_\nu$ é uma álgebra afim análoga aos inteiros $\mathbb{Z}$) satisfazendo:
  $$\|Aq + p\| \leq \epsilon T^{-n/m} \quad \text{e} \quad 0 < \|q\| \leq T.$$
• Contexto Histórico: Em 1926, Khintchine provou que o conjunto de matrizes singulares tem medida de Lebesgue zero. O desafio moderno tem sido calcular a dimensão de Hausdorff desse conjunto.
  • Para o caso real ($\mathbb{R}$), resultados recentes (Das, Fishman, Simmons, Urbański, 2024) estabeleceram que a dimensão de Hausdorff para matrizes $m \times n$ singulares é exatamente $mn - \frac{mn}{m+n}$.
  • Para campos de funções, havia poucos resultados. Este artigo visa preencher essa lacuna, provando que o limite superior conhecido para o caso real também se aplica ao contexto de campos de funções globais.

2. Metodologia

Os autores utilizam uma abordagem baseada na dinâmica homogênea e na correspondência de Dani, adaptando métodos desenvolvidos para o caso real (especificamente o trabalho de Kleinbock, Kadyrov, Lim, e Mohammadi - [KKLM17]) para o ambiente não-arquimediano de campos de funções.

Os pilares metodológicos são:

1. Correspondência de Dani: A singularidade de uma matriz é mapeada para o comportamento de trajetórias no espaço de órbitas de reticulados (lattices) unimodulares. Uma matriz é singular se e somente se a trajetória associada no espaço homogêneo $X = G/\Gamma$ (onde $G = SL_{m+n}(K_\nu)$ e $\Gamma = SL_{m+n}(R_\nu)$) "escapa" para o infinito (diverge).
2. Funções de Margulis (Margulis Functions): O núcleo da prova é a construção de uma função de Lyapunov (função de Margulis) que satisfaz uma propriedade de contração sob a ação de um fluxo diagonal $g_t$. Essa função mede a "pequenez" dos subreticulados de um reticulado.
3. Álgebra Linear sobre Campos Locais Não-Arquimedianos:
   • Diferentemente do caso real, onde se usa medidas Gaussianas para estimativas integrais, os autores utilizam a medida de Haar restrita ao anel de inteiros $O_\nu$.
   • Eles provam que propriedades análogas às das medidas Gaussianas (como momentos de vetores decomponíveis em álgebras exteriores) são válidas para a medida de Haar neste contexto.
   • Um desafio técnico significativo foi lidar com o operador de dualidade de Hodge. No caso real, o operador de Hodge é equivariante sob o grupo ortogonal. Em campos de funções, isso não se mantém para $SL_d(O_\nu)$. Os autores contornam isso aplicando a dualidade a subgrupos horoesféricos e utilizando estimativas de álgebra linear adaptadas.
4. Submodularidade: A prova assume que $R_\nu$ é um Domínio de Ideais Principais (DIP). Essa hipótese é necessária para utilizar a submodularidade da função de covolume de reticulados, estabelecida em trabalho anterior dos autores ([Bang25]).

3. Contribuições Chave

• Estimativas de Medida (Seção 3): Os autores estabelecem estimativas precisas para integrais sobre $M_{m,n}(O_\nu)$ envolvendo normas de produtos exteriores (wedge products) de vetores aleatórios distribuídos segundo a medida de Haar. Eles provam que a integral de $\|g_t u_s v\|^{-\beta}$ decai exponencialmente com o tempo $t$, análogo ao caso real, mas com constantes e técnicas de prova adaptadas à métrica ultramétrica.
• Construção da Função de Margulis (Seção 5): Eles constroem uma função $\tilde{\alpha}$ no espaço de reticulados que satisfaz uma desigualdade de contração esperada:
  $$\int \tilde{\alpha}(g_t u_s x) d\mu(s) \leq C q^{-mnt} \tilde{\alpha}(x)$$
  para $x$ fora de um conjunto compacto. Isso permite controlar a taxa de escape das trajetórias.
• Cobertura e Dimensão de Hausdorff (Seção 6): Utilizando as propriedades de contração, eles derivam estimativas de cobertura para o conjunto de matrizes que causam escape médio ("escaping on average"). Isso leva diretamente ao limite superior da dimensão de Hausdorff.

4. Resultados Principais

O resultado central é o Teorema 1.1:

Teorema: Assumindo que $R_\nu$ é um Domínio de Ideais Principais, para quaisquer inteiros $m, n \geq 1$, a dimensão de Hausdorff do conjunto de matrizes singulares $Sing(m, n)$ em $M_{m,n}(K_\nu)$ satisfaz:
$$\dim_H Sing(m, n) \leq mn - \frac{mn}{m+n}.$$

Além disso, os autores provam uma versão mais forte (Proposição 6.5):
Para qualquer $\delta \in [0, 1]$, o conjunto de pontos no espaço de reticulados que "escapam em média" com taxa $\delta$ tem dimensão de Hausdorff limitada por:
$$\dim_H \{ x \in X : x \text{ escapa em média com taxa } \delta \} \leq \dim X - \delta \frac{mn}{m+n}.$$
O Teorema 1.1 segue como caso particular onde $\delta = 1$ (escape total, correspondente à singularidade).

5. Significado e Impacto

• Generalização para Campos de Funções: Este trabalho estende um dos resultados mais profundos da teoria diofantina moderna (a determinação da dimensão de Hausdorff de matrizes singulares) do contexto dos números reais para o contexto de campos de funções globais.
• Robustez da Correspondência de Dani: Demonstra que a conexão entre dinâmica homogênea e aproximação diofantina é robusta e se mantém em ambientes não-arquimedianos, desde que as ferramentas analíticas (como estimativas de integrais e funções de Lyapunov) sejam adequadamente adaptadas.
• Técnicas Inovadoras: A substituição de medidas Gaussianas por medidas de Haar e o tratamento da não-equivariância do operador de Hodge em subgrupos compactos de campos de funções representam avanços técnicos significativos que podem ser aplicados a outros problemas em dinâmica homogênea sobre corpos locais não-arquimedianos.
• Limitação: A prova atual depende da hipótese de que o anel $R_\nu$ é um Domínio de Ideais Principais (classe de número 1). Remover essa restrição para campos de funções com classe de número não trivial permanece um problema aberto.

Em suma, o artigo confirma que a "fórmula" para a dimensão de Hausdorff de sistemas singulares é universal, válida tanto para $\mathbb{R}$ quanto para campos de funções globais, consolidando a unidade profunda entre a teoria dos números e a dinâmica em diferentes contextos aritméticos.