Positividad, pletismo e hiperbolicidad de variedades de Siegel en característica positiva

Información Básica

• ID del artículo: 2206.05804
• Título: Positividad, pletismo e hiperbolicidad de variedades de Siegel en característica positiva
• Autor: Thibault Alexandre
• Clasificación: math.AG (Geometría Algebraica)
• Fecha de publicación: Junio de 2022, versión más reciente octubre de 2025
• Enlace del artículo: https://arxiv.org/abs/2206.05804

Resumen

Este artículo estudia las propiedades de hiperbolicidad del espacio de módulos de variedades abelianas polarizadas en característica p (es decir, variedades de módulos de Siegel). El componente clave del método es la operación de pletismo de functores de Schur, y requiere la introducción de un nuevo concepto de positividad para fibrados vectoriales en característica p: la amplitud (φ,D). Como generalización de resultados conocidos sobre el fibrado de Hodge, también demostramos que muchos fibrados vectoriales automorfos en variedades de módulos de Siegel son (φ,D)-amplios.

Contexto y Motivación de la Investigación

Antecedentes del Problema

1. Teoría de hiperbolicidad: En geometría aritmética, determinar la hiperbolicidad de variedades algebraicas es un problema central. Para curvas sobre cuerpos numéricos, el teorema de Faltings establece la equivalencia entre hiperbolicidad aritmética, hiperbolicidad de Brody e hiperbolicidad algebraica.
2. Hiperbolicidad de variedades de módulos de Siegel: Sobre el cuerpo de los números complejos, se sabe que el espacio de módulos $A_{g,N}$ de variedades abelianas polarizadas de dimensión g es algebraicamente hiperbólico. Sin embargo, en característica positiva p, la situación se vuelve más compleja.
3. Dificultades en característica positiva: La construcción de Moret-Bailly proporciona un contraejemplo que muestra que las variedades de módulos de Siegel no son completamente hiperbólicas en característica p: existen familias de superficies abelianas supersingulares no isomorfas $\mathcal{A} \to \mathbb{P}^1$.

Motivación de la Investigación

• Comprender el mecanismo del fallo de hiperbolicidad de variedades de módulos de Siegel en característica positiva
• Buscar "hiperbolicidad parcial": aunque no sea completamente hiperbólica, ciertas subvariedades bajo condiciones de codimensión aún poseen propiedades de tipo logarítmico general
• Desarrollar nuevas herramientas técnicas aplicables en característica positiva

Contribuciones Principales

1. Introducción del concepto de amplitud (φ,D): Se define un nuevo concepto de positividad intermedio entre ample y nef, aplicable a fibrados vectoriales en característica p
2. Establecimiento de la conexión entre pletismo e hiperbolicidad: Primera conexión entre la operación de pletismo de functores de Schur e hiperbolicidad geométrica
3. Demostración de teorema de hiperbolicidad parcial: Cuando $p \geq g^2 + 3g + 1$, todas las subvariedades suaves de codimensión $\leq g-1$ son de tipo logarítmico general
4. Generalización de resultados de positividad para fibrados automorfos: Extensión de resultados conocidos sobre el fibrado de Hodge a fibrados automorfos más generales

Explicación Detallada de Métodos

Definiciones de Conceptos Clave

Amplitud (φ,D)

Sea $X$ un esquema proyectivo sobre $k$, $D$ un divisor de Cartier efectivo, y $\varphi: X \to X^{(p)}$ el morfismo de Frobenius geométrico relativo. Un fibrado vectorial $E$ se llama (φ,D)-amplio si existe un entero $r_0 \geq 1$ tal que para todo $r \geq r_0$, el fibrado vectorial $E^{(p^r)}(-D) := (\varphi^r)^*(\varphi^r)_* E \otimes \mathcal{O}_X(-D)$ es amplio.

Propiedades Clave

• Para fibrados de línea: (φ,D)-amplitud es equivalente a nef y big, con $D$ como locus excepcional
• Estabilidad: se preserva bajo sumas directas, extensiones, cocientes, productos tensoriales y pullbacks por morfismos finitos

Ruta Técnica

1. Functores de Schur y Pletismo

En característica positiva, la composición $S_\lambda \circ S_\mu$ de functores de Schur $S_\lambda$ generalmente no puede descomponerse como suma directa de functores de Schur, pero bajo la condición $p \geq 2|\lambda| - 1$, existe una filtración con piezas graduadas siendo functores de Schur:

