2-4 代数的な別証明と affine 補集合の消滅

原論文の原注 (6) は、比較定理の証明の核である消滅条件 (8) を「$X$ がコンパクトな代数多様体で $X-Y$ が affine」という仮定のもとで任意の連接層について示し（式 (8′)）、あわせて $Y$ にだけ極をもつ有理型切断が代数的な切断にほかならないこと（式 (8″)）を示す。本頁はこの二つを GAGA と affine 射の議論で証明し、それを使って Theorem 1 が Corollary の場合 a) に含まれること、および特異点解消の大域版と正規交叉での明示計算だけで Theorem 1 が Theorem 2 にも Grauert–Remmert の定理にも依らずに証明できることを示す。最後に、原注 (6) が残した「$X$ がコンパクトで $U$ が Stein なら (8′) は成り立つか」という問題を記録する。
前提知識: Serre の GAGA, アフィン射, 特異点解消, 帰納極限, スペクトル系列

この頁で示すこと

本頁では原注 (6) にならい、添字 $0$ を代数側に付ける。$X_0$ を $\mathbb C$ 上固有（完備）な被約スキーム、$Y_0\subset X_0$ を局所的に 1 個の方程式で定義される閉部分集合、$U_0=X_0-Y_0$ を $X_0$ で稠密な開部分スキーム、$f_0\colon U_0\to X_0$ を包含とし、解析化を $X=X_0^h$、$Y=Y_0^h$、$U=U_0^h$、$f\colon U\to X$ と書く。$X$ 上の連接層 $\mathcal E$ に対し、$Y$ に極をもつ有理型切断の層 $\mathcal E(*Y)=\varinjlim_n\mathcal{H}om_{\mathcal O_X}(\mathcal J^n,\mathcal E)$（$\mathcal J$ は零点集合が $Y$ の連接イデアル層。本書『2-2 極をもつ微分形式と局所比較定理』）と複体 $\Omega^\bullet_X(*Y)$ を使う。Theorem 1 を述べるときは、そこでの affine スキーム $X$ を $U_0$ と書く。
本頁の主結果は次の五つである。

1. affine 補集合上の消滅（原論文 原注 (6)、式 (8′)、印字 pp. 97–98）：$U_0$ が affine なら、$X$ 上の任意の連接層 $\mathcal E$ について $H^p(X,\mathcal E(*Y))=0$（$p>0$）である。とくに $U$ が非特異なら消滅条件 (8) が成り立つ。［条件付き：固有な場合の GAGA、affine スキーム上の消滅、affine 射の高次順像の消滅を引用］
2. 有理型切断の代数性（原論文 原注 (6)、式 (8″)、印字 p. 98）：同じ仮定のもとで $\mathcal E=\mathcal E_0^h$ とすると、解析化と制限の合成 $\Gamma(U_0,\mathcal E_0)\to\Gamma(U,\mathcal E)$ は部分空間 $\Gamma(X,\mathcal E(*Y))$ の上への同型である。すなわち $Y$ にだけ極をもつ有理型切断は $U_0$ 上の代数的な切断にほかならない。［条件付き：1 と同じ］
3. Theorem 1 の Corollary a) への帰着（原論文 印字 p. 98、「Theorem 1 is contained in part a)」の一文）：$\mathbb C$ 上有限型で滑らかな affine スキーム $U_0$ の射影閉包 $\bar X_0$ と $Y_0=\bar X_0-U_0$ は Corollary a) の仮定をみたし、(9) と (8″) の合成が大域形式の標準写像 $\bar\rho_{U_0}$ に一致するので、Theorem 1 が従う。［条件付き：局所比較定理 Theorem 2 と Corollary a)（本書『2-2 極をもつ微分形式と局所比較定理』『2-3 特異点解消と Grauert–Remmert による証明』）、標準写像 $\bar\rho$ の定義と代数的微分形式の解析化（本書『2-1 affine 被覆による帰着』『1-2 解析化と比較写像』）を引用］
4. 大域解消による Theorem 1 の別証明（原論文 原注 (6)、印字 p. 98）：$U_0$ を射影的で滑らかな $X_0$ と正規交叉因子 $Y_0'$ により $X_0-Y_0'$ と書けば、正規交叉での明示計算と 1・2 だけで Theorem 1 が示される。Theorem 2 にも Grauert–Remmert の定理にも依らない。［条件付き：Hironaka の特異点解消（本書『0-3 スキームと連接層コホモロジー』）と正規交叉での明示計算（本書『2-3 特異点解消と Grauert–Remmert による証明』）、標準写像 $\bar\rho$ の定義と代数的微分形式の解析化（本書『2-1 affine 被覆による帰着』『1-2 解析化と比較写像』）を引用］
5. compact な $X$ と Stein な補集合についての問題（原論文 原注 (6) 末尾、印字 p. 98）：$X$ がコンパクトな複素解析空間で $U=X-Y$ が Stein のとき (8′) は成り立つか。［未完結：原論文自身が問題として残し、本頁も判定しない］
   本頁で閉じるのは、1・2 の六段の証明、3 の射影閉包が仮定をみたすことと合成が標準写像に一致すること、4 の組み立て、および (7) の同型と (8) から (9) の同型を出す補題である。引用するのは GAGA、affine スキームと affine 射についての消滅、Hironaka の解消、Theorem 2 と正規交叉での明示計算、および標準写像 $\bar\rho$ の定義と代数的微分形式の解析化（3・4 の「合成が $\bar\rho_{U_0}$ に一致する」の段）である。再構成稿の基準（原論文より前に確立した古典的前提だけを使えば完結）では 1・2 は完結だが、本書は第 0 章から引く定理を引用と数えるので条件付きとする。

