Étale cohomology of Stein algebras

オリーブ・ベノワ（Olivier Benoist）による論文「Stein 代数のエタール・コホモロジー（Étale Cohomology of Stein Algebras）」の技術的な要約を以下に示します。

1. 研究の背景と問題設定

背景:
複素代数幾何学におけるアルティンの比較定理（Artin's comparison theorem）は、複素代数多様体 $V$ とその解析化 $V^{\text{an}}$ に対して、エタール・コホモロジーと特異コホモロジー（有限係数）が同型であることを保証します。これは、代数多様体の位相的性質を代数的に記述する強力な道具です。

問題:
この比較定理を、複素解析幾何学の中心であるStein 空間（Stein space）の文脈に拡張することは長年の課題でした。Stein 空間は、アフィン代数多様体の解析版と見なすことができますが、その代数構造（Stein 代数 $\mathcal{O}(S)$）と位相的構造（$S$ 自身）の間のコホモロジーの関係を記述する比較定理は、一般の Stein 空間に対して確立されていませんでした。特に、非コンパクトな Stein 空間や、非固有（non-proper）なスキームに対しては、従来の手法が機能しないことが知られていました。

目的:
本論文の主な目的は、有限次元の Stein 空間 $S$ に対して、その Stein 代数 $\mathcal{O}(S)$ 上のエタール・コホモロジーと、$S$ 自身の特異コホモロジー（有限係数）が同型であることを証明し、さらにこの結果を用いて Stein 空間の整数係数コホモロジーの構造に関する新しい知見を得ることです。

2. 主要な手法と戦略

本論文は、従来の局所的な比較手法（Leray スペクトル系列の退化など）が非固有な場合に失敗する問題を克服するため、大域的かつ代数的なアプローチを採用しています。

2.1. コホモロジー類の「殺し方」（Killing Cohomology Classes）

証明の核心となるのは、有限係数コホモロジー類を、有限平坦被覆（finite flat cover）によって自明化できるという事実です。

• 定理 1.7 (Theorem 3.1): 有限次元 Stein 空間 $S$ と任意の $k, m \ge 1$ および $\alpha \in H^k(S, \mathbb{Z}/m)$ に対して、次数 $d$ の有限平坦正則写像 $p: \tilde{S} \to S$ が存在し、$p^*\alpha = 0$ となる。
• 手法: この証明には、Oka 多様体の理論が不可欠です。
  • Moore 空間 $M(\mathbb{Z}/m, k)$ とホモトピー同型な Oka 多様体 $\Omega_{k,m}$ を構成します（Kusakabe の定理を用いて、多項式凸集合の補集合として構成）。
  • Oka 原理により、連続写像を正則写像に近似できる性質を利用し、コホモロジー類の消去問題を、Oka 多様体上の標準的な類の消去問題に帰着させます。
  • 次数 $k$ によってケース分け（$k=1,2$, $k=3,4$, $k \ge 5$）を行い、それぞれに対して適切な Oka 多様体と有限平坦被覆を構成します。

2.2. ハイパーカバリングと Cech 展開

比較定理の証明には、エタール・コホモロジーと特異コホモロジーの両方を、**有限ハイパーカバリング（finite hypercoverings）**を用いた Cech 展開として記述します。

• Stein 空間 $S$ の有限ハイパーカバリングと、$\text{Spec}(\mathcal{O}(S))$ の有限ハイパーカバリングの圏は同値であるという事実（Ben24 からの結果）を利用します。
• 上記の「コホモロジー類の殺し方」の定理（Theorem 3.1）を用いることで、高次コホモロジー群がハイパーカバリングの極限において消滅することを示し、スペクトル系列の退化を導きます。これにより、両者のコホモロジーが同型であることが導かれます。

3. 主要な結果

3.1. 比較定理の成立

• 定理 1.1 (Theorem 4.7): $S$ を有限次元 Stein 空間、$X$ を $\mathcal{O}(S)$ 上の固有かつ有限表示なスキーム、$L$ を $X$ 上の構成可能なエタール層とする。このとき、自然な写像
  $$H^k_{\text{ét}}(X, L) \to H^k(X^{\text{an}}, L^{\text{an}})$$
  はすべての $k \ge 0$ に対して同型である。
