$K$-Equivalence and Integral Cohomology

技術要約：K-等価性と整数係数コホモロジー

問題提起
1995年、コンツェビッチは、K-等価な滑らかな射影多様体は同一のホッジ数を共有することを確立した。この結果は、有理数または複素数係数のコホモロジー不変量（具体的にはホッジ分解）を扱ったものであったが、K-等価性が「整数係数」のコホモロジー群 $H^i(X, \mathbb{Z})$ の同型性を意味するかどうかという問いは残されていた。ホッジ数とは異なり、整数係数コホモロジーにはねじれ情報が含まれており、これは標準的なホッジ多項式では捉えられない。本論文は、このギャップを埋めるべく、コンツェビッチの結果を整数レベルへと拡張し、K-等価な滑らかな射影多様体は整数係数コホモロジー群が同型であることを証明するものである。

手法
著者らは、整数仮想ホッジ関数（integral virtual Hodge function）と表記される新しい不変量 $H_{\text{vir}, \mathbb{Z}}$ を導入する。その構成は以下の技術的な段階を経て進められる：

1. 整数ホッジ関数 ($H_{\mathbb{Z}}$) の定義：
   滑らかな射影多様体 $X$ に対して、著者らは自由部分とねじれ部分の両方を符号化する関数 $H_{\mathbb{Z}}(X)$ を定義する。

   • 自由部分： 変数 $u$ と $v$ によって重み付けされた、通常のホッジ数 $h^{p,q}(X)$ によって捉えられる。
   • ねじれ部分： 「ねじれ・ポアンカレ関数」$T(X)$ によって捉えられる。これには、商空間 $\mathbb{Z}/p\mathbb{Z}$ のベクトル空間のランクを表す不変量 $a_{p,i,j}(X)$ が含まれる（ここで、$p^j H^i(X, \mathbb{Z})_{\text{tors}} / p^{j+1} H^i(X, \mathbb{Z})_{\text{tors}}$ のランクである）。
   • 標的環： この関数は、変数 $s_p, r_j, u, v, t, x$ によって生成され、関数の乗法的な振る舞いを保証する関係式を持つ特定の環 $R$ に値を取る。決定的な点として、この環には、ねじれの組合せ論的構造や、クネス（Künneth）公式における自由部分とねじれ部分の相互作用を扱うための $tx^2 = tx - x$ や $s_p^2 = s_p$ といった関係式が含まれている。

2. グロタンディーク環への拡張：
   著者らは、$H_{\mathbb{Z}}$ がグロタンディーク環 $K_0(\text{Var}_{\mathbb{C}})$ 上のウェルディファインドな関数 $H_{\text{vir}, \mathbb{Z}}$ へと拡張できることを証明する。これには、以下の2つの主要な性質を示す必要がある：

   • 乗法性： $H_{\mathbb{Z}}(X \times Y) = H_{\mathbb{Z}}(X)H_{\mathbb{Z}}(Y)$。この証明には、整数係数コホモロジーのクネス公式の詳細な分析が含まれており、積におけるねじれ項が、個々の因子のねじれ項と自由成分との相互作用を考慮した上で、それらの積と一致することを示している。
   • 吹出し（Blow-up）の関係式： 関数は、滑らかな中心 $Z$ と例外因子 $E$ を持つ $X$ の $Z$ 上の吹出しにおいて、$H_{\mathbb{Z}}(X) - H_{\mathbb{Z}}(Z) = H_{\mathbb{Z}}(\text{Bl}_Z(X)) - H_{\mathbb{Z}}(E)$ という関係を満たす。これにより、滑らかな射影多様体によって生成され、これらの関係式によって割られるグロタンディーク環へと関数を降ろすことが可能となる。

3. 次数のフィルタリングと完備化：
   K-等価性を扱うために、著者らは完備化されたグロタンディーク環 $\widehat{K_0(\text{Var}_{\mathbb{C}})}[L^{-1}]$ を利用する。著者らは標的環 $R$ 上に次数を定義し、$H_{\text{vir}, \mathbb{Z}}$ がこの完備化を経由して因子分解されることを示す。これにより、K-等価な多様体は完備化された環において等しいクラスを持つというコンツェビッチの結果を適用することが可能となる。

主要な貢献と結果

• 定理 1.1： 主要な結果は、$\mathbb{C}$ 上のK-等価な滑らかな射影多様体 $X$ と $X'$ について、すべての $i$ に対して $H^i(X, \mathbb{Z}) \simeq H^i(X', \mathbb{Z})$ であることを述べている。これは、$H_{\text{vir}, \mathbb{Z}}(X) = H_{\text{vir}, \mathbb{Z}}(X')$ であり、かつ $H_{\text{vir}, \mathbb{Z}}$ の係数（写像 $\phi_i$ を介して）から整数係数コホモロジー群が復元できることから達成される。
• ねじれの復元： 本論文は、整数ホッジ関数の係数から、ねじれ部分を含む整数係数コホモロジー群を直接再構成するメカニズムを提供している。
• 細胞分解を持つ場合のねじれフリーなコホモロジー： 系として、著者らは、滑らかな射影多様体が代数的な細胞分解を持つ場合（例：有限個の固定点を持つ $\mathbb{C}^*$-作用を持つ多様体）、その整数係数コホモロジーがねじれフリーであることを示す新しい証明を提供している。これは、そのようなケースにおいて関数が標準的なホッジ多項式に帰着することから導かれる。
• クレパント分解の独立性： 本論文は、高次のゴレンシュタイン・カノニカル特異性を持つ射影多様体 $X$ に対して、任意のクレパント分解 $Y \to X$ の整数係数コホモロジーが、分解の選択に依存しないことを確立している。

意義と主張
本論文は、コンツェビッチによる1995年の結果を、ホッジ数から完全な整数係数コホモロジー群へと拡張することを主張している。その意義は、仮想ホッジ理論においてこれまで欠けていた、ねじれに対して敏感な、グロタンディーク環上の乗法的な不変量を構築した点にある。

著者らは、定理 1.1 は以前に Gusein-Zade および Saito [GS96]、および Yasuda および Xie [XY18] によって示されていたことを述べている（彼らは初版の投稿後にこれを知った）。しかし、彼らの貢献は、整数仮想ホッジ関数 $H_{\text{vir}, \mathbb{Z}}$ の導入にある。この関数は、単に定理を証明するだけでなく、グロタンディーク環上でウェルディファインドな形で整数係数コホモロジー構造を符号化するツールとして機能する。著者らは、この枠組みが、ゴレンシュタイン測度を用いたストリング不変量や、スタックのグロタンディーク群などへのさらなる一般化を許容することを示唆している。