# 複素多様体と正則写像：逆関数定理・Hartogs の延長・Weierstrass の準備定理

> 正則アトラスで複素多様体を定義し、正則写像の逆関数定理、コンパクト複素多様体上の正則関数の定数性、Hartogs と Riemann の延長定理、Weierstrass の準備定理と割り算定理、正則関数の芽の環が Noether な UFD であることを証明する。
> https://rikai.mugen-giken.com/mathematics/complex-geometry/complex-manifolds

## 0. この記事の要点

多様体とは、近くだけを見れば $\mathbb{R}^n$ の一部のように見える図形のことでした。この記事では、その「近くの見え方」を複素数の世界 $\mathbb{C}^n$ に取り替えます。複素数で微分できる関数（正則関数）はとても硬く、ごく小さな範囲での値が決まると、つながった全体での値まで決まってしまいます。読み終えると、複素多様体の作り方と、この硬さから生じる現象（コンパクトなら関数は定数、2 変数以上では穴を越えて自動的に延びる）を説明でき、多変数の正則関数を多項式のように扱う準備定理も使えるようになります。

- **複素多様体**は、座標変換が正則写像であるようなアトラス（座標系の貼り合わせ）をもつ多様体です。正則写像は実の意味で滑らかで、微分は複素線型、実 Jacobi 行列式は複素 Jacobi 行列式の絶対値の 2 乗になります。ここから正則写像の**逆関数定理・陰関数定理**が実の逆関数定理に帰着し、[正則値](/mathematics/manifolds/submanifolds-regular-values#def-critical)の逆像が複素部分多様体になります。
- 射影空間 $\mathbb{P}^n$、複素トーラス $\mathbb{C}^n/\Lambda$、Hopf 多様体、岩澤多様体を、斉次座標と「自由で真性不連続な作用による商」の二つの方法で構成します。複素トーラスの間の正則写像は、格子を保つアフィン写像から来るものに限ります。
- **連結な[コンパクト](/mathematics/topology/compactness#def-compact)複素多様体上の正則関数は定数**です。したがって $\mathbb{C}^n$ の中には正の次元のコンパクト複素部分多様体はなく、コンパクト複素多様体の幾何は関数ではなく直線束の切断で調べることになります（第 3 章）。
- 2 変数以上では正則関数が**自動的に延びます**。Hartogs 図形の上の正則関数は多重円板全体に延び、1 点や余次元 2 以上の複素部分多様体は正則関数の特異点になれません（Hartogs の延長定理）。余次元 1 の集合を越えるには有界性が要ります（Riemann の延長定理）。
- **Weierstrass の準備定理と割り算定理**は、$z_n$ について正則な芽を「単元 × $z_n$ の多項式」に直し、多項式の割り算を可能にします。これにより $n$ についての帰納法が回り、正則関数の芽（一点のまわりだけで見た関数）の環 $\mathcal{O}_n$ が **Noether な[局所環](/mathematics/commutative-algebra/localization-and-spectrum#def-local-ring)で[一意分解整域](/mathematics/algebra/polynomial-rings-field-extensions#def-ufd)**（Noether とは、どのイデアルも有限個の元で生成されること）であることが示せます。
- その帰結として、解析的超曲面は各点の近くで「重複因子のない定義関数」の零点集合であり、その定義関数は単元倍を除いて一意です。これが第 3 章で因子と正則直線束を対応させるときの土台になります。

<Aside type="tip" title="この記事で使う事前知識">

- **多変数の正則関数**: 各変数について正則で連続な関数のこと。多重円板の Cauchy 公式やべき級数展開が使えます。→ [多変数複素関数論](/mathematics/complex-analysis/several-complex-variables)
- **チャート（座標近傍）**: 多様体の一部を $\mathbb{R}^n$ の開集合に写す座標のこと。チャートを集めて多様体全体を覆ったものがアトラスです。→ [チャート](/mathematics/manifolds/smooth-manifolds#def-chart)
- **零点の位数**: 正則関数が $0$ になる点で、$0$ に何次まで近づくかを表す自然数。→ [零点の位数](/mathematics/complex-analysis/properties-of-holomorphic-functions#def-order-of-zero)
- **局所環**: 非単元（逆元をもたない元）の全体がイデアルになる環。→ [局所環](/mathematics/commutative-algebra/localization-and-spectrum#def-local-ring)
- **一意分解整域（UFD）**: 0 でも単元でもない元が、順序と単元倍を除いてただ一通りに既約元の積に書ける整域。→ [一意分解整域](/mathematics/algebra/polynomial-rings-field-extensions#def-ufd)

</Aside>

## 1. 動機

滑らかな多様体は、局所的に $\mathbb{R}^n$ の開集合と同一視でき、座標変換が $C^\infty$ 級であるような空間でした。座標変換に「正則である」というはるかに強い条件を課すと、複素多様体が得られます。条件が強い分だけ、複素多様体は硬い対象です。滑らかな関数は 1 の分割で自由に貼り合わせられますが、正則関数は一致の定理のために開集合上の値で全体が決まってしまい、コンパクトな複素多様体の上では定数しかありません。

この硬さは不便ではなく、情報の源です。大域的な正則関数がないので、代わりに「局所的には正則関数だが、貼り合わせにねじれがあるもの」、つまり正則直線束の切断を調べることになります。その空間は有限次元で、次元は多様体の位相と複素構造を反映します。このテーマの後半（Hodge 分解、Kodaira の消滅定理と埋め込み定理）は、この有限次元の空間を計算する理論です。

この章の役割は三つあります。第一に、複素多様体・正則写像・複素部分多様体を定義し、基本的な例を構成すること。第二に、1 変数にはない多変数特有の現象（Hartogs の延長）を確かめること。第三に、正則関数の芽の環 $\mathcal{O}_n$ の代数的な性質を調べることです。第三の点は、超曲面を「局所的に 1 つの方程式で定義された集合」として扱うときに、その方程式がどこまで一意に決まるかという問いに答えます。

多重円板の Cauchy 積分公式、べき級数展開、変数ごとの正則性から正則性が従うこと（Hartogs の定理）は [多変数複素関数論](/mathematics/complex-analysis/several-complex-variables) で証明済みなので、再証明せずに使います。

## 2. 準備：正則写像の微分

記号を決めます。$z=(z_1,\dots,z_n)\in\mathbb{C}^n$、$z_j=x_j+iy_j$ とし、$\mathbb{C}^n$ を $(x_1,y_1,\dots,x_n,y_n)$ により $\mathbb{R}^{2n}$ と同一視します。$|z|_\infty=\max_j|z_j|$、$D(a,r)=\{\zeta\in\mathbb{C}:|\zeta-a|<r\}$、多重円板を $P(a,r)=\{z:|z_j-a_j|<r_j\ (j=1,\dots,n)\}$（$r=(r_1,\dots,r_n)$、すべて等しいときは 1 つの数で書く）とします。[開集合](/mathematics/complex-analysis/complex-numbers#def-open-set)上の関数が正則であるとは、連続で各変数について正則であることでした（<Ref to="mathematics/complex-analysis/several-complex-variables#def-holomorphic-several" />）。正則関数 $f$ の $z_j$ についての複素微分を $\partial_jf=\partial f/\partial z_j$ と書きます。

<Definition id="def-holomorphic-map" title="正則写像と複素 Jacobi 行列">
$U\subseteq\mathbb{C}^n$ を開集合とする。写像 $F=(F_1,\dots,F_m):U\to\mathbb{C}^m$ が**正則**であるとは、各成分 $F_i$ が正則関数であることをいう。$m\times n$ 行列
$$
J_F(z)=\Bigl(\frac{\partial F_i}{\partial z_j}(z)\Bigr)_{1\le i\le m,\ 1\le j\le n}
$$
を $F$ の**複素 Jacobi 行列**という。$\mathbb{C}^n$ の開集合の間の全単射 $F:U\to V$ が**双正則**であるとは、$F$ と $F^{-1}$ がともに正則であることをいう。
</Definition>

<Lemma id="lem-holomorphic-map" title="正則写像は滑らかで、微分は複素線型">
$U\subseteq\mathbb{C}^n$ を開集合、$F:U\to\mathbb{C}^m$ を正則写像とする。

1. $F$ は $\mathbb{R}^{2n}$ の開集合から $\mathbb{R}^{2m}$ への写像として $C^\infty$ 級で、$\partial F/\partial x_j=\partial_jF$、$\partial F/\partial y_j=i\,\partial_jF$ が成り立つ。したがって点 $a$ での実の微分 $dF_a:\mathbb{C}^n\to\mathbb{C}^m$ は複素線型写像 $v\mapsto J_F(a)v$ である。
2. $V\subseteq\mathbb{C}^m$ を開集合、$F(U)\subseteq V$、$G:V\to\mathbb{C}^l$ を正則写像とすると、$G\circ F$ は正則で $J_{G\circ F}(z)=J_G(F(z))\,J_F(z)$ である。
3. 逆に、$C^1$ 級の写像 $H:U\to\mathbb{C}^m$ の微分 $dH_a$ がすべての $a\in U$ で複素線型ならば、$H$ は正則である。
</Lemma>

<Proof of="lem-holomorphic-map">
成分ごとに考えればよいので $m=1$ とし、$F=f$ と書きます。

(1) $z_j$ 以外の変数を止めた 1 変数関数は正則なので、Cauchy–Riemann の関係式（<Ref to="mathematics/complex-analysis/holomorphic-functions#thm-cr-necessary" />）の 3 番目の式から、$f=u+iv$ について $\partial f/\partial x_j=u_{x_j}+iv_{x_j}=\partial_jf$、$\partial f/\partial y_j=u_{y_j}+iv_{y_j}=i(v_{y_j}-iu_{y_j})=i\,\partial_jf$ です。べき級数展開の定理（<Ref to="mathematics/complex-analysis/several-complex-variables#thm-power-series" />）により $\partial_jf$ は正則で、とくに連続です。よって $f$ は $C^1$ 級です。$\partial_jf$ に同じ議論を繰り返すと、$f$ の実の偏導関数は何階でも存在して連続（$\partial^\alpha f$ の定数倍）なので、$f$ は $C^\infty$ 級です。微分は、$v=(v_1,\dots,v_n)$、$v_j=\xi_j+i\eta_j$ について
$$
df_a(v)=\sum_j\Bigl(\frac{\partial f}{\partial x_j}(a)\xi_j+\frac{\partial f}{\partial y_j}(a)\eta_j\Bigr)=\sum_j\partial_jf(a)(\xi_j+i\eta_j)=J_f(a)v
$$
です。

(2) $G=g$ をスカラー値とします。$g\circ F$ は連続です。$z_k$ 以外を止めると、$\zeta\mapsto F(z_1,\dots,\zeta,\dots,z_n)$ は 1 変数の円板から $V$ への写像で各成分が正則なので、円板との合成の性質（<Ref to="mathematics/complex-analysis/several-complex-variables#prop-basic-several" /> の 3）により $g\circ F$ は $z_k$ について正則で、$\partial_k(g\circ F)=\sum_j(\partial_jg\circ F)\,\partial_kF_j$ です。よって $g\circ F$ は連続かつ変数ごとに正則、すなわち正則で、Jacobi 行列の式も得られました。

(3) $H=h$ をスカラー値とします。$dh_a$ が複素線型なので、$e_j$ を第 $j$ 標準基底として $\partial h/\partial y_j(a)=dh_a(ie_j)=i\,dh_a(e_j)=i\,\partial h/\partial x_j(a)$ です。$h=u+iv$ と書けばこれは $u_{y_j}=-v_{x_j}$、$v_{y_j}=u_{x_j}$、つまり $z_j$ についての Cauchy–Riemann の関係式です。$h$ は $C^1$ 級なので、$C^1$ 級による正則性の判定（<Ref to="mathematics/complex-analysis/holomorphic-functions#cor-c1-criterion" />）により $h$ は各変数について正則です。$h$ は連続なので正則です。
</Proof>

<Lemma id="lem-realification" title="複素線型写像の実行列式">
$A\in M_n(\mathbb{C})$ とし、$\mathbb{C}^n=\mathbb{R}^{2n}$ 上の実線型写像 $v\mapsto Av$ の行列を $A_{\mathbb{R}}\in M_{2n}(\mathbb{R})$ とする。このとき $\det A_{\mathbb{R}}=|\det A|^2$ である。
</Lemma>

<Proof of="lem-realification">
行列式は基底の取り方によらないので、実座標を $(x_1,\dots,x_n,y_1,\dots,y_n)$ の順に並べます。$A=B+iC$（$B,C$ は実行列）と書くと、$A(x+iy)=(Bx-Cy)+i(Cx+By)$ なので
$$
A_{\mathbb{R}}=\begin{pmatrix}B&-C\\ C&B\end{pmatrix}
$$
です。$I$ を $n$ 次単位行列として、複素行列の範囲で計算すると
$$
\begin{pmatrix}I&iI\\0&I\end{pmatrix}\begin{pmatrix}B&-C\\ C&B\end{pmatrix}\begin{pmatrix}I&-iI\\0&I\end{pmatrix}
=\begin{pmatrix}B+iC&-C+iB\\ C&B\end{pmatrix}\begin{pmatrix}I&-iI\\0&I\end{pmatrix}
=\begin{pmatrix}A&0\\ C&\bar A\end{pmatrix}
$$
です（右上のブロックは $-i(B+iC)+(-C+iB)=0$、右下は $-iC+B=\bar A$）。両側の三角行列の行列式は $1$ なので、$\det A_{\mathbb{R}}=\det A\cdot\det\bar A=|\det A|^2$ です。
</Proof>

次の補題は、Cauchy 型の積分で作った関数が径数について正則であることを保証します。この章の延長定理と準備定理はすべてこの形の積分で関数を作ります。

<Lemma id="lem-parameter-integral" title="径数つき積分の正則性">
$\Omega\subseteq\mathbb{C}^m$ を開集合、$g:\Omega\times[a,b]\to\mathbb{C}$ を連続関数とし、各 $t\in[a,b]$ について $z\mapsto g(z,t)$ が $\Omega$ 上で正則であるとする。このとき $G(z)=\int_a^bg(z,t)\,dt$ は $\Omega$ 上で正則である。とくに、$\Omega\times\{\zeta:|\zeta-c|=r\}$ 上で連続で $z$ について正則な $g$ に対し、$z\mapsto\oint_{|\zeta-c|=r}g(z,\zeta)\,d\zeta$ は正則である。
</Lemma>

<Proof of="lem-parameter-integral">
$t_k=a+k(b-a)/N$ とし、Riemann 和 $G_N(z)=\sum_{k=1}^Ng(z,t_k)(b-a)/N$ を考えます。$G_N$ は正則関数の有限和なので正則です。$L\subseteq\Omega$ をコンパクト集合とすると、$g$ はコンパクト集合 $L\times[a,b]$ 上で一様連続なので、任意の $\varepsilon>0$ に対して $\delta>0$ があり、$|t-t'|<\delta$ ならすべての $z\in L$ で $|g(z,t)-g(z,t')|<\varepsilon$ です。$(b-a)/N<\delta$ のとき、$z\in L$ について
$$
|G(z)-G_N(z)|\le\sum_{k=1}^N\int_{t_{k-1}}^{t_k}|g(z,t)-g(z,t_k)|\,dt\le\varepsilon(b-a)
$$
です。よって $G_N$ は $G$ に $\Omega$ 上で局所一様収束し、正則関数の局所一様収束極限は正則（<Ref to="mathematics/complex-analysis/several-complex-variables#prop-basic-several" /> の 2）なので $G$ は正則です。円周上の積分は $\oint g(z,\zeta)\,d\zeta=\int_0^{2\pi}g(z,c+re^{it})\,ire^{it}\,dt$ なので、前半の特別な場合です。
</Proof>

## 3. 正則写像の逆関数定理と陰関数定理

<Theorem id="thm-holomorphic-inverse-function" title="正則写像の逆関数定理・陰関数定理">
$U\subseteq\mathbb{C}^n$ を開集合とする。

1. （行列式の関係）$F:U\to\mathbb{C}^n$ を正則写像とすると、$F$ を $\mathbb{R}^{2n}$ の開集合から $\mathbb{R}^{2n}$ への写像と見たときの実 Jacobi 行列式は $|\det J_F(z)|^2$ に等しい。とくに非負である。
2. （逆関数定理）$F:U\to\mathbb{C}^n$ が正則で、$a\in U$ で $\det J_F(a)\ne0$ ならば、$a$ の開近傍 $V\subseteq U$ と $F(a)$ の開近傍 $W$ があって、$F|_V:V\to W$ は双正則である。
3. （陰関数定理）$n=m+k$ とし、$\mathbb{C}^n$ の点を $(z,w)$（$z\in\mathbb{C}^m$、$w\in\mathbb{C}^k$）と書く。$F:U\to\mathbb{C}^k$ が正則で、$(a,b)\in U$ で $F(a,b)=0$ かつ $k\times k$ 行列 $\bigl(\partial F_i/\partial w_j(a,b)\bigr)$ が可逆ならば、$a$ の開近傍 $V'$、$b$ の開近傍 $V''$（$V'\times V''\subseteq U$）と正則写像 $g:V'\to V''$ があって
$$
\{(z,w)\in V'\times V'':F(z,w)=0\}=\{(z,g(z)):z\in V'\}
$$
が成り立つ。
</Theorem>

<Proof of="thm-holomorphic-inverse-function">
(1) <Ref to="lem-holomorphic-map" /> の 1 により、$F$ の実の微分は複素線型写像 $v\mapsto J_F(z)v$ です。その実行列式は <Ref to="lem-realification" /> により $|\det J_F(z)|^2$ です。

(2) (1) により $F$ の実 Jacobi 行列は $a$ で可逆です。$F$ は $C^\infty$ 級なので、実の逆関数定理（<Ref to="mathematics/manifolds/submanifolds-regular-values#thm-inverse-function" />）により、$a$ の開近傍 $V$ と $F(a)$ の開近傍 $W$ があって $F|_V:V\to W$ は全単射で、逆写像 $H:W\to V$ は $C^\infty$ 級です。$H\circ F=\mathrm{id}_V$ を微分すると $dH_{F(z)}\circ dF_z=\mathrm{id}$ なので、$dF_z$ は可逆で $dH_{F(z)}=(dF_z)^{-1}$ です。複素線型な全単射の逆写像は複素線型なので、$dH$ は $W$ の各点で複素線型です。<Ref to="lem-holomorphic-map" /> の 3 により $H$ は正則です。

(3) $\Phi:U\to\mathbb{C}^m\times\mathbb{C}^k$ を $\Phi(z,w)=(z,F(z,w))$ で定めます。$\Phi$ は正則で、複素 Jacobi 行列は
$$
J_\Phi=\begin{pmatrix}I_m&0\\ \partial F/\partial z&\partial F/\partial w\end{pmatrix}
$$
なので、$\det J_\Phi(a,b)=\det\bigl(\partial F_i/\partial w_j(a,b)\bigr)\ne0$ です。(2) により、$(a,b)$ の開近傍 $V_0$ と $\Phi(a,b)=(a,0)$ の開近傍 $W_0$ があって $\Phi:V_0\to W_0$ は双正則です。逆写像 $\Psi$ は、$\Phi$ が第 1 成分を変えないので $\Psi(z,u)=(z,G(z,u))$ の形で、$G$ は正則です。$b$ の開近傍 $V''$ と $a$ の開近傍 $V_1'$ を $V_1'\times V''\subseteq V_0$ となるように取り、次に $a$ の開近傍 $V'\subseteq V_1'$ を、$z\in V'$ ならば $(z,0)\in W_0$ かつ $G(z,0)\in V''$ となるように取ります（$G(a,0)=b$ と連続性による）。$g(z)=G(z,0)$ とおきます。$z\in V'$ のとき $\Phi(z,g(z))=\Phi(\Psi(z,0))=(z,0)$ なので $F(z,g(z))=0$ です。逆に $(z,w)\in V'\times V''$ で $F(z,w)=0$ ならば $\Phi(z,w)=(z,0)=\Phi(z,g(z))$ で、$(z,w)$ と $(z,g(z))$ はともに $V_0$ の点なので、$\Phi|_{V_0}$ の単射性から $w=g(z)$ です。
</Proof>

実の場合と違い、(1) により正則写像の実 Jacobi 行列式は負になりません。このことから複素多様体は自然な向きをもちます（次章）。また 1 変数では、単射な正則関数の微分は自動的に $0$ になりませんでしたが、(2) はそれを仮定に置いた形です。

## 4. 複素多様体

<Definition id="def-complex-manifold" title="正則アトラスと複素多様体">
$X$ を位相空間とする。$X$ の開集合 $U$ と、$\mathbb{C}^n$ の開集合の上への同相写像 $\varphi:U\to\varphi(U)$ の組 $(U,\varphi)$ を **$n$ 次元複素チャート**という。複素チャートの族 $\{(U_\alpha,\varphi_\alpha)\}$ が **$n$ 次元正則アトラス**であるとは、$\bigcup_\alpha U_\alpha=X$ で、すべての $\alpha,\beta$ について**変換関数**
$$
\varphi_\beta\circ\varphi_\alpha^{-1}:\varphi_\alpha(U_\alpha\cap U_\beta)\to\varphi_\beta(U_\alpha\cap U_\beta)
$$
が正則写像であることをいう。二つの正則アトラスは、合併がまた正則アトラスになるとき同値であるという。Hausdorff で第二可算な位相空間 $X$ と、その $n$ 次元正則アトラスの同値類の組を **$n$ 次元複素多様体**といい、$\dim_{\mathbb{C}}X=n$ と書く。同値類に属するアトラスのチャートを $X$ の**正則チャート**、その成分 $\varphi=(z_1,\dots,z_n)$ を**正則座標**という。連結な 1 次元複素多様体を **Riemann 面**という。
</Definition>

正則アトラスは、$\mathbb{C}^n=\mathbb{R}^{2n}$ の同一視のもとで $2n$ 次元の $C^\infty$ アトラス（<Ref to="mathematics/manifolds/smooth-manifolds#def-atlas" />）です。変換関数が正則なら $C^\infty$ 級だからです（<Ref to="lem-holomorphic-map" /> の 1）。同値な正則アトラスの合併は $C^\infty$ アトラスなので、どちらも同じ極大 $C^\infty$ アトラスに含まれます（<Ref to="mathematics/manifolds/smooth-manifolds#prop-maximal-atlas" />）。こうして $n$ 次元複素多様体は $2n$ 次元の滑らかな多様体（<Ref to="mathematics/manifolds/smooth-manifolds#def-manifold" />）でもあり、接空間・微分形式・積分などの道具がそのまま使えます。

<Definition id="def-holomorphic-on-manifold" title="正則関数・正則写像・双正則写像・複素 Lie 群">
$X,Y$ を複素多様体とする。連続写像 $f:X\to Y$ が**正則**であるとは、$X$ の任意の正則チャート $(U,\varphi)$ と $Y$ の任意の正則チャート $(V,\psi)$ について、$\psi\circ f\circ\varphi^{-1}$ が $\varphi(U\cap f^{-1}(V))$ 上で正則写像であることをいう。$Y=\mathbb{C}$ のとき $f$ を**正則関数**といい、$X$ の開集合 $U$ 上の正則関数の全体を $\mathcal{O}(U)$ と書く。正則な全単射で逆写像も正則なものを**双正則写像**という。複素多様体 $G$ が群でもあり、積 $G\times G\to G$ と逆元 $G\to G$ が正則写像であるとき、$G$ を**複素 Lie 群**という。
</Definition>

変換関数が正則で、正則写像の合成は正則（<Ref to="lem-holomorphic-map" /> の 2）なので、正則性は各点のまわりで 1 組のチャートについて確かめれば十分です。同じ理由で、正則写像の合成は正則です。正則写像の複素 Jacobi 行列の階数は、チャートを取り替えると可逆行列が両側から掛かるだけなので、チャートによらず定まります。これを点 $p$ での $f$ の**階数**といい $\operatorname{rank}_pf$ と書きます。

<Lemma id="lem-identity-manifold" title="複素多様体上の一致の定理">
$X$ を連結な複素多様体、$Y$ を複素多様体、$f,g:X\to Y$ を正則写像とする。$f$ と $g$ が $X$ の空でない開集合の上で一致すれば、$X$ 全体で一致する。とくに、連結な複素多様体上の正則関数が空でない開集合の上で $0$ ならば恒等的に $0$ である。
</Lemma>

<Proof of="lem-identity-manifold">
$A$ を、$f$ と $g$ がその点のある近傍で一致するような点 $x\in X$ の全体とします。$A$ は定義から開集合で、仮定により空ではありません。$A$ が閉集合であることを示します。$x\in\overline{A}$ とします。$f,g$ は連続で $Y$ は Hausdorff なので、一致する点の集合は閉集合で、$f(x)=g(x)$ です。$f(x)$ のまわりの $Y$ の正則チャート $(V,\psi)$ と、$x$ のまわりの $X$ の正則チャート $(U,\varphi)$ で、$\varphi(U)$ が多重円板で $f(U)\cup g(U)\subseteq V$ となるものを取ります。$\psi\circ f\circ\varphi^{-1}-\psi\circ g\circ\varphi^{-1}$ の各成分は連結な開集合 $\varphi(U)$ 上の正則関数で、空でない開集合 $\varphi(U\cap A)$ の上で $0$ です。$\mathbb{C}^n$ の一致の定理（<Ref to="mathematics/complex-analysis/several-complex-variables#prop-basic-several" /> の 1）により $\varphi(U)$ 全体で $0$、つまり $U$ 上で $f=g$ となり、$x\in A$ です。$X$ は連結なので $A=X$ です。
</Proof>

<Proposition id="prop-projective-space" title="複素射影空間">
$\mathbb{C}^{n+1}\setminus\{0\}$ に同値関係 $z\sim\lambda z$（$\lambda\in\mathbb{C}\setminus\{0\}$）を入れた商空間を $\mathbb{P}^n$ と書き、商写像を $\pi$、$\pi(z_0,\dots,z_n)=[z_0:\dots:z_n]$ と書く。$U_j=\{[z]:z_j\ne0\}$、
$$
\varphi_j:U_j\to\mathbb{C}^n,\qquad\varphi_j([z])=\Bigl(\frac{z_0}{z_j},\dots,\widehat{\frac{z_j}{z_j}},\dots,\frac{z_n}{z_j}\Bigr)
$$
（ハットは除くことを表す）とすると、次が成り立つ。

1. $\{(U_j,\varphi_j)\}_{j=0}^n$ は正則アトラスで、$\mathbb{P}^n$ は $n$ 次元のコンパクトな連結複素多様体である。$\pi$ は正則写像である。
2. $P_1,\dots,P_k$ を $z_0,\dots,z_n$ の斉次多項式とすると、$V(P_1,\dots,P_k)=\{[z]:P_1(z)=\dots=P_k(z)=0\}$ は well-defined な閉集合で、各 $U_j$ の上では $k$ 個の正則関数の共通零点集合である。
</Proposition>

<Proof of="prop-projective-space">
(1) **位相。** $V\subseteq\mathbb{C}^{n+1}\setminus\{0\}$ が開集合なら $\pi^{-1}(\pi(V))=\bigcup_{\lambda\ne0}\lambda V$ は開集合なので、$\pi$ は開写像です。$\mathbb{C}^{n+1}\setminus\{0\}$ の可算開基の $\pi$ による像は $\mathbb{P}^n$ の可算開基です（開集合 $W\ni[z]$ に対し、$z\in B\subseteq\pi^{-1}(W)$ となる基の元 $B$ を取ると $[z]\in\pi(B)\subseteq W$）。Hausdorff 性を見るために、写像 $h:\mathbb{P}^n\to M_{n+1}(\mathbb{C})$、$h([z])=zz^{*}/|z|^2$（$z$ を列ベクトルと見る。$|z|$ は Euclid ノルム）を考えます。$z$ を $\lambda z$ に替えても値は変わらず、$h\circ\pi$ が連続なので $h$ は商位相について連続です。行列 $zz^{*}/|z|^2$ の像は直線 $\mathbb{C}z$ なので $h$ は単射です。Hausdorff 空間への連続な単射があるので、$\mathbb{P}^n$ は Hausdorff です（異なる 2 点の像を分離する開集合の逆像を取る）。単位球面 $S^{2n+1}\subseteq\mathbb{C}^{n+1}$ はコンパクトで連結で、$\pi(S^{2n+1})=\mathbb{P}^n$ なので、$\mathbb{P}^n$ はコンパクト（<Ref to="mathematics/topology/compactness#thm-continuous-image" />）で連結です。

**チャート。** $U_j=\pi(\{z_j\ne0\})$ は開集合です。$\varphi_j\circ\pi$ は $\{z_j\ne0\}$ 上で連続で、$\pi$ は開写像なので $\varphi_j$ は連続です。$\varphi_j$ は全単射で、逆写像は $w=(w_1,\dots,w_n)\mapsto\pi(w_1,\dots,w_j,1,w_{j+1},\dots,w_n)$ という連続写像です。よって $\varphi_j$ は同相写像です。$j<k$ のとき、$\varphi_k\circ\varphi_j^{-1}$ は $\varphi_j(U_j\cap U_k)=\{w:w_k\ne0\}$ 上で
$$
w\mapsto\Bigl(\frac{w_1}{w_k},\dots,\frac{w_j}{w_k},\frac{1}{w_k},\frac{w_{j+1}}{w_k},\dots,\widehat{\frac{w_k}{w_k}},\dots,\frac{w_n}{w_k}\Bigr)
$$
で、各成分は正則です（$j>k$ も同様）。よって正則アトラスです。$\varphi_j\circ\pi$ の成分 $z_i/z_j$ は正則なので $\pi$ は正則写像です。

(2) $P_i$ が $d_i$ 次斉次なら $P_i(\lambda z)=\lambda^{d_i}P_i(z)$ なので、$P_i(z)=0$ かどうかは $[z]$ だけで決まります。$\pi^{-1}(V(P_1,\dots,P_k))$ は連続関数の零点集合の共通部分なので閉集合で、その補集合の $\pi$ による像が $V(P_1,\dots,P_k)$ の補集合ですから、$V(P_1,\dots,P_k)$ は閉集合です。$U_j$ の上では、$\varphi_j^{-1}(w)$ の代表元 $(w_1,\dots,w_j,1,w_{j+1},\dots,w_n)$ を使って、$V(P_1,\dots,P_k)\cap U_j$ は $w$ の多項式 $p_i(w)=P_i(w_1,\dots,w_j,1,w_{j+1},\dots,w_n)$ の共通零点集合に写ります。
</Proof>

$n=1$ のとき、$\mathbb{P}^1=U_0\cup\{[0:1]\}$ で $U_0\cong\mathbb{C}$ です。変換関数は $w\mapsto1/w$ で、$\mathbb{P}^1$ は Riemann 球面（<Ref to="mathematics/complex-analysis/conformal-mapping#def-riemann-sphere" />）$\hat{\mathbb{C}}$ に、$[1:w]\mapsto w$、$[0:1]\mapsto\infty$ によって同相で、$\infty$ のまわりの座標は $1/w$ です。

## 5. 複素部分多様体と正則値

<Definition id="def-complex-submanifold" title="複素部分多様体・解析的部分集合・解析的超曲面">
$X$ を $n$ 次元複素多様体とする。

1. 部分集合 $Y\subseteq X$ が **$k$ 次元複素部分多様体**であるとは、各 $p\in Y$ に対して $X$ の正則チャート $(U,\varphi)$ で、$p\in U$ かつ $\varphi(U\cap Y)=\varphi(U)\cap(\mathbb{C}^k\times\{0\})$ となるものがあることをいう。$n-k$ を**余次元**という。
2. 閉集合 $A\subseteq X$ が**解析的部分集合**であるとは、各 $p\in A$ が開近傍 $U$ をもち、有限個の $f_1,\dots,f_m\in\mathcal{O}(U)$ によって $A\cap U=\{x\in U:f_1(x)=\dots=f_m(x)=0\}$ と書けることをいう。
3. 解析的部分集合 $A$ が**解析的超曲面**であるとは、2 で各点について $m=1$ と取れ、しかも $f_1$ がどの点の近傍でも恒等的に $0$ ではないことをいう。このような $f_1$ を $A$ の $U$ 上の**局所定義関数**という。
4. 閉集合 $A\subseteq X$ が**薄い**とは、各 $p\in A$ が連結な開近傍 $U$ と、恒等的に $0$ ではない $h\in\mathcal{O}(U)$ をもち、$A\cap U\subseteq\{h=0\}$ となることをいう。
</Definition>

解析的超曲面は薄い集合です。薄い集合は内点をもちません（内点があれば $h$ が開集合上で $0$ になり、<Ref to="lem-identity-manifold" /> に反します）。したがって薄い集合の補集合は稠密です。

<Lemma id="lem-submanifold-structure" title="複素部分多様体は複素多様体">
$Y$ を $n$ 次元複素多様体 $X$ の $k$ 次元複素部分多様体とする。定義のチャート $(U,\varphi)$ から作った $(U\cap Y,\ \mathrm{pr}\circ\varphi|_{U\cap Y})$（$\mathrm{pr}:\mathbb{C}^k\times\mathbb{C}^{n-k}\to\mathbb{C}^k$ は射影）の全体は、部分空間位相を入れた $Y$ の $k$ 次元正則アトラスで、$Y$ は $k$ 次元複素多様体になる。包含写像 $Y\to X$ は正則で、$X$ の開集合 $W$ 上の正則関数の $W\cap Y$ への制限は正則である。
</Lemma>

<Proof of="lem-submanifold-structure">
$Y$ は Hausdorff で第二可算な空間の部分空間なので、Hausdorff で第二可算です。$\varphi|_{U\cap Y}$ は $U\cap Y$ から $\varphi(U)\cap(\mathbb{C}^k\times\{0\})$ への同相写像で、$\mathrm{pr}$ は $\mathbb{C}^k\times\{0\}$ と $\mathbb{C}^k$ の同相を与えるので、$\mathrm{pr}\circ\varphi|_{U\cap Y}$ は $\mathbb{C}^k$ の開集合の上への同相写像です。$\iota:\mathbb{C}^k\to\mathbb{C}^n$、$\iota(w)=(w,0)$ とします。もう一つの定義のチャート $(V,\psi)$ について、変換関数は $w\mapsto\mathrm{pr}\circ(\psi\circ\varphi^{-1})\circ\iota(w)$ で、正則写像 $\iota$、$\psi\circ\varphi^{-1}$、$\mathrm{pr}$ の合成なので正則です（<Ref to="lem-holomorphic-map" /> の 2）。よって正則アトラスです。包含写像は、これらのチャートで $w\mapsto(w,0)$ と表されるので正則です。$f\in\mathcal{O}(W)$ の制限は $f$ と包含写像の合成なので正則です。
</Proof>

<Proposition id="prop-regular-value-complex" title="正則値の逆像・階数一定の逆像・射影超曲面">
$X,Y$ を複素多様体（次元 $n,m$）、$F:X\to Y$ を正則写像、$c\in Y$、$Z=F^{-1}(c)\ne\emptyset$ とする。

1. $Z$ の各点 $p$ で $\operatorname{rank}_pF=m$ ならば、$Z$ は $X$ の $n-m$ 次元の閉な複素部分多様体である。
2. $Z$ のある開近傍の上で $F$ の階数が一定値 $r$ ならば、$Z$ は $X$ の $n-r$ 次元の閉な複素部分多様体である。
3. $P$ を $z_0,\dots,z_n$ の $d$ 次斉次多項式（$d\ge1$）とし、$\partial P/\partial z_0,\dots,\partial P/\partial z_n$ が $\mathbb{C}^{n+1}\setminus\{0\}$ に共通零点をもたないとする。このとき $V(P)\subseteq\mathbb{P}^n$ は $n-1$ 次元の閉な複素部分多様体である。
</Proposition>

<Proof of="prop-regular-value-complex">
$Z$ は連続写像による 1 点の逆像なので閉集合です。部分多様体であることは局所的な条件なので、$p\in Z$ のまわりの正則チャートと $c$ のまわりの正則チャートを使って、$X$ は $\mathbb{C}^n$ の開集合、$Y=\mathbb{C}^m$、$c=0$、$F=(F_1,\dots,F_m)$ として示します。

(2) を示します（(1) は $r=m$ の場合です。階数が $m$ であるという条件は、ある $m$ 次小行列式が $0$ でないということなので開条件で、$Z$ の各点で階数が $m$ なら $Z$ の近傍でも $m$ です）。$J_F(p)$ の階数は $r$ なので、$z$ の座標と $F$ の成分の番号を付け替えて、小行列 $(\partial F_i/\partial z_j(p))_{i,j\le r}$ が可逆であるとしてよいです。$\Phi(z)=(F_1(z),\dots,F_r(z),z_{r+1},\dots,z_n)$ とおくと、$J_\Phi(p)$ はブロック三角行列で $\det J_\Phi(p)=\det(\partial F_i/\partial z_j(p))_{i,j\le r}\ne0$ です。逆関数定理（<Ref to="thm-holomorphic-inverse-function" /> の 2）により、$p$ の開近傍 $U$ と多重円板 $Q=P(\Phi(p),\varepsilon)$ があって $\Phi:U\to Q$ は双正則で、$U$ の上で $F$ の階数は $r$ としてよいです。$(U,\Phi)$ は $X$ の正則チャートです。新しい座標 $w=\Phi(z)$ で $G=F\circ\Phi^{-1}$ を書くと、$i\le r$ について $G_i(w)=w_i$ です。$J_G$ は左上に $I_r$、右上に $0$ をもち、階数が $r$ なので、右下のブロック $(\partial G_i/\partial w_j)_{i>r,\,j>r}$ は $Q$ 上で恒等的に $0$ です（$0$ でない成分があれば、その行・列と最初の $r$ 行・$r$ 列から $0$ でない $r+1$ 次小行列式が作れます）。$Q$ は多重円板なので、$w_1,\dots,w_r$ を止めるごとに $G_i$（$i>r$）を $w_{r+1},\dots,w_n$ のうち 1 変数だけの関数と見ると、円板上で導関数が $0$ の正則関数なので定数です（<Ref to="mathematics/complex-analysis/holomorphic-functions#prop-constant" />）。これを変数ごとに繰り返して、$G_i(w)=G_i(w_1,\dots,w_r,\Phi_{r+1}(p),\dots,\Phi_n(p))$ は $w_1,\dots,w_r$ だけで決まります。したがって
$$
\Phi(Z\cap U)=\{w\in Q:w_1=\dots=w_r=0,\ G_i(0,\dots,0,w_{r+1},\dots,w_n)=0\ (i>r)\}
$$
で、後ろの条件は $w_{r+1},\dots,w_n$ によらず、$w=\Phi(p)$ で成り立っているので、つねに成り立ちます。よって $\Phi(Z\cap U)=Q\cap\{w_1=\dots=w_r=0\}$ です。座標の順序を入れ替えれば、これは $Z$ が $n-r$ 次元複素部分多様体であるという定義の条件です。

(3) $P(tz)=t^dP(z)$ を $t$ で微分して $t=1$ とおくと、Euler の関係式 $\sum_jz_j\,\partial P/\partial z_j(z)=d\,P(z)$ が得られます。$U_0$ の上で考えます（他の $U_j$ も同様）。$\varphi_0(V(P)\cap U_0)$ は $p(w)=P(1,w_1,\dots,w_n)$ の零点集合です（<Ref to="prop-projective-space" /> の 2）。$p(w)=0$ となる点 $w$ で $\partial p/\partial w_j(w)=0$（$j=1,\dots,n$）と仮定します。これは $z=(1,w)$ で $\partial P/\partial z_j(z)=0$（$j\ge1$）ということで、Euler の関係式から $\partial P/\partial z_0(z)=d\,P(z)-\sum_{j\ge1}w_j\,\partial P/\partial z_j(z)=0$ も成り立ちます。これは偏導関数が $\mathbb{C}^{n+1}\setminus\{0\}$ に共通零点をもたないという仮定に反します。よって $p:\mathbb{C}^n\to\mathbb{C}$ は $p^{-1}(0)$ の各点で階数 $1$ で、(1) により $p^{-1}(0)$ は $n-1$ 次元複素部分多様体です。$V(P)$ は閉集合で（<Ref to="prop-projective-space" /> の 2）、各 $U_j$ の中で部分多様体の条件を満たすので、$\mathbb{P}^n$ の閉な複素部分多様体です。
</Proof>

(3) の $V(P)$ を次数 $d$ の**非特異射影超曲面**といいます。(1) の $Z$ の実の接空間は、実の正則値定理（<Ref to="mathematics/manifolds/submanifolds-regular-values#thm-regular-value-proof" />）により $\ker dF_p$ で、これは複素線型写像の核なので複素部分空間です。

<Theorem id="thm-compact-constant" title="コンパクト複素多様体上の正則関数は定数">
$X$ を連結なコンパクト複素多様体とする。$X$ 上の正則関数は定数である。したがって、$\mathbb{C}^N$ の連結でコンパクトな複素部分多様体は 1 点である。
</Theorem>

<Proof of="thm-compact-constant">
$f\in\mathcal{O}(X)$ とします。$|f|$ はコンパクト空間上の連続関数なので、ある点 $p$ で最大値を取ります。$p$ のまわりの正則チャート $(U,\varphi)$ を $\varphi(p)=0$、$\varphi(U)\supseteq\overline{P(0,r)}$ となるように取り、$g=f\circ\varphi^{-1}$ とおきます。$z\in P(0,r)$ を固定します。1 変数関数 $t\mapsto g(tz)$ は、$t$ が $\{|t|<1+\varepsilon\}$（$\varepsilon>0$ は $tz\in\varphi(U)$ となるように小さく取る）を動くとき正則で（<Ref to="mathematics/complex-analysis/several-complex-variables#prop-basic-several" /> の 3）、$|g(tz)|\le|g(0)|$ を満たします。最大値原理（<Ref to="mathematics/complex-analysis/properties-of-holomorphic-functions#thm-maximum-modulus" />）によりこの関数は定数なので、$t=1$ として $g(z)=g(0)$ です。よって $f$ は $p$ の近傍 $\varphi^{-1}(P(0,r))$ の上で定数 $f(p)$ に等しく、<Ref to="lem-identity-manifold" /> を $f$ と定数関数 $f(p)$ に使うと、$X$ 全体で $f=f(p)$ です。

$Y\subseteq\mathbb{C}^N$ を連結でコンパクトな複素部分多様体とします。座標関数 $z_j$ の $Y$ への制限は $Y$ 上の正則関数（<Ref to="lem-submanifold-structure" />）なので、前半により定数です。すべての座標が定数なので $Y$ は 1 点です。
</Proof>

この定理により、コンパクト複素多様体を $\mathbb{C}^N$ に正則に埋め込むことはできません。埋め込み先の候補は射影空間 $\mathbb{P}^N$ で、どのコンパクト複素多様体が $\mathbb{P}^N$ に埋め込めるかという問いに答えるのが、このテーマの最後の章の Kodaira の埋め込み定理です。

## 6. 商による構成：複素トーラス・Hopf 多様体・岩澤多様体

この節のねらいは、$\mathbb{C}^n$ のような既知の空間を群で割って新しい複素多様体を作ることです。割った結果が多様体になるには、(自由) 単位元以外のどの元もどの点も動かし、(真性不連続) どの 2 点 $x,y$ にも、それぞれの近傍 $U,V$ で $\gamma U\cap V\ne\emptyset$ となる $\gamma$ が有限個しかないものがある、という二つが要ります。後者の「有限個」は、商空間で異なる 2 点を開集合で分けられる（Hausdorff になる）ために使われ、証明の「分離の補題」で $\gamma_ix\ne y$ となる有限個の組を一つずつ分けています。

<Lemma id="lem-quotient-manifold" title="自由で真性不連続な作用による商">
$X$ を $n$ 次元複素多様体、$\Gamma$ を $X$ に双正則写像として作用する群とし、次を仮定する。

- （自由）$\gamma\ne e$ ならば、どの $x\in X$ についても $\gamma x\ne x$。
- （真性不連続）任意の $x,y\in X$ に対して、$x$ の開近傍 $U$ と $y$ の開近傍 $V$ で、$\{\gamma\in\Gamma:\gamma U\cap V\ne\emptyset\}$ が有限集合となるものがある。

このとき商空間 $X/\Gamma$ は Hausdorff で第二可算で、商写像 $\pi:X\to X/\Gamma$ が局所的に双正則になるような $n$ 次元複素多様体の構造がただ一つある。$\pi$ は被覆写像である。コンパクト集合 $K\subseteq X$ で $\Gamma K=X$ となるものがあれば、$X/\Gamma$ はコンパクトである。
</Lemma>

<Proof of="lem-quotient-manifold">
**$\pi$ は開写像で、$X/\Gamma$ は第二可算。** $W\subseteq X$ が開なら $\pi^{-1}(\pi(W))=\bigcup_\gamma\gamma W$ は開です。$X$ の可算開基の像が $X/\Gamma$ の可算開基になることは、<Ref to="prop-projective-space" /> の証明と同じ議論です（開集合 $W'\ni\pi(x)$ に対し、$x\in B\subseteq\pi^{-1}(W')$ となる基の元を取る）。

**分離の補題。** $x,y\in X$ とし、$\gamma x\ne y$ がすべての $\gamma\in S$ について成り立つような $\Gamma$ の部分集合 $S$ を考えます。真性不連続性の $U,V$ を取り、$\gamma U\cap V\ne\emptyset$ となる $\gamma\in S$ を $\gamma_1,\dots,\gamma_k$ とします。$\gamma_ix\ne y$ なので、$X$ の Hausdorff 性から $\gamma_ix$ の開近傍 $W_i$ と $y$ の開近傍 $V_i$ で交わらないものがあります。$U'=U\cap\bigcap_i\gamma_i^{-1}W_i$、$V'=V\cap\bigcap_iV_i$ とおくと、すべての $\gamma\in S$ について $\gamma U'\cap V'=\emptyset$ です。

**Hausdorff 性。** $\pi(x)\ne\pi(y)$ のとき、$S=\Gamma$ として補題を使うと、$\pi(U')$ と $\pi(V')$ は $\pi(x)$ と $\pi(y)$ の交わらない開近傍です（$\pi(u)=\pi(v)$ なら $v=\gamma u$ となる $\gamma$ があるからです）。

**チャートと被覆。** $x\in X$ とします。作用は自由なので、$y=x$、$S=\Gamma\setminus\{e\}$ として補題が使え、$x$ の開近傍 $U_x=U'\cap V'$ で、$\gamma\ne e$ ならば $\gamma U_x\cap U_x=\emptyset$ となるものが得られます。さらに $U_x$ を小さくして、$X$ の正則チャート $(U_x,\varphi_x)$ の定義域であるとしてよいです。$\pi|_{U_x}$ は単射な連続開写像なので、開集合 $\pi(U_x)$ の上への同相写像です。$\psi_x=\varphi_x\circ(\pi|_{U_x})^{-1}$ を $\pi(U_x)$ 上のチャートとします。$\pi^{-1}(\pi(U_x))=\bigcup_\gamma\gamma U_x$ は互いに交わらない開集合の合併で（$\gamma U_x\cap\gamma'U_x\ne\emptyset$ なら $\gamma^{-1}\gamma'U_x\cap U_x\ne\emptyset$ なので $\gamma=\gamma'$）、各 $\gamma U_x$ は $\pi$ で $\pi(U_x)$ に同相に写るので、$\pi$ は被覆写像（<Ref to="mathematics/algebraic-topology/fundamental-group-coverings#def-covering" />）です。

**変換関数。** $q\in\pi(U_x)\cap\pi(U_y)$、$q=\pi(u)=\pi(v)$（$u\in U_x$、$v\in U_y$）とすると、$v=\gamma u$ となる $\gamma$ があります。$u$ の近傍 $N\subseteq U_x\cap\gamma^{-1}U_y$ の上で、$(\pi|_{U_y})^{-1}\circ\pi|_{U_x}$ は $u'\mapsto\gamma u'$ に一致します（$\gamma u'\in U_y$ で $\pi(\gamma u')=\pi(u')$ だからです）。よって $\psi_y\circ\psi_x^{-1}=\varphi_y\circ\gamma\circ\varphi_x^{-1}$ が $\varphi_x(N)$ 上で成り立ち、$\gamma$ は双正則なのでこれは正則です。こうして $\{(\pi(U_x),\psi_x)\}$ は正則アトラスで、$\psi_x\circ\pi\circ\varphi_x^{-1}=\mathrm{id}$ なので $\pi$ は局所的に双正則です。$\pi$ が局所的に双正則になる構造では $(\pi|_{U_x})^{-1}$ が正則チャートを与えるので、構造は一意です。

**コンパクト性。** $\Gamma K=X$ なら $\pi(K)=X/\Gamma$ で、コンパクト集合の連続像はコンパクトです（<Ref to="mathematics/topology/compactness#thm-continuous-image" />）。
</Proof>

<Definition id="def-complex-torus" title="格子と複素トーラス">
$\mathbb{C}^n$ の部分群 $\Lambda$ が**格子**であるとは、$\mathbb{R}$ 上の基底 $\omega_1,\dots,\omega_{2n}$ によって $\Lambda=\mathbb{Z}\omega_1+\dots+\mathbb{Z}\omega_{2n}$ と書けることをいう。$\Lambda$ を平行移動で $\mathbb{C}^n$ に作用させた商 $\mathbb{C}^n/\Lambda$ を**複素トーラス**という。$n=1$ のときは**楕円曲線**ともいう。
</Definition>

$n=1$ の場合に、商 $\mathbb{C}/\Lambda$ がどのような図形になるかを動画で見ます。基本平行四辺形の同じ色の対辺（矢印の向きまで同じ）を貼り合わせると、まず円柱になり、その両端の円を貼り合わせると円環面になります。

<Figure caption="格子 Λ = ℤ + ℤτ（τ = 0.3 + 1.5i）の基本平行四辺形から円環面を作る。赤の辺 ω₁ どうし、青の辺 ω₂ どうしを順に貼り合わせる。">
<img src="/figures/torus-gluing.gif" alt="平行四辺形の赤い対辺を貼り合わせて円柱に巻き、その両端の円を貼り合わせて、円環面ができるまでの動画。左に基本平行四辺形、右に曲面の変形を示す。" loading="lazy" />
</Figure>

<Proposition id="prop-complex-torus" title="複素トーラスとその間の正則写像">
$\Lambda\subseteq\mathbb{C}^n$、$\Lambda'\subseteq\mathbb{C}^m$ を格子とし、商写像を $\pi,\pi'$ と書く。

1. $\mathbb{C}^n/\Lambda$ は、$\pi$ が局所的に双正則になるような $n$ 次元のコンパクトな連結複素多様体で、加法について複素 Lie 群である。
2. $f:\mathbb{C}^n/\Lambda\to\mathbb{C}^m/\Lambda'$ を正則写像とすると、$A\Lambda\subseteq\Lambda'$ を満たす $m\times n$ 複素行列 $A$ と $b\in\mathbb{C}^m$ があって、$f(\pi(z))=\pi'(Az+b)$ がすべての $z$ で成り立つ。逆に、このような $A,b$ はこの式で正則写像を定める。
</Proposition>

<Proof of="prop-complex-torus">
(1) $T:\mathbb{R}^{2n}\to\mathbb{C}^n$、$T(t)=\sum_jt_j\omega_j$ は実線型同型で、$\Lambda=T(\mathbb{Z}^{2n})$ です。$c=\min_{|t|=1}|T(t)|>0$ とすると、$0$ でない $\lambda=T(m)\in\Lambda$ について $|\lambda|\ge c|m|\ge c$ です。したがって有界集合に含まれる $\Lambda$ の元は有限個です（$|T(m)|\le R$ なら $|m|\le R/c$）。平行移動は双正則で、作用は自由です。$x,y\in\mathbb{C}^n$ に対し $U=B(x,1)$、$V=B(y,1)$（開球）とすると、$(\lambda+U)\cap V\ne\emptyset$ ならば $|\lambda|<|x-y|+2$ なので、そのような $\lambda$ は有限個で、作用は真性不連続です。$K=\{T(t):t\in[0,1]^{2n}\}$ はコンパクトで $K+\Lambda=\mathbb{C}^n$ です。<Ref to="lem-quotient-manifold" /> により $\mathbb{C}^n/\Lambda$ はコンパクトな複素多様体で、連結な $\mathbb{C}^n$ の像なので連結です。加法と逆元は、$\pi$ の局所的な逆を使って $\mathbb{C}^n$ の加法と符号の反転（正則写像）で表されるので正則です。

(2) $\pi'$ は被覆写像です（<Ref to="lem-quotient-manifold" />）。$\mathbb{C}^n$ は凸なので可縮で単連結、また局所道連結です（<Ref to="mathematics/algebraic-topology/fundamental-group-coverings#prop-contractible" />）。持ち上げ定理（<Ref to="mathematics/algebraic-topology/fundamental-group-coverings#thm-lifting-criterion" />）により、連続写像 $f\circ\pi:\mathbb{C}^n\to\mathbb{C}^m/\Lambda'$ は連続写像 $F:\mathbb{C}^n\to\mathbb{C}^m$ に持ち上がり、$\pi'\circ F=f\circ\pi$ です。

$F$ は正則です。実際、$z_0\in\mathbb{C}^n$ に対し、$F(z_0)$ の開近傍 $W$ で $\pi'|_W$ が開集合の上への双正則写像になるものを取ると、$z_0$ の近傍 $F^{-1}(W)$ の上で $F=(\pi'|_W)^{-1}\circ f\circ\pi$ で、右辺は正則写像の合成です。

$\lambda\in\Lambda$ を固定します。$\pi'(F(z+\lambda))=f(\pi(z+\lambda))=f(\pi(z))=\pi'(F(z))$ なので、$z\mapsto F(z+\lambda)-F(z)$ は $\Lambda'$ に値を取る連続写像です。$\Lambda'$ の各点は孤立している（(1) の証明）ので、連結な $\mathbb{C}^n$ の上でこの写像は定数です。その値を $\ell(\lambda)\in\Lambda'$ とします。$F(z+\lambda)=F(z)+\ell(\lambda)$ を $z_j$ で微分すると、$g=\partial_jF_i$ は $\Lambda$ 周期的な整関数です。$g$ はコンパクト集合 $K$ 上で有界で、$K+\Lambda=\mathbb{C}^n$ なので $\mathbb{C}^n$ 全体で有界です。$z\in\mathbb{C}^n$ を固定すると $t\mapsto g(tz)$ は有界な 1 変数の整関数なので、Liouville の定理（<Ref to="mathematics/complex-analysis/properties-of-holomorphic-functions#thm-liouville" />）により定数で、$g(z)=g(0)$ です。$A=(\partial_jF_i(0))$ とおくと、$h(z)=F(z)-Az$ はすべての $\partial_jh_i$ が恒等的に $0$ の正則写像です。$t\mapsto h_i(tz)$ の導関数は $\sum_j\partial_jh_i(tz)z_j=0$ なので定数（<Ref to="mathematics/complex-analysis/holomorphic-functions#prop-constant" />）で、$h(z)=h(0)=:b$ です。よって $F(z)=Az+b$ で、$A\lambda=F(z+\lambda)-F(z)=\ell(\lambda)\in\Lambda'$ です。

逆に、$A\Lambda\subseteq\Lambda'$ なら $\pi'(A(z+\lambda)+b)=\pi'(Az+b)$ なので $f(\pi(z))=\pi'(Az+b)$ は well-defined で、$\pi$ の局所的な逆を使えば正則写像の合成として書けるので正則です。
</Proof>

(2) から、二つの複素トーラス $\mathbb{C}^n/\Lambda$ と $\mathbb{C}^n/\Lambda'$ が双正則であるのは、$A\Lambda=\Lambda'$ となる $A\in GL_n(\mathbb{C})$ があるときに限ります。滑らかな多様体としてはどれも $(S^1)^{2n}$ に微分同相ですが、$GL_{2n}(\mathbb{R})$ に比べて $GL_n(\mathbb{C})$ は小さいので、複素構造としては連続的に異なるものがあります。

<Example id="ex-elliptic-curves" title="楕円曲線 ℂ/Λ">
$n=1$ とします。格子に $0$ でない複素数を掛けても双正則類は変わらないので、$\Lambda_\tau=\mathbb{Z}+\mathbb{Z}\tau$（$\operatorname{Im}\tau>0$）の形だけ考えれば十分です。<Ref to="prop-complex-torus" /> の 2 により、$\mathbb{C}/\Lambda_\tau$ と $\mathbb{C}/\Lambda_{\tau'}$ が双正則であるのは $a\Lambda_\tau=\Lambda_{\tau'}$ となる $a\ne0$ があるときです。たとえば $\tau=i$ と $\tau'=2i$ を比べます。$a(\mathbb{Z}+\mathbb{Z}i)=\mathbb{Z}+2i\mathbb{Z}$ とすると、$a\in\Lambda_{2i}$ かつ $ai\in\Lambda_{2i}$ です。$a=p+2qi$（$p,q\in\mathbb{Z}$）と書くと $ai=-2q+pi$ で、これが $\Lambda_{2i}$ に入るには $p$ が偶数でなければなりません。すると $a\Lambda_i\subseteq2\mathbb{Z}+2i\mathbb{Z}$ となり、$1\in\Lambda_{2i}$ を含みません。よって $\mathbb{C}/\Lambda_i$ と $\mathbb{C}/\Lambda_{2i}$ は双正則ではありません。
</Example>

<Example id="ex-hopf" title="Hopf 曲面">
$n\ge2$ とし、$\mathbb{Z}$ を $X=\mathbb{C}^n\setminus\{0\}$ に $k\cdot z=2^kz$ で作用させます。作用は自由で、$x,y\in X$ に対し $U=\{|x|/2<|z|<2|x|\}$、$V=\{|y|/2<|z|<2|y|\}$ とすれば $2^kU\cap V\ne\emptyset$ となる $k$ は有限個なので真性不連続です。$K=\{1\le|z|\le2\}$ はコンパクトで $\bigcup_k2^kK=X$ です。<Ref to="lem-quotient-manifold" /> により $H=X/\mathbb{Z}$ はコンパクトな $n$ 次元複素多様体で、**Hopf 多様体**（$n=2$ のとき Hopf 曲面）といいます。

写像 $X\to\mathbb{R}\times S^{2n-1}$、$z\mapsto(\log_2|z|,z/|z|)$ は微分同相で、$z\mapsto2z$ は $(t,u)\mapsto(t+1,u)$ に対応します。よって $H$ は $(\mathbb{R}/\mathbb{Z})\times S^{2n-1}=S^1\times S^{2n-1}$ に微分同相です。$n=2$ なら $S^1\times S^3$ で、2 次の Betti 数が $0$ です。このことから Hopf 曲面は Kähler 計量をもたないことが第 4 章でわかります。
</Example>

<Example id="ex-iwasawa" title="GLₙ(ℂ) と岩澤多様体">
$GL_n(\mathbb{C})$ は $M_n(\mathbb{C})=\mathbb{C}^{n^2}$ の開集合 $\{\det\ne0\}$ で、積は成分の多項式、逆行列は成分の有理式（分母は $\det$）なので、複素 Lie 群です。$SL_n(\mathbb{C})=\det^{-1}(1)$ は、$\det$ の微分が $\det\ne0$ の点で $0$ でない（$t\mapsto\det(tA)=t^n\det A$ を $t=1$ で微分すると $n\det A$）ので、<Ref to="prop-regular-value-complex" /> の 1 により $n^2-1$ 次元の複素部分多様体で、複素 Lie 群です。

対角成分が $1$ の上三角 $3\times3$ 複素行列の全体 $G$ は、3 つの成分 $(z_1,z_2,z_3)$（$(1,2)$、$(2,3)$、$(1,3)$ 成分）により $\mathbb{C}^3$ と同一視される複素 Lie 群で、積は
$$
(a_1,a_2,a_3)\cdot(z_1,z_2,z_3)=(a_1+z_1,\ a_2+z_2,\ a_3+z_3+a_1z_2)
$$
です。成分が Gauss 整数 $\mathbb{Z}[i]$ に入る元の全体 $\Gamma$ は部分群で、左からの積で $G$ に自由に作用します。$\Gamma$ の元で有界集合に入るものは有限個なので、作用は真性不連続です（$\gamma U\cap V\ne\emptyset$ なら $\gamma\in VU^{-1}$ で、$U,V$ が有界なら $VU^{-1}$ も有界です）。各成分の実部・虚部が $[0,1]$ に入る元の全体 $K$ はコンパクトで、$\Gamma K=G$ です（$a_1,a_2$ で $z_1,z_2$ を調整し、次に $a_3$ で第 3 成分を調整します）。<Ref to="lem-quotient-manifold" /> により $\Gamma\backslash G$ は 3 次元のコンパクト複素多様体で、**岩澤多様体**といいます。$G$ 上の正則 1 形式 $dz_1$、$dz_2$、$dz_3-z_1\,dz_2$ は左からの積で不変なので岩澤多様体に降りますが、3 つ目は閉形式ではありません。コンパクト Kähler 多様体では正則形式はすべて閉形式なので（第 5 章）、岩澤多様体は Kähler 計量をもちません。
</Example>

<Example id="ex-grassmann-fermat" title="Grassmann 多様体と Fermat 超曲面">
$\mathbb{C}^n$ の $k$ 次元複素部分空間の全体 $G_k(\mathbb{C}^n)$ は、実の場合（<Ref to="mathematics/manifolds/smooth-manifolds#prop-grassmann" />）と同じチャートで $k(n-k)$ 次元の複素多様体になります。直和分解 $\mathbb{C}^n=P\oplus Q$ に対し、$Q$ と $0$ でしか交わらない部分空間を $P\to Q$ の線型写像のグラフと見て $\operatorname{Hom}(P,Q)\cong\mathbb{C}^{k(n-k)}$ の点に対応させます。変換関数は行列の成分の有理式で、正則です。$k=1$ のとき $G_1(\mathbb{C}^{n+1})=\mathbb{P}^n$ です。

$P=z_0^d+z_1^d+\dots+z_n^d$（$d\ge1$）とすると、$\partial P/\partial z_j=d\,z_j^{d-1}$ の共通零点は原点だけです。<Ref to="prop-regular-value-complex" /> の 3 により、**Fermat 超曲面** $V(P)\subseteq\mathbb{P}^n$ は $n-1$ 次元のコンパクト複素多様体です。$n=2$、$d=3$ は楕円曲線、$n=3$、$d=4$ は K3 曲面、$n=4$、$d=5$ は 5 次 3 次元多様体（Calabi–Yau 多様体）の例です。
</Example>

## 7. Hartogs の延長定理と Riemann の延長定理

1 変数では、どんな領域 $\Omega\subsetneq\mathbb{C}$ にも、$\Omega$ の外へ延びない正則関数があります（$a\notin\Omega$ として $1/(z-a)$）。2 変数以上では事情が変わります。

<Theorem id="thm-hartogs-extension" title="Hartogs の延長定理">
$n\ge2$ とする。

1. （Hartogs 図形）$P'\subseteq\mathbb{C}^{n-1}$ を連結な開集合、$V\subseteq P'$ を空でない開集合、$0<\rho<r$、$D=D(0,r)$ とし、
$$
H=(V\times D)\cup\bigl(P'\times\{z_n:\rho<|z_n|<r\}\bigr)\subseteq\mathbb{C}^n
$$
とおく。$H$ 上の任意の正則関数は、$P'\times D$ 上の正則関数にただ一通りに延長される。
2. （コンパクト集合の除去）$P\subseteq\mathbb{C}^n$ を多重円板、$K\subseteq P$ をコンパクト集合とし、$P\setminus K$ が連結であるとする。$P\setminus K$ 上の任意の正則関数は、$P$ 上の正則関数にただ一通りに延長される。
3. （余次元 2 の集合の除去）$X$ を $n$ 次元複素多様体、$A\subseteq X$ を閉集合とし、$A$ の各点 $a$ のまわりに正則チャート $(U,(z_1,\dots,z_n))$ で $A\cap U\subseteq\{z_{n-1}=z_n=0\}$ となるものがあるとする。このとき $X\setminus A$ 上の任意の正則関数は、$X$ 上の正則関数にただ一通りに延長される。とくに、$A$ が 1 点の場合と、余次元 2 以上の閉な複素部分多様体の場合に成り立つ。
</Theorem>

<Figure caption="n = 2 の Hartogs 図形を (|z₁|, |z₂|) 平面に描いたもの。色を付けた L 字形の部分が H で、ここで正則な関数は、白い部分を含む長方形全体（多重円板）に延びる。延長は、上側の帯にある円周 |z₂| = s の上の Cauchy 積分で与える。">
<svg viewBox="0 0 440 250" width="100%" xmlns="http://www.w3.org/2000/svg">
  <g font-size="13" fill="currentColor">
    <rect x="70" y="30" width="300" height="50" fill="var(--sl-color-accent)" fill-opacity="0.28" stroke="none" />
    <rect x="70" y="30" width="80" height="170" fill="var(--sl-color-accent)" fill-opacity="0.28" stroke="none" />
    <rect x="70" y="30" width="300" height="170" fill="none" stroke="currentColor" stroke-width="1.5" />
    <line x1="70" y1="55" x2="370" y2="55" stroke="currentColor" stroke-width="1" stroke-dasharray="5 4" />
    <line x1="70" y1="200" x2="400" y2="200" stroke="currentColor" stroke-width="1" />
    <line x1="70" y1="200" x2="70" y2="12" stroke="currentColor" stroke-width="1" />
    <text x="405" y="205">|z₁|</text>
    <text x="52" y="14">|z₂|</text>
    <text x="52" y="35">r</text>
    <text x="52" y="60">s</text>
    <text x="52" y="85">ρ</text>
    <text x="100" y="220">V</text>
    <text x="210" y="220">P′</text>
    <text x="235" y="150">延長される部分</text>
    <text x="88" y="140">H</text>
    <text x="250" y="48">H</text>
  </g>
</svg>
</Figure>

証明の方針は次のとおりです。(1) では、$H$ が「円環 $\rho<|z_n|<r$ 全体と $z'$ の全範囲の積」を含むことを使い、その上の円周 $|z_n|=s$ での Cauchy 積分で、円板の内側にまで値を定めます。この積分が $V\times D$ で元の $f$ と一致することと一致の定理から、積分で作った関数と $f$ が貼り合わさります。(2)(3) は適切な $V,\rho$ を選んで (1) の形に帰着させます。

<Proof of="thm-hartogs-extension">
(1) $f\in\mathcal{O}(H)$ とし、$\rho<s<r$ となる $s$ を固定します。$P'\times\{|\zeta|=s\}\subseteq H$ なので、$(z',z_n)\in P'\times D(0,s)$ に対して
$$
F(z',z_n)=\frac{1}{2\pi i}\oint_{|\zeta|=s}\frac{f(z',\zeta)}{\zeta-z_n}\,d\zeta
$$
が定義できます。被積分関数は $(P'\times D(0,s))\times\{|\zeta|=s\}$ 上で連続で、$(z',z_n)$ について正則なので、<Ref to="lem-parameter-integral" /> により $F$ は $P'\times D(0,s)$ 上で正則です。

$z'\in V$ のとき、$f(z',\cdot)$ は $D$ 全体で正則なので、Cauchy の積分公式（<Ref to="mathematics/complex-analysis/cauchy-integral-theorem#thm-cif" />）により $|z_n|<s$ で $F(z',z_n)=f(z',z_n)$ です。つまり開集合 $V\times D(0,s)$ の上で $F=f$ です。

$H'=H\cap(P'\times D(0,s))=(V\times D(0,s))\cup(P'\times\{\rho<|z_n|<s\})$ は連結です。実際、$P'\times\{\rho<|z_n|<s\}$ は連結集合の積なので連結で、$V\times D(0,s)$ の各点 $(z',z_n)$ は、$H'$ に含まれる円板 $\{z'\}\times D(0,s)$ の中で $P'\times\{\rho<|z_n|<s\}$ の点と結べます。$F-f$ は連結な開集合 $H'$ 上の正則関数で、空でない開集合 $V\times D(0,s)$ 上で $0$ なので、一致の定理（<Ref to="lem-identity-manifold" />）により $H'$ 上で $F=f$ です。

$P'\times D=(P'\times D(0,s))\cup(P'\times\{\rho<|z_n|<r\})$ で、後者は $H$ に含まれます。そこで $P'\times D(0,s)$ 上では $F$、$H$ 上では $f$ とおけば、共通部分 $H'$ で一致するので、$P'\times D$ 上の正則関数が定まり、$H$ 上で $f$ に一致します。$P'\times D$ は連結なので、延長の一意性は <Ref to="lem-identity-manifold" /> から従います。

(2) $P=P(a,r)$ とします。$z\mapsto\max_j|z_j-a_j|/r_j$ はコンパクト集合 $K$ 上で最大値 $\theta_0<1$ を取ります。$\theta_0<\theta<1$ とし、$P'=P((a_1,\dots,a_{n-1}),(r_1,\dots,r_{n-1}))$、$V=\{z'\in P':|z_1-a_1|>\theta r_1\}$、$D=D(a_n,r_n)$、$\rho=\theta r_n$ とします（$n\ge2$ なので $z_1$ は $z'$ の成分です）。$V\times D$ の点は $|z_1-a_1|>\theta r_1$ を、$P'\times\{\rho<|z_n-a_n|<r_n\}$ の点は $|z_n-a_n|>\theta r_n$ を満たすので $K$ に入らず、(1) の形の集合 $H$（中心を $a_n$ に平行移動したもの）は $P\setminus K$ に含まれます。$f\in\mathcal{O}(P\setminus K)$ に対し、(1) により $F\in\mathcal{O}(P)$ で $H$ 上 $F=f$ となるものがあります。$P\setminus K$ は連結で、$F-f$ は空でない開集合 $H$ 上で $0$ なので、<Ref to="lem-identity-manifold" /> により $P\setminus K$ 上で $F=f$ です。一意性は (1) と同じです。

(3) $a\in A$ とし、仮定のチャートで $a$ が原点に対応するとして、$\varepsilon>0$ を多重円板 $P=P(0,\varepsilon)$ がチャートの像に含まれるように取ります。以下、チャートで $P$ を $X$ の開集合と同一視します。$P'=P(0,\varepsilon)\subseteq\mathbb{C}^{n-1}$、$V=\{z'\in P':z_{n-1}\ne0\}$、$D=D(0,\varepsilon)$、$\rho=\varepsilon/2$ として (1) の $H$ を作ると、$H$ の点は $z_{n-1}\ne0$ か $|z_n|>\rho$ を満たすので $\{z_{n-1}=z_n=0\}$ に入らず、$H\subseteq P\setminus A$ です。$f\in\mathcal{O}(X\setminus A)$ に対し、(1) により $F_a\in\mathcal{O}(P)$ で $H$ 上 $F_a=f$ となるものがあります。$V\times D\subseteq H$ は $P$ で稠密なので、$P\setminus A$ でも稠密で、$F_a$ と $f$ はともに $P\setminus A$ 上で連続ですから、$P\setminus A$ 上で $F_a=f$ です。

$A$ の 2 点 $a,b$ について、対応する開集合 $P_a,P_b$ の共通部分の上で、$F_a$ と $F_b$ は $(P_a\cap P_b)\setminus A$ 上でともに $f$ に等しく、$A$ は内点をもたない（局所的に $\{z_{n-1}=z_n=0\}$ に含まれる）ので、この集合は $P_a\cap P_b$ で稠密です。連続性から $P_a\cap P_b$ 上で $F_a=F_b$ です。よって $X\setminus A$ 上の $f$ と各 $P_a$ 上の $F_a$ は貼り合わさって $X$ 上の正則関数を定めます。$X\setminus A$ は稠密なので延長は一意です。

$A$ が 1 点 $a$ のときは、$a$ を原点とする正則チャートで $A\cap U=\{0\}\subseteq\{z_{n-1}=z_n=0\}$ です。$A$ が余次元 $k\ge2$ の閉な複素部分多様体のときは、定義のチャートで $A\cap U=\{z_{n-k+1}=\dots=z_n=0\}\subseteq\{z_{n-1}=z_n=0\}$ です。
</Proof>

(2) で $n\ge2$ が効くのは、$K$ を避けながら「$z_n$ の円板全体を含む部分 $V\times D$」が取れるところです。$n=1$ では $V$ を取る余地がありません。一般の領域 $\Omega$ とコンパクト集合 $K$（$\Omega\setminus K$ が連結）についての延長定理は、次章でコンパクト台の $\bar\partial$ 方程式を解いて示します。

余次元 1 の集合は、$1/z_n$ の例のように特異点になれます。延長には有界性の仮定が要ります。そのための座標の取り方を補題にしておきます。この補題は次節の準備定理でも使います。

<Definition id="def-regular-in-zn" title="zₙ について正則な関数">
$0\in\mathbb{C}^n$ の近傍で正則な関数 $h$ が **$z_n$ について位数 $d$ で正則**であるとは、1 変数関数 $z_n\mapsto h(0,\dots,0,z_n)$ が恒等的に $0$ ではなく、$z_n=0$ でちょうど $d$ 位の零点をもつことをいう（$d=0$ は $h(0)\ne0$ を意味する）。
</Definition>

<Lemma id="lem-regular-coordinates" title="正則な方向の存在と零点の個数">
1. $U$ を $0\in\mathbb{C}^n$ の凸な開近傍、$h_1,\dots,h_k\in\mathcal{O}(U)$ をどれも恒等的に $0$ ではない関数とする。このとき $\mathbb{C}^n$ の線型同型 $T$ で、$h_1\circ T,\dots,h_k\circ T$ がすべて $z_n$ について正則になるものがある。
2. $h$ を $0$ の開近傍 $U$ 上の正則関数で、$z_n$ について位数 $d$ で正則なものとする。このとき、十分小さい任意の $r>0$ に対して $\delta>0$ があって、$\overline{P(0,\delta)}\times\overline{D(0,r)}\subseteq U$ であり、$|z'|_\infty\le\delta$、$|z_n|=r$ のとき $h(z',z_n)\ne0$ で、しかも $|z'|_\infty<\delta$ である各 $z'$ について、$h(z',\cdot)$ の $D(0,r)$ 内の零点の個数は重複度を込めてちょうど $d$ である。
</Lemma>

<Proof of="lem-regular-coordinates">
(1) $U$ は連結なので、各 $h_i$ の零点集合は内点をもちません（<Ref to="lem-identity-manifold" />）。よって $\{h_i\ne0\}$ は稠密な開集合で、その有限個の共通部分も空ではありません。$v\in U$ を、すべての $i$ で $h_i(v)\ne0$ となるように取ります（$v\ne0$ としてよいです）。$T$ を $T(e_n)=v$ となる線型同型とします。$\{t\in\mathbb{C}:tv\in U\}$ は $0$ と $1$ を含む凸な開集合で、その上の 1 変数正則関数 $t\mapsto h_i(T(0,\dots,0,t))=h_i(tv)$ は $t=1$ で $0$ でないので、1 変数の一致の定理（<Ref to="mathematics/complex-analysis/properties-of-holomorphic-functions#thm-identity" />）により $0$ の近傍で恒等的に $0$ にはなりません。よって $0$ での零点の位数は有限で、$h_i\circ T$ は $z_n$ について正則です。

(2) $h(0,\cdot)$ は恒等的に $0$ でないので、その零点は孤立しています（<Ref to="mathematics/complex-analysis/properties-of-holomorphic-functions#thm-identity" />）。$r_0>0$ を、$\{0\}\times\overline{D(0,r_0)}\subseteq U$ かつ $0<|z_n|\le r_0$ で $h(0,z_n)\ne0$ となるように取り、$0<r\le r_0$ とします。$m=\min_{|z_n|=r}|h(0,z_n)|>0$ とおきます。$U$ は開集合なので、$\delta_0>0$ を $\overline{P(0,\delta_0)}\times\overline{D(0,r)}\subseteq U$ となるように取れます。このコンパクト集合上で $h$ は一様連続なので、$0<\delta\le\delta_0$ を、$|z'|_\infty\le\delta$、$|z_n|=r$ のとき $|h(z',z_n)-h(0,z_n)|<m/2$ となるように取れます。このとき $|h(z',z_n)|>m/2>0$ です。

$|z'|_\infty<\delta$ について、$h(z',\cdot)$ の $D(0,r)$ 内の零点の個数（重複度込み）は、偏角の原理（<Ref to="mathematics/complex-analysis/argument-principle-rouche#thm-argument-principle" />）により
$$
N(z')=\frac{1}{2\pi i}\oint_{|\zeta|=r}\frac{\partial_nh(z',\zeta)}{h(z',\zeta)}\,d\zeta
$$
です。被積分関数は $P(0,\delta)\times\{|\zeta|=r\}$ 上で連続で $z'$ について正則なので、<Ref to="lem-parameter-integral" /> により $N$ は正則、とくに連続です。$N$ は整数値なので、連結な $P(0,\delta)$ 上で定数で、$N(z')=N(0)=d$ です。
</Proof>

<Theorem id="thm-riemann-extension-several" title="Riemann の延長定理">
$X$ を複素多様体、$A\subseteq X$ を薄い閉集合（たとえば解析的超曲面）とする。$f$ を $X\setminus A$ 上の正則関数とし、$A$ の各点 $a$ が開近傍 $U_a$ をもって $f$ が $U_a\setminus A$ 上で有界であるとする。このとき $f$ は $X$ 上の正則関数にただ一通りに延長される。
</Theorem>

<Proof of="thm-riemann-extension-several">
$a\in A$ とします。$a$ を原点とする正則チャートを取り、その中の多重円板 $U$（凸で連結）を、$f$ が $U\setminus A$ 上で有界で、恒等的に $0$ ではない $h\in\mathcal{O}(U)$ によって $A\cap U\subseteq\{h=0\}$ となるように取ります（薄い集合の定義の $h$ は連結な近傍で恒等的に $0$ でないので、一致の定理によりそれより小さい多重円板の上でも恒等的に $0$ ではありません）。<Ref to="lem-regular-coordinates" /> の 1 により、線型な座標変換のあとで $h$ は $z_n$ について正則としてよく、同じ補題の 2 により $r,\delta>0$ があって、$P'=P(0,\delta)\subseteq\mathbb{C}^{n-1}$、$D=D(0,r)$ とおくと $\overline{P'}\times\overline{D}\subseteq U$ で、$|z'|_\infty\le\delta$、$|z_n|=r$ のとき $h(z',z_n)\ne0$ です。とくに $P'\times\{|\zeta|=r\}$ は $A$ と交わらず、その近傍で $f$ は正則です。$(z',z_n)\in P'\times D$ に対して
$$
F(z',z_n)=\frac{1}{2\pi i}\oint_{|\zeta|=r}\frac{f(z',\zeta)}{\zeta-z_n}\,d\zeta
$$
とおくと、<Ref to="lem-parameter-integral" /> により $F$ は $P'\times D$ 上で正則です。

