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

Technische Samenvatting: Over de Polen van Zetavoorstellingen voor Eindige Morfismen tussen Normale Oppervlakken

Probleemstelling
Motivische en topologische zetavoorstellingen zijn fundamentele invarianten in de singulariteitstheorie, oorspronkelijk gedefinieerd voor functies op gladde variëteiten en later uitgebreid tot paren $(D, W)$ bestaande uit een divisor $D$ (die een functie benadert) en een divisor $W$ (die een differentiaalvorm vertegenwoordigt) op een mogelijk singuliere variëteit. Een centrale vraag in dit vakgebied is het begrijpen van de relatie tussen de verzamelingen polen van deze zetavoorstellingen onder eindige morfismen. Specifiek: gegeven een eindig morfisme $\rho: (S, o) \to (\bar{S}, \bar{o})$ tussen normale oppervlakken, hoe verhouden de polen van de zetavoorstellingen geassocieerd met divisors op het doel $\bar{S}$ zich tot die op de bron $S$? Hoewel een gelijkheid van de vorm $Z_{\text{top}}(\bar{S}) = |\text{deg}(\rho)| \cdot Z_{\text{top}}(S)$ geldt voor specifieke quotiëntafbeeldingen met triviale differentiaalvormen, blijft het algemene gedrag onder eindige morfismen, met name wat betreft de opneming van polenverzamelingen, onduidelijk.

Methodologie
De auteurs maken gebruik van een combinatie van geometrische resolutietechnieken en arithmetische analyse van numerieke data:

1. Inbedde Q-Resoluties: In plaats van standaard ingebedde resoluties, maakt het artikel gebruik van ingebedde Q-resoluties, die partiële torische resoluties zijn die voortvloeien uit gewogen opblazingen. Deze staan toe dat de omgevende ruimte cyclische quotiëntsingulariteiten heeft, wat natuurlijk is bij het omgaan met quotiëntoppervlakken.
2. Commutatieve Diagrammen en de Constructie van Jung: Om de bron en het doel te relateren, construeren de auteurs een commutatief diagram dat het eindige morfisme $\rho$, een resolutie $\pi$ van het doel, en een geïnduceerde Q-resolutie $\tilde{\pi}$ van de bron omvat. Deze constructie is geïnspireerd op de methode van Jung, waarbij vezelproducten en normalisatie worden gebruikt om ervoor te zorgen dat de bronresolutie eindig afbeeldt op de doelresolutie.
3. Numerieke Data en $\alpha$-waarden: De analyse steunt zwaar op de numerieke data $(N_i, \nu_i)$ van uitzonderlijke componenten (veelvouden en logaritmische afwijkingen) en de afgeleide $\alpha$-waarden. Deze waarden, gedefinieerd als $\alpha_P = \nu_j - (\nu_i/N_i)N_j$ (genormaliseerd naar de orde van de singulariteit), bepalen de residuen van kandidaat-polen.
4. Residuanalyse: De auteurs analyseren de voorwaarden waaronder kandidaat-polen (waarden $s_0 = -\nu_i/N_i$) werkelijke polen worden. Dit houdt in dat men de "ruptuurcomponenten" (uitzonderlijke krommen die minstens drie andere componenten snijden met specifieke $\alpha$-waarde-eigenschappen) en het gedrag van residuen in de Grothendiekring van variëteiten bestudeert.

Belangrijkste Bijdragen en Resultaten

• Algemene Opneming voor Motivische Zetavoorstellingen (Stelling 1):
  Het artikel vestigt een algemeen opnemingsresultaat voor motivische zetavoorstellingen. Als $\rho: S \to \bar{S}$ een eindig morfisme is, en divisors $D, W$ op $\bar{S}$ worden teruggetrokken naar $D = \rho^* \bar{D}$ en $W = \rho^* \bar{W} + \text{Ram}_\rho$ op $S$, dan is de verzameling polen van de motivische zetavoorstelling op het doel opgenomen in de verzameling polen op de bron:
  $$P_{\text{mot}}^{\bar{S}}(\bar{D}, \bar{W}) \subseteq P_{\text{mot}}^{S}(D, W).$$
  Bovendien wordt de orde van een pool van orde twee behouden. De auteurs geven voorbeelden (bijvoorbeeld Voorbeeld 3.2) die tonen dat deze opneming in het algemeen strikt is en dat de omgekeerde opneming niet geldt.

