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

Sintesi Tecnica: Sui Poli delle Funzioni Zeta per Morfismi Finiti tra Superfici Normali

Enunciato del Problema
Le funzioni zeta motiviche e topologiche sono invarianti fondamentali nella teoria delle singolarità, definite originariamente per funzioni su varietà lisce e successivamente estese a coppie $(D, W)$ costituite da un divisore $D$ (che assomiglia a una funzione) e un divisore $W$ (che rappresenta una forma differenziale) su una varietà eventualmente singolare. Una questione centrale in questo campo è comprendere la relazione tra gli insiemi dei poli di queste funzioni zeta sotto morfismi finiti. Nello specifico, dato un morfismo finito $\rho: (S, o) \to (\bar{S}, \bar{o})$ tra superfici normali, come si relazionano i poli delle funzioni zeta associate ai divisori sul target $\bar{S}$ con quelli sulla sorgente $S$? Sebbene valga un'uguaglianza della forma $Z_{\text{top}}(\bar{S}) = |\text{deg}(\rho)| \cdot Z_{\text{top}}(S)$ per specifiche mappe quoziente con forme differenziali banali, il comportamento generale sotto morfismi finiti, in particolare riguardo all'inclusione degli insiemi di poli, rimane poco chiaro.

Metodologia
Gli autori impiegano una combinazione di tecniche di risoluzione geometrica e analisi aritmetica dei dati numerici:

1. Q-Risoluzioni Incorporate: Invece delle risoluzioni incorporate standard, il lavoro utilizza Q-risoluzioni incorporate, che sono risoluzioni toriche parziali derivanti da esplosioni pesate. Queste permettono allo spazio ambiente di avere singolarità quoziente cicliche, il che è naturale quando si tratta di superfici quoziente.
2. Diagrammi Commutativi e Costruzione di Jung: Per mettere in relazione la sorgente e il target, gli autori costruiscono un diagramma commutativo che coinvolge il morfismo finito $\rho$, una risoluzione $\pi$ del target e una Q-risoluzione indotta $\tilde{\pi}$ della sorgente. Questa costruzione è ispirata al metodo di Jung, utilizzando prodotti fibrati e normalizzazione per garantire che la risoluzione della sorgente mappi finitamente sulla risoluzione del target.
3. Dati Numerici e Valori $\alpha$: L'analisi si basa pesantemente sui dati numerici $(N_i, \nu_i)$ delle componenti eccezionali ( molteplicità e discrepanze logaritmiche) e sui valori $\alpha$ derivati. Questi valori, definiti come $\alpha_P = \nu_j - (\nu_i/N_i)N_j$ (normalizzati per l'ordine della singolarità), determinano i residui dei poli candidati.
4. Analisi dei Residui: Gli autori analizzano le condizioni sotto le quali i poli candidati (valori $s_0 = -\nu_i/N_i$) diventano poli effettivi. Ciò implica lo studio delle "componenti di rottura" (curve eccezionali che intersecano almeno tre altre componenti con specifiche proprietà dei valori $\alpha$) e del comportamento dei residui nell'anello di Grothendieck delle varietà.

Contributi e Risultati Chiave

• Inclusione Generale per le Funzioni Zeta Motiviche (Teorema 1):
  Il lavoro stabilisce un risultato di inclusione generale per le funzioni zeta motiviche. Se $\rho: S \to \bar{S}$ è un morfismo finito, e i divisori $D, W$ su $\bar{S}$ sono tirati indietro a $D = \rho^* \bar{D}$ e $W = \rho^* \bar{W} + \text{Ram}_\rho$ su $S$, allora l'insieme dei poli della funzione zeta motivica sul target è contenuto nell'insieme dei poli sulla sorgente:
  $$P_{\text{mot}}^{\bar{S}}(\bar{D}, \bar{W}) \subseteq P_{\text{mot}}^{S}(D, W).$$
  Inoltre, l'ordine di un polo di ordine due è preservato. Gli autori forniscono esempi (ad esempio, Esempio 3.2) che mostrano come questa inclusione sia stretta in generale e che l'inclusione inversa non valga.