• 定理 1.2 (Theorem 4.5): 特に $X = \text{Spec}(\mathcal{O}(S))$ の場合、
  $$H^k_{\text{ét}}(\text{Spec}(\mathcal{O}(S)), \mathbb{Z}/m) \xrightarrow{\sim} H^k(S, \mathbb{Z}/m)$$
  が成り立つ。これは、Stein 代数の代数的コホモロジーが、その解析空間の位相的コホモロジーと完全に一致することを意味します。

3.2. 整数係数コホモロジーへの応用

比較定理を用いて、整数係数コホモロジーの構造に関する以下の驚くべき結果が得られました。

• 定理 1.5 (Theorem 5.9): $S$ を有限次元 Stein 空間、$\alpha \in H^k(S, \mathbb{Z})$ ($k \ge 2$) とする。このとき、$S$ の至る所稠密でない閉解析部分集合 $Z$ が存在し、$\alpha|_{S \setminus Z} = 0$ となる。

  • 意味: 2 次以上の整数コホモロジー類は、ある「小さな」解析集合の補集合では消滅する（支持集合が至る所稠密でない）。これは、Stein 空間におけるコホモロジーが、代数幾何における「非分岐コホモロジー（unramified cohomology）」とは全く異なる振る舞いをすることを示しています（実際、非分岐コホモロジーへの写像は零写像になります）。

• 定理 1.6 (Corollary 6.4): $S$ を有限次元 Stein 空間、$\alpha \in H^k(S, \mathbb{Z})$ ($k \ge 1$) とする。このとき、アフィン代数多様体 $V$、正則写像 $f: S \to V^{\text{an}}$、および $\beta \in H^k(V^{\text{an}}, \mathbb{Z})$ が存在し、$\alpha = f^*\beta$ となる。

  • 意味: Stein 空間の任意の整数コホモロジー類は、ある代数多様体からの引き戻しとして表現可能です。これは、Stein 空間の位相的性質が、本質的に代数多様体の性質から生じていることを示唆しています。

• Stein 重みフィルトレーション (Stein weight filtration):
  上記の結果に基づき、Stein 空間のコホモロジー群に、代数多様体の混合 Hodge 構造の重みフィルトレーションに類似した「Stein 重みフィルトレーション」を定義しました。これは正則写像に対して関手的であり、Stein 空間のトポロジーを代数的に分類する新しい不変量となります。

4. 意義と貢献

1. Stein 幾何における比較定理の確立:
   アルティンの比較定理を、非コンパクトな Stein 空間の文脈で初めて完全に一般化しました。これにより、Stein 代数の代数的性質と、その解析空間のトポロジーの間の深い関係が明確になりました。

2. Oka 理論と代数幾何の融合:
   コホモロジー類を消去する証明において、Oka 多様体の構成と Oka 原理を駆使した点は画期的です。これは、複素解析の強力な柔軟性（Oka 性）が、代数的なコホモロジーの計算において決定的な役割を果たすことを示しています。

3. Stein 空間のトポロジーの新たな理解:

   • 高次コホモロジー類が「解析的に小さな集合」で消滅するという性質（定理 1.5）は、Stein 空間が持つ特異な位相的制約を浮き彫りにしました。
   • 任意のコホモロジー類が代数多様体から来るという事実（定理 1.6）は、Stein 空間のトポロジーが「代数的起源」を持つことを示し、Hilbert の第 17 問題の解析版など、他の分野への応用可能性を開きました。

4. 非分岐コホモロジーの振る舞いの相違:
   代数多様体では非分岐コホモロジーが重要な不変量ですが、Stein 空間ではそれが自明になることを示しました。これは、解析幾何と代数幾何のコホモロジー論における本質的な違いを浮き彫りにする重要な結果です。

総じて、本論文は Stein 幾何学と代数幾何学を結びつける強力な架け橋を構築し、複素解析空間のトポロジーを代数的な枠組みで記述するための新たな基礎を確立した画期的な成果です。