Gaps between quadratic forms

Resumen Técnico de "Brechas entre Formas Cuadráticas" de Siddharth Iyer

Enunciado del Problema
Este artículo investiga la distribución de enteros representados por formas cuadráticas específicas dentro de intervalos cortos. Específicamente, aborda el problema de acotar las brechas entre enteros consecutivos $n$ tales que $n$ es representado por la forma cuadrática $x^2 + xy + y^2$ (denotado como el conjunto $\triangle$) y $n+a$ es representado como una suma de dos cuadrados (denotado como el conjunto $\mathbb{O}^2$), para un entero fijo no nulo $a$. El conjunto de interés se define como $S(\triangle, \mathbb{O}^2, a) = \{n : n \in \triangle, n+a \in \mathbb{O}^2\}$.

El trabajo se basa en resultados clásicos concernientes a la correlación de representaciones de formas cuadráticas. Hace referencia a la fórmula asintótica de Estermann (1932) para la suma de productos de funciones de representación $r_2(n)r_2(n+a)$, y a mejoras posteriores de Hooley, Chamizo y Müller respecto a los términos de error y la densidad de tales enteros en intervalos. Mientras que el Lema 1.2 establece que las brechas entre elementos de $S(\mathbb{O}^2, \mathbb{O}^2, a)$ están acotadas por $O(x^{1/2})$, el artículo busca establecer cotas análogas, aunque más débiles, para el caso mixto $S(\triangle, \mathbb{O}^2, a)$.

Metodología
El autor emplea técnicas de teoría analítica de números, centrándose en la evaluación asintótica de sumas que involucran funciones multiplicativas y sumas de caracteres.

1. Funciones de Representación y Caracteres:
   El artículo utiliza el hecho de que el número de representaciones $R_2(n)$ para $x^2+xy+y^2$ y $r_2(n)$ para sumas de dos cuadrados pueden expresarse mediante caracteres de Dirichlet. Específicamente, $R_2(n) = 6 \sum_{d|n} \chi_3(d)$ y $r_2(n) = 4 \sum_{d|n} \chi_4(d)$, donde $\chi_3$ y $\chi_4$ son caracteres no triviales módulo 3 y 4, respectivamente.

2. Adaptación del Teorema de Tolev:
   Una herramienta central es un teorema de Tolev (2012) concerniente a sumas de dos cuadrados en progresiones aritméticas. El autor adapta esto para manejar la correlación entre $F_{\chi_3}(n)$ y $F_{\chi_4}(n+a)$. Sin embargo, una aplicación directa del teorema de Müller (1989) sobre sumas de funciones multiplicativas es insuficiente porque $\chi_3$ y $\chi_4$ no pueden elevarse simultáneamente a un carácter primitivo módulo un $k$ común (específicamente donde $12|k$) sin perder la primalidad.

3. Análisis de Funciones Multiplicativas:
   Para superar la limitación de los caracteres no primitivos, el artículo introduce un nuevo enfoque que involucra la función $\eta_a(q)$, que cuenta soluciones a $\alpha^2 + \beta^2 \equiv a \pmod q$. El núcleo de la demostración (Teorema 1.6) implica analizar la suma:
   $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a)$$
   donde $\psi$ es un carácter real no trivial módulo un entero par $b \ge 4$. El autor descompone la suma utilizando las propiedades de la convolución de $\psi$ con la función constante 1, denotada $F_\psi$.

4. Comportamiento de $\eta_a(d)$:
   Una parte significativa del trabajo técnico (Sección 3.1) se dedica a analizar el comportamiento de la función $\lambda_a(d) = \eta_a(d)/d$. El autor establece cotas y propiedades asintóticas para $\lambda_a(d)$ basadas en la factorización prima de $d$ y su relación con $a$, utilizando lemas concernientes a primos $p \equiv 1, 3 \pmod 4$. Este análisis es crucial para demostrar que el coeficiente del término principal $\beta(\psi, a)$ es estrictamente positivo.