$z'\in P'$ を固定します。$h(z',\cdot)$ の $D$ 内の零点は有限個です（<Ref to="lem-regular-coordinates" /> の 2）。$f(z',\cdot)$ はそれらを除いた $D$ の上で正則かつ有界なので、1 変数の Riemann の除去可能特異点定理（<Ref to="mathematics/complex-analysis/properties-of-holomorphic-functions#prop-riemann-removable" />）により $D$ 上の正則関数 $f_{z'}$ に延びます。$f_{z'}$ は円周 $|\zeta|=r$ の近傍でも正則（そこでは $f(z',\cdot)$ そのもの）なので、Cauchy の積分公式（<Ref to="mathematics/complex-analysis/cauchy-integral-theorem#thm-cif" />）により $f_{z'}(z_n)=F(z',z_n)$ です。したがって $h(z',z_n)\ne0$ である点では $F=f$ です。

$\{h\ne0\}\cap(P'\times D)$ は $P'\times D$ で稠密（$h$ は連結な $P'\times D$ 上で恒等的に $0$ でないので零点集合は内点をもたない）で、$(P'\times D)\setminus A$ に含まれます。$F$ と $f$ は $(P'\times D)\setminus A$ 上で連続なので、そこで $F=f$ です。こうして $f$ は $a$ の近傍 $P'\times D$ 上の正則関数 $F_a$ に延びます。

薄い集合は内点をもたないので、<Ref to="thm-hartogs-extension" /> の 3 の証明の最後と同じ議論で、$F_a$ たちは共通部分で一致し、$X$ 上の正則関数に貼り合わさります。$X\setminus A$ は稠密なので延長は一意です。
</Proof>

## 8. Weierstrass の準備定理と割り算定理

<Definition id="def-germ-ring" title="正則関数の芽の環と Weierstrass 多項式">
$0\in\mathbb{C}^n$ の開近傍 $U$ とその上の正則関数 $f$ の組 $(U,f)$ の全体に、「$0$ のある近傍の上で一致する」という同値関係を入れた商集合を $\mathcal{O}_n$ と書き、その元を**正則関数の芽**という。$\mathcal{O}_n$ は和と積について可換環である。複素多様体 $X$ の点 $x$ についても同様に芽の環 $\mathcal{O}_{X,x}$ を定める。$x$ を原点に写す正則チャートにより $\mathcal{O}_{X,x}\cong\mathcal{O}_n$（$n=\dim_{\mathbb{C}}X$）である。

$z'=(z_1,\dots,z_{n-1})$ と書く。$z_n$ によらない関数の芽として $\mathcal{O}_{n-1}\subseteq\mathcal{O}_n$ と見なし、$\mathcal{O}_{n-1}$ 係数の $z_n$ の多項式の全体を $\mathcal{O}_{n-1}[z_n]\subseteq\mathcal{O}_n$ と書く。
$$
W=z_n^d+a_1(z')z_n^{d-1}+\dots+a_d(z'),\qquad a_k\in\mathcal{O}_{n-1},\quad a_k(0)=0\ (k=1,\dots,d)
$$
の形の元を $d$ 次の **Weierstrass 多項式**という（$d=0$ のときは $W=1$）。
</Definition>

$z_n$ の多項式が関数として恒等的に $0$ なら係数はすべて $0$ なので、$\mathcal{O}_{n-1}[z_n]$ は実際に $\mathcal{O}_{n-1}$ 上の多項式環と同一視できます。Weierstrass 多項式は $z'=0$ で $z_n^d$ になるので、$z_n$ について位数 $d$ で正則です（<Ref to="def-regular-in-zn" />）。

<Lemma id="lem-on-local-domain" title="𝒪ₙ は整域で局所環">
$\mathcal{O}_n$ は整域である。$f\in\mathcal{O}_n$ が単元であることと $f(0)\ne0$ は同値で、$\mathcal{O}_n$ は $\mathfrak{m}_n=\{f:f(0)=0\}$ を極大イデアルとする局所環である。$\mathbb{C}^n$ の線型同型 $T$ は、$f\mapsto f\circ T$ により環 $\mathcal{O}_n$ の自己同型を引き起こす。
</Lemma>

<Proof of="lem-on-local-domain">
$f,g$ を $0$ を中心とする多重円板 $P$ 上の正則関数とし、$fg=0$、$f$ は恒等的に $0$ でないとします。$\{f\ne0\}$ は空でない開集合で、その上で $g=0$ なので、一致の定理（<Ref to="mathematics/complex-analysis/several-complex-variables#prop-basic-several" /> の 1）により $P$ 上で $g=0$ です。よって整域です。$f(0)\ne0$ なら $0$ の近傍で $f\ne0$ で、$1/f$ は連続かつ各変数について正則なので $f$ は単元です。逆に $fg=1$ なら $f(0)g(0)=1$ です。非単元の全体 $\mathfrak{m}_n$ は $0$ での値を取る環準同型 $\mathcal{O}_n\to\mathbb{C}$ の核なのでイデアルで、局所環の判定（<Ref to="mathematics/commutative-algebra/localization-and-spectrum#lem-local-criterion" />）により $\mathcal{O}_n$ は局所環（<Ref to="mathematics/commutative-algebra/localization-and-spectrum#def-local-ring" />）です。最後の主張は、$f\mapsto f\circ T$ が和と積を保ち、$f\mapsto f\circ T^{-1}$ が逆写像であることから従います（$f\circ T$ の正則性は <Ref to="lem-holomorphic-map" /> の 2）。
</Proof>

<Lemma id="lem-root-bound" title="根の評価">
1. 複素数 $a_1,\dots,a_d$ と $b$ が $b^d+a_1b^{d-1}+\dots+a_d=0$ を満たせば、$|b|\le2\max_k|a_k|^{1/k}$ である。
2. $W$ を $P(0,\delta_0)\subseteq\mathbb{C}^{n-1}$ 上の正則関数を係数とする Weierstrass 多項式とする。任意の $r>0$ に対して $0<\delta\le\delta_0$ があって、$|z'|_\infty<\delta$ ならば $W(z',\cdot)$ の根はすべて $D(0,r)$ に入る。
</Lemma>

