Special geodesics and atypical intersections

Resumen Técnico: Geodésicas Especiales e Intersecciones Atípicas

1. Planteamiento del Problema

El artículo aborda una pregunta fundamental en la teoría de números y la geometría aritmética, propuesta por Henri Darmon, relacionada con la caracterización de curvas "especiales" en el producto de curvas modulares $Y(1) \times Y(1)$.

• Contexto: En la teoría de la multiplicación compleja, los puntos de Heegner juegan un papel crucial. André (1998) demostró que una curva algebraica compleja irreducible en $Y(1) \times Y(1)$ (que no sea horizontal ni vertical) es fuertemente especial (es decir, es la imagen de una correspondencia de Hecke definida por un polinomio modular $\Phi_N$) si y solo si contiene infinitos puntos de Heegner.
• La Pregunta (1.2.3): ¿Existe un análogo para las geodésicas cuadráticas reales? Específicamente, si una curva irreducible $C \subset Y(1) \times Y(1)$ contiene infinitas curvas algebraicas reales cuyas proyecciones en cada copia de $Y(1)$ son uniones de geodésicas cuadráticas reales, ¿implica esto que $C$ es una curva fuertemente especial?
• Definiciones Clave:
  • Geodésica cuadrática real: Una geodésica en el semiplano superior $\mathbb{H}$ cuyos extremos en $\mathbb{P}^1(\mathbb{R})$ son conjugados cuadráticos reales.
  • Curva con proyecciones de geodésicas especiales: Una curva real en $\mathbb{A}^2_{\mathbb{R}} \times \mathbb{A}^2_{\mathbb{R}}$ cuyas proyecciones están contenidas en uniones de geodésicas especiales (imágenes de geodésicas cuadráticas bajo la función $j$).

2. Metodología

El autor emplea una estrategia que combina la geometría algebraica, la teoría de modelos (o-minimalidad) y la conjetura de Zilber-Pink.

1. Restricción de Escalares (Weil Restriction):

   • El autor interpreta los puntos complejos de $Y(1) \times Y(1)$ como puntos reales de una superficie $\tilde{C}$ en $\mathbb{A}^2_{\mathbb{R}} \times \mathbb{A}^2_{\mathbb{R}}$ mediante la restricción de escalares de $\mathbb{C}$ a $\mathbb{R}$.
   • Las curvas reales con proyecciones de geodésicas especiales se identifican con subvariedades reales contenidas en productos de curvas reales definidas por polinomios modulares $\Phi_N(X+iY, X-iY) = 0$.

2. Enfoque de Intersección Atípica:

   • El problema se reformula en términos de intersecciones "atípicas". En un espacio de dimensión 4 ($\mathbb{R}^4$), la intersección de dos superficies (dimensión 2) debería ser un conjunto de dimensión 0 (puntos). Sin embargo, la presencia de infinitas curvas reales (dimensión 1) dentro de la intersección $\tilde{C} \cap S$ (donde $S$ es una unión de productos de geodésicas) constituye una intersección atípica.

3. Cambio de Base y Teoría de O-minimalidad:

   • Se utiliza una estrategia de cambio de base (base change) para trasladar el problema de la variedad real $\tilde{C}$ a una variedad compleja $V$ en $Y(1)^4$.
   • Se aplica el Teorema de Pila-Tsimerman (2016), que es un caso conocido de la conjetura de Zilber-Pink para $Y(1)^n$. Este teorema establece que cualquier subvariedad contiene un número finito de subvariedades "fuertemente atípicas" maximales.

3. Contribuciones Clave y Resultados Principales

Teorema Principal (2.3.3):
Una curva algebraica compleja irreducible $C \subset Y(1) \times Y(1)$ (que no sea horizontal ni vertical) es fuertemente especial si y solo si $C(\mathbb{C})$ contiene infinitas curvas con proyecciones de geodésicas especiales.

Desarrollo de la Prueba:

1. Dirección ($\Rightarrow$): Si $C$ es fuertemente especial (definida por $\Phi_N=0$), el autor construye explícitamente infinitas curvas reales dentro de su restricción de escalares $\tilde{C}$ intersectándola con curvas $Z_M$ definidas por $\Phi_M$. Estas curvas tienen proyecciones en geodésicas especiales.
2. Dirección ($\Leftarrow$):
   • Se asume que $C$ contiene infinitas curvas reales $Z$ con proyecciones especiales.
   • Mediante el cambio de base, estas curvas reales se transforman en curvas complejas $A$ en una variedad $V \subset Y(1)^4$.
   • Se demuestra que estas curvas $A$ son subvariedades fuertemente atípicas de $V$ (su dimensión es mayor a la esperada por la fórmula de intersección de dimensiones).
   • Dado que existen infinitas curvas distintas $Z$ (y por tanto infinitas $A$), y el Teorema de Pila-Tsimerman garantiza que solo hay un número finito de subvariedades fuertemente atípicas maximales, se deduce que la propia superficie $V$ debe ser una subvariedad fuertemente atípica.
   • Esto implica que $V$ (y por ende $C$) está contenida en una subvariedad especial definida por polinomios modulares, lo que fuerza a $C$ a ser una curva fuertemente especial.

Observaciones Técnicas:

• El autor aclara que este resultado no es una consecuencia directa del teorema de André sobre puntos de Heegner (Teorema 1.2.1), ya que las curvas con proyecciones de geodésicas especiales pueden contener muy pocos o ningún punto de Heegner (ejemplo dado con $\lambda$ trascendente).
• Se introduce la noción de "curvas con proyecciones de geodésicas especiales" como un análogo geométrico robusto a los puntos de Heegner en el contexto real.

4. Significado e Impacto

• Resolución de la Conjetura de Darmon: El artículo responde afirmativamente a la pregunta planteada por Darmon, estableciendo un criterio de detección de curvas especiales basado en la geometría de geodésicas reales en lugar de puntos algebraicos aislados.
• Conexión entre Geometría Real y Compleja: El trabajo demuestra cómo propiedades de intersección en variedades reales (restricción de escalares) pueden utilizarse para deducir propiedades estructurales profundas en variedades complejas mediante la teoría de Zilber-Pink.
• Aplicación de O-minimalidad: Refuerza la utilidad de las técnicas de o-minimalidad (introducidas por Pila y Tsimerman) en problemas de teoría de números clásicos, extendiendo su alcance más allá de los puntos de torsión y puntos de Heegner hacia objetos geométricos continuos (geodésicas).
• Herramienta para la Teoría de Campos de Clases: Dado que las geodésicas cuadráticas reales son análogas a los puntos de Heegner en la teoría de campos de clases para cuerpos cuadráticos reales (enfoque de Darmon-Vonk), este resultado proporciona una herramienta teórica para identificar estructuras especiales en este contexto, lo cual es vital para la formulación de leyes de reciprocidad explícitas.

En conclusión, el artículo establece un puente riguroso entre la distribución de geodésicas especiales en variedades modulares y la estructura algebraica de las curvas que las contienen, validando una conjetura que conecta la geometría hiperbólica real con la teoría de números algebraica.