Characterization of fiberwise bimeromorphism and specialization of bimeromorphic types I: locally Moishezon case

Resumen Técnico del Artículo: "Caracterización de la Bimeromorfía Fibra a Fibra y Especialización de Tipos Bimerómorficos I: Caso Localmente Moishezon"

Autores: Jian Chen, Sheng Rao e I-Hsun Tsai.

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la geometría bimerómica compleja: la especialización de tipos bimerómorficos. La cuestión central es la siguiente: Dadas dos familias de deformación sobre una misma base (espacio analítico complejo), si las fibras genéricas son bimerórficamente equivalentes, ¿bajo qué condiciones todas las fibras sobre un punto especial (degeneración) también son bimerórficamente equivalentes?

El trabajo se inspira en resultados recientes en la categoría de esquemas (algebraica) por Kontsevich-Tschinkel y Nicaise-Ottem, quienes demostraron la preservación de la racionalidad y tipos birracionales para familias suaves. Sin embargo, en el entorno analítico complejo, la construcción de un morfismo de especialización análogo (basado en estructuras algebraicas de campos de funciones) es difícil o imposible debido a la falta de una estructura algebraica global robusta. Además, la literatura existente a menudo asume que las familias son suaves y algebraicas, mientras que este trabajo busca generalizar estos resultados a familias que pueden tener singularidades y fibras reducibles, operando puramente en el contexto analítico.

2. Metodología

Los autores emplean una estrategia que combina la teoría de deformaciones, la geometría bimerómica y la teoría de ciclos de Barlet relativa. Su enfoque se divide en dos etapas principales:

1. Caracterización de la Bimeromorfía Fibra a Fibra:

   • En lugar de intentar construir un morfismo de especialización directo, los autores construyen un mapa bimerómico global entre los espacios totales de las dos familias.
   • El núcleo del problema es determinar cuándo este mapa global induce una equivalencia bimerómica en cada fibra individualmente (definición 2.16).
   • Analizan dos obstáculos principales para que un mapa bimerómico sea "fibra a fibra": el divisor de ramificación y el lugar de indeterminación.
   • Utilizan técnicas de desingularización (resolución de singularidades de Hironaka) para eliminar la indeterminación, convirtiendo el mapa en un morfismo propio.
   • Para controlar las excepciones generadas por las explosiones (blow-ups), utilizan dos estrategias:
     • Teoría de desingularización: Controlar que los divisores excepcionales sean "unirruled" (regrados por curvas racionales) para que no interfieran con fibras de dimensión de Kodaira no negativa.
     • Comportamiento de las plurigeneras: Aprovechar la semicontinuidad inferior y superior de las plurigeneras ($P_m$) y la invariancia de estas en familias localmente Moishezon (resultados de Takayama) para forzar la correspondencia entre componentes irreducibles de las fibras.

2. Especialización mediante el Espacio de Ciclos de Barlet Relativo:

   • Una vez establecida la caracterización de la bimeromorfía fibra a fibra, aplican la teoría del espacio de ciclos de Barlet relativo (inspirada en Mumford, Persson, Timmerscheidt y de Fernex-Fusi).
   • Esta teoría permite tratar familias de ciclos analíticos compactos como espacios analíticos. Los autores demuestran que el conjunto de puntos en la base donde las fibras son bimerórficamente equivalentes forma un subconjunto analítico con propiedades topológicas específicas (unión numerable de subconjuntos analíticos propios o todo el espacio).

3. Contribuciones Clave y Resultados Principales

A. Caracterización de la Bimeromorfía Fibra a Fibra

• Teorema 3.1 y Corolario 3.2: Demuestran que un morfismo bimerómico (no solo un mapa) entre familias sobre la misma base es necesariamente fibra a fibra bimerómico. Esto resuelve el problema del divisor de ramificación para morfismos.
• Teorema 4.7 (Criterio de Plurigeneras): Establecen condiciones bajo las cuales un mapa bimerómico es fibra a fibra bimerómico, basándose en el comportamiento de las plurigeneras. Si la fibra especial tiene dimensión de Kodaira $\kappa \geq 0$ y se cumple la semicontinuidad de las plurigeneras, se garantiza la existencia de una componente irreducible en la fibra especial que es bimerórficamente equivalente a la fibra genérica.
• Teorema 6.5 (Caso Localmente Moishezon): Aplican los resultados anteriores a familias localmente Moishezon con fibras que tienen solo singularidades canónicas y dimensión de Kodaira no negativa. Demuestran que bajo estas condiciones, la bimeromorfía fibra a fibra se preserva.

B. Especialización de Tipos Bimerómorficos

• Teorema 7.13 (Resultado Principal de Especialización): Sea $\pi_1: X \to S$ y $\pi_2: Y \to S$ dos familias localmente Moishezon, universalmente normales, con fibras irreducibles de dimensión de Kodaira no negativa. Si las fibras genéricas son bimerórficamente equivalentes, entonces el conjunto de puntos $t \in S$ donde las fibras son bimerórficamente equivalentes es o bien toda la base $S$, o bien una unión numerable de subconjuntos analíticos propios.
  • Esto generaliza los resultados de Kontsevich-Tschinkel al contexto analítico y permite singularidades (siempre que sean canónicas).
• Corolario 7.16 (Isotrivialidad Fuerte): Derivan criterios para la isotrivialidad bimerórficamente fuerte local. Si una familia tiene fibras bimerórficamente equivalentes a una variedad fija en un conjunto no numerable, la familia es localmente trivial en el sentido bimerómico.

C. Conexiones Teóricas

El artículo revela una cadena de implicaciones que unifica cuatro temas clásicos de la geometría bimerómica:
$$\text{Comportamiento de deformación de plurigeneras} \implies \text{Bimeromorfía fibra a fibra} \implies \text{Especialización de estructura bimerórfica fija} \iff \text{Especialización de tipos bimerómorficos}$$

4. Significado e Impacto

1. Generalización al Contexto Analítico: El trabajo supera la limitación de los resultados algebraicos (esquemas) al establecer resultados sólidos en la categoría de espacios analíticos complejos, donde las herramientas de especialización algebraica no están disponibles.
2. Manejo de Singularidades: A diferencia de muchos trabajos previos que requieren familias suaves, este artículo permite que las fibras tengan singularidades canónicas, lo cual es crucial para la teoría de modelos mínimos y la geometría biracional moderna.
3. Fibras Reducibles: Proporciona criterios para familias con fibras que pueden ser reducibles, identificando componentes específicas que preservan la equivalencia bimerómica, mientras que otras componentes pueden tener dimensión de Kodaira $-\infty$.
4. Herramienta para Conjeturas de Kollár: Los autores proponen que sus resultados sobre bimeromorfía fibra a fibra pueden ser la pieza clave para abordar la Conjetura 7.18 de Kollár sobre la existencia de modelos proyectivos fibra a fibra para familias Moishezon con singularidades canónicas.
5. Rigidez y Deformación: El artículo conecta la rigidez de la estructura bimerómica con el comportamiento de las plurigeneras, ofreciendo una nueva perspectiva sobre la deformabilidad de variedades complejas.

En resumen, este artículo establece un marco teórico robusto para estudiar la estabilidad de la equivalencia bimerómica bajo degeneraciones en geometría analítica compleja, utilizando una combinación ingeniosa de teoría de ciclos, análisis de singularidades y propiedades de invariancia de las plurigeneras.