背景と動機

原論文の本文は Theorem 1 を、affine 多様体 $U_0$ の射影閉包 $\bar X_0$ の上で、局所比較定理 Theorem 2 と消滅条件 (8) から大域比較 (9) を出す道（Corollary の場合 a)）で証明する。この道では $\bar X_0$ が $Y_0$ に沿って特異でありうるため、Theorem 2 の証明に解析空間の局所的な特異点解消と Grauert–Remmert の比較定理が要る（本書『2-3 特異点解消と Grauert–Remmert による証明』）。原論文はその使い方を「a little bit subtle」と評している（原注 (6)、印字 p. 98）。
1963 年 11 月に付けられた原注 (6) は、この道に二つのことを加える。第一に、消滅 (8) は射影性と豊富性から Serre の消滅定理で出す（場合 a)）代わりに、「$X$ がコンパクトな代数多様体で $U=X-Y$ が affine」という仮定 a′) から任意の連接層について出せる（式 (8′)）。証明は、コンパクト性でコホモロジーを帰納極限と入れ替え、GAGA で各項を代数側に移し、代数側の極限 $f_{0*}(\mathcal E_0|_{U_0})$ を affine 射と affine スキーム上の消滅で処理する六段である。第二に、同じ計算の $p=0$ の場合が式 (8″)、すなわち「$Y$ に極をもつ有理型切断は代数的な有理切断にほかならない」を与える。これは一見付随的な主張だが、本文の「Theorem 1 is contained in part a)」の一文が暗に必要とする戻り道である。(9) は射影閉包の上の有理型形式の大域切断のコホモロジーを $H^n(U,\mathbb C)$ に写すので、Theorem 1 を得るには、その大域切断の複体が $U_0$ 上の代数的な微分形式の複体と一致していなければならない。本文はそれを書いておらず、(8″) がそれを供給する。
原注 (6) はさらに、この二つを使えば Theorem 1 が Theorem 2 を経ずに証明できることを指摘する。Hironaka の解消 Hir64 を代数的スキームに大域的に当てて $U_0\cong X_0-Y_0'$（$X_0$ は射影的で滑らか、$Y_0'$ は正規交叉因子）と書けば、正規交叉に沿う極の局所計算（Atiyah–Hodge AH55 の補題の型。本書『2-3 特異点解消と Grauert–Remmert による証明』で証明する）で (7) が同型になり、(8′) と (8″) で大域化できる。この経路は解析空間の局所解消も Grauert–Remmert の定理も使わない。本書の基準では、Theorem 1 の証明のうち外部から引く定理が最も少ない経路である。
原注 (6) の末尾には問題が残されている。(8′) の証明はコンパクト性と代数性を GAGA で使うが、結論の形は「$U$ が Stein なら」という解析的な仮定でも意味をもつ。$X$ がコンパクトで $U$ が Stein なら (8′) は成り立つか。$X$ 自身が Stein の場合（Corollary の場合 b)）は、本書『2-2 極をもつ微分形式と局所比較定理』が示すとおり消滅 (8) は偽である。コンパクトな $X$ でどうなるかは原論文の問いのままで、本頁もそれを判定しない。

