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

Resumen Técnico: Oppenheim Cuantitativo en Firma (2, 2) mediante Valores de Determinante

Planteamiento del Problema
El artículo aborda el problema de Oppenheim cuantitativo para formas cuadráticas indefinidas de firma $(2, 2)$. La conjetura de Oppenheim clásica, demostrada por Margulis, afirma que los valores de una forma cuadrática irracional indefinida sobre vectores enteros son densos en $\mathbb{R}$. El refinamiento cuantitativo pregunta por el comportamiento asintótico de la función de conteo:
$$N_Q(a, b; T) := \#\{v \in \mathbb{Z}^n : \|v\| < T, a < Q(v) < b\}$$
cuando $T \to \infty$. Si bien esto fue establecido para firmas superiores por Dani–Margulis y Eskin–Margulis–Mozes (EMM), las firmas bajas $(2, 1)$ y $(2, 2)$ requieren hipótesis diofánticas adicionales para excluir redes que sean demasiado bien aproximadas por formas racionales. El caso $(2, 2)$ fue probado previamente por Eskin–Margulis–Mozes. Este artículo proporciona una nueva prueba del caso $(2, 2)$ al reformular el problema en términos de valores de determinante en redes en $M_2(\mathbb{R})$.

Metodología
Los autores reformulan el problema utilizando la identificación de $\mathbb{R}^4$ con $M_2(\mathbb{R})$, donde la forma cuadrática es el determinante:
$$Q_0 \begin{pmatrix} x & y \\ z & w \end{pmatrix} = xw - yz.$$
El problema se transforma así en contar puntos de red $\Lambda < M_2(\mathbb{R})$ con valores de determinante en un intervalo específico. La prueba emplea la estrategia de altura modificada y evitación, un enfoque dinámico desarrollado previamente en el trabajo de los autores sobre el caso $(2, 1)$.

Componentes metodológicos clave:

1. Configuración Dinámica: El problema se analiza en el espacio de redes unimodulares $X = SL_4(\mathbb{R})/SL_4(\mathbb{Z})$. La acción del grupo $H = SL_2(\mathbb{R}) \otimes SL_2(\mathbb{R})$ corresponde a la acción natural en $M_2(\mathbb{R})$.
2. Funciones de Altura Modificadas: La función de altura estándar $\alpha(\Delta)$, que mide el tamaño del vector no nulo más pequeño en las potencias exteriores de la red, falla al no satisfacer los límites de momento uniformes requeridos en el grado exterior crítico 2 debido a la presencia de planos racionales "cuasi-nulos". Los autores introducen una altura modificada $\tilde{\alpha}_{\eta, M}$ que omite los planos racionales de dos dimensiones cuyos vectores de Plücker son "cuasi-nulos" (es decir, se encuentran muy cerca de los submódulos excepcionales $M_c$ o $M_r$).
3. Altura Auxiliar y Contracción: Para probar los límites de momento para la altura modificada, se introduce una altura auxiliar $\hat{\alpha}_{\eta, M, \theta}$. Esta altura incorpora una función de peso $\phi_\theta$ que penaliza la proximidad a los submódulos excepcionales, compensando la degeneración de las estimaciones de contracción cerca de estos subespacios.
4. Evitación de Conjuntos Excepcionales: La prueba utiliza una iteración de tiempo de parada que combina:
   • Estimaciones de contracción lejos de un conjunto excepcional (donde la altura auxiliar se contrae bajo la acción de subgrupos horosféricos expansivos).
   • No divergencia cuantitativa y condiciones diofánticas para mostrar que el flujo evita el conjunto excepcional (donde un plano racional no-cuasi-nulo es llevado extremadamente cerca de un sumando excepcional).
