Algebraic Hodge generic points are dense

Resumen Técnico: Los puntos algebraicamente genéricos de Hodge son densos

Planteamiento del problema
El artículo aborda la abundancia de puntos "genéricos de Hodge" dentro de familias de variedades algebraicas definidas sobre campos numéricos. Sea $f: X \to S$ una familia cuasi-proyectiva de variedades definida sobre un campo numérico $K \subset \mathbb{Q} \subset \mathbb{C}$. Asociada a esta familia se encuentra una variación de estructuras de Hodge mixtas (VHMS), denotada por $V$. Un punto $s \in S(\mathbb{C})$ se denomina genérico de Hodge si su grupo de Mumford-Tate $G_s$ es igual al grupo de Mumford-Tate genérico $G$ de la familia. Equivalentemente, $s$ es genérico de Hodge si la fibra $X_s$ no posee ningún "extra" de tensores de Hodge (ciclos algebraicos) más allá de los forzados por la geometría genérica.

El problema central es determinar si el conjunto de tales puntos genéricos de Hodge definidos sobre $\mathbb{Q}$ (es decir, $s \in S(\mathbb{Q})$) es analíticamente denso en $S(\mathbb{C})$. Dado que la conjetura de Hodge implica que los ciclos de Hodge adicionales corresponden a ciclos algebraicos, probar la existencia de puntos donde no existen tales ciclos extra es difícil porque la teoría de Hodge es inherentemente trascendental. Los resultados previos estaban limitados en gran medida al caso puro o dependían de conjeturas no probadas como la conjetura de Hodge absoluta.

Metodología
Los autores desarrollan una estrategia que reduce el problema geomético de encontrar puntos genéricos de Hodge a un problema analítico relativo a las relaciones algebraicas satisfechas por soluciones de ecuaciones diferenciales.

1. Reducción a curvas: Utilizando inducción noetéricaana y dévissage, el problema se reduce al caso donde la base $S$ es una curva (específicamente, un subconjunto de Zariski de $\mathbb{P}^1$).
2. Operadores G y Funciones G: La variación de estructuras de Hodge da lugar a una conexión de Gauss-Manin. Los períodos de las fibras satisfacen una ecuación diferencial lineal con coeficientes algebraicos. Siguiendo a André, los autores identifican el operador diferencial asociado como un operador G. En consecuencia, los períodos (y cantidades relacionadas) son funciones G.
3. Control de las relaciones de períodos: La innovación técnica central consiste en estudiar las relaciones algebraicas de grado acotado satisfechas por estos períodos. Los autores consideran el producto propio $N$-veces de la base, $S^N$, y una curva racional genérica $C \subset S^N$. Construyen un sistema de funciones G correspondientes a los períodos de las fibras sobre puntos de esta curva.
4. Cotas de altura de Bombieri-André: Los autores emplean una estrategia inspirada en la conjetura de Zilber-Pink. Suponen, para efectos de contradicción, que un gran conjunto de puntos en la curva no son genéricos de Hodge. Esta suposición implica la existencia de muchas relaciones algebraicas entre los períodos. Al construir una curva específica en el producto propio, aseguran que, si demasiados puntos fueran no genéricos, el sistema de funciones G resultante satisfaría una relación algebraica inesperada de grado acotado.
5. Aplicación de la teoría de la trascendencia: Utilizando un fortalecimiento del teorema de Bombieri (debido a André) respecto a la altura de los puntos donde las funciones G satisfacen relaciones algebraicas no triviales, los autores muestran que tales puntos "excepcionales" deben tener altura acotada. Esto implica que los puntos con altura no acotada (y, por tanto, un conjunto denso de puntos) no pueden satisfacer estas relaciones extra, demostrando así que son genéricos de Hodge.

Contribuciones clave

