Birational Classification of Orbifold Compactified Jacobians

Resumen Técnico: Clasificación Biracional de Jacobianas Compactificadas Orbifold

Enunciado del Problema
El artículo aborda el problema de la clasificación biracional equivariante orbifold para familias de compactificaciones toroidales de un grupo $G$ sobre una base toroidal $S$. Específicamente, se centra en casos donde $G$ es un toro algebraico, un esquema semiabeliano o la jacobiana de una familia de curvas nodales. Los autores trabajan dentro del marco de los pilas de Deligne-Mumford (DM), adoptando la definición de equivalencia biracional propuesta por Kresch y Tschinkel, la cual requiere la existencia de una correspondencia con morfismos propios, biracionales y representables. Esta definición distingue las clases biracionales orbifold de las de variedades algebraicas, ya que tiene en cuenta la estructura de pila (grupos de isotropía) y evita la trivialización de las clases orbifold en clases de una sola variedad.

La dificultad central radica en el hecho de que, mientras que la clasificación biracional clásica de variedades toricas completas es trivial (determinada únicamente por la dimensión), la versión orbifold produce infinitas clases distintas. El artículo pretende clasificar estas clases para esquemas semiabelianos y jacobianas, generalizando resultados recientes de Schmitt sobre orbifolds toricos.

Metodología
Los autores emplean el lenguaje de la geometría logarítmica para traducir el problema de clasificación geométrico en uno combinatorio. La metodología procede a través de varias etapas clave:

1. Compactificaciones Logarítmicas y Abanicos de Artin: Los autores definen compactificaciones log de un esquema semiabeliano $G$ como morfismos propios, log-regulars y $G$-equivariantes $X \to S$ que contienen a $G$ como un subpila abierta densa. Establecen una correspondencia entre estos objetos geométricos y los abanicos de Artin (pilares sobre la categoría de conos poliedrales racionales). Específicamente, demuestran que la categoría de compactificaciones log es equivalente a la categoría de "compactificaciones log parciales combinatorias" mediante un funtor de tropicalización.
2. Correspondencia Tropical: Se construye un funtor de "tropicalización" $\Sigma_?$, que mapea las compactificaciones log a "compactificaciones tropicales" (subdivisiones de variedades semiabelianas tropicales). Por el contrario, un funtor de "realización geométrica" $R_?$ reconstruye el objeto geométrico a partir de los datos combinatorios. Los autores demuestran que esta correspondencia es una equivalencia de categorías, reduciendo el problema geométrico a la clasificación de compactificaciones tropicales.
3. Objetos Generalizados y Minimalidad: Para lograr una clasificación completa, los autores introducen compactificaciones log generalizadas (que permiten ciertos morfismos no representables en el límite combinatorio) y objetos mínimos. Demuestran que cada clase de equivalencia biracional contiene un objeto mínimo único. Este objeto mínimo sirve como el representante canónico de la clase.
4. Solución Combinatoria: El problema de identificar objetos mínimos se resuelve combinatoriamente. Los autores definen "abanicos de pila" y "abanicos mínimos" (subconjuntos de retículos que satisfacen propiedades específicas de intersección e invarianza). Demuestran que las compactificaciones tropicales generalizadas mínimas corresponden biyectivamente a estos abanicos mínimos.
5. Propiedad de Mapeo de Néron: Un paso técnico crucial implica el uso de la propiedad de mapeo de Néron para jacobianas logarítmicas (establecida por Holmes et al.). Esta propiedad asegura que cualquier compactificación log de una jacobiana admite un morfismo equivariante único hacia la jacobiana logarítmica, permitiendo a los autores tratar las jacobianas dentro del mismo marco que los toros algebraicos.

Contribuciones y Resultados Clave

• Generalización de los Resultados de Schmitt: El artículo extiende la clasificación de orbifolds toricos de Schmitt (que utilizó "coloraciones de sublattice") al contexto más amplio de esquemas semiabelianos y jacobianas. Proporciona una interpretación geométrica de las coloraciones de sublattice de Schmitt como los abanicos de compactificaciones log mínimas.
• Clasificación de Jacobianas Compactificadas: Los autores proporcionan una clasificación biracional completa para las jacobianas compactificadas de curvas log-regulars. Establecen una biyección entre el conjunto de clases de equivalencia biracional de jacobianas compactificadas y el conjunto de compactificaciones tropicales generalizadas mínimas de la jacobiana tropical.
• Compactificaciones Log Mínimas: El artículo demuestra que, para cualquier esquema semiabeliano $G$ (bajo condiciones específicas), la categoría de compactificaciones log contiene un objeto mínimo único, denotado $G^{\log}$. Si bien cualquier compactificación log se mapea a $G^{\log}$, el mapa es una equivalencia biracional solo si es representable. Esto aclara la estructura de las clases biracionales: están en correspondencia uno a uno con las compactificaciones log generalizadas mínimas.
• Descripción Combinatoria: Los autores proporcionan una descripción combinatoria explícita de estas clases mínimas. Para un toro $T$, las clases corresponden a "coloraciones de sublattice" (generalizadas al caso semiabeliano). Para las jacobianas, corresponden a subconjuntos de la jacobiana tropical definidos por abanicos de pila completos.
• Reducción a Conjetura: El caso semiabeliano general se reduce a una conjetura abierta sobre la propiedad de mapeo de Néron para variedades abelianas logarítmicas. Los autores declaran que, si esta conjetura se cumple, sus resultados se generalizan a familias arbitrarias de variedades semiabelianas que admiten una compactificación por una variedad abeliana logarítmica.

Significado y Afirmaciones
El artículo afirma situar los recientes resultados combinatorios de Schmitt [Sch24] dentro de un marco conceptual natural en la geometría logarítmica. Al utilizar el lenguaje de esquemas log y abanicos de Artin, los autores interpretan geométricamente las coloraciones de sublattice como los datos que definen las compactificaciones log mínimas.

El significado del trabajo radica en su capacidad para resolver un problema de clasificación "estrictamente más difícil" (clasificación biracional orbifold) reduciéndolo a un problema combinatorio que involucra geometría tropical y subdivisiones de retículos. Los autores enfatizan que su noción de equivalencia biracional es relativa a la base $S$, lo cual es un refinamiento necesario para familias de variedades.

El artículo no afirma resolver el caso semiabeliano general de manera incondicional, sino que lo reduce a una conjetura bien motivada (Conjetura 1) concerniente a la propiedad de mapeo de Néron. Los resultados se presentan como una generalización e interpretación geométrica del trabajo existente, proporcionando un marco unificado para comprender la geometría biracional de variedades toricas, esquemas semiabelianos y jacobianas en el contexto orbifold.