On the poles of zeta functions for finite morphisms between normal surfaces

Resumen Técnico: Sobre los Polos de las Funciones Zeta para Morphismos Finitos entre Superficies Normales

Planteamiento del Problema
Las funciones zeta motivicas y topológicas son invariantes fundamentales en la teoría de singularidades, definidas originalmente para funciones en variedades suaves y posteriormente extendidas a pares $(D, W)$ que consisten en un divisor $D$ (que se asemeja a una función) y un divisor $W$ (que representa una forma diferencial) en una variedad posiblemente singular. Una pregunta central en este campo es comprender la relación entre los conjuntos de polos de estas funciones zeta bajo morfismos finitos. Específicamente, dado un morfismo finito $\rho: (S, o) \to (\bar{S}, \bar{o})$ entre superficies normales, ¿cómo se relacionan los polos de las funciones zeta asociadas a divisores en el objetivo $\bar{S}$ con los del origen $S$? Si bien una igualdad de la forma $Z_{\text{top}}(\bar{S}) = |\text{deg}(\rho)| \cdot Z_{\text{top}}(S)$ se cumple para mapas de cociente específicos con formas diferenciales triviales, el comportamiento general bajo morfismos finitos, particularmente en lo que respecta a la inclusión de conjuntos de polos, permanece poco claro.

Metodología
Los autores emplean una combinación de técnicas de resolución geométrica y análisis aritmético de datos numéricos:

1. Resoluciones Q Incrustadas: En lugar de resoluciones incrustadas estándar, el artículo utiliza resoluciones Q incrustadas, que son resoluciones toricas parciales que surgen de blow-ups ponderados. Estas permiten que el espacio ambiente tenga singularidades de cociente cíclicas, lo cual es natural al tratar con superficies cociente.
2. Diagramas Conmutativos y la Construcción de Jung: Para relacionar el origen y el objetivo, los autores construyen un diagrama conmutativo que involucra el morfismo finito $\rho$, una resolución $\pi$ del objetivo y una resolución Q inducida $\tilde{\pi}$ del origen. Esta construcción está inspirada en el método de Jung, utilizando productos fibrados y normalización para asegurar que la resolución del origen se mapee finitamente a la resolución del objetivo.
3. Datos Numéricos y Valores $\alpha$: El análisis depende en gran medida de los datos numéricos $(N_i, \nu_i)$ de las componentes excepcionales (multiplicidades y discrepancias logarítmicas) y de los valores $\alpha$ derivados. Estos valores, definidos como $\alpha_P = \nu_j - (\nu_i/N_i)N_j$ (normalizados por el orden de la singularidad), determinan los residuos de los polos candidatos.
4. Análisis de Residuos: Los autores analizan las condiciones bajo las cuales los polos candidatos (valores $s_0 = -\nu_i/N_i$) se convierten en polos reales. Esto implica estudiar las "componentes de ruptura" (curvas excepcionales que intersectan al menos a otras tres componentes con propiedades específicas de los valores $\alpha$) y el comportamiento de los residuos en el anillo de Grothendieck de variedades.

Contribuciones y Resultados Clave

• Inclusión General para Funciones Zeta Motivas (Teorema 1):
  El artículo establece un resultado de inclusión general para funciones zeta motivicas. Si $\rho: S \to \bar{S}$ es un morfismo finito, y los divisores $D, W$ en $\bar{S}$ se tiran hacia atrás a $D = \rho^* \bar{D}$ y $W = \rho^* \bar{W} + \text{Ram}_\rho$ en $S$, entonces el conjunto de polos de la función zeta motivica en el objetivo está contenido en el conjunto de polos en el origen:
  $$P_{\text{mot}}^{\bar{S}}(\bar{D}, \bar{W}) \subseteq P_{\text{mot}}^{S}(D, W).$$
  Además, el orden de un polo de orden dos se preserva. Los autores proporcionan ejemplos (por ejemplo, Ejemplo 3.2) que muestran que esta inclusión es estricta en general y que la inclusión inversa no se cumple.