$0 = T_n \subsetneq T_{n-1} \subsetneq \cdots \subsetneq T^0 = S_\lambda \circ S_\mu$

2. Transmisión de Positividad en Fibrados de Banderas

Para un $G$-torsor $E$ y el correspondiente fibrado de banderas $\pi: Y \to X$, se establece el teorema clave de transmisión de positividad:

Teorema 6.4-6.5: Si $L_{2\lambda + 2\rho}$ es amplio en $Y$ (resp. (φ,$\pi^{-1}D$)-amplio), entonces $\pi_* L_\lambda$ es un fibrado amplio (resp. (φ,D)-amplio) en $X$.

3. Criterios de Positividad para Fibrados Vectoriales Automorfos

Para fibrados vectoriales automorfos $\nabla(\lambda)$ en variedades de módulos de Siegel, se proporcionan condiciones suficientes para amplitud (φ,D):

Teorema 7.20: Sea $\lambda$ un carácter dominante de $T$. Si $\gamma := 2\lambda + 2\rho_L$ satisface:

• p-proximidad orbital: $\max_{\alpha \in \Phi, w \in W, \langle\gamma,\alpha^\vee\rangle \neq 0} \frac{|\langle\gamma, w\alpha^\vee\rangle|}{|\langle\gamma,\alpha^\vee\rangle|} \leq p-1$
• Amplitud $Z_\emptyset$: $\langle\gamma,\alpha^\vee\rangle > 0$ para todo $\alpha \in I$, $\langle\gamma,\alpha^\vee\rangle < 0$ para todo $\alpha \in \Phi^+ \setminus \Phi^+_L$

entonces $\nabla(\lambda)$ es (φ,D)-amplio.

Resultados Principales

Teorema Central

Teorema 1 (Corolario 8.7): Supongamos que $p \geq g^2 + 3g + 1$. Cualquier subvariedad $\iota: V \hookrightarrow \text{Sh}^{\text{tor}}$ de codimensión $\leq g-1$ que satisface:

1. $V$ es suave
2. $\iota^{-1}D_{\text{red}}$ es un divisor de cruzamientos normales

entonces $V$ es de tipo logarítmico general respecto a $D$.

Resultados Técnicos Clave

Teorema 8.6: Supongamos que $p \geq g^2 + 3g + 1$. Para todo $k \geq g(g-1)/2 + 1$, el fibrado $\Omega^k_{\text{Sh}^{\text{tor}}}(\log D_{\text{red}})$ es (φ,D)-amplio.

Resultados Precisos en Casos Especiales

• $g = 2$: Cuando $p \geq 7$, las superficies en la triple de Siegel son de tipo logarítmico general
• $g = 3$: Cuando $p \geq 17$, las subvariedades de dimensión cuatro son de tipo logarítmico general
• $g = 4$: Cuando $p \geq 31$, las subvariedades de dimensión siete son de tipo logarítmico general

Puntos de Innovación Técnica

1. Nueva Conexión entre Pletismo y Geometría

Primera conexión establecida entre la operación de pletismo en funciones simétricas e hiperbolicidad geométrica en geometría algebraica, proporcionando una perspectiva de investigación completamente nueva.

2. Concepto de Positividad Adaptado a Característica Positiva

La amplitud (φ,D) aprovecha ingeniosamente las propiedades especiales del morfismo de Frobenius, evitando dificultades técnicas en característica positiva mientras mantiene suficiente fortaleza.

3. Aplicación de Técnicas de Filtración

Mediante filtraciones $\nabla$ se descomponen fibrados vectoriales complejos en módulos estándar controlables, verificando luego las condiciones de positividad individualmente.

Estrategia de Demostración

Idea Central

1. Isomorfismo de Kodaira-Spencer: $\text{Sym}^2 \Omega^{\text{tor}} \cong \Omega^1_{\text{Sh}^{\text{tor}}}(\log D)$
2. Descomposición por pletismo: $S_\lambda \Omega^1_{\text{Sh}^{\text{tor}}}(\log D) \cong S_\lambda \circ \text{Sym}^2 \Omega^{\text{tor}}$
3. Análisis de filtración: Bajo la condición $p \geq 2|\lambda| - 1$, el lado derecho tiene una filtración de functores de Schur
4. Verificación de positividad: Se verifica que cada pieza graduada en la filtración correspondiente a fibrados vectoriales automorfos es (φ,D)-amplia