<Proof of="lem-root-bound">
(1) $|b|>2|a_k|^{1/k}$ がすべての $k$ で成り立つと仮定すると、$|a_kb^{d-k}|<2^{-k}|b|^d$ なので $|a_1b^{d-1}+\dots+a_d|<|b|^d\sum_{k\ge1}2^{-k}=|b|^d$ となり、$b^d=-(a_1b^{d-1}+\dots+a_d)$ に反します。

(2) $a_k(0)=0$ と連続性から、$\delta$ を $|z'|_\infty<\delta$ で $2|a_k(z')|^{1/k}<r$（$k=1,\dots,d$）となるように取れば、(1) により根は $D(0,r)$ に入ります。
</Proof>

<Theorem id="thm-weierstrass-preparation" title="Weierstrass の準備定理">
$f\in\mathcal{O}_n$ が $z_n$ について位数 $d$ で正則ならば、単元 $u\in\mathcal{O}_n$ と $d$ 次の Weierstrass 多項式 $W$ で $f=uW$ となるものがただ一組存在する。
</Theorem>

証明の方針は次のとおりです。$f$ の零点 $b_1(z'),\dots,b_d(z')$ は、$z'$ を動かすと互いに入れ替わりうるので、一つ一つは $z'$ の正則関数になるとは限りません。しかし対称式なら、並べ方によらず値が決まります。そこで偏角の原理による積分で $b_j^k$ の和を正則関数として書き、そこから基本対称式を作って、$\prod(z_n-b_j)$ を Weierstrass 多項式 $W$ とします。