• Non-Inclusione per le Funzioni Zeta Topologiche:
  A differenza del caso motivico, il lavoro dimostra che non vale alcuna inclusione generale per le funzioni zeta topologiche. Gli esempi (4.1 e 3.2) mostrano che un polo può esistere nella sorgente ma non nel target, o viceversa. Ciò è attribuito al fatto che la condizione affinché una componente sia una "componente di rottura" (che contribuisce ai poli) non è preservata sotto spinta in avanti nel contesto topologico.

• Uguaglianza per Mappe Quoziente con Forme Differenziali Banali (Teorema 2):
  Un risultato più forte è dimostrato per il caso specifico in cui il morfismo è una mappa quoziente $\rho: \mathbb{C}^2 \to \mathbb{C}^2/G$ indotta da un gruppo abeliano finito $G$, e il divisore della forma differenziale sulla sorgente è banale ($W=0$). In questo contesto, gli autori costruiscono una specifica Q-risoluzione incorporata che soddisfa la condizione $\alpha$ (dove i valori $\alpha$ sono limitati da 1). Sotto queste condizioni, gli insiemi dei poli per entrambe le funzioni zeta motiviche e topologiche coincidono, e gli ordini dei poli sono identici:
  $$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).$$

• Relazione Moltiplicativa per Divisori Invarianti (Teorema 3):
  Il lavoro recupera la relazione moltiplicativa $Z_{\text{top}}(\bar{S}) = |G| \cdot Z_{\text{top}}(S)$ (Equazione 1) sotto la condizione che ogni componente analiticamente irriducibile sia sia di $D$ che di $W$ sia $G$-invariante. Gli autori mostrano che se le componenti sono permutate dall'azione del gruppo (un caso patologico in cui l'incrocio normale non è preservato nel quoziente), questa uguaglianza fallisce.

• Caratterizzazione dei Poli (Teoremi 1.11 e 7.1):
  Gli autori forniscono una caratterizzazione geometrica dei poli delle funzioni zeta motiviche per $W$ arbitrario su superfici normali utilizzando Q-risoluzioni incorporate. Un valore $s_0$ è un polo se e solo se corrisponde a:

  1. Una componente di trasformata stretta in $\bar{D} \cap \bar{W}$ o $\bar{D} \setminus \bar{W}$ (con $\nu_i=1$);
  2. Una curva eccezionale non razionale;
  3. Un ciclo di curve eccezionali razionali; oppure
  4. Una curva eccezionale razionale contenente almeno tre punti con valori $\alpha \neq 1$ (generalizzando il concetto di componenti di rottura).

Significato
Il lavoro chiarisce la complessa relazione tra le funzioni zeta della sorgente e del target sotto morfismi finiti, distinguendo nettamente tra i livelli motivico e topologico. Dimostra che mentre i poli motivici esibiscono una proprietà di contenimento, i poli topologici non lo fanno, evidenziando la sensibilità degli invarianti topologici alla geometria specifica della risoluzione. Il lavoro estende la teoria dei valori $\alpha$ e delle componenti di rottura al contesto delle Q-risoluzioni e delle superfici singolari ambientali, fornendo un quadro robusto per l'analisi delle funzioni zeta sulle singolarità quoziente. I risultati affinano la comprensione di quando semplici relazioni moltiplicative (come l'Equazione 1) valgono, identificando gli ostacoli geometrici precisi (come la permutazione delle componenti curve da parte dell'azione del gruppo) che impediscono tali uguaglianze. Inoltre, il lavoro collega queste scoperte ai modelli log-canonici, suggerendo che i poli delle funzioni zeta corrispondono alle componenti del modello log-canonico della coppia.