• Geen Opneming voor Topologische Zetavoorstellingen:
  In tegenstelling tot het motivische geval, toont het artikel aan dat er geen algemene opneming geldt voor topologische zetavoorstellingen. Voorbeelden (4.1 en 3.2) tonen aan dat een pool kan bestaan in de bron maar niet in het doel, of omgekeerd. Dit wordt toegeschreven aan het feit dat de voorwaarde voor een component om een "ruptuurcomponent" te zijn (wat bijdraagt aan polen) niet behouden blijft onder pushforward in de topologische setting.

• Gelijkheid voor Quotiëntafbeeldingen met Triviale Differentiaalvormen (Stelling 2):
  Een sterker resultaat wordt bewezen voor het specifieke geval waarin het morfisme een quotiëntafbeelding is $\rho: \mathbb{C}^2 \to \mathbb{C}^2/G$ geïnduceerd door een eindige abelse groep $G$, en de divisor van de differentiaalvorm op de bron triviaal is ($W=0$). In deze setting construeren de auteurs een specifieke ingebedde Q-resolutie die voldoet aan de $\alpha$-conditie (waarbij $\alpha$-waarden begrensd zijn door 1). Onder deze voorwaarden vallen de verzamelingen polen voor zowel motivische als topologische zetavoorstellingen samen, en zijn de orden van de polen identiek:
  $$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).$$

• Multiplicatieve Relatie voor Invariante Divisors (Stelling 3):
  Het artikel herstelt de multiplicatieve relatie $Z_{\text{top}}(\bar{S}) = |G| \cdot Z_{\text{top}}(S)$ (Vergelijking 1) onder de voorwaarde dat elke analytisch irreducibele component van zowel $D$ als $W$ $G$-invariant is. De auteurs tonen aan dat als componenten worden gepermuteerd door de groepswerking (een pathologisch geval waarbij normaal kruisen niet behouden blijft in het quotiënt), deze gelijkheid faalt.

• Karakterisering van Polen (Stelling 1.11 en 7.1):
  De auteurs geven een geometrische karakterisering van de polen van motivische zetavoorstellingen voor willekeurige $W$ op normale oppervlakken met behulp van ingebedde Q-resoluties. Een waarde $s_0$ is een pool dan en slechts dan als deze overeenkomt met:

  1. Een strikt getransformeerde component in $\bar{D} \cap \bar{W}$ of $\bar{D} \setminus \bar{W}$ (met $\nu_i=1$);
  2. Een niet-rationale uitzonderlijke kromme;
  3. Een cyclus van rationale uitzonderlijke krommen; of
  4. Een rationale uitzonderlijke kromme die minstens drie punten bevat met $\alpha$-waarden $\neq 1$ (veralgemening van het concept van ruptuurcomponenten).

Betekenis
Het artikel verduidelijkt de complexe relatie tussen zetavoorstellingen van bron en doel onder eindige morfismen, en maakt een scherpe onderscheiding tussen het motivische en het topologische niveau. Het toont aan dat terwijl motivische polen een opname-eigenschap vertonen, topologische polen dit niet doen, wat de gevoeligheid van topologische invarianten voor de specifieke geometrie van de resolutie benadrukt. Het werk breidt de theorie van $\alpha$-waarden en ruptuurcomponenten uit naar de setting van Q-resoluties en singuliere omgevende oppervlakken, en biedt een robuust raamwerk voor het analyseren van zetavoorstellingen op quotiëntsingulariteiten. De resultaten verfijnen het begrip van wanneer eenvoudige multiplicatieve relaties (zoals Vergelijking 1) gelden, en identificeren de precieze geometrische obstructies (zoals de permutatie van krommecomponenten door de groepswerking) die dergelijke gelijkheden voorkomen. Bovendien verbindt het artikel deze bevindingen met log canonieke modellen, wat suggereert dat de polen van zetavoorstellingen corresponderen met de componenten van het log canonieke model van het paar.