The Brauer group of a Stein algebra

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

Stein 空間と Stein 代数
Stein 空間 $S$ は、複素解析幾何学におけるアフィン代数多様体のアナログです。その上の正則関数全体のなす環 $O(S)$ を「Stein 代数」と呼びます。代数幾何学では、アフィン多様体 $V$ と有限生成代数 $R=O(V)$ の間に圏の同値が存在しますが、Stein 代数は一般にノーター環ではなく、可換環論的には複雑な構造を持ちます。そのため、Stein 代数の代数的性質を、対応する Stein 空間の解析的・位相的性質と結びつけることは困難でした。

研究の目的
本論文の主要な目的は、Stein 代数 $O(S)$ のブラウアー群 $\text{Br}(O(S))$ を研究することです。特に、以下の問いに答えることを目指しています。

1. $\text{Br}(O(S))$ は位相的な不変量として記述できるか？
2. $O(S)$ のエタール・コホモロジーと $S$ の特異コホモロジーの間の比較定理は成り立つか？
3. 正則関数環 $O(S)$ とその分式体（有理型関数体）$M(S)$ のブラウアー群の間にはどのような関係があるか（純性定理）？
4. ブラウアー群の元に対する「周期（period）」と「指数（index）」の一致は保証されるか？

2. 主要な手法と理論的枠組み

著者らは、代数幾何学、複素解析、および位相幾何学の手法を統合して以下の戦略を採っています。

• オッカの原理（Grauert's Oka Principle）の活用:
  Stein 空間上のホロモルフィック・ベクトル束と位相ベクトル束の間の同値性（ホモトピー同値）を利用し、解析的な構造を位相的な構造に還元します。これにより、ホロモルフィック・アズマヤ代数と位相的アズマヤ代数の間の対応を確立します。
• Forster の結果の応用:
  Stein 空間上のコヒーレント層と $O(S)$-加群の間の関係（Forster, 1967）を用いて、代数圏と解析圏の間の同値性を示し、代数ブラウアー群と解析ブラウアー群の同一性を証明します。
• ねじれた層（Twisted Sheaves）と中央分離代数:
  通常のアズマヤ代数（可逆元を持つ）だけでなく、Taylor と Raeburn によって導入された「中央分離代数（central separable algebras、非可逆元を含む可能性もある）」の概念や、de Jong や Lieblich による「ねじれた層」の理論を用いて、$H^2$ コホモロジーの非ねじれ部分を含むより広い構造を扱います。
• 位相的 K 理論と障害理論:
  指数（index）の計算には、Donovan-Karoubi や Atiyah-Segal による「ねじれた位相的 K 理論」を用い、障害理論（obstruction theory）によって位相的なセクションの存在を証明します。

3. 主要な結果と定理

3.1. ブラウアー群の位相的計算（Theorems 1.1, 1.2, 1.3）

有限次元 Stein 空間 $S$ に対して、以下の自然な写像は同型となります。
$$\text{Br}(O(S)) \xrightarrow{\sim} \text{Brtop}(S) \xrightarrow{\sim} H^3(S, \mathbb{Z})_{\text{tors}}$$

• 意味: $O(S)$ の代数的ブラウアー群は、完全に $S$ の位相的性質（3 次特異コホモロジー群のねじれ部分）によって決定されます。
• 新規性: 有限次元性の仮定が本質的であり、無限次元の場合にはこの同型は成り立たないことを示しています（Propositions 3.8, 3.10）。

3.2. 次数 2 のコホモロジー比較定理（Theorems 1.4, 1.5）

• 有限係数（Theorem 1.4）: 任意の $n \ge 1$ に対して、
  $$H^2_{\text{ét}}(\text{Spec}(O(S)), \mathbb{Z}/n) \xrightarrow{\sim} H^2(S, \mathbb{Z}/n)$$
  は同型です。これは、$O(S)$ のエタール・コホモロジーと $S$ の特異コホモロジーが次数 2 において一致することを意味します。