• Teorema 4.2 (Resultado técnico principal): Un nuevo resultado sobre operadores G que establece que, para un operador G $L$ de rango $n$, el conjunto de puntos racionales $x \in \mathbb{P}^1(\mathbb{Q})$ donde la matriz de solución fundamental no satisface relaciones algebraicas no triviales de grado $\le \delta$ es analíticamente denso. Además, los autores proporcionan estimaciones cuantitativas: para cualquier entero grande $t$, al menos uno (o una fracción específica) de los puntos $t, t+D, \dots, t+n^2D$ pertenece a este conjunto.
• Teoremo 1.3 (Resultado geométrico principal): Para cualquier familia cuasi-proyectiva $f: X \to S$ definida sobre un campo numérico, el lugar de los puntos genéricos de Hodge en $S(\mathbb{Q})$ es analíticamente denso en $S(\mathbb{C})$. Esto se sostiene sin asumir la conjetura de Hodge absoluta y se extiende al caso mixto.
• Densidad efectiva (Teorema 1.5 y Corolario 6.7): El artículo proporciona un método efectivo para producir subconjuntos finitos de $S(\mathbb{Q})$ donde una fracción prescrita (por ejemplo, "el 99 por ciento") de los puntos son genéricos de Hodge.
• Nuevos casos de la conjetura de Mumford-Tate: Bajo una suposición de "monodromía grande", los autores demuestran que la conjetura de Mumford-Tate $\ell$-ádica se cumple para un conjunto denso de puntos en la familia. Esto se aplica a familias más allá de los motivos abelianos, tales como hipersuperficies suaves.

Resultados

• Densidad de los loci motivicos: El artículo demuestra que el lugar donde las conjeturas de Hodge, de Tate y de los períodos de Grothendieck (hasta un grado fijo $\delta$) se cumplen simultáneamente es analíticamente denso en el espacio de parámetros de hipersuperficies suaves (Teorema 1.1) y de penachos de Lefschetz (Teorema 1.2).
• Conjetura de los períodos: Los autores muestran que, para cualquier grado $\delta$ fijo, el conjunto de puntos donde la conjetura de los períodos de Grothendieck se cumple hasta el grado $\delta$ es analíticamente denso (Teorema 2.6).
• Realización de diamantes de Hodge: El Corolario 1.6 establece que cada diamante de Hodge primitivo irreducible realizable por una variedad proyectiva suave compleja es también realizable por una variedad proyectiva suave definida sobre $\mathbb{Q}$.
• Grupos de Mumford-Tate: La Observación 1.4 destaca que, para infinitos pares $(a, b)$, el grupo $GSO(2a, b)$ aparece como el grupo de Mumford-Tate de la cohomología primitiva de una superficie definida sobre $\mathbb{Q}$. Esto incluye casos donde el grupo no es de tipo hermítico, un escenario previamente desconocido.

Significación y pretensiones
El artículo pretende establecer la abundancia de puntos genéricos de Hodge sobre $\mathbb{Q}$ de forma incondicional para familias generales, un resultado que anteriormente solo se conocía bajo conjeturas fuertes o en entornos restringidos. La significación radica en:

1. Puente entre lo trascendental y lo aritmético: El trabajo utiliza con éxito métodos trascendentales (funciones G y cotas de altura) para resolver un problema de geometría aritmética (la existencia de puntos genéricos sobre campos numéricos).
2. Más allá de los motivos abelianos: Los resultados se aplican a familias de hipersuperficies y otros motivos no abelianos, proporcionando nueva evidencia para la conjetura de Mumford-Tate en contextos donde antes era inaccesible.
3. Control cuantitativo: A diferencia de los resultados de densidad cualitativa previos, este artículo ofrece estimaciones cuantitativas (resultados de densidad natural uno para puntos enteros en penachos) y procedimientos efectivos para generar candidatos a puntos genéricos.
4. Avance metodológico: La técnica de elevar el problema a un producto propio de la base para generar suficientes relaciones algebraicas que activen las cotas de altura de Bombieri se presenta como un enfoque novedoso para la conjetura de Zilber-Pink para variaciones de estructuras de Hodge.

Los autores señalan modestamente que, si bien pueden producir un conjunto denso de puntos genéricos de Hodge, actualmente no pueden proporcionar un método certificable para verificar si una hipersuperficie dada es genérica de Hodge (el Teorema 1.5 produce un conjunto donde "el 99 por ciento" son genéricos, pero no identifica cuáles son específicamente). Adicionalmente, los resultados para la conjetura completa de los períodos de Grothendieck (Conjetura 2.4) están condicionados a que los puntos sean genéricos de Hodge y a la validez de la conjetura de los períodos hasta el grado $\delta$ para dichos puntos.