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

Technische Zusammenfassung: Über die Pole von Zeta-Funktionen für endliche Morphismen zwischen normalen Flächen

Problemstellung
Motivische und topologische Zeta-Funktionen sind fundamentale Invarianten in der Singularitätentheorie, die ursprünglich für Funktionen auf glatten Varietäten definiert und später auf Paare $(D, W)$ erweitert wurden, bestehend aus einem Divisor $D$ (der einer Funktion ähnelt) und einem Divisor $W$ (der eine Differentialform darstellt) auf einer möglicherweise singulären Varietät. Eine zentrale Frage in diesem Bereich ist das Verständnis der Beziehung zwischen den Polmengen dieser Zeta-Funktionen unter endlichen Morphismen. Konkret: Gegeben ein endlicher Morphismus $\rho: (S, o) \to (\bar{S}, \bar{o})$ zwischen normalen Flächen, wie verhalten sich die Pole der Zeta-Funktionen, die mit Divisoren auf dem Ziel $\bar{S}$ assoziiert sind, zu denen auf der Quelle $S$? Während eine Gleichung der Form $Z_{\text{top}}(\bar{S}) = |\text{deg}(\rho)| \cdot Z_{\text{top}}(S)$ für spezifische Quotientenabbildungen mit trivialen Differentialformen gilt, bleibt das allgemeine Verhalten unter endlichen Morphismen, insbesondere hinsichtlich der Inklusion von Polmengen, unklar.

Methodik
Die Autoren verwenden eine Kombination aus geometrischen Auflösungsverfahren und arithmetischer Analyse numerischer Daten:

1. Eingebettete Q-Auflösungen: Anstelle von Standard-Eingebetteten Auflösungen nutzt das Papier eingebettete Q-Auflösungen, die partielle torische Auflösungen sind, die aus gewichteten Aufblasungen entstehen. Diese erlauben es, dass der umgebende Raum zyklische Quotientensingularitäten aufweist, was beim Umgang mit Quotientenflächen natürlich ist.
2. Kommutative Diagramme und die Konstruktion von Jung: Um Quelle und Ziel zu verknüpfen, konstruieren die Autoren ein kommutatives Diagramm, das den endlichen Morphismus $\rho$, eine Auflösung $\pi$ des Ziels und eine induzierte Q-Auflösung $\tilde{\pi}$ der Quelle umfasst. Diese Konstruktion ist von der Methode von Jung inspiriert und verwendet Faserprodukte und Normalisierung, um sicherzustellen, dass die Quellenauflösung endlich auf die Zielauflösung abbildet.
3. Numerische Daten und $\alpha$-Werte: Die Analyse stützt sich stark auf die numerischen Daten $(N_i, \nu_i)$ exzeptioneller Komponenten (Multiplizitäten und logarithmische Diskrepanzen) und die abgeleiteten $\alpha$-Werte. Diese Werte, definiert als $\alpha_P = \nu_j - (\nu_i/N_i)N_j$ (normalisiert durch die Ordnung der Singularität), bestimmen die Residuen von Kandidaten-Polen.
4. Residuenanalyse: Die Autoren analysieren die Bedingungen, unter denen Kandidaten-Pole (Werte $s_0 = -\nu_i/N_i$) zu tatsächlichen Polen werden. Dies beinhaltet das Studium der „Ruptur-Komponenten" (exzeptionelle Kurven, die mindestens drei andere Komponenten mit spezifischen $\alpha$-Wert-Eigenschaften schneiden) und das Verhalten der Residuen im Grothendieck-Ring der Varietäten.

Hauptbeiträge und Ergebnisse

• Allgemeine Inklusion für motivische Zeta-Funktionen (Satz 1):
  Das Papier etabliert ein allgemeines Inklusionsergebnis für motivische Zeta-Funktionen. Wenn $\rho: S \to \bar{S}$ ein endlicher Morphismus ist und Divisoren $D, W$ auf $\bar{S}$ zu $D = \rho^* \bar{D}$ und $W = \rho^* \bar{W} + \text{Ram}_\rho$ auf $S$ zurückgezogen werden, dann ist die Menge der Pole der motivischen Zeta-Funktion auf dem Ziel in der Menge der Pole auf der Quelle enthalten:
  $$P_{\text{mot}}^{\bar{S}}(\bar{D}, \bar{W}) \subseteq P_{\text{mot}}^{S}(D, W).$$
  Ferner bleibt die Ordnung eines Pols der Ordnung zwei erhalten. Die Autoren liefern Beispiele (z. B. Beispiel 3.2), die zeigen, dass diese Inklusion im Allgemeinen strikt ist und dass die umgekehrte Inklusion nicht gilt.

