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

Résumé technique : Sur les pôles des fonctions zêta pour les morphismes finis entre surfaces normales

Énoncé du problème
Les fonctions zêta motiviques et topologiques sont des invariants fondamentaux en théorie des singularités, définies à l'origine pour des fonctions sur des variétés lisses, puis étendues aux couples $(D, W)$ constitués d'un diviseur $D$ (ressemblant à une fonction) et d'un diviseur $W$ (représentant une forme différentielle) sur une variété éventuellement singulière. Une question centrale dans ce domaine consiste à comprendre la relation entre les ensembles de pôles de ces fonctions zêta sous des morphismes finis. Plus précisément, étant donné un morphisme fini $\rho: (S, o) \to (\bar{S}, \bar{o})$ entre surfaces normales, comment les pôles des fonctions zêta associées aux diviseurs sur la cible $\bar{S}$ se rapportent-ils à ceux sur la source $S$ ? Bien qu'une égalité de la forme $Z_{\text{top}}(\bar{S}) = |\text{deg}(\rho)| \cdot Z_{\text{top}}(S)$ soit valable pour des applications de quotient spécifiques avec des formes différentielles triviales, le comportement général sous des morphismes finis, en particulier concernant l'inclusion des ensembles de pôles, reste flou.

Méthodologie
Les auteurs emploient une combinaison de techniques de résolution géométrique et d'analyse arithmétique des données numériques :

1. Résolutions Q-immergées : Au lieu des résolutions immergées standards, l'article utilise des résolutions Q-immergées, qui sont des résolutions toriques partielles issues de éclatements pondérés. Ces dernières permettent à l'espace ambiant de présenter des singularités de quotient cycliques, ce qui est naturel lorsqu'on traite de surfaces de quotient.
2. Diagrammes commutatifs et construction de Jung : Pour relier la source et la cible, les auteurs construisent un diagramme commutatif impliquant le morphisme fini $\rho$, une résolution $\pi$ de la cible, et une résolution Q induite $\tilde{\pi}$ de la source. Cette construction s'inspire de la méthode de Jung, utilisant les produits fibrés et la normalisation pour garantir que la résolution de la source se projette finiment sur la résolution de la cible.
3. Données numériques et valeurs $\alpha$ : L'analyse repose fortement sur les données numériques $(N_i, \nu_i)$ des composantes exceptionnelles (multiplicités et écarts logaritmiques) et sur les valeurs $\alpha$ dérivées. Ces valeurs, définies par $\alpha_P = \nu_j - (\nu_i/N_i)N_j$ (normalisées par l'ordre de la singularité), déterminent les résidus des pôles candidats.
4. Analyse des résidus : Les auteurs analysent les conditions sous lesquelles les pôles candidats (valeurs $s_0 = -\nu_i/N_i$) deviennent de véritables pôles. Cela implique l'étude des « composantes de rupture » (courbes exceptionnelles intersectant au moins trois autres composantes avec des propriétés spécifiques de valeur $\alpha$) et du comportement des résidus dans l'anneau de Grothendieck des variétés.

Contributions et résultats clés

• Inclusion générale pour les fonctions zêta motiviques (Théorème 1) :
  L'article établit un résultat d'inclusion général pour les fonctions zêta motiviques. Si $\rho: S \to \bar{S}$ est un morphisme fini, et que les diviseurs $D, W$ sur $\bar{S}$ sont tirés en arrière en $D = \rho^* \bar{D}$ et $W = \rho^* \bar{W} + \text{Ram}_\rho$ sur $S$, alors l'ensemble des pôles de la fonction zêta motivique sur la cible est contenu dans l'ensemble des pôles sur la source :
  $$P_{\text{mot}}^{\bar{S}}(\bar{D}, \bar{W}) \subseteq P_{\text{mot}}^{S}(D, W).$$
  De plus, l'ordre d'un pôle d'ordre deux est préservé. Les auteurs fournissent des exemples (par exemple, l'exemple 3.2) montrant que cette inclusion est stricte en général et que l'inclusion inverse ne vaut pas.

• Non-inclusion pour les fonctions zêta topologiques :
  Contrairement au cas motivique, l'article démontre qu'aucune inclusion générale ne vaut pour les fonctions zêta topologiques. Les exemples (4.1 et 3.2) montrent qu'un pôle peut exister dans la source mais pas dans la cible, ou vice versa. Cela est attribué au fait que la condition pour qu'une composante soit une « composante de rupture » (qui contribue aux pôles) n'est pas préservée par l'image directe dans le cadre topologique.

• Égalité pour les applications de quotient avec formes différentielles triviales (Théorème 2) :
  Un résultat plus fort est prouvé pour le cas spécifique où le morphisme est une application de quotient $\rho: \mathbb{C}^2 \to \mathbb{C}^2/G$ induite par un groupe abélien fini $G$, et où le diviseur de forme différentielle sur la source est trivial ($W=0$). Dans ce cadre, les auteurs construisent une résolution Q-immergée spécifique satisfaisant la condition $\alpha$ (où les valeurs $\alpha$ sont bornées par 1). Sous ces conditions, les ensembles de pôles pour les fonctions zêta motiviques et topologiques coïncident, et les ordres des pôles sont identiques :
  $$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).$$

• Relation multiplicative pour les diviseurs invariants (Théorème 3) :
  L'article retrouve la relation multiplicative $Z_{\text{top}}(\bar{S}) = |G| \cdot Z_{\text{top}}(S)$ (Équation 1) sous la condition que chaque composante analytiquement irréductible de $D$ et $W$ soit invariante sous $G$. Les auteurs montrent que si les composantes sont permutées par l'action du groupe (un cas pathologique où les croisements normaux ne sont pas préservés dans le quotient), cette égalité échoue.

• Caractérisation des pôles (Théorèmes 1.11 et 7.1) :
  Les auteurs fournissent une caractérisation géométrique des pôles des fonctions zêta motiviques pour tout $W$ sur des surfaces normales en utilisant des résolutions Q-immergées. Une valeur $s_0$ est un pôle si et seulement si elle correspond à :

  1. Une composante transformée stricte dans $\bar{D} \cap \bar{W}$ ou $\bar{D} \setminus \bar{W}$ (avec $\nu_i=1$) ;
  2. Une courbe exceptionnelle non rationnelle ;
  3. Un cycle de courbes exceptionnelles rationnelles ; ou
  4. Une courbe exceptionnelle rationnelle contenant au moins trois points avec des valeurs $\alpha \neq 1$ (généralisant le concept de composantes de rupture).

Signification
L'article clarifie la relation complexe entre les fonctions zêta de la source et de la cible sous des morphismes finis, distinguant nettement les niveaux motivique et topologique. Il démontre que, tandis que les pôles motiviques exhibent une propriété de contenu, les pôles topologiques ne le font pas, soulignant la sensibilité des invariants topologiques à la géométrie spécifique de la résolution. Ce travail étend la théorie des valeurs $\alpha$ et des composantes de rupture au cadre des résolutions Q et des surfaces ambiantes singulières, fournissant un cadre robuste pour l'analyse des fonctions zêta sur les singularités de quotient. Les résultats affinent la compréhension des conditions dans lesquelles de simples relations multiplicatives (comme l'Équation 1) sont valables, identifiant les obstructions géométriques précises (telles que la permutation des composantes de courbes par l'action du groupe) qui empêchent de telles égalités. De plus, l'article relie ces découvertes aux modèles canoniques logarithmiques, suggérant que les pôles des fonctions zêta correspondent aux composantes du modèle canonique logarithmique du couple.