定義と準備

本頁で使う層と写像を、本書『2-2 極をもつ微分形式と局所比較定理』から短く繰り返す。$\mathcal J$ の字体は、原論文が原注 (5)(6) で $\mathfrak J$、本文で $\mathcal J$ と印字するもので、本書は $\mathcal J$ に統一する（記号表）。

$\mathcal E(*Y)$ は連接でないが、連接層 $\mathcal{H}om(\mathcal J^n,\mathcal E)$ の帰納極限である。本頁の議論はすべて、この極限をコホモロジーの外に出し、各項に GAGA を当てる、という形をとる。そのために引く事実を並べる。

引用する事実

次の事実は証明せずに引用する。出典は主に本書第 0 章・第 2 章と Ser56、Car57、God58、Har77、Stacks で、該当箇所の番号は本頁では確認していない。

1. 固有な場合の GAGA（本書『0-4 複素解析空間と GAGA』、Ser56、Car57）：$X_0$ が $\mathbb C$ 上固有なら、解析化 $\mathcal F_0\mapsto\mathcal F_0^h$ は $X_0$ 上の連接層の圏から $X=X_0^h$ 上の連接解析層の圏への圏同値で、すべての $q$ で $H^q(X_0,\mathcal F_0)\to H^q(X,\mathcal F_0^h)$ は同型である。解析化は完全で、$\mathcal{H}om(\mathcal F_0,\mathcal G_0)^h\cong\mathcal{H}om(\mathcal F_0^h,\mathcal G_0^h)$、$(\mathcal J_0^n)^h=(\mathcal J_0^h)^n$ をみたし、閉部分スキーム $Y_0$ のイデアル層 $\mathcal J_0$ について $\mathcal J_0^h$ の零点集合は $Y_0^h$ である。$X_0$ が被約なら $X$ も被約で、$\mathcal O_{X_0}$ の非零因子の解析化は $\mathcal O_X$ の非零因子である。
2. コホモロジーと帰納極限（God58 II.4.12、Har77 III.2.9）：コンパクト Hausdorff 空間の上でも、ネーター的な位相空間の上でも、層のフィルター付き帰納極限とコホモロジーは可換である：$H^q(X,\varinjlim\mathcal F_i)=\varinjlim H^q(X,\mathcal F_i)$。$q=0$ では大域切断の可換である。
3. affine スキームと affine 射（本書『0-3 スキームと連接層コホモロジー』、Har77 III.3、III.8）：affine スキーム上の準連接層の高次コホモロジーは消える。affine 射 $f_0$ と準連接層 $\mathcal F$ について $R^qf_{0*}\mathcal F=0$（$q>0$）、したがって $H^p(X_0,f_{0*}\mathcal F)=H^p(U_0,\mathcal F)$。局所的に 1 個の方程式で定まる閉集合の補集合の包含は affine 射である。affine スキームから分離的スキームへの射も affine 射である。$\mathbb C$ 上固有なスキームは分離的である。豊富因子の補集合は affine である。
4. 零点定理と局所化（Har77 II.5、Mat89）：ネーター環 $A$ のイデアル $I$ と $t\in A$ について $\sqrt I=\sqrt{(t)}$ なら、$t^a\in I$、$I^b\subset(t)$ となる $a,b$ がある。ネーター環のイデアルの増大列は有限で停まる。$A$ 加群 $M$ について $\Gamma(D(t),\tilde M)=M_t$ で、局所化は完全である。
5. 射影閉包（本書『0-3 スキームと連接層コホモロジー』）：$\mathbb C$ 上有限型の affine スキーム $U_0$ は $\mathbb A^N_{\mathbb C}$ の閉部分スキームで、$\mathbb P^N_{\mathbb C}$ での閉包 $\bar X_0$（被約構造）は射影的、$U_0=\bar X_0\cap\mathbb A^N$ は稠密開、$Y_0=\bar X_0\cap H_\infty$ は豊富な $\mathcal O(1)|_{\bar X_0}$ の切断 $x_0$ の零点集合である。被約スキームの稠密開集合の既約成分の閉包が全体の既約成分であり、可逆層の切断がどの既約成分の上でも恒等的に $0$ でなければ局所的に非零因子である。
6. 解析化と微分形式（本書『0-4 複素解析空間と GAGA』『1-2 解析化と比較写像』）：$\mathbb C$ 上局所有限型のスキーム $V_0$ について自然な射 $(\Omega^p_{V_0/\mathbb C})^h\to\Omega^p_{V_0^h}$ があり、$V_0$ が滑らかな点で同型である。滑らかな $V_0$ の解析化は複素多様体で、正則系のパラメータの解析化は局所座標になる。とくに強正規交叉因子 $Y_0'\subset X_0$ の解析化は各点の局所座標で $z_1\cdots z_r=0$ と書ける。
7. Theorem 2 と Corollary a)（本書『2-2 極をもつ微分形式と局所比較定理』『2-3 特異点解消と Grauert–Remmert による証明』）：$X$ 被約、$Y$ 局所 1 方程式、$U$ 非特異で稠密なら (7) は同型である。$X=\bar X_0^h$、$\bar X_0$ 射影的、$Y$ が豊富因子の台なら (8) が成り立つ。
8. 正規交叉での明示計算（本書『2-3 特異点解消と Grauert–Remmert による証明』、AH55 lemma 17 の型）：$X$ が複素多様体、$Y$ が正規交叉因子（局所座標で $z_1\cdots z_r=0$）なら (7) は同型である。
9. Hironaka の特異点解消（本書『0-3 スキームと連接層コホモロジー』、Hir64）：$\mathbb C$ 上射影的な被約スキーム $\bar X_0$ と閉部分集合 $Y_0$ で $U_0=\bar X_0-Y_0$ が滑らかなものについて、射影的双有理射 $g\colon X_0\to\bar X_0$ で、$X_0$ が滑らかで射影的、$g$ が $U_0$ の上で同型、$g^{-1}(Y_0)$（被約構造）が強正規交叉因子となるものがある（$\bar X_0$ の解消と、その上での $Y_0$ の逆像の埋め込み解消を続けて当てる）。
10. 超コホモロジーのスペクトル系列（本書『0-2 Kähler 微分と超コホモロジー』）：下に有界な複体 $K^\bullet$ について $E_1^{p,q}=H^q(X,K^p)\Rightarrow\mathbf H^{p+q}(X,K^\bullet)$ があり、$q>0$ の項が消えれば辺写像 $H^n\Gamma(X,K^\bullet)\to\mathbf H^n(X,K^\bullet)$ は同型である。擬同型は超コホモロジーの同型を誘導し、flasque な項からなる複体の超コホモロジーは大域切断の複体のコホモロジーである。flasque 層の $f_*$ は flasque である。
11. 大域形式の標準写像（本書『2-1 affine 被覆による帰着』の定義（比較写像と大域形式の標準写像）、本書『1-2 解析化と比較写像』の定理（比較写像の構成と関手性））：滑らかな $V_0$ について $\bar\rho_{V_0}\colon H^n(\Gamma(V_0,\Omega^\bullet_{V_0/\mathbb C}))\to H^n(V_0^h,\mathbb C)$ は、増大射 $\varepsilon$ で $\Omega^\bullet_{V_0}$ の Godement 分解の大域切断に送り、解析化が誘導する分解の射 $\psi$ で $\Omega^\bullet_{V_0^h}$ の Godement 分解 $L^\bullet$ の大域切断に移し、$\mathbb C_{V_0^h}\to\Omega^\bullet_{V_0^h}\to L^\bullet$ が flasque 分解であることで $H^n(V_0^h,\mathbb C)$ と同一視する合成である。$\psi$ は増大射と可換で、$\psi\circ\varepsilon(\omega)=\varepsilon(\omega^h)$ である。