• Nicht-Inklusion für topologische Zeta-Funktionen:
  Im Gegensatz zum motivischen Fall zeigt das Papier, dass keine allgemeine Inklusion für topologische Zeta-Funktionen gilt. Beispiele (4.1 und 3.2) zeigen, dass ein Pol in der Quelle, aber nicht im Ziel existieren kann, oder umgekehrt. Dies wird der Tatsache zugeschrieben, dass die Bedingung dafür, dass eine Komponente eine „Ruptur-Komponente" ist (die zu Polen beiträgt), unter dem Vorwärtstransfer im topologischen Setting nicht erhalten bleibt.

• Gleichheit für Quotientenabbildungen mit trivialen Differentialformen (Satz 2):
  Ein stärkeres Ergebnis wird für den spezifischen Fall bewiesen, in dem der Morphismus eine Quotientenabbildung $\rho: \mathbb{C}^2 \to \mathbb{C}^2/G$ ist, die durch eine endliche abelsche Gruppe $G$ induziert wird, und der Differentialform-Divisor auf der Quelle trivial ist ($W=0$). In diesem Setting konstruieren die Autoren eine spezifische eingebettete Q-Auflösung, die die $\alpha$-Bedingung erfüllt (wobei $\alpha$-Werte durch 1 beschränkt sind). Unter diesen Bedingungen stimmen die Mengen der Pole sowohl für motivische als auch für topologische Zeta-Funktionen überein, und die Ordnungen der Pole sind identisch:
  $$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).$$

• Multiplikative Relation für invariante Divisoren (Satz 3):
  Das Papier gewinnt die multiplikative Relation $Z_{\text{top}}(\bar{S}) = |G| \cdot Z_{\text{top}}(S)$ (Gleichung 1) unter der Bedingung zurück, dass jede analytisch irreduzible Komponente sowohl von $D$ als auch von $W$ $G$-invariant ist. Die Autoren zeigen, dass diese Gleichheit versagt, wenn Komponenten durch die Gruppenwirkung permutiert werden (ein pathologischer Fall, in dem das normale Kreuzen im Quotienten nicht erhalten bleibt).

• Charakterisierung der Pole (Satz 1.11 und 7.1):
  Die Autoren liefern eine geometrische Charakterisierung der Pole motivischer Zeta-Funktionen für beliebige $W$ auf normalen Flächen unter Verwendung eingebetteter Q-Auflösungen. Ein Wert $s_0$ ist genau dann ein Pol, wenn er entspricht:

  1. Einer strikten Transform-Komponente in $\bar{D} \cap \bar{W}$ oder $\bar{D} \setminus \bar{W}$ (mit $\nu_i=1$);
  2. Einer nicht-rationalen exzeptionellen Kurve;
  3. Einem Zyklus rationaler exzeptioneller Kurven; oder
  4. Einer rationalen exzeptionellen Kurve, die mindestens drei Punkte mit $\alpha$-Werten $\neq 1$ enthält (Verallgemeinerung des Konzepts der Ruptur-Komponenten).

Bedeutung
Das Papier klärt die komplexe Beziehung zwischen Zeta-Funktionen von Quelle und Ziel unter endlichen Morphismen und unterscheidet scharf zwischen dem motivischen und dem topologischen Niveau. Es zeigt, dass motivische Pole eine Inklusionseigenschaft aufweisen, topologische Pole dies jedoch nicht, was die Empfindlichkeit topologischer Invarianten gegenüber der spezifischen Geometrie der Auflösung unterstreicht. Die Arbeit erweitert die Theorie der $\alpha$-Werte und Ruptur-Komponenten auf das Setting von Q-Auflösungen und singulären umgebenden Flächen und bietet einen robusten Rahmen für die Analyse von Zeta-Funktionen auf Quotientensingularitäten. Die Ergebnisse verfeinern das Verständnis dafür, wann einfache multiplikative Relationen (wie Gleichung 1) gelten, und identifizieren die präzisen geometrischen Hindernisse (wie die Permutation von Kurvenkomponenten durch die Gruppenwirkung), die solche Gleichheiten verhindern. Darüber hinaus verknüpft das Papier diese Erkenntnisse mit log-kanonischen Modellen und legt nahe, dass die Pole der Zeta-Funktionen den Komponenten des log-kanonischen Modells des Paares entsprechen.