5. Separación de Contribuciones Singulares: Los autores distinguen entre planos isotrópicos racionales exactos (donde el determinante se anula identicamente) y planos cuasi-nulos. Demuestran que, para redes de determinante irracional, existen solo finitos planos isotrópicos racionales exactos. Se muestra que la contribución de los planos no-isotrópicos pero cuasi-nulos desaparece en el límite, mientras que los planos isotrópicos exactos aportan un término singular a la fórmula asintótica.

Contribuciones Clave y Resultados
El artículo establece el siguiente teorema principal (Teorema 1.1):

Sea $\Lambda < M_2(\mathbb{R})$ una red diofántica que no es determinante-racional. Para cualquier norma $\|\cdot\|$ en $\mathbb{R}^4$ y cualquier $a < b$, el número de puntos de red con determinante no nulo satisface:
$$N^\times_\Lambda(a, b; T) \sim \frac{C_{\|\cdot\|}}{\text{covol}(\Lambda)} (b-a)T^2.$$
Además, el límite para puntos con determinante cero existe:
$$c^{\text{sing}}_\Lambda := \lim_{T \to \infty} T^{-2} \#\{v \in \Lambda : \|v\| < T, \det v = 0\}.$$
La función de conteo total viene dada por:
$$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.$$

Hallazgos Técnicos Específicos:

• Finitud de Planos Isotrópicos: Para una red no determinante-racional, existen a lo sumo cuatro planos racionales de dos dimensiones sobre los cuales el determinante se anula identicamente (a lo sumo dos columna-isotrópicos y dos fila-isotrópicos). Esta finitud es una característica especial del caso $2 \times 2$.
• Constante Singular: La constante $c^{\text{sing}}_\Lambda$ es estrictamente positiva si y solo si $\Lambda$ contiene un submódulo de $\mathbb{Z}$ de rango dos sobre el cual el determinante se anula. Esta se computa explícitamente como una suma sobre estos finitos planos isotrópicos racionales.
• Condición Diofántica: El resultado se sostiene bajo una condición "split-diofántica", que evita que la forma de determinante sea aproximada demasiado cerca por formas cuadráticas split racionales. Esto es equivalente a la condición no-EWAS utilizada por Eskin–Margulis–Mozes.
• Coeficientes Algebraicos: Como corolario, el teorema se aplica a cualquier red con entradas algebraicas que no sea determinante-racional, ya que estas satisfacen automáticamente la condición diofántica a través de desigualdades de tipo Liouville.

Significado y Reivindicaciones
El artículo afirma que su principal novedad reside en la técnica de prueba más que en la declaración del teorema en sí.

• Modelo Simplificado: Al trabajar en el entorno de los determinantes $2 \times 2$, los autores proporcionan un "caso de modelo simplificado" para el método de altura modificada y evitación. En esta dimensión, la teoría de representaciones y las estimaciones de subniveles son elementales comparadas con los casos de mayor dimensión, aunque los principales mecanismos dinámicos permanecen visibles.
• Nueva Prueba de EMM: El trabajo recupera el teorema de Oppenheim cuantitativo $(2, 2)$ de Eskin–Margulis–Mozes. Los autores señalan que su enfoque difiere de la prueba original de EMM, la cual trabajaba directamente con promedios-$K$ y utilizaba argumentos de encogimiento/solapamiento para conjuntos "malos". En contraste, este artículo introduce una segunda altura auxiliar modificada para satisfacer la requerida desigualdad de tipo Margulis, evitando la aproximación directa de los conjuntos malos por rectángulos.
• Base para Dimensiones Superiores: La formulación del determinante se presenta como el miembro más simple de un problema de valores de determinante de mayor dimensión estudiado en el artículo compañero de los autores [7], sugiriendo que los conocimientos obtenidos aquí son fundamentales para abordar firmas más complejas.

El artículo no propone nuevas aplicaciones experimentales o implicaciones futuras más allá del contexto matemático de los sistemas dinámicos y la teoría cuantitativa de las formas cuadráticas. Se enfoca estrictamente en establecer la fórmula de conteo asintótico a través del método dinámico refinado.