Logarithmic Fulton--MacPherson configuration spaces

Resumen Técnico: Espacios de Configuración Logarítmicos de Fulton–MacPherson

Enunciado del Problema
El artículo aborda dos preguntas fundamentales respecto a los espacios de configuración de Fulton–MacPherson (FM), $FM_n(X)$, que son compactificaciones de intersección normal simple (SNC) del espacio de configuración ordenado de $n$ puntos distintos sobre una variedad proyectiva suave $X$.

1. Compactificación Relativa: Dada una variedad no propia $U$ con una compactificación SNC $(X, D)$, ¿cómo se puede construir una compactificación SNC del espacio de configuración $Conf_n(U)$? Trabajos anteriores de Kim y Sato [KS09] abordaron el caso donde $D$ es suave; este artículo busca una solución para el caso general donde $D$ es un divisor SNC general.
2. Degeneración: Dada una degeneración $\omega: W \to B$ de $X$ sobre una curva $B$ con una fibra especial SNC, ¿cómo degenera el espacio $FM_n(X)$? Aunque Routis [Rou14] respondió esto para fronteras suaves, el caso general requiere nuevas técnicas.

Metodología
El autor emplea técnicas de geometría logarítmica y tropical, utilizando específicamente abanicos de Artin, pilas cónicas y tropicalización, para generalizar la construcción clásica de FM. El enfoque procede en dos etapas principales:

1. Construcción de Expansiones de Cuadrícula:

   • El autor construye primero un espacio de móduli $(X|D)[n]$ de "expansiones de cuadrícula" estables con $n$ puntos marcados.
   • Esto depende de la tropicalización $\Sigma_X$ del par $(X, D)$, que es un complejo de conos poliedrales racionales.
   • La construcción implica definir "subdivisiones de cuadrícula marcadas" de $\Sigma_X$. Estas son subdivisiones poliedrales inducidas por $n$ puntos en la tropicalización, dispuestas en una estructura tipo cuadrícula (intersecciones de subdivisiones de rayos).
   • Utilizando la equivalencia entre pilas cónicas y abanicos de Artin, el autor construye una familia universal de expansiones de cuadrícula sobre una pila $En(X|D)$. El espacio de móduli $(X|D)[n]$ se define entonces como una modificación logarítmica de $X^n$ obtenida al tirar hacia atrás esta familia universal.
   • Este espacio $(X|D)[n]$ parametriza puntos en degeneraciones de $X$ a lo largo de $D$ que separan los puntos del borde.

2. Explosiones Iteradas para la Separación de Puntos:

   • Siguiendo la estrategia original de Fulton–MacPherson, el autor realiza una explosión iterada de $(X|D)[n]$ a lo largo de las diagonales (y sus transformados dominantes) para separar los $n$ puntos entre sí.
   • Esto produce el Espacio Logarítmico de Fulton–MacPherson, denotado $FM_n(X|D)$.
   • Se construye una familia universal $\pi_{FM}: FM_n(X|D)^+ \to FM_n(X|D)$, que parametriza expansiones de cuadrícula FM estables con $n$ puntos marcados (degeneraciones FM de las expansiones de cuadrícula).

3. Degeneración de Espacios FM:

   • Para una degeneración $\omega: W \to B$, el autor construye un espacio de móduli $W[n]_\omega$ de "degeneraciones expandidas de retículo-simplex" estables con $n$ puntos marcados.
   • Esto implica "subdivisiones de retículo-simplex" de la tropicalización de la degeneración, adaptadas a la curva base $B$.
   • Una explosión iterada de $W[n]_\omega$ produce la degeneración $FM_n(W/B) \to B$.

Contribuciones y Resultados Clave

• Teorema A (Compactificación Logarítmica FM): Para un par SNC $(X, D)$, el esquema $FM_n(X|D)$ es una compactificación de intersección normal simple de $Conf_n(X \setminus D)$. Representa el pila de móduli de expansiones de cuadrícula FM estables con $n$ puntos marcados. El espacio admite una estratificación por tipos combinatorios, que corresponden a "bosques plantados" (un análogo tropical que involucra subdivisiones de cuadrícula y árboles enraizados).
• Teorema B (Degeneración Logarítmicamente Suave): Dada una degeneración SNC $\omega: W \to B$, el morfismo $FM_n(W/B) \to B$ es una degeneración propia, plana y logarítmicamente suave de $FM_n(X)$ con fibras reducidas. Lleva una familia universal de degeneraciones expandidas FM estables.
• Teorema C (Fórmula de Degeneración): Las componentes irreducibles de la fibra especial de $FM_n(W/B)$ están en biyección con "tipos combinatorios rígidos" (tipos donde el móduli tropical es un vértice). Cada tal componente es una modificación birracional propia de un producto de espacios logarítmicos FM asociados a las componentes de la expansión subyacente. Específicamente, si $\rho$ es un tipo rígido, la componente $FM_n(W/B)(\rho)$ se mapea a $\prod_{v} FM_{I_v}(Y_v | D_v)$, donde $Y_v$ son componentes de la expansión de la fibra especial.
• Elección Canónica de Expansiones: A diferencia de trabajos anteriores (por ejemplo, Maulik–Ranganathan) donde las expansiones dependen de tipos tropicales de aplicaciones, este artículo establece una elección canónica de expansiones ("expansiones de cuadrícula" y "expansiones de retículo-simplex") derivadas de subdivisiones poliedrales. Esto permite un pila bien definida de expansiones representable por una pila algebraica.
• Tropicalización: La tropicalización de $FM_n(X|D)$ se identifica como el espacio de móduli de bosques plantados que satisfacen condiciones específicas. Cuando $D$ está vacío, esto recupera el espacio de árboles enraizados descrito en [FM94].

Significado y Afirmaciones
El artículo afirma proporcionar un marco sistemático para manejar espacios de configuración en variedades con fronteras SNC y sus degeneraciones, extendiendo la teoría clásica de Fulton–MacPherson al entorno logarítmico.

• Generalización: Generaliza las construcciones de Kim–Sato [KS09] (para fronteras suaves) y Abramovich–Fantechi [AF17] (para expansiones) al caso de divisores SNC y degeneraciones arbitrarios.
• Estructura Canónica: Al utilizar una elección canónica de subdivisiones (cuadrícula y retículo-simplex), el autor evita la ambigüedad de elegir expansiones basadas en tipos de aplicaciones, permitiendo una descripción más granular de los espacios de móduli.
• Aplicaciones: El autor nota aplicaciones potenciales en:
  • Definir la teoría de Gromov–Witten logarítmica no ramificada para pares $(X, D)$ (trabajo en progreso [Mok26]).
  • Derivar una fórmula de degeneración para invariantes de Gromov–Witten no ramificados, vinculándolos potencialmente a invariantes de Gopakumar–Vafa (como conjeturó Pandharipande y demostró Nesterov [Nes25b] en el caso Fano).
  • Investigar la teoría de intersección de espacios FM clásicos y logarítmicos, sugiriendo que las series generadoras de integrales de clases tautológicas pueden ser invariantes de cobordismo expresables mediante polinomios universales en números de Chern.

El artículo se mantiene modesto respecto a estas aplicaciones, enmarcándolas como "potenciales" y "trabajo en progreso", mientras enfatiza los resultados estructurales sobre la construcción y las propiedades de los propios espacios de configuración.