<Proof of="thm-weierstrass-preparation">
**存在。** $f$ を $0$ の近傍で定義された正則関数とします。<Ref to="lem-regular-coordinates" /> の 2 により $r,\delta>0$ があって、$P'=P(0,\delta)\subseteq\mathbb{C}^{n-1}$ とおくと、$f$ は $\overline{P'}\times\overline{D(0,r)}$ の近傍で正則で、$z'\in P'$、$|z_n|=r$ で $f(z',z_n)\ne0$、かつ各 $z'\in P'$ について $f(z',\cdot)$ は $D(0,r)$ 内に重複度を込めてちょうど $d$ 個の零点 $b_1(z'),\dots,b_d(z')$ をもちます。$k\ge1$ について、偏角の原理（<Ref to="mathematics/complex-analysis/argument-principle-rouche#thm-argument-principle" />、$g(\zeta)=\zeta^k$ とする）により
$$
s_k(z'):=\sum_{j=1}^db_j(z')^k=\frac{1}{2\pi i}\oint_{|\zeta|=r}\zeta^k\,\frac{\partial_nf(z',\zeta)}{f(z',\zeta)}\,d\zeta
$$
で、右辺は <Ref to="lem-parameter-integral" /> により $z'\in P'$ の正則関数です。$b_1,\dots,b_d$ の基本対称式 $e_k(z')$ は、Newton の恒等式（<Ref to="mathematics/hs-algebra/polynomials-and-equations#thm-newton-identities" />）
$$
k\,e_k=\sum_{j=0}^{k-1}(-1)^{k-1-j}e_j\,s_{k-j}\qquad(e_0=1)
$$
により、$k$ についての帰納法で $s_1,\dots,s_k$ の有理数係数の多項式として書けるので、$P'$ 上で正則です。そこで
$$
W(z',z_n)=\prod_{j=1}^d(z_n-b_j(z'))=\sum_{k=0}^d(-1)^ke_k(z')\,z_n^{d-k}
$$
とおきます。$z'=0$ では $f(0,\cdot)$ の $D(0,r)$ 内の零点は $0$（$d$ 位）だけなので $b_j(0)=0$、$e_k(0)=0$（$k\ge1$）で、$W$ は Weierstrass 多項式です。$W$ の根は $D(0,r)$ の中にあるので、$z'\in P'$、$|\zeta|=r$ で $W(z',\zeta)\ne0$ です。

