Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

Resumen Técnico: Conteo de Mapas Racionales en $\mathbb{P}^1$ con Condiciones Locales Prescritas

Planteamiento del Problema
Este artículo investiga cuestiones de distribución para mapas racionales en la recta proyectiva $\mathbb{P}^1$ sobre $\mathbb{Q}$ dentro del marco de la dinámica aritmética. Trazando una analogía con la estadística aritmética de curvas elípticas, los autores abordan problemas de conteo para mapas racionales $\phi$ de un grado fijo $d \ge 2$ con propiedades de reducción prescritas. Específicamente, el trabajo se centra en determinar la densidad de los mapas racionales que poseen un "resultante globalmente mínimo".

Un mapa racional $\phi \in \mathbb{Q}(z)$ se representa mediante un par de polinomios homogéneos coprimos $F, G \in \mathbb{Z}[X, Y]$ de grado $d$. El resultante $\text{Res}(\phi) = \text{Res}(F, G)$ es un invariante global. Se dice que un mapa tiene un resultante globalmente mínimo si $\text{Res}(\phi)$ es igual al resultante mínimo $R_\phi$, definido como el producto de los resultantes mínimos locales sobre todos los lugares no arquimedianos. La cuestión central es si una proporción positiva de los mapas racionales (ordenados por altura o densidad de caja) satisfacen esta condición de minimalidad, de forma análoga a los resultados relativos a los modelos de Weierstrass globalmente mínimos para curvas elípticas (por ejemplo, Cremona y Sadek [CS23]).

Metodología
Los autores emplean una combinación de geometría aritmética, teoría de cribas y álgebra computacional explícita para establecer cotas inferiores en las densidades de subconjuntos específicos de mapas racionales.

1. Marcos de Densidad: El artículo utiliza dos medidas de densidad primarias:

   • Densidad de Altura: Basada en la altura multiplicativa absoluta de Weil $H(\phi)$ del punto $P(\phi) \in \mathbb{P}^{2d+1}(\mathbb{Q})$ asociado con los coeficientes del mapa.
   • Densidades de Caja Débil: Siguiendo el trabajo de Poonen [Poo03], estas densidades consideran la distribución de los coeficientes dentro de cajas en el espacio afín $\mathbb{Z}^{2d+2}$, permitiendo límites independientes para los acotamientos de las coordenadas.

2. Condiciones Locales y Cribado: Los autores definen subconjuntos de mapas racionales mediante condiciones locales en primos. Un mapa se incluye en un conjunto si su reducción módulo $p^k$ satisface criterios específicos (por ejemplo, buena reducción o un resultante libre de $p^k$).

   • Establecen que si un conjunto de mapas satisface una "condición de admisibilidad" (específicamente, que la densidad de los mapas que fallan la condición en primos grandes sea nula), la densidad global es el producto de las densidades locales (Proposición 3.4).
   • Esto se basa en un argumento de la teoría de cribas para demostrar que la densidad de los mapas con un factor común (no mínimo) o una valoración alta del resultante es despreciable.

3. Geometría Algebraica de los Resultantes:

   • Se analiza el polinomio resultante $r$ de dos polinomios genéricos de grado $d$. Los autores utilizan el hecho de que $r$ es absolutamente irreducible (Proposición 4.11).
   • Para acotar el número de puntos donde el resultante se anula módulo $p^k$, analizan el lugar singular definido por $r=0$ y sus derivadas parciales $s=0$.
   • Utilizando resultados de Warning, Schwartz-Zippel y el Lema de Hensel, derivan cotas superiores para el número de soluciones a estos sistemas sobre cuerpos finitos y sus levantamientos a $\mathbb{Z}/p^k\mathbb{Z}$.

4. Computación Explícita para $d=2$: Para el grado 2, los autores realizan una descomposición primaria explícita del ideal generado por el resultante y sus derivadas parciales utilizando el software Macaulay2. Esto permite contar con precisión los puntos en $(\mathbb{Z}/p\mathbb{Z})^6$ y $(\mathbb{Z}/p^2\mathbb{Z})^6$ para calcular densidades locales exactas para primos pequeños y cotas rigurosas para primos más grandes.

Contribuciones Clave y Resultados

• Teorema A (Densidad de Altura): Para enteros impares $d \ge 3$, el conjunto de mapas racionales con un resultante libre de potencias de $2d$ y buena reducción en un conjunto finito de primos $\Sigma$ tiene una densidad de altura positiva. En consecuencia, una proporción positiva de tales mapas tienen resultantes globalmente mínimos.
• Teorema B (Densidad de Caja Débil): Para cualquier entero $d \ge 2$, el conjunto de mapas racionales con un resultante libre de potencias de $d$ y buena reducción en un conjunto finito de primos $\Sigma$ tiene una densidad de caja débil positiva $\mu_n$. Esto implica que una proporción positiva de los mapas tienen resultantes globalmente mínimos bajo esta medida de densidad.
• Teorema C (Cota Explícita para $d=2$): Para mapas racionales de grado 2, los autores proporcionan una cota inferior explícita. Demuestran que más del 32.7% de los mapas racionales de grado 2 sobre $\mathbb{Q}$ poseen un resultante libre de cuadrados (y, por lo tanto, mínimo) con respecto a las densidades de caja débil.

Significancia y Reivindicaciones
El artículo se posiciona como una continuación del programa de analogía entre la dinámica aritmética en $\mathbb{P}^1$ y la geometría diofántica de las curvas elípticas. Mientras que los resultados estadísticos previos en dinámica aritmética a menudo dependían de procesos estocásticos de composición aleatoria de mapas, este trabajo aborda la distribución de mapas racionales estáticos con propiedades aritméticas prescritas.

Los autores afirman que sus resultados proporcionan las primeras pruebas de que una proporción positiva de los mapas racionales tienen resultantes globalmente mínimos, de forma análoga a los resultados de densidad para curvas elípticas de Cremona y Sadek. La computación explícita para $d=2$ sirve como una ilustración concreta del marco teórico, arrojando una cota inferior específica y no trivial (32.7%).

El artículo concluye con modestia, señalando que, si bien las condiciones locales utilizadas proporcionan cotas inferiores positivas, estas aún no describen la colección completa de los mapas con resultantes mínimos. Se identifica como un tema de trabajo futuro la cuestión de si una proporción positiva de los mapas racionales tienen resultantes globalmente mínimos con respecto a la densidad de caja estándar (en lugar de las densidades de caja débil).