The classification of real quadratic fields which satisfy Hammarhjelm's condition

Resumen Técnico: La Clasificación de los Campos Cuadráticos Reales que Satisfacen la Condición de Hammarhjelm

Planteamiento del Problema
Este artículo aborda la clasificación de los campos cuadráticos reales $K = \mathbb{Q}(\sqrt{D})$ (donde $D > 1$ es libre de cuadrados) que satisfacen la "condición de Hammarhjelm". Un campo satisface esta condición si se cumplen dos criterios:

1. El anillo de enteros $\mathcal{O}_K$ tiene factorización única (es decir, el número de clase $h_K = 1$).
2. La red de Minkowski $f(\mathcal{O}_K) \subset \mathbb{R}^2$, definida por la incrustación $\alpha \mapsto (\alpha, \sigma(\alpha))$, no contiene puntos dentro del rectángulo abierto $(1, \lambda) \times (-1, 1)$, donde $\lambda > 1$ es la unidad fundamental de $K$.

Estos campos han aparecido recientemente en el estudio de los puntos visibles en conjuntos de corte y proyección algebraicos. Antes de este trabajo, los ejemplos conocidos se limitaban a $D \in \{2, 5, 13, 29, 53\}$. El objetivo es determinar la lista completa de tales campos.

Metodología
La demostración procede estableciendo una relación entre la condición de Hammarhjelm y el tamaño de la unidad fundamental relativo al discriminante, seguido de un análisis caso por caso utilizando la teoría de géneros y las clasificaciones existentes de campos con número de clase uno.

1. Acotación de la Unidad Fundamental:
   El autor demuestra primero que la condición de Hammarhjelm obliga a que la unidad fundamental $\lambda$ sea pequeña en relación con el discriminante $\Delta_K$.

• Si $D \equiv 2, 3 \pmod 4$, entonces $\lambda < 2\sqrt{D} = \sqrt{\Delta_K}$.
• Si $D \equiv 1 \pmod 4$, entonces $\lambda < \frac{\sqrt{D}+1}{2} = \frac{\sqrt{\Delta_K}+1}{2}$.
  Esta cota se deriva de la construcción de elementos específicos en $\mathcal{O}_K$ que caerían en el rectángulo prohibido si $\lambda$ fuera mayor.

2. Teoría de Géneros y Grupos de Clase Estrechos:
   El artículo utiliza la teoría de géneros para restringir los posibles discriminantes para campos con número de clase uno. Específicamente, el número de clase estrecho $h_K^+$ es divisible por $2^{r(K)-1}$, donde $r(K)$ es el número de factores primos distintos de $\Delta_K$. Para $h_K=1$, esto implica que $r(K) \le 2$.

• El caso $r(K)=2$ con $D \equiv 1 \pmod 4$ (donde $\Delta_K = pq$) se analiza mediante el 4-rango del grupo de clase estrecho (vía matrices de Rédei). Se demuestra que si $p, q \equiv 1 \pmod 4$ y $q = p+4$, el 4-rango es 1, lo que implica que $h_K > 1$.

3. Clasificación por Tipo de Discriminante:
   La demostración divide el problema basándose en la congruencia de $D$ módulo 4:

• $D \equiv 2, 3 \pmod 4$: El autor muestra que ningún uno de estos campos satisface la condición para $D > 2$. Para $D=2$, la condición se cumple. Para $D \equiv 3 \pmod 4$, la ausencia de unidades con norma negativa y la cota sobre $\lambda$ conducen a una contradicción para cualquier primo $D$.
• $D \equiv 1 \pmod 4$:
  • Discriminante Primo ($D=p$): La cota sobre $\lambda$ fuerza a que la unidad fundamental tenga norma $-1$, situando a $D$ en la forma $D = (2m+1)^2 + 4$. Esto identifica a los campos como un subconjunto de la familia de Yokoi.
  • Discriminante Compuesto ($D=pq$): El análisis descarta los casos donde $p, q \equiv 1 \pmod 4$ (debido al argumento del 4-rango) y los casos donde $p, q \equiv 3 \pmod 4$ (que pertenecen a la familia "estrecha de Richaud-Degert", la cual se demuestra que falla la Condición H para $D > 5$).

4. Aplicación de la Clasificación de Biró:
   Para los campos identificados como pertenecientes a la familia de Yokoi ($D = m^2 + 4$), el artículo se apoya en la clasificación de Biró (2003) de los campos de número de clase uno dentro de esta familia. Biró determinó que los únicos discriminantes libres de cuadrados de esta forma con número de clase uno son $D \in \{5, 13, 29, 53, 173, 293\}$.

Contribuciones Principales y Resultados
El resultado principal es el Teorema 1.1, que establece que existen exactamente siete campos cuadráticos reales que satisfacen la condición de Hammarhjelm. Estos corresponden a los discriminantes:
$$D \in \{2, 5, 13, 29, 53, 173, 293\}$$

El artículo proporciona una prueba rigurosa de que:

• Los ejemplos previamente conocidos ($D=2, 5, 13, 29, 53$) son parte de una lista completa.
• Dos campos adicionales, $D=173$ y $D=293$, satisfacen la condición.
• Ningún otro campo cuadrático real satisface la condición.

La prueba establece que la condición de Hammarhjelm implica que la unidad fundamental es pequeña en relación con el discriminante, lo que restringe el espacio de búsqueda a familias específicas de campos (la familia de Yokoi y las extensiones estrechas de Richaud-Degert) donde los campos de número de clase uno ya están clasificados.

Significado
El artículo resuelve el problema de determinar todos los campos cuadráticos reales que satisfacen la condición de Hammarhjelm, un problema motivado por desarrollos recientes en el estudio de los puntos visibles en conjuntos de corte y proyección algebraicos. Al combinar cotas elementales sobre la unidad fundamental con resultados profundos de la teoría de géneros y la clasificación de la familia de Yokoi, el autor proporciona una lista definitiva y finita de tales campos, extendiendo el conjunto conocido de cinco a siete ejemplos.