$(z',z_n)\in P'\times D(0,r)$ に対して
$$
u(z',z_n)=\frac{1}{2\pi i}\oint_{|\zeta|=r}\frac{f(z',\zeta)}{W(z',\zeta)(\zeta-z_n)}\,d\zeta
$$
とおくと、<Ref to="lem-parameter-integral" /> により $u$ は正則です。$z'\in P'$ を固定します。$f(z',\cdot)$ と $W(z',\cdot)$ は $D(0,r)$ 内に重複度まで同じ零点をもつので、商 $f(z',\cdot)/W(z',\cdot)$ は各零点の近くで有界で $0$ に近づかず、除去可能特異点定理（<Ref to="mathematics/complex-analysis/properties-of-holomorphic-functions#prop-riemann-removable" />）により $\overline{D(0,r)}$ の近傍で正則な、$D(0,r)$ 上に零点をもたない関数 $q_{z'}$ に延びます。Cauchy の積分公式（<Ref to="mathematics/complex-analysis/cauchy-integral-theorem#thm-cif" />）により $u(z',z_n)=q_{z'}(z_n)$ です。よって $u$ は $P'\times D(0,r)$ 上に零点をもたず（単元）、$f=uW$ です。

**一意性。** $f=\tilde u\tilde W$ をもう一つの表示とします。$z'=0$ とおくと $f(0,z_n)=\tilde u(0,z_n)z_n^{\tilde d}$ で $\tilde u(0,0)\ne0$ なので、$\tilde W$ の次数 $\tilde d$ は $d$ です。$0<r'\le r$ と $0<\delta'\le\delta$ を、$P(0,\delta')\times D(0,r')$ 上で $\tilde u$ が正則で零点をもたず、$f=\tilde u\tilde W$ が成り立ち、$|z'|_\infty<\delta'$ のとき $\tilde W(z',\cdot)$ の根がすべて $D(0,r')$ に入るように取ります（<Ref to="lem-root-bound" /> の 2）。このとき $\tilde W(z',\cdot)$ の $d$ 個の根は、重複度を込めて $f(z',\cdot)$ の $D(0,r)$ 内の零点です。後者はちょうど $d$ 個なので、両者は重複度を込めて一致し、$\tilde W(z',z_n)=\prod_j(z_n-b_j(z'))=W(z',z_n)$ です。よって芽として $\tilde W=W$ で、$\mathcal{O}_n$ は整域なので $\tilde u=u$ です。
</Proof>

準備定理は、$f$ の零点集合が $0$ の近くで「$z'$ の各点の上に $d$ 個の点が乗った、$d$ 枚重ねの分岐被覆」の形をしていることを述べています。零点 $b_j(z')$ のひとつひとつは $z'$ の正則関数になるとは限りませんが、対称式は正則になる、というのが証明の要点です。

<Theorem id="thm-weierstrass-division" title="Weierstrass の割り算定理">
$W\in\mathcal{O}_{n-1}[z_n]$ を $d$ 次の Weierstrass 多項式とする。任意の $g\in\mathcal{O}_n$ は
$$
g=qW+\rho,\qquad q\in\mathcal{O}_n,\quad\rho\in\mathcal{O}_{n-1}[z_n],\quad\deg_{z_n}\rho<d
$$
とただ一通りに書ける。
</Theorem>

<Proof of="thm-weierstrass-division">
$W=\sum_{k=0}^da_k(z')z_n^{d-k}$（$a_0=1$）とします。

**存在。** $r>0$ と $\delta>0$ を、$g$ と $a_k$ が $\overline{P(0,\delta)}\times\overline{D(0,r)}$ の近傍で正則で、$|z'|_\infty<\delta$ のとき $W(z',\cdot)$ の根がすべて $D(0,r)$ に入るように取ります（<Ref to="lem-root-bound" /> の 2）。$P'=P(0,\delta)$ とし、$(z',z_n)\in P'\times D(0,r)$ に対して
$$
q(z',z_n)=\frac{1}{2\pi i}\oint_{|\zeta|=r}\frac{g(z',\zeta)}{W(z',\zeta)}\,\frac{d\zeta}{\zeta-z_n}
$$
とおきます。<Ref to="lem-parameter-integral" /> により $q$ は正則です。$g$ に Cauchy の積分公式を使うと
$$
\rho:=g-qW=\frac{1}{2\pi i}\oint_{|\zeta|=r}\frac{g(z',\zeta)}{W(z',\zeta)}\cdot\frac{W(z',\zeta)-W(z',z_n)}{\zeta-z_n}\,d\zeta
$$
です。$\zeta^m-z_n^m=(\zeta-z_n)\sum_{j=0}^{m-1}\zeta^{m-1-j}z_n^j$ なので
$$
\frac{W(z',\zeta)-W(z',z_n)}{\zeta-z_n}=\sum_{k=0}^{d-1}a_k(z')\sum_{j=0}^{d-k-1}\zeta^{d-k-1-j}z_n^j
$$
は $z_n$ について $d-1$ 次以下の多項式です。したがって $\rho=\sum_{j=0}^{d-1}c_j(z')z_n^j$ で、係数
$$
c_j(z')=\frac{1}{2\pi i}\oint_{|\zeta|=r}\frac{g(z',\zeta)}{W(z',\zeta)}\sum_{k=0}^{d-1-j}a_k(z')\zeta^{d-k-1-j}\,d\zeta
$$
は <Ref to="lem-parameter-integral" /> により $P'$ 上で正則です。

**一意性。** 差を取って、$qW+\rho=0$、$\deg_{z_n}\rho<d$ ならば $q=\rho=0$ を示せば十分です。$r,\delta$ を、$q$ と $\rho$ の係数が $P(0,\delta)\times D(0,r)$ 上で正則で、$|z'|_\infty<\delta$ のとき $W(z',\cdot)$ の根がすべて $D(0,r)$ に入るように取ります。$|z'|_\infty<\delta$ を固定すると、$\rho(z',\cdot)=-q(z',\cdot)W(z',\cdot)$ は $W(z',\cdot)$ の各根でその重複度以上の位数の零点をもちます。$\rho(z',\cdot)$ は $d$ 次未満の多項式で、重複度を込めて $d$ 個以上の零点をもつので $0$ です。よって $\rho=0$、$qW=0$ で、$\mathcal{O}_n$ は整域なので $q=0$ です。
</Proof>

<Lemma id="lem-weierstrass-factor" title="Weierstrass 多項式の因子">
$W\in\mathcal{O}_{n-1}[z_n]$ を $d$ 次の Weierstrass 多項式（$d\ge1$）とする。

1. $g\in\mathcal{O}_{n-1}[z_n]$ が $\mathcal{O}_n$ の中で $g=qW$ と書ければ、$q\in\mathcal{O}_{n-1}[z_n]$ である。
2. $\mathcal{O}_n$ の中で $W=f_1f_2$ ならば、Weierstrass 多項式 $W_1,W_2$ と単元 $u_1,u_2$ があって $f_i=u_iW_i$、$W=W_1W_2$ となる。
3. $W$ が $\mathcal{O}_n$ の既約元であることと、$\mathcal{O}_{n-1}[z_n]$ の既約元であることは同値である。
</Lemma>

<Proof of="lem-weierstrass-factor">
(1) $W$ はモニックなので、多項式環 $\mathcal{O}_{n-1}[z_n]$ の中で $g=\tilde qW+\tilde\rho$（$\deg\tilde\rho<d$）と割り算できます。これは $\mathcal{O}_n$ での割り算の表示でもあり、$g=qW+0$ もそうなので、<Ref to="thm-weierstrass-division" /> の一意性から $q=\tilde q\in\mathcal{O}_{n-1}[z_n]$ です。

(2) $z'=0$ とおくと $z_n^d=f_1(0,z_n)f_2(0,z_n)$ なので、$f_i(0,\cdot)$ は恒等的に $0$ でなく、$f_i$ は $z_n$ について正則です。準備定理（<Ref to="thm-weierstrass-preparation" />）により $f_i=u_iW_i$ と書け、$W=(u_1u_2)(W_1W_2)$ です。Weierstrass 多項式の積 $W_1W_2$ は Weierstrass 多項式（モニックで、$z'=0$ で $z_n$ のべき）なので、準備定理の一意性を $W=1\cdot W$ と比べて $W=W_1W_2$、$u_1u_2=1$ です。

(3) $d\ge1$ なので $W(0)=0$ で、$W$ は $\mathcal{O}_n$ でも $\mathcal{O}_{n-1}[z_n]$ でも $0$ でも単元でもありません（整域上の多項式環の単元は次数 $0$ です）。

$W$ が $\mathcal{O}_{n-1}[z_n]$ で既約とし、$\mathcal{O}_n$ で $W=f_1f_2$ とします。(2) により $W=W_1W_2$ で、既約性から $W_1,W_2$ の一方、たとえば $W_1$ が $\mathcal{O}_{n-1}[z_n]$ の単元です。モニックな単元は $1$ なので $f_1=u_1$ は $\mathcal{O}_n$ の単元です。よって $W$ は $\mathcal{O}_n$ で既約です。

逆に $W$ が $\mathcal{O}_n$ で既約とし、$\mathcal{O}_{n-1}[z_n]$ で $W=g_1g_2$ とします。最高次係数の積が $1$ なので、それらは $\mathcal{O}_{n-1}$ の単元 $c_1,c_2$（$c_1c_2=1$）で、$g_1/c_1$、$g_2/c_2$ に取り替えて $g_1,g_2$ はモニックとしてよいです（単元かどうかは変わりません）。$\mathcal{O}_n$ での既約性から一方、たとえば $g_1$ が $\mathcal{O}_n$ の単元で、$g_1(0)\ne0$ です。一方 $g_1(0,z_n)g_2(0,z_n)=z_n^d$ なので、モニックな多項式 $g_1(0,z_n)$ の根は $0$ だけで、$g_1(0,z_n)=z_n^{d_1}$ です。$g_1(0,0)\ne0$ から $d_1=0$、つまり $g_1=1$ です。よって $W$ は $\mathcal{O}_{n-1}[z_n]$ で既約です。
</Proof>

## 9. 𝒪ₙ は Noether な一意分解整域である

<Lemma id="lem-monic-factor" title="モニックな因子は係数環に入る">
$R$ を UFD、$K$ をその分数体とする。モニックな $f\in R[x]$ が $K[x]$ の中でモニックな多項式の積 $f=GH$ に分解すれば、$G,H\in R[x]$ である。
</Lemma>

<Proof of="lem-monic-factor">
内容の分離（<Ref to="mathematics/algebra/polynomial-rings-field-extensions#lem-content" />）により $G=cG_0$、$H=c'H_0$（$c,c'\in K^\times$、$G_0,H_0\in R[x]$ は原始多項式）と書けます。$f=cc'\,G_0H_0$ で、$G_0H_0$ は原始多項式です（<Ref to="mathematics/algebra/polynomial-rings-field-extensions#lem-primitive-product" />）。$f$ はモニックなので原始多項式で、$f=1\cdot f$ でもあるので、内容の一意性から $cc'\in R^\times$ です。$G,H$ はモニックなので、$G_0$ の最高次係数は $c^{-1}$、$H_0$ の最高次係数は $c'^{-1}$ で、どちらも $R$ の元です。その積 $(cc')^{-1}$ が $R$ の単元なので、$c^{-1}$ と $c'^{-1}$ は $R$ の単元です。よって $c,c'\in R$ で、$G=cG_0$、$H=c'H_0$ は $R[x]$ に入ります。
</Proof>

<Theorem id="thm-local-ring-ufd" title="𝒪ₙ は Noether な局所環で UFD">
すべての $n\ge0$ について、$\mathcal{O}_n$ は Noether 環であり、局所環であり、一意分解整域である。したがって、複素多様体 $X$ の各点 $x$ で $\mathcal{O}_{X,x}$ もそうである。
</Theorem>

証明の方針は次のとおりです。準備定理は $z_n$ について正則な芽にしか使えないので、線型な座標変換で、考える芽を同時に $z_n$ について正則にします。座標変換は環 $\mathcal{O}_n$ の自己同型を引き起こすだけで、イデアルの有限生成性や既約性といった環の性質は変わらないので、変換したあとで調べれば十分です。あとは、準備定理と割り算定理で $\mathcal{O}_n$ の問題を $\mathcal{O}_{n-1}[z_n]$ の問題に落とし、帰納法を使います。

<Proof of="thm-local-ring-ufd">
局所環で整域であることは <Ref to="lem-on-local-domain" /> で示しました。残りを $n$ についての帰納法で示します。$\mathcal{O}_0=\mathbb{C}$ は体なので成り立ちます。$n\ge1$ とし、$\mathcal{O}_{n-1}$ が Noether な UFD であると仮定します。このとき $\mathcal{O}_{n-1}[z_n]$ は Noether 環（<Ref to="mathematics/commutative-algebra/noetherian-and-artinian-rings#cor-noetherian-algebras" /> の 3）で、UFD（<Ref to="mathematics/algebra/polynomial-rings-field-extensions#thm-poly-ufd" />）です。

以下で「座標を取り替える」とは、線型同型 $T$ による環の自己同型 $f\mapsto f\circ T$（<Ref to="lem-on-local-domain" />）を施すことです。自己同型はイデアルの有限生成性、既約性、素元であること、整除関係を保つので、取り替えたあとで示せば十分です。$0$ でない有限個の芽は、座標を取り替えて同時に $z_n$ について正則にできます（<Ref to="lem-regular-coordinates" /> の 1）。

**Noether 性。** $I\subseteq\mathcal{O}_n$ を $0$ でないイデアルとし、$0$ でない $f\in I$ を取ります。座標を取り替えて $f$ は $z_n$ について正則とし、準備定理で $f=uW$ と書くと $W=u^{-1}f\in I$ です。$J=I\cap\mathcal{O}_{n-1}[z_n]$ は Noether 環 $\mathcal{O}_{n-1}[z_n]$ のイデアルなので、有限個の元 $\rho_1,\dots,\rho_k$ で生成されます。$g\in I$ を割り算定理で $g=qW+\rho$ と書くと、$\rho=g-qW\in J$ です。よって $I=(W,\rho_1,\dots,\rho_k)$ は有限生成です。

**既約元への分解の存在。** $f\in\mathcal{O}_n$ を $0$ でも単元でもない元とします。座標を取り替えて $f=uW$（$W$ は $d$ 次の Weierstrass 多項式、$f(0)=0$ なので $d\ge1$）とします。UFD $\mathcal{O}_{n-1}[z_n]$ の中で $W=p_1\cdots p_m$ と既約元の積に分解します。最高次係数の積が $1$ なので各 $p_i$ の最高次係数は $\mathcal{O}_{n-1}$ の単元で、それで割って $p_i$ はモニックとしてよいです。$p_i$ は単元でないので次数は $1$ 以上です。$\prod_ip_i(0,z_n)=z_n^d$ から $p_i(0,z_n)=z_n^{d_i}$ で、$p_i$ は Weierstrass 多項式です。<Ref to="lem-weierstrass-factor" /> の 3 により $p_i$ は $\mathcal{O}_n$ の既約元です。よって $f=(up_1)p_2\cdots p_m$ は既約元の積です。

**既約元は素元。** $p\in\mathcal{O}_n$ を既約元とし、$p\mid gh$ とします。$g=0$ または $h=0$ なら示すことはないので、どちらも $0$ でないとします。座標を取り替えて $p,g,h$ を同時に $z_n$ について正則にし、準備定理で $p=u_0P$、$g=u_1G$、$h=u_2H$（$P,G,H$ は Weierstrass 多項式）と書きます。$P$ は $\mathcal{O}_n$ で既約で、$\mathcal{O}_n$ の中で $P\mid GH$ です。<Ref to="lem-weierstrass-factor" /> の 1 により、これは $\mathcal{O}_{n-1}[z_n]$ の中での整除関係です。同じ補題の 3 により $P$ は $\mathcal{O}_{n-1}[z_n]$ の既約元で、UFD では既約元は素元（<Ref to="mathematics/algebra/polynomial-rings-field-extensions#lem-ufd-criterion" />）なので、$P\mid G$ または $P\mid H$ です。したがって $p\mid g$ または $p\mid h$ です。

分解が存在し、既約元がすべて素元なので、<Ref to="mathematics/algebra/polynomial-rings-field-extensions#lem-ufd-criterion" /> により $\mathcal{O}_n$ は UFD（<Ref to="mathematics/algebra/polynomial-rings-field-extensions#def-ufd" />）です。$\mathcal{O}_{X,x}\cong\mathcal{O}_n$ なので最後の主張も従います。
</Proof>

$\mathcal{O}_n$ の 2 元が**互いに素**であるとは、共通の約元が単元だけであることをいいます。$f\in\mathcal{O}_n$ が**重複因子をもたない**とは、非単元 $\varphi$ で $\varphi^2\mid f$ となるものがないことをいいます。UFD なので、これは $f$ の既約分解に同じ既約元（単元倍を同一視して）が 2 度現れないということです。

<Lemma id="lem-bezout-germs" title="互いに素な Weierstrass 多項式の Bézout 関係式">
$n\ge1$ とし、$G,H\in\mathcal{O}_{n-1}[z_n]$ を Weierstrass 多項式とする。

1. $G$ と $H$ が $\mathcal{O}_n$ で互いに素ならば、$A,B\in\mathcal{O}_{n-1}[z_n]$ と $0$ でない $R\in\mathcal{O}_{n-1}$ があって $AG+BH=R$ となる。
2. $G$ が $\mathcal{O}_n$ で重複因子をもたなければ、$A,B\in\mathcal{O}_{n-1}[z_n]$ と $0$ でない $R\in\mathcal{O}_{n-1}$ があって $AG+B\,\partial_nG=R$ となる。
</Lemma>

証明の方針は次のとおりです。$\mathcal{O}_{n-1}$ の分数体 $K$ 上の多項式環 $K[z_n]$ では、互いに素な 2 つの多項式に対して $aG+bH=1$ となる $a,b$ が取れます（$K[z_n]$ は単項イデアル整域なので）。ただし $a,b$ の係数には分母が現れるので、その分母の積 $R$ を両辺に掛けて分母を払い、$\mathcal{O}_{n-1}[z_n]$ の中の関係式 $AG+BH=R$ にします。

<Proof of="lem-bezout-germs">
$K$ を $\mathcal{O}_{n-1}$ の分数体とします。$K[z_n]$ は単項イデアル整域です（<Ref to="mathematics/algebra/ideals-and-quotient-rings#prop-pid-z-kx" />）。

**準備。** モニックな $F\in\mathcal{O}_{n-1}[z_n]$ が、$K[z_n]$ のモニックな既約多項式 $\pi$ で割り切れるとします。$F=\pi F_1$（$F_1\in K[z_n]$ はモニック）なので、<Ref to="lem-monic-factor" /> により $\pi,F_1\in\mathcal{O}_{n-1}[z_n]$ です。さらに $F$ が Weierstrass 多項式なら、$\pi(0,z_n)F_1(0,z_n)=z_n^{\deg F}$ から $\pi(0,z_n)=z_n^{\deg\pi}$ で、$\deg\pi\ge1$ なので $\pi(0)=0$、つまり $\pi$ は $\mathcal{O}_n$ の非単元です。

(1) $K[z_n]$ のイデアル $(G,H)$ の生成元を $c$ とします。$c$ が $K[z_n]$ の単元でなければ、$c$ を割るモニックな既約多項式 $\pi$ があり（<Ref to="mathematics/algebra/polynomial-rings-field-extensions#thm-pid-ufd" />）、$\pi$ は $G$ と $H$ を $K[z_n]$ で割ります。準備により、$\pi$ は $\mathcal{O}_n$ の非単元で、$G=\pi G_1$、$H=\pi H_1$（$G_1,H_1\in\mathcal{O}_{n-1}[z_n]$）です。これは $G,H$ が $\mathcal{O}_n$ で互いに素であることに反します。よって $(G,H)=K[z_n]$ で、$aG+bH=1$ となる $a,b\in K[z_n]$ があります。$a,b$ の係数の分母の積 $R\in\mathcal{O}_{n-1}\setminus\{0\}$ を掛け、$A=Ra$、$B=Rb$ とすればよいです。

(2) $G$ と $\partial_nG$ が $K[z_n]$ で共通の既約因子をもたないことを示せば、(1) と同じ議論で結論が出ます。モニックな既約多項式 $\pi\in K[z_n]$ が両方を割るとします。準備により $\pi$ は $\mathcal{O}_n$ の非単元で、$G=\pi G_1$、$G_1\in\mathcal{O}_{n-1}[z_n]$ はモニックです。$\partial_nG=\partial_n\pi\cdot G_1+\pi\,\partial_nG_1$ なので $\pi\mid\partial_n\pi\cdot G_1$ です。$\partial_n\pi$ は最高次の項が $(\deg\pi)z_n^{\deg\pi-1}$ で $0$ でなく、次数が $\pi$ より低いので $\pi$ で割り切れません。$\pi$ は $K[z_n]$ の素元（<Ref to="mathematics/algebra/polynomial-rings-field-extensions#lem-pid-irreducible" />）なので $\pi\mid G_1$ です。準備を $F=G_1$ に使うと $G_1=\pi G_2$、$G_2\in\mathcal{O}_{n-1}[z_n]$ で、$G=\pi^2G_2$ となり、重複因子をもたないことに反します。
</Proof>

<Corollary id="cor-hypersurface-local" title="解析的超曲面の局所的な構造">
$U$ を $0\in\mathbb{C}^n$ の開近傍、$f,g,h\in\mathcal{O}(U)$ とし、$Z(f)=\{f=0\}$ と書く。

1. （既約成分への分解）$f$ の $0$ での芽が $0$ でも単元でもなく、$\mathcal{O}_n$ で $f=u\,p_1^{a_1}\cdots p_k^{a_k}$（$u$ は単元、$p_i$ は互いに単元倍でない既約元）と分解するとき、$0$ の近傍で $Z(f)=Z(p_1)\cup\dots\cup Z(p_k)=Z(p_1\cdots p_k)$ である。
2. （零点集合が定義関数を決める）$f$ の $0$ での芽が重複因子をもたず、$g$ が $0$ のある近傍で $Z(f)$ の上で $0$ ならば、$\mathcal{O}_n$ で $f\mid g$ である。とくに、重複因子をもたない二つの芽が $0$ の近傍で同じ零点集合をもてば、両者は単元倍の違いしかない。
3. （近くの点への伝播）$g,h$ の $0$ での芽が $\mathcal{O}_n$ で互いに素ならば、$0$ の近傍 $U'\subseteq U$ があって、すべての $a\in U'$ で $g,h$ の $a$ での芽は $\mathcal{O}_{\mathbb{C}^n,a}$ で互いに素である。$f$ の $0$ での芽が重複因子をもたなければ、$0$ の近傍 $U'$ があって、すべての $a\in U'$ で $f$ の $a$ での芽は重複因子をもたない。
4. （被約な局所定義関数）$X$ を複素多様体、$A\subseteq X$ を解析的超曲面とする。$A$ の各点は開近傍 $V$ と、$A\cap V=Z(f_V)$ で、$V$ の各点での芽が重複因子をもたないような $f_V\in\mathcal{O}(V)$ をもつ。このような二つの組 $(V,f_V)$、$(V',f_{V'})$ について、$f_V/f_{V'}$ は $V\cap V'$ 上の零点をもたない正則関数に延びる。
</Corollary>

<Proof of="cor-hypersurface-local">
(1) 分解の等式が成り立つ $0$ の近傍で、$u$ は零点をもたないとしてよいので、$f(z)=0$ はある $i$ で $p_i(z)=0$ となることと同値です。

(2) <Ref to="lem-regular-coordinates" /> の 1 により、座標を取り替えて $f$ は $z_n$ について正則としてよいです（$f=0$ なら重複因子をもつので $f\ne0$。$f$ が単元なら主張は自明です）。準備定理で $f=uW$ と書くと、$W$ も重複因子をもちません。<Ref to="lem-bezout-germs" /> の 2 により $AW+B\,\partial_nW=R$、$R\ne0$ です。割り算定理で $g=qW+\rho$、$\rho=\sum_{j<d}c_j(z')z_n^j$ と書きます。$r,\delta>0$ を、$P'=P(0,\delta)$ として、これらの等式がすべて $P'\times D(0,r)$ 上で成り立ち、$u$ が零点をもたず、$g$ が $Z(f)\cap(P'\times D(0,r))$ 上で $0$ で、$z'\in P'$ のとき $W(z',\cdot)$ の $d$ 個の根がすべて $D(0,r)$ に入るように取ります（<Ref to="lem-root-bound" />）。$R(z')\ne0$ である $z'\in P'$ では、$W(z',\cdot)$ と $\partial_nW(z',\cdot)$ は共通根をもたないので、$W(z',\cdot)$ は相異なる $d$ 個の根 $b_1,\dots,b_d\in D(0,r)$ をもちます。$(z',b_j)\in Z(f)$ なので $g(z',b_j)=0$、したがって $\rho(z',b_j)=0$ です。$d$ 次未満の多項式が相異なる $d$ 個の根をもつので $\rho(z',\cdot)=0$、つまり $c_j(z')=0$ です。$\{R\ne0\}$ は $P'$ で稠密なので、連続性から $c_j=0$ が $P'$ 上で成り立ち、$g=qW=(qu^{-1})f$ です。

後半は、$f\mid\tilde f$ かつ $\tilde f\mid f$ から、整域なので $\tilde f=vf$、$v$ は単元、となることによります。

(3) 前半。$g,h$ は $0$ でないとしてよいです（一方が $0$ なら、互いに素であることから他方が単元で、近くの点でも単元です）。座標を取り替えて $g=u_1G$、$h=u_2H$（$G,H$ は Weierstrass 多項式）と書くと、$G,H$ は $\mathcal{O}_n$ で互いに素で、<Ref to="lem-bezout-germs" /> の 1 により $AG+BH=R$、$R\ne0$ です。$U'=P'\times D$ を、これらがすべて定義されて等式が成り立ち、$u_1,u_2$ が零点をもたないような多重円板とします。$a=(a',a_n)\in U'$ とし、$\mathcal{O}_{\mathbb{C}^n,a}$ の非単元 $\varphi$ が $g$ と $h$ の $a$ での芽を割ると仮定します。$u_1,u_2$ は単元なので $\varphi$ は $G,H$ を割り、したがって $R$ を割ります。$R=\varphi\psi$ と書きます。$\varphi$ は $G$ を割り、$G(a',\cdot)$ はモニックな多項式で恒等的に $0$ でないので、$\varphi(a',\cdot)$ も $a_n$ の近傍で恒等的に $0$ ではありません。つまり $\varphi$ は（$a$ を原点とする座標で）$z_n$ について位数 $k$ で正則で、$\varphi(a)=0$ なので $k\ge1$ です。<Ref to="lem-regular-coordinates" /> の 2 により、$a'$ に十分近いすべての $z'$ について、$\varphi(z',b)=0$ となる $b$ が $a_n$ の近くにあります。すると $R(z')=\varphi(z',b)\psi(z',b)=0$ です。$R$ は $a'$ の近傍で $0$ になり、一致の定理により連結な $P'$ 上で恒等的に $0$ となって、$R\ne0$ に反します。

後半。座標を取り替えて $f=uW$ とし、<Ref to="lem-bezout-germs" /> の 2 の $AW+B\,\partial_nW=R$ が成り立つ多重円板 $U'=P'\times D$（$u$ は零点をもたない）を取ります。$a\in U'$ で非単元 $\varphi$ について $\varphi^2\mid f$ とすると、$W=\varphi^2\psi$ と書けて、$\partial_nW=\varphi(2\,\partial_n\varphi\cdot\psi+\varphi\,\partial_n\psi)$ なので、$\varphi$ は $W$ と $\partial_nW$ を割り、$R$ を割ります。$\varphi\mid W$ で $W(a',\cdot)$ はモニックな多項式なので、前半と同じ議論で $R$ が恒等的に $0$ となり、矛盾します。

(4) $a\in A$ とし、$a$ の近傍での局所定義関数を $f_0$ とします。$f_0(a)=0$ で、$f_0$ の芽は $0$ でないので、$\mathcal{O}_{X,a}$ で $f_0=u\,p_1^{a_1}\cdots p_k^{a_k}$ と分解できます（<Ref to="thm-local-ring-ufd" />）。$f=p_1\cdots p_k$ は重複因子をもたず、(1) により $a$ の近傍で $Z(f)=Z(f_0)=A$ です。(3) の後半により、$a$ の近傍 $V$ を小さく取れば $f_V=f$ は $V$ の各点で重複因子をもちません。

二つの組について、$x\in V\cap V'$ とします。$x\notin A$ なら $f_V(x)\ne0$、$f_{V'}(x)\ne0$ です。$x\in A$ なら、$f_V$ と $f_{V'}$ の $x$ での芽は重複因子をもたず、$x$ の近傍で同じ零点集合 $A$ をもつので、(2) により $x$ の近傍で $f_V=vf_{V'}$（$v$ は零点をもたない正則関数）です。よって $f_V/f_{V'}$ は $(V\cap V')\setminus A$ 上の零点をもたない正則関数で、$A$ の各点の近傍で零点をもたない正則関数 $v$ に一致するので、$V\cap V'$ 全体に延びます。
</Proof>

