On the unit equation $\varepsilon+\delta=n$ in cubic fields

Resumen Técnico: Sobre la ecuación de unidades $\varepsilon + \delta = n$ en cuerpos cúbicos

Planteamiento del problema
El artículo investiga la ecuación de unidades $\varepsilon + \delta = n$ en el contexto de los cuerpos numéricos cúbicos, donde $\varepsilon$ y $\delta$ son unidades en el anillo de enteros $\mathcal{O}_L$ de un cuerpo cúbico $L$, y $n$ es un entero no nulo. Esta ecuación corresponde a la búsqueda de puntos $L$ en la curva perforada $X = \mathbb{P}^1 \setminus \{0, n, \infty\}$. Específicamente, los autores se centran en el conjunto de "puntos nuevos", denotado como $X(\mathcal{O}_L)^{\text{new}}$, que son puntos definidos sobre $L$ pero no sobre ninguna extensión estrictamente menor de $\mathbb{Q}$. La cuestión central es el comportamiento estadístico de estas soluciones cuando los cuerpos cúbicos se ordenan por su discriminante absoluto.

Metodología
Los autores emplean una combinación de parametrización algebraica explícita y estadística aritmética.

1. Parametrización de las soluciones:
   El artículo establece primero una correspondencia entre las soluciones de la ecuación de unidades y las raíces de polinomios cúbicos específicos.

• Para $n \geq 3$, el Lema 5 demuestra que si $L = \mathbb{Q}(\varepsilon)$ es un cuerpo cúbico, el polinomio mínimo de $\varepsilon$ debe tener la forma $X^3 + aX^2 - (n^2 + an)X + 1$ para algún entero $a$.
• Para $n=2$ y $n=1$, los Lemas 6 y 7 proporcionan parametrizaciones explícitas similares, identificando familias específicas de polinomios cúbicos cuyas raíces generan los cuerpos relevantes.
• Los autores también analizan el caso cuadrático (Sección 2), demostrando que para cualquier $n$, existen solo finitos cuerpos cuadráticos que contienen soluciones, contrastando esto con el caso cúbico.

2. Estadística aritmética y teoría de Galois:
   Para probar el resultado estadístico, los autores utilizan un teorema reciente (Teorema 8) derivado de su trabajo previo [6] y resultados de Bhargava, Taniguchi y Thorne [1]. Este teorema proporciona un criterio para determinar cuándo una familia de cuerpos cúbicos definida por un polinomio $F(t, X)$ constituye un conjunto "fino" (es decir, el 0% de todos los cuerpos cúbicos ordenados por discriminante).

• Los autores construyen un polinomio bivariado $F(T, X)$ basado en las parametrizaciones encontradas en los lemas.
• Analizan el discriminante de $F$ con respecto a $X$, denotado como $\Delta_X(F)$. Ellos factorizan este discriminante en $g(T) \cdot h(T)^2$, donde $g(T)$ es libre de cuadrados.
• La prueba se basa en la verificación de dos condiciones para $g(T)$:
  1. $g(T)$ no tiene raíces racionales (verificado mediante el estudio de una curva de género 1 asociada $E: Y^2 + Y = X^3$).
  2. El grupo de Galois $G = \text{Gal}(g)$ contiene un elemento que actúa libremente sobre las raíces de $g$.

Contribuciones clave y resultados
El artículo presenta dos resultados principales respecto a la ecuación $\varepsilon + \delta = n$:

• Teorema 3(I): Existen infinitos cuerpos $L$ para los cuales el conjunto de puntos nuevos $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}}$ es no vacío. Esto se establece mediante la construcción explícita de familias infinitas de cuerpos cúbicos a través de las parametrizaciones en los Lemas 5, 6 y 7.
• Teorema 3(II): Cuando los cuerpos cúbicos se ordenan por discriminante absoluto, el 100% de ellos satisfacen $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}} = \emptyset$.
  • Este resultado se prueba mostrando que la familia de cuerpos cúbicos generada por las soluciones a la ecuación de unidades cae en el conjunto "fino" descrito por el Teorema 8.
  • Los autores verifican que para $n \geq 3$, el polinomio discriminante $g(T)$ no tiene raíces racionales y su grupo de Galois contiene un elemento sin puntos fijos. Los casos $n=1$ y $n=2$ se señalan como similares pero más elementales.

Significancia y afirmaciones
El artículo posiciona sus hallazgos como evidencia adicional que respalda la "conjetura de estabilidad diofántica estadística para curvas hiperbólicas" (Conjetura 1), la cual postula que para una curva hiperbólica $X$, el conjunto de puntos $L$-nuevos es vacío para el 100% de las extensiones $L$ en una familia permisible.

• Consistencia con la Conjetura: El resultado confirma que, para la curva hiperbólica específica $\mathbb{P}^1 \setminus \{0, n, \infty\}$, la conjetura se cumple para la familia de cuerpos cúbicos.
• Contraste con los Cuerpos Cuadráticos: Los autores resaltan una diferencia distintiva entre los cuerpos cuadráticos y cúbicos. Mientras que el análogo cuadrático del Teorema 3(II) se cumple trivialmente (ya que solo existen finitos cuerpos cuadráticos con soluciones), el caso cúbico requiere un argumento estadístico no trivial para mostrar que las soluciones son escasas (densidad 0) a pesar de ser infinitas en número.
• Modestia: Los autores enmarcan el trabajo como una provisión de "evidencia adicional" para la conjetura más amplia, en lugar de una prueba completa de la conjetura para todas las curvas hiperbólicas. Referencian explícitamente su trabajo previo [6] para el marco general y el caso específico de $n=1$ (Teorema 2), señalando que el presente artículo generaliza esto a enteros no nulos arbitrarios $n$.

El artículo concluye señalando que el código de computación de apoyo (Magma) utilizado para verificar las propiedades de los polinomios discriminantes está disponible en un repositorio público.