Lemas Clave

Lema 8.3: Si $S_\lambda \Omega^1_{\text{Sh}^{\text{tor}}}(\log D_{\text{red}})$ es (φ,D)-amplio y $\dim V \geq \text{ht}(\lambda)$, entonces el fibrado canónico logarítmico $\omega_V(\iota^{-1}D_{\text{red}})$ es (φ,$\iota^{-1}D$)-amplio, por lo que $V$ es de tipo logarítmico general.

Trabajo Relacionado

Contexto Histórico

• Teorema de Faltings: Establece la equivalencia de caracterizaciones de hiperbolicidad de curvas sobre cuerpos numéricos
• Caso complejo: Zuo y Brunebarbe demostraron la hiperbolicidad algebraica de variedades de módulos de Siegel sobre los números complejos
• Dificultades en característica positiva: El contraejemplo de Moret-Bailly muestra que la generalización directa no es posible

Desarrollo Técnico

• Teoría de functores de Schur: Categoría de functores polinomiales estrictos de Friedlander-Suslin
• Fibrados vectoriales automorfos: Trabajo de BGKS y otros sobre invariantes de Hasse generalizados
• Teoría de positividad: Trabajo clásico de Hartshorne sobre amplitud de fibrados vectoriales en característica positiva

Conclusiones y Discusión

Conclusiones Principales

1. Las variedades de módulos de Siegel en característica positiva, aunque no son completamente hiperbólicas, exhiben "hiperbolicidad parcial"
2. El locus excepcional conjeturado $E \subset \text{Sh}^{\text{tor}}$ tiene codimensión estrictamente mayor que $g-1$, conjeturándose que es exactamente $g$
3. La operación de pletismo proporciona una nueva herramienta algebraica para estudiar hiperbolicidad geométrica

Limitaciones

1. Restricción de característica: Se requiere $p \geq g^2 + 3g + 1$, sin resultados para característica pequeña
2. Restricción de codimensión: Solo se pueden tratar subvariedades de codimensión $\leq g-1$
3. Requisito de suavidad: Los resultados principales se limitan a subvariedades suaves, aunque el autor señala que pueden generalizarse al caso singular

Direcciones Futuras

1. Mejorar la cota del número de característica, en particular si $p \geq g^2 + 3g + 1$ es necesario para alcanzar la cota óptima
2. Determinar la codimensión exacta del locus excepcional
3. Generalizar el método a otras variedades de Shimura

Evaluación Profunda

Fortalezas

1. Innovación metodológica: La conexión entre pletismo e hiperbolicidad es una perspectiva completamente nueva y profunda
2. Profundidad técnica: Combina ingeniosamente teoría de representaciones, geometría algebraica y teoría de funciones simétricas
3. Precisión de resultados: Proporciona cotas explícitas de característica y codimensión
4. Apoyo computacional: Incluye cálculos explícitos de pletismo y verificación de teoría de intersecciones

Deficiencias

1. Restricción de característica relativamente fuerte: $p \geq g^2 + 3g + 1$ puede ser demasiado restrictivo en aplicaciones
2. Resultados parciales: No se logra caracterizar completamente la estructura del locus excepcional
3. Complejidad técnica: El método involucra múltiples teorías profundas, dificultando su generalización a otros problemas

Impacto

Este trabajo proporciona nuevas herramientas técnicas para geometría algebraica en característica positiva, en particular:

1. El concepto de amplitud (φ,D) puede tener aplicaciones en otros problemas en característica positiva
2. El método de pletismo ofrece una nueva perspectiva para estudiar la geometría de espacios de módulos
3. Proporciona un ejemplo profundo para comprender las diferencias entre característica positiva y característica cero

Escenarios de Aplicación

1. Investigación de propiedades geométricas de espacios de módulos en característica positiva
2. Problemas de intersección entre formas automorfas y geometría algebraica
3. Teoría de geometría aritmética de variedades de Shimura

Referencias

El artículo contiene 46 referencias bibliográficas que abarcan múltiples campos incluyendo teoría de representaciones, geometría algebraica y formas automorfas, reflejando la naturaleza interdisciplinaria y complejidad del problema.