• 可逆係数（Theorem 1.5）: 写像
  $$H^2_{\text{ét}}(\text{Spec}(O(S)), \mathbb{G}_m) \to H^2(S, \mathcal{O}_S^\times)$$
  は単射ですが、一般には全射ではありません。
  • 理由: 左辺はねじれ群ですが、右辺は非ねじれ部分を含む可能性があります（例：$S^3$ とホモトピー同値な Stein 多様体）。

3.3. 純性定理（Theorem 1.6, 1.8）

$S$ が局所階乗的（locally factorial、例えば非特異）な Stein 多様体である場合：

1. ブラウアー群とエタール・コホモロジーの一致:
   $$\text{Br}(O(S)) \xrightarrow{\sim} H^2_{\text{ét}}(\text{Spec}(O(S)), \mathbb{G}_m)$$
   となり、すべてのコホモロジー類がねじれになります。
2. 純性（Purity）: 有理型関数体 $M(S)$ に対する次の完全系列が成立します。
   $$0 \to \text{Br}(O(S)) \to \text{Br}(M(S)) \xrightarrow{\text{res}_D} \bigoplus_{D} H^1_{\text{ét}}(\text{Spec}(M(D)), \mathbb{Q}/\mathbb{Z})$$
   ここで $D$ は $S$ の余次元 1 の既約解析部分集合を走ります。これは代数幾何における Grothendieck の純性予想の Stein 幾何学版です。

3.4. 周期と指数の関係（Theorems 1.9, 1.10, 1.11）

• 指数の位相的計算: $\alpha \in \text{Br}(O(S))$ に対して、その指数 $\text{ind}(\alpha)$ は、対応する位相的クラス $\alpha_{\text{top}}$ の指数と一致します（Theorem 1.9）。
• 有理型関数体への拡張: 非特異な Stein 多様体 $S$ において、$\text{ind}(\alpha) = \text{ind}(\alpha_{M(S)})$ が成り立ちます（Theorem 1.10）。
• 周期と指数の不一致（Theorem 1.11）:
  代数幾何における Period-Index 予想（$\text{ind}(\alpha) \mid \text{per}(\alpha)^{d-1}$）に関連して、著者らは周期と指数が一致しないようなクラスが存在することを示しました。
  • 具体的には、ある連結な Stein 多様体 $S$ と $\text{Br}(O(S)) \to \text{Br}(M(S))$ の像に含まれるクラス $\alpha$ に対して、$\text{ind}(\alpha) \neq \text{per}(\alpha)$ となる例を構成しています。
  • これは、代数幾何における既知の手法（分岐や退化など）では得られない、位相的な障害に起因する結果です。

4. 結論と学術的意義

本論文は、複素解析幾何学における代数的不変量（ブラウアー群）と位相的不変量の関係を解明する画期的な成果です。

1. 代数と解析の橋渡し: Stein 代数の代数的性質（ブラウアー群）が、完全に空間の位相的性質（$H^3$）で記述可能であることを示し、代数幾何と複素解析の間の深い対応を確立しました。
2. 比較定理の確立: エタール・コホモロジーと特異コホモロジーの比較定理を次数 2 で証明し、Stein 空間におけるコホモロジー理論の構造を明らかにしました。
3. 純性定理の一般化: 非特異な Stein 多様体における純性定理を証明し、有理型関数体への埋め込みにおける完全性を示しました。
4. 周期 - 指数問題への新たな視点: 代数多様体では未解決または特定の条件下でのみ知られていた「周期と指数の不一致」を、Ste 幾何学の文脈で位相的な構成によって示しました。これは、代数的手法だけでは捉えきれない位相的な現象が、複素解析空間の代数構造に本質的な影響を与えることを示唆しています。

総じて、この研究は Stein 空間の代数幾何学的理解を深め、特に高次元の複素空間におけるコホモロジー的・代数的構造の相互作用に関する新たな知見を提供しています。