On indefinite integral ternary quadratic forms

Este artículo resuelve dos problemas planteados en 1990 por Margulis y Serre sobre formas cuadráticas ternarias integrales indefinidas, desarrollando nuevas herramientas para manejar la alta ramificación en sumas ponderadas por invariantes diofánticos.

Lo esencial

Imagina que tienes un juego de bloques de construcción infinitos, pero en lugar de formas geométricas simples, tus bloques son fórmulas matemáticas llamadas "formas cuadráticas ternarias". Estas fórmulas son como recetas que toman tres números (digamos, $x, y, z$) y te devuelven un resultado.

El papel que acabas de leer es como un mapa de tesoro escrito por cuatro exploradores matemáticos (Gamburd, Ghosh, Sarnak y Whang) que han resuelto dos misterios antiguos sobre estas recetas, específicamente sobre aquellas que pueden dar resultados positivos y negativos (llamadas "indefinidas").

Aquí tienes la explicación de sus descubrimientos, usando analogías de la vida real:

1. El Primer Misterio: El "Spectrum de Markoff" (La búsqueda de los valores más pequeños)

La situación:
Imagina que tienes una máquina que toma tres números enteros (como 1, 2, 3) y los mete en una de tus "recetas" (fórmulas). La receta te devuelve un número. Como los números pueden ser positivos o negativos, a veces la receta te da un resultado muy grande y a veces muy pequeño.

Los matemáticos se preguntaron: ¿Cuál es el valor absoluto más pequeño que puede dar esta receta si no es cero? (Es decir, ¿cuán cerca de cero podemos llegar sin tocarlo exactamente?).

El problema antiguo:
Durante mucho tiempo, se pensó que si mirabas todas las recetas posibles, los "valores más pequeños" que encontrabas formaban una lista especial. Alguien llamado Martini miró los primeros miles de recetas y pensó: "¡Oh! Parece que la cantidad de recetas que tienen un valor pequeño crece como el cuadrado del tamaño ($X^2$)".

El descubrimiento de los autores:
Ellos dijeron: "¡Espera! Los datos de Martini eran como mirar solo las primeras páginas de un libro gigante y asumir que el resto es igual".

Usando herramientas muy sofisticadas (como un microscopio matemático para ver detalles ocultos), descubrieron que la realidad es diferente. La cantidad de recetas con valores pequeños no crece tan rápido. Crece un poco más lento, como si fuera $X \times \log(X)$.

La analogía:
Imagina que estás contando cuántas personas en una ciudad tienen un número de teléfono que termina en "00". Martini miró una calle y pensó que había muchos. Los autores miraron toda la ciudad y se dieron cuenta de que, aunque hay muchos, la densidad es un poco menor de lo que se pensaba. Han calculado exactamente cuántos hay y han descubierto que la fórmula de Martini era un poco exagerada.

2. El Segundo Misterio: Las Recetas "Isotrópicas" (Las que tocan el cero)

La situación:
Ahora, imagina una receta especial. Esta receta tiene un superpoder: puede dar exactamente cero usando números enteros (distintos de cero). Por ejemplo, si la receta es $x^2 - y^2$, y usas $x=1, y=1$, el resultado es 0. A estas recetas se les llama "isotrópicas".

El problema antiguo:
El famoso matemático Jean-Pierre Serre se preguntó en 1990: "Si miro una caja gigante llena de todas las recetas posibles, ¿cuántas de ellas tienen este superpoder de dar cero?".
Antes, solo sabíamos que había "muchas" (una cantidad que crece muy rápido), pero no sabíamos la densidad exacta. Era como saber que hay muchos peces en el océano, pero no saber cuántos peces hay por metro cúbico de agua.

El descubrimiento de los autores:
Ellos lograron calcular esa densidad exacta. Descubrieron que la cantidad de recetas que dan cero sigue una ley muy precisa que depende de dos cosas:

1. El tamaño de la caja donde las buscas.
2. Un factor misterioso que depende de la "probabilidad" de que una receta sea cero en cada "sistema numérico" (como si miraras la receta bajo lentes rojos, azules, verdes, etc., en diferentes mundos matemáticos).

La analogía:
Imagina que tienes un bosque gigante. Quieres saber cuántos árboles tienen un nido de pájaros perfecto.

• Antes, solo sabíamos que había muchos nidos.
• Ahora, los autores han creado un mapa que dice: "Si miras un área de tamaño $X$, encontrarás exactamente $X^6$ dividido por la raíz cuadrada del logaritmo de $X$ nidos".
• Además, han calculado un "factor de probabilidad" ($\varpi$) que actúa como un filtro. Es como si dijeran: "En el mundo de los números pares, el 30% de los árboles tienen nidos; en el de los impares, el 40%". Sumando todas estas probabilidades locales, obtienen la respuesta global exacta.