• No Inclusión para Funciones Zeta Topológicas:
  A diferencia del caso motivico, el artículo demuestra que no se cumple ninguna inclusión general para funciones zeta topológicas. Los ejemplos (4.1 y 3.2) muestran que un polo puede existir en el origen pero no en el objetivo, o viceversa. Esto se atribuye al hecho de que la condición para que una componente sea una "componente de ruptura" (que contribuye a los polos) no se preserva bajo empuje hacia adelante en el contexto topológico.

• Igualdad para Mapas de Cociente con Formas Diferenciales Triviales (Teorema 2):
  Se prueba un resultado más fuerte para el caso específico donde el morfismo es un mapa de cociente $\rho: \mathbb{C}^2 \to \mathbb{C}^2/G$ inducido por un grupo abeliano finito $G$, y el divisor de forma diferencial en el origen es trivial ($W=0$). En este contexto, los autores construyen una resolución Q incrustada específica que satisface la condición $\alpha$ (donde los valores $\alpha$ están acotados por 1). Bajo estas condiciones, los conjuntos de polos para ambas funciones zeta motivicas y topológicas coinciden, y los órdenes de los polos son idénticos:
  $$P_{\text{mot}}^{\mathbb{C}^2/G}(\bar{D}, -B_\rho) = P_{\text{top}}^{\mathbb{C}^2/G}(\bar{D}, -B_\rho) = P_{\text{top}}^{\mathbb{C}^2}(D, 0) = P_{\text{mot}}^{\mathbb{C}^2}(D, 0).$$

• Relación Multiplicativa para Divisores Invariantes (Teorema 3):
  El artículo recupera la relación multiplicativa $Z_{\text{top}}(\bar{S}) = |G| \cdot Z_{\text{top}}(S)$ (Ecuación 1) bajo la condición de que cada componente analíticamente irreducible de ambos $D$ y $W$ sea $G$-invariante. Los autores muestran que si las componentes son permutadas por la acción del grupo (un caso patológico donde el cruce normal no se preserva en el cociente), esta igualdad falla.

• Caracterización de Polos (Teoremas 1.11 y 7.1):
  Los autores proporcionan una caracterización geométrica de los polos de las funciones zeta motivicas para $W$ arbitrario en superficies normales utilizando resoluciones Q incrustadas. Un valor $s_0$ es un polo si y solo si corresponde a:

  1. Una componente de transformado estricto en $\bar{D} \cap \bar{W}$ o $\bar{D} \setminus \bar{W}$ (con $\nu_i=1$);
  2. Una curva excepcional no racional;
  3. Un ciclo de curvas excepcionales racionales; o
  4. Una curva excepcional racional que contiene al menos tres puntos con valores $\alpha \neq 1$ (generalizando el concepto de componentes de ruptura).

Significado
El artículo clarifica la compleja relación entre las funciones zeta del origen y el objetivo bajo morfismos finitos, distinguiendo nítidamente entre los niveles motivico y topológico. Demuestra que, mientras que los polos motivicos exhiben una propiedad de contención, los polos topológicos no lo hacen, destacando la sensibilidad de los invariantes topológicos a la geometría específica de la resolución. El trabajo extiende la teoría de los valores $\alpha$ y las componentes de ruptura al contexto de resoluciones Q y superficies ambiente singulares, proporcionando un marco robusto para analizar funciones zeta en singularidades de cociente. Los resultados refinan la comprensión de cuándo se cumplen relaciones multiplicativas simples (como la Ecuación 1), identificando los obstáculos geométricos precisos (tales como la permutación de componentes de curvas por la acción del grupo) que impiden tales igualdades. Además, el artículo conecta estos hallazgos con modelos canónicos logarítmicos, sugiriendo que los polos de las funciones zeta corresponden a las componentes del modelo canónico logarítmico del par.