5. Análisis de Brechas mediante Familias Paramétricas:
   Para el resultado de brechas (Teorema 1.7), el artículo construye una familia paramétrica de soluciones a la ecuación $c^2 + 3d^2 + a = u^2 + v^2$. Mediante el análisis de las brechas entre valores de un polinomio cuártico derivado de esta familia, el autor deriva cotas sobre el espaciado de elementos en $S(\triangle, \mathbb{O}^2, a)$.

Contribuciones y Resultados Clave

• Teorema 1.6 (Fórmula Asintótica): El artículo demuestra una fórmula asintótica para la suma de productos de funciones de representación restringidas a condiciones de coprimidad. Establece que para un carácter real no trivial $\psi$ módulo par $b \ge 4$:
  $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a) = \beta(\psi, a) \eta^*(\psi, a) x + O(x^{5/6} \log^{19} x)$$
  Crucialmente, el autor demuestra que el coeficiente principal $\beta(\psi, a)$ es estrictamente positivo, asegurando la existencia de tales enteros en el rango especificado.

• Corolario 1.3 (Censo de Intervalos Cortos): Aplicando el Teorema 1.6 con $\psi = \chi_6$, el artículo demuestra que para cualquier $\epsilon > 0$, existe una constante $H_a > 0$ tal que para $x$ suficientemente grande:
  $$\# S(\triangle, \mathbb{O}^2, a) \cap [x, x + H_a x^{5/6} \log^{19} x] \ge x^{5/6 - \epsilon}$$
  Esto confirma que el conjunto $S(\triangle, \mathbb{O}^2, a)$ es lo suficientemente denso para garantizar elementos en intervalos de longitud ligeramente mayor que $x^{5/6}$.

• Teorema 1.7 (Cota de Brechas): El artículo proporciona una cota sobre las mayores brechas entre elementos de $S(\triangle, \mathbb{O}^2, a)$. Muestra que para $x \ge 1$, existe un elemento del conjunto en el intervalo $[x, x + D_a x^{\Upsilon(a)}]$, donde el exponente $\Upsilon(a)$ es:

  • $1/2$ si $a$ puede ser representado como $n^2 - 3m^2$ para enteros $n, m$.
  • $5/8$ en caso contrario.
    Este resultado se describe como un "resultado de brecha más débil" en comparación con la cota $x^{1/2}$ conocida para $S(\mathbb{O}^2, \mathbb{O}^2, a)$.

Significado y Afirmaciones
El artículo afirma extender el trabajo clásico de Estermann (1932) y los refinamientos posteriores de Müller (1989) al contexto de formas cuadráticas mixtas. Mediante el uso del teorema de Tolev y la realización de un análisis detallado de la función multiplicativa $\eta_a(d)$, el autor deriva exitosamente una fórmula asintótica donde los métodos anteriores (que dependían de caracteres primitivos) fallaron.

El significado radica en establecer la existencia de enteros que satisfacen condiciones de representación cuadrática mixta en intervalos cortos, demostrando específicamente que las brechas no son arbitrariamente grandes. El autor nota modestamente que, aunque es posible una generalización del Teorema 1.7, no se persigue aquí. Además, el autor reconoce en los Agradecimientos que si trabajos futuros que utilicen la teoría espectral pueden comprender mejor la interacción entre distintas formas cuadráticas, el resultado principal de este artículo podría volverse obsoleto, indicando que el resultado actual es un paso intermedio en lugar de una resolución final. El trabajo también se conecta con el estudio más amplio de las normas de ideales en cuerpos numéricos cuadráticos, sugiriendo que resultados similares pueden obtenerse para conjuntos $S(\mathfrak{a}_K, \mathbb{O}^2, a)$ donde $\mathfrak{a}_K$ representa las normas de ideales en un cuerpo cuadrático $K$.