Singular systems of linear forms over global function fields

Resumen Técnico: Sistemas Singulares de Formas Lineales sobre Campos de Funciones Globales

1. Planteamiento del Problema

El artículo aborda el problema de la aproximación diofántica en el contexto de los campos de funciones globales (análogos a los campos de números, pero definidos sobre curvas algebraicas sobre cuerpos finitos).

• Definición de Singularidad: Una matriz $A \in M_{m,n}(K_\nu)$ se considera singular si, para cualquier $\epsilon > 0$, existe un umbral $T_0$ tal que para todo $T \ge T_0$, existen vectores $p \in R_\nu^m$ y $q \in R_\nu^n$ (donde $R_\nu$ es el anillo de enteros afín) que satisfacen:
  $$\|Aq + p\| \le \epsilon T^{-n/m} \quad \text{y} \quad 0 < \|q\| \le T.$$
  Aquí, $\|\cdot\|$ denota la norma sup en el campo local $K_\nu$.
• Objetivo: Determinar la dimensión de Hausdorff del conjunto de matrices singulares, denotado como $\text{Sing}(m, n)$.
• Contexto Histórico:
  • En el caso de los números reales ($\mathbb{R}$), Khintchine (1926) demostró que el conjunto tiene medida de Lebesgue cero.
  • Recientemente, Das, Fishman, Simmons y Urbański (2024) demostraron que la dimensión de Hausdorff en $\mathbb{R}$ es exactamente $mn - \frac{mn}{m+n}$.
  • En campos de funciones, existían pocos resultados. El objetivo de este trabajo es establecer un límite superior para la dimensión de Hausdorff en este contexto, demostrando que coincide con el límite superior conocido en el caso real.

2. Metodología

Los autores emplean una combinación de dinámica homogénea, álgebra lineal sobre cuerpos no arquimedianos y teoría de la medida.

• Correspondencia de Dani: Utilizan la conexión clásica entre la aproximación diofántica y la dinámica homogénea. Una matriz es singular si y solo si la trayectoria de un punto en el espacio de retículos $X = G/\Gamma$ (donde $G = \text{SL}_{m+n}(K_\nu)$ y $\Gamma = \text{SL}_{m+n}(R_\nu)$) bajo un flujo diagonal $g_t$ se "escapa" del conjunto compacto (diverge).
• Funciones de Margulis: El núcleo de la prueba es la construcción de una función de altura de Margulis ($\bar{\alpha}$) que satisface una propiedad de contracción. Esta función mide la "pequeñez" de los subretículos racionales en el espacio de retículos unimodulares.
• Desafío Técnico (Medida vs. Gaussiana):
  • En el trabajo previo sobre $\mathbb{R}$ ([KKLM17]), se utilizó la medida gaussiana para estimar integrales en el nivel de álgebra lineal.
  • En el contexto de campos de funciones (cuerpos no arquimedianos), no existe una medida gaussiana natural. Los autores reemplazan la medida gaussiana por la medida de Haar restringida ($\mu$) al anillo de enteros $O_\nu$.
  • Demuestran que la medida de Haar comparte propiedades análogas clave con la gaussiana, permitiendo realizar las estimaciones integrales necesarias.
• Dualidad de Hodge: Debido a que el operador de dualidad de Hodge no es equivariante bajo el grupo ortogonal ultramétrico $\text{SL}_d(O_\nu)$ (a diferencia del caso real), los autores desarrollan una versión adaptada de la dualidad para subgrupos horoesféricos, lo cual es crucial para extender los resultados de dimensiones bajas a dimensiones altas.

3. Contribuciones Clave

1. Estimaciones de Álgebra Lineal (Secciones 3 y 4):

   • Demuestran una propiedad de contracción para integrales de potencias negativas de la norma de vectores decomponibles bajo la acción del flujo diagonal y la medida de Haar.
   • Teorema 3.2: Establecen cotas precisas para la medida de Haar de conjuntos de matrices cuyas combinaciones exteriores tienen normas acotadas. Esto reemplaza los lemas de estimación gaussiana del caso real.
   • Proposición 3.7: Demuestran que la integral de la norma inversa de un vector transformado por el flujo y la medida de Haar decae exponencialmente, análogo al resultado de [KKLM17].

2. Construcción de la Función de Margulis (Sección 5):

   • Bajo la hipótesis de que $R_\nu$ es un dominio de ideales principales (PID), utilizan la submodularidad de la función de covolumen (establecida en trabajos previos de Bang) para construir una función de Lyapunov ($\bar{\alpha}$) que satisface una desigualdad de contracción esperada:
     $$\int \bar{\alpha}(g_t u_s x)^\beta d\mu(s) \le C q^{-mnt} \bar{\alpha}(x)^\beta + \text{términos de orden superior}.$$

3. Estimaciones de Cubrimiento (Sección 6):

   • Utilizan la función de Margulis para acotar el número de bolas necesarias para cubrir el conjunto de matrices que generan trayectorias que "escapan en promedio" (escape on average).
   • Demuestran que el conjunto de matrices singulares está contenido en el conjunto de puntos que escapan con tasa $\delta = 1$.

4. Resultados Principales

• Teorema 1.1 (Resultado Principal):
  Asumiendo que $R_\nu$ es un dominio de ideales principales, para cualquier $m, n \ge 1$, la dimensión de Hausdorff del conjunto de matrices singulares $\text{Sing}(m, n)$ sobre el campo de funciones global satisface:
  $$\dim_H \text{Sing}(m, n) \le mn - \frac{mn}{m+n}.$$
  Este resultado coincide con el límite superior (y ahora conocido como exacto) en el caso de los números reales.

• Proposición 6.5 (Resultado más fuerte):
  Los autores demuestran un resultado más general sobre la dimensión de Hausdorff de los puntos que escapan en promedio con una tasa $\delta \in [0, 1]$:
  $$\dim_H \{ s \in M_{m,n}(K_\nu) : u_s x \text{ escapa en promedio con tasa } \delta \} \le mn - \delta \frac{mn}{m+n}.$$
  Esto implica que la dimensión de Hausdorff del conjunto de matrices singulares (donde $\delta=1$) está acotada superiormente por $mn - \frac{mn}{m+n}$.

5. Significado e Impacto

• Unificación de Teorías: El trabajo cierra la brecha entre la teoría de aproximación diofántica en campos de números reales y en campos de funciones globales. Muestra que, a pesar de las diferencias fundamentales en la estructura métrica (archimediana vs. no arquimediana) y en las herramientas de medida (Gaussiana vs. Haar), la dimensión fractal de los conjuntos singulares sigue la misma ley universal.
• Innovación Técnica: La sustitución de la medida gaussiana por la medida de Haar restringida y la demostración de que las propiedades de contracción se mantienen es un avance metodológico significativo. Esto abre la puerta a aplicar técnicas de dinámica homogénea en otros contextos de cuerpos locales no arquimedianos donde no existen medidas gaussianas.
• Limitaciones y Futuro: El resultado actual requiere que el anillo de enteros $R_\nu$ sea un dominio de ideales principales (clase de número 1). El artículo sugiere que la submodularidad del covolumen es la propiedad clave necesaria, lo que podría permitir extender el resultado a campos de funciones con clase de número mayor en trabajos futuros.

En conclusión, este artículo establece un límite superior óptimo para la dimensión de Hausdorff de sistemas singulares en campos de funciones globales, utilizando una adaptación sofisticada de la dinámica homogénea y la teoría de medidas no arquimedianas.