(4) の $f_V$ を $A$ の**被約な局所定義関数**といいます。被約な局所定義関数の比 $f_V/f_{V'}$ は、第 3 章で超曲面 $A$ に伴う正則直線束 $\mathcal{O}(A)$ の変換関数になります。

<Proposition id="prop-coprime-extension" title="互いに素な 2 つの関数の共通零点を越える延長">
$X$ を次元 $n\ge2$ の複素多様体、$g,h\in\mathcal{O}(X)$ とし、$Z=\{g=h=0\}$ の各点 $a$ で $g,h$ の芽が $\mathcal{O}_{X,a}$ で互いに素であるとする。このとき $X\setminus Z$ 上の任意の正則関数は、$X$ 上の正則関数にただ一通りに延長される。
</Proposition>

<Proof of="prop-coprime-extension">
$a\in Z$ とします。$g(a)=h(a)=0$ で、$g$ の芽が $0$ なら $h$ が $g,h$ の共通の非単元の約元になるので、$g,h$ の芽は $0$ ではありません。$a$ を原点とする正則チャートで、<Ref to="cor-hypersurface-local" /> の 3 の証明と同じく $g=u_1G$、$h=u_2H$、$AG+BH=R$（$R\ne0$）と書きます。$r>0$ と多重円板 $P'\subseteq\mathbb{C}^{n-1}$ を、これらが $P'\times D(0,r)$ 上で成り立ち、$z'\in P'$ のとき $G(z',\cdot)$ の根がすべて $D(0,r/2)$ に入るように取ります（<Ref to="lem-root-bound" />）。$Z\cap(P'\times D(0,r))$ の点 $(z',z_n)$ は $G(z',z_n)=H(z',z_n)=0$ を満たすので、$R(z')=0$ かつ $|z_n|<r/2$ です。したがって $V=\{z'\in P':R(z')\ne0\}$（空でない開集合）、$\rho=r/2$ として作った Hartogs 図形 $H_0=(V\times D(0,r))\cup(P'\times\{\rho<|z_n|<r\})$ は $Z$ と交わりません。$f\in\mathcal{O}(X\setminus Z)$ に対し、<Ref to="thm-hartogs-extension" /> の 1 により $P'\times D(0,r)$ 上の正則関数 $F_a$ で $H_0$ 上 $F_a=f$ となるものがあります。$V\times D(0,r)$ は $P'\times D(0,r)$ で稠密なので、連続性から $(P'\times D(0,r))\setminus Z$ 上で $F_a=f$ です。$Z$ は内点をもたない（$Z\subseteq\{g=0\}$）ので、<Ref to="thm-hartogs-extension" /> の 3 の証明の最後と同じ議論で $F_a$ たちは貼り合わさり、延長は一意です。
</Proof>

<Definition id="def-meromorphic-function" title="有理型関数">
$X$ を複素多様体とする。$X$ の開被覆 $\{U_\alpha\}$ と、$g_\alpha,h_\alpha\in\mathcal{O}(U_\alpha)$ で、$h_\alpha$ がどの点の近傍でも恒等的に $0$ でなく、$U_\alpha\cap U_\beta$ 上で $g_\alpha h_\beta=g_\beta h_\alpha$ を満たすものの組 $\{(U_\alpha,g_\alpha,h_\alpha)\}$ を考える。二つの組は、合併がまた同じ条件を満たすとき同値であるという。同値類を $X$ 上の**有理型関数**といい、$U_\alpha$ 上で $g_\alpha/h_\alpha$ と書く。有理型関数の全体を $\mathcal{M}(X)$ と書く。
</Definition>

$X$ が連結なら $\mathcal{M}(X)$ は体です（$0$ でない有理型関数は、一致の定理によりどの $g_\alpha$ も近傍で恒等的に $0$ でないので、$h_\alpha/g_\alpha$ が逆元です）。1 変数では、これは極の集合が離散的な関数という定義（<Ref to="mathematics/complex-analysis/argument-principle-rouche#def-meromorphic" />）と一致します。2 変数以上では、$z_1/z_2$ の原点のように、値が定まらない点（不確定点）が現れます。

<Lemma id="lem-meromorphic-reduced" title="有理型関数の既約表示">
$f$ を複素多様体 $X$ 上の有理型関数、$x\in X$ とする。$x$ の開近傍 $U$ と $g,h\in\mathcal{O}(U)$ で、$U$ 上 $f=g/h$ であり、$U$ の各点で $g,h$ の芽が互いに素であるものが存在する。このような $(g,h)$ は、$x$ の近傍で、零点をもたない共通の正則関数倍を除いて一意である。$f$ が $x$ の近傍で正則関数で表されることと $h(x)\ne0$ は同値である。
</Lemma>

<Proof of="lem-meromorphic-reduced">
$x$ の近傍で $f=g_0/h_0$ とします。UFD $\mathcal{O}_{X,x}$ で $g_0,h_0$ を素元分解し、共通の素因子をすべて約して $g_0=cg$、$h_0=ch$、$g,h$ は互いに素、とします（$g_0=0$ のときは $g=0$、$h=1$ とします）。$f=g/h$ で、<Ref to="cor-hypersurface-local" /> の 3 により、$x$ の近傍 $U$ の各点で $g,h$ の芽は互いに素です。$f=\tilde g/\tilde h$ をもう一つのそのような表示とすると、$x$ の近傍で $g\tilde h=\tilde gh$ です。$h$ の各素因子は $g$ を割らないので、素元分解の一意性から $h\mid\tilde h$ で、同様に $\tilde h\mid h$ です。よって $\tilde h=vh$（$v$ は単元）で、$\tilde g=vg$ です。$f$ が正則関数 $F$ で表されるなら $F/1$ も互いに素な表示なので、一意性から $h$ は単元、つまり $h(x)\ne0$ です。逆は $f=g/h$ から従います。
</Proof>

## 10. 演習

<Exercise id="exr-transition-p2" difficulty="易">
$\mathbb{P}^2$ のチャート $(U_0,\varphi_0)$、$(U_2,\varphi_2)$ について、変換関数 $\varphi_2\circ\varphi_0^{-1}$ とその複素 Jacobi 行列式を求めよ。また実 Jacobi 行列式が正であることを確かめよ。
<Solution>
$\varphi_0([z])=(z_1/z_0,z_2/z_0)=(w_1,w_2)$、$\varphi_2([z])=(z_0/z_2,z_1/z_2)$ です。$\varphi_0^{-1}(w)=[1:w_1:w_2]$ なので、$w_2\ne0$ で
$$
\varphi_2\circ\varphi_0^{-1}(w_1,w_2)=\Bigl(\frac{1}{w_2},\frac{w_1}{w_2}\Bigr)
$$
です。複素 Jacobi 行列は、1 行目が $(0,-1/w_2^2)$、2 行目が $(1/w_2,-w_1/w_2^2)$ なので、行列式は $0\cdot(-w_1/w_2^2)-(-1/w_2^2)(1/w_2)=1/w_2^3$ です。<Ref to="thm-holomorphic-inverse-function" /> の 1 により実 Jacobi 行列式は $1/|w_2|^6>0$ です。
</Solution>
</Exercise>

<Exercise id="exr-singular-hypersurface" difficulty="標準">
$t\in\mathbb{C}$ とし、$P_t=z_0^3+z_1^3+z_2^3-3t\,z_0z_1z_2$ とする。$V(P_t)\subseteq\mathbb{P}^2$ について、<Ref to="prop-regular-value-complex" /> の 3 の仮定が成り立たない $t$ をすべて求め、そのときの偏導関数の共通零点を $t=1$ の場合に 1 つ挙げよ。
<Solution>
$\partial P_t/\partial z_0=3(z_0^2-tz_1z_2)$ などから、共通零点の条件は $z_0^2=tz_1z_2$、$z_1^2=tz_0z_2$、$z_2^2=tz_0z_1$ です。$t=0$ なら解は原点だけです。$t\ne0$ とします。ある $z_j$ が $0$ なら、たとえば $z_0=0$ のとき $z_1^2=0$、$z_2^2=0$ となって原点だけです。すべて $0$ でないとき、3 式を掛けて $(z_0z_1z_2)^2=t^3(z_0z_1z_2)^2$ から $t^3=1$ が必要です。逆に $t^3=1$ のとき、$z=(1,1,t^{-1})$ を代入すると $z_0^2=1=t\cdot1\cdot t^{-1}$、$z_1^2=1=t\cdot1\cdot t^{-1}$、$z_2^2=t^{-2}=t=t\cdot1\cdot1$（$t^3=1$ より $t^{-2}=t$）で、共通零点です。よって仮定が成り立たないのは $t^3=1$ のときで、それ以外の $t$ では $V(P_t)$ は 1 次元のコンパクト複素多様体です。$t=1$ のとき $[1:1:1]$ が共通零点です。実際 $P_1=(z_0+z_1+z_2)(z_0^2+z_1^2+z_2^2-z_0z_1-z_1z_2-z_2z_0)$ と分解し、後ろの因子は $\omega=e^{2\pi i/3}$ として $(z_0+\omega z_1+\omega^2z_2)(z_0+\omega^2z_1+\omega z_2)$ とさらに分解するので、$V(P_1)$ は 3 本の直線の合併です。$[1:1:1]$ は後ろの 2 本の交点です。
</Solution>
</Exercise>

<Exercise id="exr-weierstrass-form" difficulty="標準">
$f(z_1,z_2)=z_2^2+z_1z_2+z_1^3+z_2^3$ を $\mathcal{O}_2$ の元と見る。$f$ が $z_2$ について正則である位数 $d$ を求め、$f=uW$ の Weierstrass 多項式 $W=z_2^2+a_1(z_1)z_2+a_2(z_1)$ の係数 $a_1,a_2$ を $z_1$ の 2 次の項まで求めよ。
<Solution>
$f(0,z_2)=z_2^2(1+z_2)$ なので $d=2$ です。$u=c_0+c_1z_1+c_2z_2+\dots$、$a_1=\alpha_1z_1+\alpha_2z_1^2+\dots$、$a_2=\beta_1z_1+\beta_2z_1^2+\dots$ とおいて $f=u(z_2^2+a_1z_2+a_2)$ の低次の項を比べます。$z_1=0$ とおくと $z_2^2(1+z_2)=u(0,z_2)z_2^2$ なので $u(0,z_2)=1+z_2$、つまり $c_0=1$、$c_2=1$ です。

$z_1$ の 1 次の項：左辺に $z_1$ の項はないので $c_0\beta_1=0$、$\beta_1=0$。$z_1z_2$ の項：左辺の係数は $1$、右辺は $c_0\alpha_1+c_2\beta_1=\alpha_1$ なので $\alpha_1=1$。$z_1^2$ の項：左辺は $0$、右辺は $c_0\beta_2+c_1\beta_1=\beta_2$ なので $\beta_2=0$。$z_1^3$ の項から $a_2$ の 3 次の係数が $1$ になることもわかります。$z_1z_2^2$ の項：左辺は $0$、右辺は $c_1$（$u$ の $z_1$ の項と $z_2^2$）$+c_2\alpha_1$（$u$ の $z_2$ の項と $a_1z_2$）$+u$ の $z_2^2$ の係数 $\times\beta_1$ で、$u(0,z_2)=1+z_2$ から $u$ の $z_2^2$ の係数は $0$ なので $c_1+1=0$、$c_1=-1$。$z_1^2z_2$ の項：左辺は $0$、右辺は $c_0\alpha_2+c_1\alpha_1+c_2\beta_2+(u\text{ の }z_1z_2\text{ の係数})\beta_1=\alpha_2-1$ なので $\alpha_2=1$。

よって $a_1(z_1)=z_1+z_1^2+\dots$、$a_2(z_1)=0\cdot z_1+0\cdot z_1^2+z_1^3+\dots$ です。$z_1$ が小さいとき、$W(z_1,\cdot)$ の 2 根はおよそ $-z_1$ と $-z_1^2$ で、零点集合は原点で交わる 2 本の滑らかな曲線の枝からなります。
</Solution>
</Exercise>

<Exercise id="exr-torus-endomorphisms" difficulty="標準">
$\Lambda=\mathbb{Z}+\mathbb{Z}i\subseteq\mathbb{C}$ とする。$E=\mathbb{C}/\Lambda$ から $E$ への正則写像で $\pi(0)$ を $\pi(0)$ に写すものの全体は、$a\in\mathbb{Z}[i]$ による $\pi(z)\mapsto\pi(az)$ の全体であることを示せ。また、$\operatorname{Im}\tau>0$ である $\tau$ が整数係数の 2 次方程式を満たさないとき、$\Lambda_\tau=\mathbb{Z}+\mathbb{Z}\tau$ について、$\mathbb{C}/\Lambda_\tau$ から自分自身への同様の写像は $a\in\mathbb{Z}$ によるものに限ることを示せ。
<Solution>
<Ref to="prop-complex-torus" /> の 2 により、正則写像は $\pi(z)\mapsto\pi(az+b)$（$a\Lambda\subseteq\Lambda$）の形です。$\pi(0)$ を $\pi(0)$ に写すので $b\in\Lambda$ で、$b=0$ としてよいです。$a\Lambda\subseteq\Lambda$ は $a\cdot1\in\Lambda$ かつ $a\cdot i\in\Lambda$ と同値です。$a\cdot1\in\Lambda$ から $a=p+qi$（$p,q\in\mathbb{Z}$）が必要で、このとき $ai=-q+pi\in\Lambda$ はつねに成り立ちます。よって条件は $a\in\mathbb{Z}[i]$ です。

$\Lambda_\tau$ の場合、$a\Lambda_\tau\subseteq\Lambda_\tau$ なら $a=p+q\tau$（$p,q\in\mathbb{Z}$）で、$a\tau=p\tau+q\tau^2\in\Lambda_\tau$ から $p\tau+q\tau^2=r+s\tau$ となる整数 $r,s$ があります。$q\ne0$ なら $\tau$ が 2 次方程式 $q\tau^2+(p-s)\tau-r=0$ を満たすことになり仮定に反するので、$q=0$、$a=p\in\mathbb{Z}$ です。逆に整数 $a$ は条件を満たします。$\tau=i$ のように 2 次方程式を満たす場合に限って、整数倍以外の自己準同型（虚数乗法）が現れます。
</Solution>
</Exercise>

## 参考文献

- P. Griffiths, J. Harris, *Principles of Algebraic Geometry*, Wiley, 1978 — Chapter 0（多変数関数論の基礎、Weierstrass の定理、複素多様体）。
- D. Huybrechts, *Complex Geometry: An Introduction*, Springer, 2005 — Chapter 1（局所理論）、Chapter 2 の §2.1（複素多様体の定義と例）。
- R. C. Gunning, H. Rossi, *Analytic Functions of Several Complex Variables*, Prentice-Hall, 1965 — Chapter II（芽の環の代数的性質）。
- L. Hörmander, *An Introduction to Complex Analysis in Several Variables*, 3rd ed., North-Holland, 1990 — Chapter II（Hartogs の現象）、Chapter VI（準備定理）。
- 小平邦彦『複素多様体論』岩波書店、1992 — 第 1 章・第 2 章。
- J.-P. Demailly, *Complex Analytic and Differential Geometry*（著者のウェブサイトで公開されている教科書）— Chapter I・II。