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

Resumo Técnico: Sobre os Pólos das Funções Zeta para Morfismos Finitos entre Superfícies Normais

Enunciado do Problema
As funções zeta motivicas e topológicas são invariantes fundamentais na teoria das singularidades, originalmente definidas para funções em variedades suaves e posteriormente estendidas a pares $(D, W)$ consistindo de um divisor $D$ (assemelhando-se a uma função) e um divisor $W$ (representando uma forma diferencial) em uma variedade possivelmente singular. Uma questão central neste campo é compreender a relação entre os conjuntos de pólos dessas funções zeta sob morfismos finitos. Especificamente, dado um morfismo finito $\rho: (S, o) \to (\bar{S}, \bar{o})$ entre superfícies normais, como se relacionam os pólos das funções zeta associadas a divisores no alvo $\bar{S}$ com os do domínio $S$? Embora uma igualdade da forma $Z_{\text{top}}(\bar{S}) = |\text{deg}(\rho)| \cdot Z_{\text{top}}(S)$ valha para mapas quocientes específicos com formas diferenciais triviais, o comportamento geral sob morfismos finitos, particularmente no que diz respeito à inclusão de conjuntos de pólos, permanece incerto.

Metodologia
Os autores empregam uma combinação de técnicas de resolução geométrica e análise aritmética de dados numéricos:

1. Q-Resoluções Embutidas: Em vez de resoluções embutidas padrão, o artigo utiliza Q-resoluções embutidas, que são resoluções toricas parciais decorrentes de blow-ups ponderados. Estas permitem que o espaço ambiente tenha singularidades de quociente cíclico, o que é natural ao lidar com superfícies quociente.
2. Diagramas Comutativos e Construção de Jung: Para relacionar o domínio e o alvo, os autores constroem um diagrama comutativo envolvendo o morfismo finito $\rho$, uma resolução $\pi$ do alvo e uma Q-resolução induzida $\tilde{\pi}$ do domínio. Esta construção é inspirada no método de Jung, utilizando produtos fibrados e normalização para garantir que a resolução do domínio mapeie finitamente para a resolução do alvo.
3. Dados Numéricos e Valores $\alpha$: A análise depende fortemente dos dados numéricos $(N_i, \nu_i)$ das componentes excepcionais (multiplicidades e discrepâncias logarítmicas) e dos valores $\alpha$ derivados. Estes valores, definidos como $\alpha_P = \nu_j - (\nu_i/N_i)N_j$ (normalizados pela ordem da singularidade), determinam os resíduos dos pólos candidatos.
4. Análise de Resíduos: Os autores analisam as condições sob as quais pólos candidatos (valores $s_0 = -\nu_i/N_i$) tornam-se pólos efetivos. Isso envolve estudar as "componentes de ruptura" (curvas excepcionais que intersectam pelo menos três outras componentes com propriedades específicas de valor $\alpha$) e o comportamento dos resíduos no anel de Grothendieck das variedades.

Principais Contribuições e Resultados

• Inclusão Geral para Funções Zeta Motivas (Teorema 1):
  O artigo estabelece um resultado de inclusão geral para funções zeta motivicas. Se $\rho: S \to \bar{S}$ é um morfismo finito, e divisores $D, W$ em $\bar{S}$ são puxados de volta para $D = \rho^* \bar{D}$ e $W = \rho^* \bar{W} + \text{Ram}_\rho$ em $S$, então o conjunto de pólos da função zeta motivica no alvo está contido no conjunto de pólos no domínio:
  $$P_{\text{mot}}^{\bar{S}}(\bar{D}, \bar{W}) \subseteq P_{\text{mot}}^{S}(D, W).$$
  Além disso, a ordem de um pólo de ordem dois é preservada. Os autores fornecem exemplos (por exemplo, Exemplo 3.2) mostrando que esta inclusão é estrita em geral e que a inclusão reversa não se sustenta.

• Não-Inclusão para Funções Zeta Topológicas:
  Ao contrário do caso motivico, o artigo demonstra que nenhuma inclusão geral vale para funções zeta topológicas. Exemplos (4.1 e 3.2) mostram que um pólo pode existir no domínio mas não no alvo, ou vice-versa. Isso é atribuído ao fato de que a condição para uma componente ser uma "componente de ruptura" (que contribui para os pólos) não é preservada sob o empurrão (pushforward) no contexto topológico.

• Igualdade para Mapas Quociente com Formas Diferenciais Triviais (Teorema 2):
  Um resultado mais forte é provado para o caso específico em que o morfismo é um mapa quociente $\rho: \mathbb{C}^2 \to \mathbb{C}^2/G$ induzido por um grupo abeliano finito $G$, e o divisor da forma diferencial no domínio é trivial ($W=0$). Neste cenário, os autores constroem uma Q-resolução embutida específica que satisfaz a condição $\alpha$ (onde os valores $\alpha$ são limitados por 1). Sob estas condições, os conjuntos de pólos para ambas as funções zeta motivicas e topológicas coincidem, e as ordens dos pólos são idênticas:
  $$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).$$

• Relação Multiplicativa para Divisores Invariantes (Teorema 3):
  O artigo recupera a relação multiplicativa $Z_{\text{top}}(\bar{S}) = |G| \cdot Z_{\text{top}}(S)$ (Equação 1) sob a condição de que toda componente analiticamente irredutível de ambos $D$ e $W$ seja $G$-invariante. Os autores mostram que, se as componentes são permutadas pela ação do grupo (um caso patológico onde o cruzamento normal não é preservado no quociente), esta igualdade falha.

• Caracterização dos Pólos (Teoremas 1.11 e 7.1):
  Os autores fornecem uma caracterização geométrica dos pólos das funções zeta motivicas para $W$ arbitrário em superfícies normais usando Q-resoluções embutidas. Um valor $s_0$ é um pólo se e somente se corresponder a:

  1. Uma componente de transformado estrito em $\bar{D} \cap \bar{W}$ ou $\bar{D} \setminus \bar{W}$ (com $\nu_i=1$);
  2. Uma curva excepcional não racional;
  3. Um ciclo de curvas excepcionais racionais; ou
  4. Uma curva excepcional racional contendo pelo menos três pontos com valores $\alpha \neq 1$ (generalizando o conceito de componentes de ruptura).

Significado
O artigo esclarece a relação complexa entre as funções zeta do domínio e do alvo sob morfismos finitos, distinguindo nitidamente entre os níveis motivico e topológico. Demonstra-se que, enquanto os pólos motivicos exibem uma propriedade de contenção, os pólos topológicos não, destacando a sensibilidade dos invariantes topológicos à geometria específica da resolução. O trabalho estende a teoria dos valores $\alpha$ e das componentes de ruptura para o cenário de Q-resoluções e superfícies ambientes singulares, fornecendo uma estrutura robusta para analisar funções zeta em singularidades quociente. Os resultados refinam a compreensão de quando relações multiplicativas simples (como a Equação 1) valem, identificando os obstáculos geométricos precisos (como a permutação de componentes de curvas pela ação do grupo) que impedem tais igualdades. Adicionalmente, o artigo conecta estas descobertas a modelos canônicos logarítmicos, sugerindo que os pólos das funções zeta correspondem às componentes do modelo canônico logarítmico do par.