¿Cómo lo hicieron? (Las herramientas mágicas)

Para resolver estos rompecabezas, los autores no solo usaron matemáticas básicas. Crearon y refinaron herramientas complejas:

1. Los "Paquetes" (Packets): Imagina que en lugar de estudiar cada receta individualmente (que son millones), las agrupan en "cajas" o "paquetes" basadas en sus similitudes ocultas. Esto les permite contar grupos enteros de una vez en lugar de una por una.
2. La Dinámica Homogénea: Usaron ideas de cómo se mueven objetos en el espacio (como planetas o fluidos) para entender cómo se distribuyen estas recetas matemáticas. Es como usar la física para predecir dónde caerán las hojas en un río.
3. El Tamiz (Sieve): Usaron un tamiz matemático (como una coladera) para separar las recetas que tienen propiedades especiales de las que no, permitiéndoles contar solo las que importan.

En resumen

Este paper es un hito porque:

• Corrigió una suposición: Demostró que la distribución de los valores pequeños de estas fórmulas es más sutil de lo que se creía.
• Resolvió un enigma de 30 años: Dio la fórmula exacta para contar cuántas fórmulas pueden dar cero, algo que Serre había planteado pero no resuelto.
• Unificó conceptos: Conectó áreas muy diferentes de las matemáticas (teoría de números, geometría y dinámica) para resolver problemas que parecían imposibles.

Es como si, después de siglos de intentar contar las estrellas a simple vista, estos autores hubieran construido un telescopio perfecto que no solo cuenta las estrellas, sino que también explica exactamente por qué se agrupan de esa manera.

Resumen técnico

Resumen Técnico

1. Planteamiento del Problema

El artículo aborda dos problemas fundamentales y de larga data en la teoría de números y la dinámica homogénea, relacionados con las formas cuadráticas ternarias indefinidas enteras (matrices simétricas $3 \times 3$ con coeficientes enteros y determinante no nulo).

1. El Espectro de Markoff (Problema de Margulis):

   • Se define la constante $\mu(F)$ para una forma $F$ como $\mu(F) = \frac{1}{|D(F)|} \left( \inf_{x \in \mathbb{Z}^3 \setminus \{0\}} |F(x)| \right)^3$, donde $D(F)$ es el determinante.
   • El conjunto de valores $\mu(F)$ forma el "espectro de Markoff".
   • Pregunta: ¿Cuál es el comportamiento asintótico del número de valores $\mu_j$ en el espectro que son mayores o iguales a $1/X$, denotado como$MAR(X)$, cuando$X \to \infty$?
   • Contexto: Markoff determinó los primeros valores discretos. Margulis (1987) probó que el espectro es discreto y que $MAR(X)$ es finito. Martini (1996) conjeturó basándose en datos numéricos que $MAR(X) \approx 1.2 X^2$.

2. Densidad de Formas Isótropas (Problema de Serre):

   • Una forma es isótropa si representa cero no trivialmente en los enteros ($\kappa(F) = \inf |F(x)| = 0$).
   • Pregunta: ¿Cuál es la densidad asintótica de las formas primitivas e isótropas dentro de un dominio convexo $\Omega$ dilatado por $X$?
   • Contexto: Serre (1990) y Hooley (2007) establecieron cotas superiores e inferiores usando métodos de criba, mostrando que el conteo es del orden $X^6 / \sqrt{\log X}$. Sin embargo, no se conocía la constante exacta ni la fórmula asintótica precisa.

2. Metodología y Herramientas Desarrolladas

Los autores desarrollan un marco unificado que combina teoría de números analítica, geometría de números y dinámica homogénea.

• Descomposición en "Paquetes" (Packets):

  • Introducen la noción de paquetes raíz (root packets). Descomponen el determinante $D$ de una forma en $D = r \cdot s$, donde $s$ es libre de cuadrados (ramificación suave) y $r$ es una parte "altamente ramificada" (donde $p^2 | r$).
  • Los paquetes agrupan clases de formas locales en los primos que dividen a $r$. Esto permite manejar la complejidad de la ramificación alta, especialmente en $p=2$.
  • Utilizan un orden parcial sobre los paquetes para particionar las clases de formas y géneros.