主結果と証明

原注 (6) の順序どおり、消滅 (8′) から始める。証明は六段で、原論文が一行ずつ書いている段に、極限の同定と affine 射であることの根拠を足す。

affine 補集合上の消滅

六段のうち、解析側に留まるのは段 2 だけで、段 3 で代数側に移ってからは連接層コホモロジーの標準的な事実しか使わない。仮定のどこがどの段で要るかを注意しておく。

段 2〜5 を $p=0$ で読み直すと、大域切断についての等式が得られる。それが (8″) である。

有理型切断の代数性

(8″) の右辺について、原論文は直後の言い換えで「the sections of $\mathcal E|U_0$ on $U_0$」と印字するが、$\mathcal E$ は解析層なので $\mathcal E_0|_{U_0}$ の誤植と読む。この系の内容を、解析側の言葉で言い直しておく。

(8′) と (8″) は、Theorem 1 の証明のどちらの経路でも最後の段を担う。その前に、局所比較 (7) と消滅 (8) から大域比較 (9) を出す段（原論文が「is standard」と書く段、印字 p. 98）を補題として閉じておく。Corollary の証明と同じ議論だが、Theorem 2 を仮定に含めない形で述べる。

局所比較と消滅から大域比較へ

補題の二つの仮定のうち、(8) は上の定理（affine 補集合上の消滅）が与える。(7) の同型を Theorem 2 から取れば本文の経路、正規交叉の明示計算から取れば原注 (6) の経路になる。まず本文の経路を閉じる。

