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

技術的概要：正規曲面間の有限写像に対するゼータ関数の極について

問題提起
動機的ゼータ関数と位相的ゼータ関数は、特異点論における基本的な不変量であり、もともと滑らかな多様体上の関数に対して定義され、後に特異な多様体上の、関数に似た除子 $D$ と微分形式を表す除子 $W$ からなる対 $(D, W)$ へと拡張された。この分野における中心的な問いは、有限写像下におけるこれらのゼータ関数の極の集合の間の関係を理解することである。具体的には、正規曲面間の有限写像 $\rho: (S, o) \to (\bar{S}, \bar{o})$ が与えられたとき、標的 $\bar{S}$ 上の除子に関連するゼータ関数の極は、定義域 $S$ 上のそれらとどのように関連するか？特定の商写像（微分形式が自明な場合）に対しては $Z_{\text{top}}(\bar{S}) = |\text{deg}(\rho)| \cdot Z_{\text{top}}(S)$ という等式が成り立つが、有限写像下での一般的な挙動、特に極の集合の包含関係については依然として不明である。

手法
著者らは、幾何学的な解消技術と数値データの算術的分析を組み合わせて用いる：

1. 埋め込み Q-解消：標準的な埋め込み解消の代わりに、本論文では重み付きブローアップに由来する部分トーリック解消である埋め込み Q-解消を利用する。これにより、商曲面を扱う際に自然である、巡回商特異点を持つ環境空間を許容できる。
2. 可換図式とユングの構成：定義域と標的を関連付けるため、有限写像 $\rho$、標的の解消 $\pi$、および定義域の誘導された Q-解消 $\tilde{\pi}$ を含む可換図式を構成する。この構成は、ファイバー積と正規化を用いて定義域の解消が標的の解消へ有限に写像されることを保証するユングの方法に触発されている。
3. 数値データと $\alpha$-値：解析は、例外成分の数値データ（重複度と対数不一致）$(N_i, \nu_i)$ と、そこから導かれる$\alpha$-値に大きく依存する。特異点の位数で正規化されたこれらの値 $\alpha_P = \nu_j - (\nu_i/N_i)N_j$ は、候補となる極の留数を決定する。
4. 留数解析：著者らは、候補となる極（値 $s_0 = -\nu_i/N_i$）が実際の極となる条件を分析する。これには、「破裂成分」（少なくとも 3 つの他の成分と交差し、特定の $\alpha$-値の性質を持つ例外曲線）の性質と、多様体のグロタンディーク環における留数の挙動を研究することが含まれる。

主要な貢献と結果

• 動機的ゼータ関数に対する一般的な包含関係（定理 1）：
  本論文は、動機的ゼータ関数に対する一般的な包含結果を確立する。$\rho: S \to \bar{S}$ が有限写像であり、$\bar{S}$ 上の除子 $D, W$ が $S$ 上で $D = \rho^* \bar{D}$ および $W = \rho^* \bar{W} + \text{Ram}_\rho$ として引き戻されるとき、標的上の動機的ゼータ関数の極の集合は、定義域上の極の集合に含まれる：
  $$P_{\text{mot}}^{\bar{S}}(\bar{D}, \bar{W}) \subseteq P_{\text{mot}}^{S}(D, W).$$
  さらに、位数 2 の極の位数は保存される。著者らは、この包含関係が一般的に真であり、逆の包含関係は成り立たないことを示す例（例えば、例 3.2）を提供する。

• 位相的ゼータ関数に対する非包含：
  動機的場合とは異なり、本論文は位相的ゼータ関数に対して一般的な包含関係は成り立たないことを示す。例（4.1 および 3.2）は、極が定義域には存在するが標的には存在しない、あるいはその逆のケースを示す。これは、極に寄与する「破裂成分」であるための条件が、位相的な設定における押し出し（pushforward）の下で保存されないことに起因する。

• 自明な微分形式を持つ商写像に対する等式（定理 2）：
  写像が有限アーベル群 $G$ によって誘導される商写像 $\rho: \mathbb{C}^2 \to \mathbb{C}^2/G$ であり、定義域上の微分形式除子が自明（$W=0$）であるという特定のケースに対して、より強い結果が証明される。この設定において、著者らは$\alpha$-条件（$\alpha$-値が 1 以下に制限される）を満たす特定の埋め込み Q-解消を構成する。これらの条件下では、動機的および位相的ゼータ関数の極の集合は一致し、極の位数も同一である：
  $$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).$$

• 不変除子に対する乗法的関係（定理 3）：
  本論文は、$D$ と $W$ の両方の解析的既約成分がすべて $G$-不変であるという条件下で、乗法的関係 $Z_{\text{top}}(\bar{S}) = |G| \cdot Z_{\text{top}}(S)$（式 1）を回復する。著者らは、成分が群作用によって置換される場合（商において横断性が保存されない病理的なケース）には、この等式が成立しないことを示す。

• 極の特性付け（定理 1.11 および 7.1）：
  著者らは、埋め込み Q-解消を用いて、正規曲面上の任意の $W$ に対する動機的ゼータ関数の極の幾何学的な特性付けを提供する。値 $s_0$ が極であるための必要十分条件は、それが以下のいずれかに対応することである：

  1. $\bar{D} \cap \bar{W}$ または $\bar{D} \setminus \bar{W}$ 内の厳密変換成分（$\nu_i=1$ を持つ）；
  2. 非有理的な例外曲線；
  3. 有理的例外曲線のサイクル；
  4. 少なくとも 3 つの $\alpha$-値が 1 ではない点を含む有理的例外曲線（破裂成分の概念を一般化したもの）。

意義
本論文は、有限写像下における定義域と標的のゼータ関数の間の複雑な関係を明確にし、動機的レベルと位相的レベルを鋭く区別する。動機的極は包含性を示すのに対し、位相的極はそうではないことを示し、位相的不変量が解消の特定の幾何学に対していかに敏感であるかを浮き彫りにする。この研究は、$\alpha$-値と破裂成分の理論を Q-解消と特異な環境曲面の設定に拡張し、商特異点上のゼータ関数を分析するための堅牢な枠組みを提供する。結果は、単純な乗法的関係（式 1 のような）がいつ成立するかという理解を精緻化し、そのような等式を妨げる正確な幾何学的障害（例えば、群作用による曲線成分の置換）を特定する。さらに、本論文はこれらの知見を対数標準モデルと結びつけ、ゼータ関数の極が対の対数標準モデルの成分に対応することを示唆している。