• Análisis de Invariantes Diophánticos:

  • Para el problema de Markoff, el desafío principal es controlar $\kappa(F)$ (el mínimo absoluto representado).
  • Refinan los métodos de Watson (1950s) incorporando cotas de Burgess para sumas de caracteres. Esto permite acotar $\kappa(F)$ en términos de los factores primos de $D(F)$, específicamente $\kappa(F) \ll |P(D)|^{1/4} |D|^\epsilon$, donde $P(D)$ es el producto de primos $p$ tales que $p^2 | D$.

• Dinámica Homogénea y Fórmulas de Masa:

  • Para el problema isótropo, utilizan resultados de equidistribución de ciclos periódicos en espacios de homogeneidad (trabajo de Eskin, Oh, Ratner).
  • Reducen el conteo global a una suma sobre géneros isótropos, utilizando la fórmula de masa de Siegel para convertir la suma de invariantes aritméticos en una suma de masas locales.
  • Demuestran que para formas isótropas, la función de masa asociada es multiplicativa en el determinante, lo cual es una propiedad excepcional que no se cumple para formas anisótropas.

• Método de Landau-Selberg-Delange:

  • Aplican esta técnica avanzada para obtener asintóticas de sumas de funciones multiplicativas (como el número de clases o géneros) sobre enteros con restricciones de ramificación.

3. Contribuciones Clave y Resultados Principales

A. Resolución del Problema de Markoff (Teorema 1.1)

• Resultado: Refutan la conjetura de Martini ($X^2$). Demuestran que:
  $$MAR(X) \sim \gamma X \log X$$
  donde $\gamma$ es una constante positiva explícita dada por una serie infinita convergente.
• Significado: El crecimiento es mucho más lento de lo que sugerían los datos numéricos iniciales. La discrepancia se debe a que los datos numéricos no alcanzaban el régimen asintótico donde los efectos de la ramificación alta y la distribución de primos dominan.
• Mecanismo: La prueba muestra que la contribución dominante proviene de formas cuyo determinante tiene factores primos cuadrados (ramificación alta), y que el número de tales formas crece como $X \log X$.

B. Densidad de Formas Isótropas (Teorema 1.3)

• Resultado: Establecen una fórmula asintótica precisa para el número de formas primitivas isótropas en un dominio $\Omega$:
  $$ISO_{prim}(X\Omega) \sim \varpi \frac{\text{Vol}(\Omega_{iso}) X^6}{\sqrt{\log X}}$$
  donde $\varpi$ es una constante explícita dada por un producto de densidades $p$-ádicas locales.
• Avance: A diferencia de trabajos anteriores que solo daban cotas, aquí se obtiene la constante exacta y se demuestra que la densidad es natural.
• Detalle Técnico: La constante $\varpi$ se calcula explícitamente como un producto de Euler sobre todos los primos, involucrando probabilidades $p$-ádicas de que una matriz simétrica sea primitiva e isótropa.

C. Asintóticas de Números de Clase y Géneros (Resultados A, B, C, D)

• Demuestran que el número total de géneros $g(d)$ y clases $h(d)$ con determinante $\le X$ crece como:
  $$\sum_{d \le X} g(d) \sim \sum_{d \le X} h(d) \sim \frac{19}{20} \frac{\zeta(2)}{\zeta(4)} X \log X$$
• Muestran que "casi todos" los géneros tienen número de clase igual a 1 (en el sentido de densidad).
• Establecen una relación profunda entre la suma ponderada de $\kappa(F)$ y la estructura de los paquetes raíz, demostrando que la suma sobre anisótropas también sigue el orden $X \log X$.

4. Significado e Impacto

1. Corrección de Conjeturas Numéricas: El trabajo ilustra la peligrosidad de extrapolar conjeturas basadas en datos numéricos finitos en teoría de números, mostrando que el comportamiento asintótico real ($X \log X$) difiere cualitativamente del observado en rangos bajos ($X^2$).
2. Unificación de Métodos: El artículo es un ejemplo magistral de cómo combinar la teoría de formas cuadráticas clásica (géneros, spinor géneros, invariantes locales) con herramientas modernas de dinámica homogénea y cribas analíticas.
3. Herramientas Nuevas: La introducción de la teoría de "paquetes raíz" y el análisis detallado de la ramificación alta en primos (especialmente $p=2$) proporciona un marco robusto para estudiar problemas similares en otras dimensiones o tipos de formas.
4. Cálculo de Constantes: La capacidad de calcular explícitamente constantes globales ($\gamma$ y $\varpi$) a partir de productos locales (densidades $p$-ádicas) es un logro técnico significativo, conectando la aritmética local con la estadística global.

En resumen, este artículo cierra dos problemas abiertos desde 1990, proporcionando fórmulas asintóticas precisas y revelando la estructura profunda subyacente en la distribución de formas cuadráticas ternarias indefinidas.