Theorem 1 の Corollary a) への帰着

これで、本文の一文「Theorem 1 is contained in part a)」が、(8″) を補えば閉じることが分かった。ただし $\bar X_0$ は一般に $Y_0$ に沿って特異であり、(7) の同型はそこで Theorem 2 の全力を要する。原注 (6) の経路は、特異な $\bar X_0$ を最初から避ける。

大域解消による Theorem 1 の別証明

二つの経路を比べておく。原注 (7) が述べる関係も、ここに記録する。

原注 (6) の末尾は、(8′) の仮定から代数性を外した問いで終わる。原論文の状態は問題で、本書も判定しない。

コンパクトな $X$ と Stein な補集合

例と反例

以下では (8′)・(8″) を最も簡単な場合に直接確かめ、Theorem 1 の別証明で解消が実際に要る場合を見たうえで、$U$ が affine でないと何が破れるかを示す。

次は $U_0$ が affine 直線でない最も簡単な場合で、(9) が非自明なコホモロジーを与える。

Theorem 1 の別証明で解消が恒等写像で済まない最小の例を挙げる。射影閉包が無限遠で特異になる affine 曲線である。

最後は反例である。$U_0$ の affine 性を外すと、極限の層は $U_0$ 上のコホモロジーを捉えなくなり、(8) も (9) も破れる。

その後の発展

以下は原論文の主張ではなく、後代の結果の紹介である（執筆時点 2026 年の知識による。文献の該当箇所は本書では確かめていない）。

• 対数的 de Rham 複体（Deligne Del70、1970 年）：正規交叉因子 $Y$ について、極の位数を高々 $1$ に制限した部分複体 $\Omega^\bullet_X(\log Y)\subset\Omega^\bullet_X(*Y)$ は連接で、包含は擬同型である、と本書は理解する。連接なのでコンパクトな $X$ では GAGA を項ごとに当てられ、帰納極限を通す上の定理の段 2〜4 が不要になる。Hodge II Del71（1971 年）はこの複体で $H^\bullet(U,\mathbb C)$ を計算し、極の位数で重みフィルトレーションを定める。本書はどちらの文献も開いていない。
• 特異な多様体の代数的 de Rham コホモロジー（Hartshorne Har72、1972 年、Har75、1975 年）：$\mathbb C$ 上有限型の任意のスキームについて、滑らかなスキームへの埋め込みと形式的完備化で de Rham コホモロジーとホモロジーを定義し、比較定理を拡張した、と本書は理解する。上の定理（affine 補集合上の消滅）の設定がそこでどう扱われるかを含め、本書は確かめていない。
• 標数 $p$ からの退化（Deligne–Illusie DI87、1987 年。解説は Illusie Ill96）：Hodge–de Rham スペクトル系列の退化の代数的な証明で、対数的複体にも及ぶと本書は理解する（本書『4-1 退化と自然な分裂の不在』）。本書は確かめていない。
• 問題（compact な $X$ と Stein な補集合）の後代の扱いは、本書は調べていない。

原論文との対応表

本頁が対応する原論文は Gro66 である。