ブローアップ (数学)

アフィン平面のブローアップ

数学のブローアップ（テンプレート:Lang-en-short）とは、空間の部分空間をその部分空間を指し示す向き全体の空間に置き換える、一種の幾何学的変換である。例えば平面の点でのブローアップはその点をその点の接ベクトル空間を射影化したものに置き換える。ブローアップにより、空間の点における関数や写像、微分形式の無限小での振る舞いを大域的な現象に変換できるテンプレート:Sfn。この言葉が持つ爆発（explosion）という意味を使ってこの幾何学的変換を暗喩しているというよりは、「写真の一部を大きくするために写真上でズームインする」という意味を使って暗喩しているテンプレート:要出典テンプレート:Efn。

ブローアップは双有理幾何学における最も基本的な変換である。弱分解定理（The weak factorization theorem）によれば、射影多様体の間のすべての双有理写像はブローアップとその逆演算の合成としてかけるテンプレート:Sfn。平面の双有理自己同型のなす群であるテンプレート:仮リンクはブローアップで生成される。

双有理変換を説明するという重要性のほかに、ブローアップは新しい空間を作る重要な方法でもある。例えば、特異点解消のほとんどの方法は滑らかになるまで特異点でブローアップするというものである。さらに、これを使ってブローアップを双有理写像の不確定点を除去するために使うこともできる。

ブローアップは、まず射影空間のような空間上で座標を使って具体的にブローアップを定義し、次に埋め込みを使って他の空間でのブローアップを定義するという、外在的な方法で古くは定義されていた。このことは単項変換（monoidal transformation）といった古典的な用語に現れている。現代の代数幾何学ではブローアップは代数多様体上の内在的な操作として扱う。この観点ではブローアップとは部分代数多様体をカルティエ因子に変換する（圏論的な意味での）普遍的な操作である。

ブローアップは、爆発、単項変換（monoidal transformation; モノイダル変換とも）、局所2次変換（locally quadratic transformation）、dilatation, σ-process, ホップ写像（Hopf map）とも呼ばれる。ブローアップという言葉で、この幾何学的変換を施してできあがった空間を指すことも多い。

平面の点でのブローアップ

最も簡単なブローアップは平面の点でのブローアップである。この例を通して、ブローアップの一般的な性質をほとんど見ることができる。この節では、ブローアップという操作で得られた空間のことを特に頻繁にブローアップと呼ぶことにする。

ブローアップはテンプレート:訳語疑問点範囲（incidence correspondence）として表すことができる。まず、テンプレート:仮リンク テンプレート:Nowrap で平面の特定の点を通るすべての直線の集合をパラメトライズできたことを思い出す。射影平面 テンプレート:Nowrap の点 テンプレート:Mvar でのブローアップ テンプレート:Mvar は

$X=\{(Q,\ell )\mid P,Q\in \ell \}\subseteq {𝐏}^2\times 𝐆(1,2)$

である。ここで テンプレート:Mvar は他の点で $\ell$ はグラスマン多様体の元である。テンプレート:Mvar は射影多様体の直積の閉部分代数多様体なので射影多様体である。これは、組 $(Q,\ell )$ を テンプレート:Mvar に送る テンプレート:Nowrap への自然な射 テンプレート:Mvar を備えている。この射は、テンプレート:Math であるすべての点 $(Q,\ell )$ がなす開部分集合上で同型写像となっている。これは、直線 $\ell$ がこれら2つの点で決まるからである。しかし テンプレート:Math のときは、直線 $\ell$ は テンプレート:Mvar を通る任意の直線でよい。これらの直線全体は テンプレート:Mvar を通る向き全体の空間に対応し テンプレート:Math と同型である。この テンプレート:Math はテンプレート:仮リンク（exceptional divisor）と呼ばれる。定義から、これは射影化された テンプレート:Mvar でのテンプレート:仮リンク（normal space）である。テンプレート:Mvar は点なので法空間は接ベクトル空間と一致する。したがって例外因子は射影化された テンプレート:Mvar での接ベクトル空間と同型である。

ブローアップ上での座標を得るために、結合対応の方程式を求める。テンプレート:Nowrap にテンプレート:仮リンク テンプレート:Math を与え、これでの点 テンプレート:Mvar の座標を テンプレート:Math と書く。テンプレート:仮リンクにより テンプレート:Nowrap は テンプレート:Nowrap と同型なので、これに斉次座標 テンプレート:Math を与えることができる。${\ell }_0=[L_0:L_1:L_2]$ に対応する直線は テンプレート:Math を満たすすべての テンプレート:Math の集合である。したがって、ブローアップは次の式

$X=\{([X_0:X_1:X_2],[L_0:L_1:L_2])\mid P_0{L}_0+P_1{L}_1+P_2{L}_2=0,X_0{L}_0+X_1{L}_1+X_2{L}_2=0\}\subseteq {𝐏}^2\times {𝐏}^2$

で記述することができる。ブローアップは テンプレート:Mvar の外では同型写像になっている。射影平面の代わりにアフィン平面で考えることによりブローアップをより簡単な方程式で表すことができる。必要ならば射影変換を使うことにより テンプレート:Math としてよい。アフィン平面 テンプレート:Math の座標を テンプレート:Mvar と テンプレート:Mvar で書くことにする。条件 テンプレート:Mvar ∈ $\ell$ は テンプレート:Math を意味するので、グラスマン多様体を テンプレート:Math に置き換えることができる。このとき、ブローアップは多様体

$\{((x,y),[z:w])\mid xz+yw=0\}\subseteq {𝐀}^2\times {𝐏}^1$

である。座標を変更してどちらかの符号が逆になるようにするほうがより一般的である。このとき、ブローアップは

$\{((x,y),[z:w])\mid \det \left[\begin{array}{cc}x& y\\ w& z\end{array}\right]=0\}$

と書くことができる。こちらの方程式の方が前のものよりも一般化が容易である。

ブローアップを図に描くことは、グラスマン多様体の無限遠点を取り除けば簡単にできる。例えば、テンプレート:Math と置けば3次元空間において テンプレート:Math で定義される鞍型曲面という、ありふれたものになる。

また、ブローアップは点の法空間における座標を使って直接的に記述することもできる。この場合もやはりアフィン平面 テンプレート:Nowrap で考える。原点での法空間は、原点に対応する極大イデアルを テンプレート:Math とすると、ベクトル空間 テンプレート:Math である。代数的には、このベクトル空間の射影空間化（projectivization）はこれの対称代数のテンプレート:仮リンク

$X=\mathrm{Proj}\underset{r=0}{\overset{\mathrm{\infty }}{⨁}}{\mathrm{Sym}}_{k[x,y]}^r𝔪/{𝔪}^2$

で与えられる。この例の場合には、これは具体的に

$X=\mathrm{Proj}k[x,y][z,w]/(xz-yw)$

と表示することができる。ここで テンプレート:Mvar と テンプレート:Mvar の次数は0で テンプレート:Mvar と テンプレート:Mvar の次数は1としている。

例外因子が無限遠直線になるようにブローアップを表示することもできる。実数体で考える。テンプレート:Mvar が テンプレート:Nowrap の原点と仮定し、テンプレート:Mvar を無限遠直線とする。テンプレート:Nowrap 上での"逆写像" テンプレート:Mvar を テンプレート:Math を テンプレート:Math に送るものとして定める。テンプレート:Mvar は単位円 テンプレート:Math についての円に関する反転になっている。これは テンプレート:Mvar を固定し、原点を通る直線を保ち、円の内側と外側を入れ替える。テンプレート:Mvar は無限遠直線を原点に送ることで連続写像 テンプレート:Nowrap に拡張できる。拡張したものも テンプレート:Mvar で表すことにすると、これは原点でのブローアップになっている。 実際、テンプレート:Nowrap から テンプレート:Nowrap への写像 テンプレート:Mvar を テンプレート:Nowrap に対して テンプレート:Math で定めれば、これは well-defined で、先に定義したブローアップとの同相が得られる。原点のファイバーにおける無限遠直線上の点は、原点を通る直線に対応している。

実数または複素数でのブローアップは連結和 ${𝐀}^2\mathrm{\#}{𝐏}^2$ として位相幾何学に表すこともできる。テンプレート:Mvar を テンプレート:Nowrap から開単位円板をくり抜いたものとする。同様に、テンプレート:Mvar を テンプレート:Nowrap のあるアフィンチャートの中の開単位円板をくり抜いたものとする。ここでは、テンプレート:Nowrap をくり抜いたものとする。テンプレート:Mvar と テンプレート:Mvar の境界は単位球面である。これで貼り合わせたものが ${𝐀}^2\mathrm{\#}{𝐏}^2$ である。これが原点でのブローアップになっていることを見るために、${𝐀}^2\mathrm{\#}{𝐏}^2$ から テンプレート:Nowrap への写像 テンプレート:Mvar を定める。テンプレート:Nowrap の元 テンプレート:Math に対しては テンプレート:Math、テンプレート:Nowrap の元 テンプレート:Math に対しては テンプレート:Math と定める。テンプレート:Mvar は先ほどと同様に定義される関数で、バーは複素共役である。これが well-defined であることは簡単にわかる。また、同一視している テンプレート:Mvar の境界と テンプレート:Mvar の境界で テンプレート:Mvar が well-defined であることやこれがブローアップへの同相であることもわかる。

複素数体上、テンプレート:Nowrap の連結和を取るこの操作では向きづけられた多様体をできあがりとしたい。このためには テンプレート:Nowrap に逆の向きを与えなければならない。記号で書くとブローアップは ${𝐂}^2\mathrm{\#}\overline{{𝐂𝐏}^2}$ ということになる。ここで $\overline{{𝐂𝐏}^2}$ は標準的な向きの逆の向きを与えた テンプレート:Math である。

複素空間の点でのブローアップ

テンプレート:Mvar を テンプレート:Mvar 次元複素 空間 テンプレート:Math の原点とする。つまり、テンプレート:Mvar を テンプレート:Mvar 個の座標関数 $x_1,\dots ,x_n$ が同時に消えている点とする。P^{テンプレート:Math} を テンプレート:Math 次元複素射影空間とし、その斉次座標を $y_1,\dots ,y_n$ で表すことにする。$\widetilde{{𝐂}^n}$ を テンプレート:Nowrap の部分集合ですべての テンプレート:Math に対して方程式 $x_i{y}_j=x_j{y}_i$ を同時に満たすもの全体とする。射影

$\pi :{𝐂}^n\times {𝐏}^{n-1}\to {𝐂}^n$

は自然に正則写像

$\pi :\widetilde{{𝐂}^n}\to {𝐂}^n$

を誘導する。この写像 テンプレート:Mvar を C^{テンプレート:Mvar} のブローアップ（blow-up; 英語では blow up, blowup などとも綴られる）と呼ぶ。空間 $\widetilde{{𝐂}^n}$ もブローアップと呼ばれることが多い。

例外因子 テンプレート:Mvar は テンプレート:Mvar によるブローアップの中心 テンプレート:Mvar の逆像として定義される。簡単にわかるように

$E=Z\times {𝐏}^{n-1}\subseteq {𝐂}^n\times {𝐏}^{n-1}$

は射影空間のコピーになっている。これは有効因子である。テンプレート:Mvar の外では、テンプレート:Mvar は $\widetilde{{𝐂}^n}\setminus E$ と テンプレート:Nowrap の間の同型写像になっている。したがってこれは $\widetilde{{𝐂}^n}$ と テンプレート:Nowrap の間の双有理写像になっている。

代わりに正則な射影

$q:\widetilde{{𝐂}^n}\to {𝐏}^{n-1}$

を考える。これは ${𝐏}^{n-1}$ のテンプレート:仮リンクと呼ばれるものになっており、例外因子 $\{Z\}\times {𝐏}^{n-1}$ はこれの零切断、つまり点 $p$ を $p$ 上のファイバーにおける零元 ${\mathrm{𝟎}}_p$ に送る写像 $\mathrm{𝟎}:{𝐏}^{n-1}\to {𝒪}_{{𝐏}^{n-1}}$ と同一視できる。

複素多様体の部分多様体でのブローアップ

もっと一般に、テンプレート:Nowrap の中の余次元 テンプレート:Mvar の任意の複素部分多様体 テンプレート:Mvar でブローアップすることができる。テンプレート:Mvar を方程式 $x_1=\cdots =x_k=0$ の解集合とし、$y_1,\dots ,y_k$ を テンプレート:Nowrap の斉次座標とする。このとき、ブローアップは空間 テンプレート:Nowrap における ${\widetilde{𝐂}}^n$ すべての テンプレート:Mvar と テンプレート:Mvar についての方程式 $x_i{y}_j=x_j{y}_i$ の解集合である。

さらに一般に、局所的にこの構成を使うことで任意の複素多様体 テンプレート:Mvar の任意の部分多様体でブローアップすることができる。これは、前と同じくブローアップの中心 テンプレート:Mvar を例外因子 テンプレート:Mvar で置き換える操作になっている。言い換えると、ブローアップ写像

$\pi :\tilde{X}\to X$

は双有理写像になっていて、テンプレート:Mvar の外では同型写像になっており、テンプレート:Mvar 上ではファイバー テンプレート:Nowrap を持つ局所自明なテンプレート:仮リンクになっている。実際、制限 $\pi {|}_E:E\to Z$ は テンプレート:Mvar における テンプレート:Mvar のテンプレート:仮リンクを射影化したものと自然に見ることができる。

テンプレート:Mvar は滑らかな因子なので、その法束は直線束である。テンプレート:Mvar が自分自身とテンプレート:訳語疑問点範囲交叉することを見るのは難しくない。これは、この法束は正則な切断を持たないことを意味する。 それゆえ、テンプレート:Mvar は $\tilde{X}$ におけるそのホモロジー類の唯一の滑らかな複素代表元である（仮に テンプレート:Mvar が同じ類の中で他の複素部分多様体に摂動できたとしよう。するとこの2つの部分多様体は、複素部分多様体の交叉が常にそうであるように、正に交叉する。これは テンプレート:Mvar が負の自己交叉を持つことに反する）。これが、この因子が例外因子と呼ばれる理由である。

テンプレート:Mvar を テンプレート:Mvar ではない テンプレート:Mvar の他の部分多様体とする。テンプレート:Mvar が テンプレート:Mvar と交わりを持たなければ、 テンプレート:Mvar に沿ったブローアップで本質的には何の影響も受けない。しかし、テンプレート:Mvar と交わる場合には、ブローアップ $\tilde{X}$ において2つの異なる テンプレート:Mvar に対応するものがある。1つは固有変換（proper transform）、または狭義変換（strict transform, 強変換とも）と呼ばれるもので、これは ${\pi }^{-1}(V\setminus Z)$ の閉包である。これの $\tilde{X}$ における法束は通常は テンプレート:Mvar における テンプレート:Mvar のそれと異なる。もう1つは全変換（total transform）と呼ばれるもので、テンプレート:Math の一部、または全部を併せたものである。これは、本質的にはコホモロジーにおいて テンプレート:Mvar を引き戻したものである。

スキームのブローアップ

ブローアップを最大限に一般化するために、テンプレート:Mvar をスキーム、$ℐ$ を テンプレート:Mvar 上のイデアルの連接層とする。テンプレート:Mvar の $ℐ$ についてのブローアップとは、スキーム $\tilde{X}$ と射

$\pi :\tilde{X}\to X$

であって、${\pi }^{-1}ℐ\cdot {𝒪}_{\tilde{X}}$ は可逆層であり、任意の射 テンプレート:Math で $f^{-1}ℐ\cdot {𝒪}_Y$ が可逆層だとすると、 テンプレート:Mvar は テンプレート:Mvar を介して一意に分解する、という普遍性で特徴付けられるものをいう。

次で定義されるスキーム

$\tilde{X}=𝐏𝐫𝐨𝐣\underset{n=0}{\overset{\mathrm{\infty }}{⨁}}{ℐ}^n$

はこの性質を持つ。これがブローアップの構成方法である。ここで、Proj は次数付き環上の テンプレート:仮リンクである。

例外因子

ブローアップ $\pi :{\mathrm{Bl}}_{ℐ}X\to X$ の例外因子とは、イデアル層 $ℐ$ の逆像によって定義される部分スキームのことである。これは ${\pi }^{-1}ℐ\cdot {𝒪}_{{\mathrm{Bl}}_{ℐ}X}$ と表記されることもある。Proj を用いたブローアップの定義から、この部分スキーム テンプレート:Mvar はイデアル層 ${⨁}_{n=0}^{\mathrm{\infty }}{ℐ}^{n+1}$ によって定義されることがわかる。このイデアル層は テンプレート:Mvar についての相対的な $𝒪(1)$ でもある。

テンプレート:Mvar は例外因子の外で同型写像であるが、しかし 例外因子が必ず テンプレート:Mvar の例外軌跡になるとは限らない。つまり、テンプレート:Mvar は テンプレート:Mvar 上で同型写像となることもある。これは、例えば $ℐ$ がはじめから可逆層であるような自明な状況で起こる。特に、このような場合では、射 テンプレート:Mvar は例外因子を決定しない。例外軌跡が例外因子よりも真に小さくなりえるもう1つの状況は、テンプレート:Mvar が特異点を持つ場合である。例として テンプレート:Nowrap 上のアフィン錐 テンプレート:Mvar を考える。テンプレート:Mvar は テンプレート:Nowrap において テンプレート:Math が消える軌跡として与えることができる。イデアル テンプレート:Math と テンプレート:Math は2つの平面を定義し、どちらも テンプレート:Mvar の頂点を通る。頂点の外ではこれらの平面は テンプレート:Mvar における超曲面になっており、したがってそこでブローアップは同型写像になっている。したがってこれらの平面のうちいずれかでのブローアップの例外軌跡は円錐の頂点上に centered しており、結果的に例外因子より真に小さくなっている。

さらなる例

線型部分空間でのブローアップ

${𝐏}^n$ を テンプレート:Mvar 次元射影空間とする。これの余次元 テンプレート:Mvar の線型部分空間 テンプレート:Mvar を1つ取る。テンプレート:Mvar に沿った ${𝐏}^n$ のブローアップを記述する具体的な方法はいくつかある。${𝐏}^n$ の座標を $X_0,\dots ,X_n$ とする。座標を取り替えることにより、$L=\{X_{n-d+1}=\dots =X_n=0\}$ としてよい。ブローアップは ${𝐏}^n\times {𝐏}^{d-1}$ の部分空間として定義できる。$Y_{n-d+1},\dots ,Y_n$ をこれの2番目の直積因子の座標とする。テンプレート:Mvar は正則列によって定義されているので、ブローアップは行列

$$\left(\begin{array}{ccc}{X}_{n-d+1}& \cdots & X_n\\ Y_{n-d+1}& \cdots & Y_n\end{array}\right)$$

の テンプレート:Math 小行列式の解によって決定される。この方程式系を満たすことは2つの行が線形従属であることと同値である。点 $P\in {𝐏}^n$ が テンプレート:Mvar に入るのは、この点の座標で上の行列の1行目を作ったときにこの行がゼロになるとき、かつそのときに限る。この場合、テンプレート:Mvar に何の条件もない。しかし、1行目がゼロではないときは、線形従属性から2行目はこれのスカラー倍になる。したがって $(P,Q)$ がブローアップに入る一意な点 $Q\in {𝐏}^{d-1}$ が存在する。

このブローアップもまた結合対応

$$\{(P,M):P\in M,L\subseteq M\}\subseteq {𝐏}^n\times \mathrm{Gr}(n-d+1,n)$$

として表示できる。ここで $\mathrm{Gr}$ は ${𝐏}^n$ における $(n-d+1)$ 次元部分空間のテンプレート:仮リンクである。前述の座標による表示との関係を見るために、まず テンプレート:Mvar を含むすべての $M\in \mathrm{Gr}(n-d+1,n)$ からなる集合は射影空間 ${𝐏}^{d-1}$ と同型であることに着目する。これは、各部分空間 テンプレート:Mvar は テンプレート:Mvar と テンプレート:Mvar に含まれない点 テンプレート:Mvar によって生成され、テンプレート:Mvar の外の2つの点 テンプレート:Mvar と テンプレート:Mvar が同じ テンプレート:Mvar を定めるのは ${𝐏}^{d-1}$ へ射影したときに同じ像を定めるとき、かつそのときに限ることによる。したがってグラスマン多様体を ${𝐏}^{d-1}$ のコピーに置き換えられる。$P\in ̸L$ であるときは、テンプレート:Mvar を含む唯一の部分空間 テンプレート:Mvar が存在し、それは テンプレート:Math と テンプレート:Math で張られる空間である。先の座標の言葉で言えば、これは $(X_{n-d+1},\dots ,X_n)$ が零ベクトルではない場合に相当する。$P\in L$ の場合は $(X_{n-d+1},\dots ,X_n)$ が零ベクトルである場合に相当し、この場合は テンプレート:Mvar として任意のものが取れる、つまり テンプレート:Mvar を含む任意の テンプレート:Mvar が可能である。

曲線の交叉でのスキーム論でのブローアップ

$f,g\in ℂ[x,y,z]$ を $d$ 次の斉次多項式で、一般の位置にある、つまりこれらが定める射影多様体がベズーの定理によって $d^2$ 個の点で交わるものとする。スキームの射影的射

$$\begin{array}{c}\mathbf{\text{Proj}}\left(\frac{ℂ[s,t][x,y,z]}{(sf(x,y,z)+tg(x,y,z))}\right)\\ \downarrow \\ \mathbf{\text{Proj}}(ℂ[x,y,z])\end{array}$$

は、${\mathbb{P}}^2$ の $d^2$ 個の点でのブローアップのモデルを与える。これはファイバーを見ることにより分かる。点 $p=[x_0:x_1:x_2]$ を取り、引き戻しの図式

$$\begin{array}{ccc}\mathbf{\text{Proj}}\left(\frac{ℂ[s,t]}{sf(p)+tg(p)}\right)& \to & \mathbf{\text{Proj}}\left(\frac{ℂ[s,t][x,y,z]}{(sf(x,y,z)+tg(x,y,z))}\right)\\ \downarrow & & \downarrow \\ \mathbf{\text{Spec}}(ℂ)& \stackrel{[x_0:x_1:x_2]}{\to }& \mathbf{\text{Proj}}(ℂ[x,y,z])\end{array}$$

を見ることにより、$f(p)\ne 0$ もしくは $g(p)\ne 0$ であればファイバーは点であり、$f(p)=g(p)=0$ であればファイバーは ${\mathbb{P}}^1$ であることがわかる。

関連する構成

前述の テンプレート:Nowrap のブローアップで、複素数であることを本質的に使っている箇所はない。したがって任意の体の上でブローアップを行うことができる。例えば、テンプレート:Nowrap を原点で実ブローアップするとメビウスの帯ができあがる。同様に、2次元球面 テンプレート:Nowrap をブローアップすると 実射影平面 ができあがる。

テンプレート:仮リンクは代数幾何学の証明で頻繁に使われるブローアップのテクニックである。スキーム テンプレート:Mvar と閉部分スキーム テンプレート:Mvar に対し次の組

$V\times \{0\}\text{in}Y=X\times 𝐂\text{or}X\times {𝐏}^1$

でブローアップする。すると

$\tilde{Y}\to 𝐂$

はファイブレーションになる。一般ファイバーは自然に テンプレート:Mvar と同型になる。一方、中心ファイバーは テンプレート:Mvar の テンプレート:Mvar に沿ったブローアップと テンプレート:Mvar のテンプレート:仮リンクの各ファイバーを射影空間に完備化した2つのスキームの和である。

ブローアップは、シンプレクティック形式と整合的な概複素構造を備えさせたシンプレクティック多様体の圏でも複素多様体のブローアップと同じ様に行うことができる。これはまず位相幾何学レベルで意味をもつ操作として定義される。ブローアップした多様体にシンプレクティック形式を備えさせるには、例外因子 テンプレート:Mvar にシンプレクティック形式を任意に拡張できるわけではないので、少し注意が必要である。テンプレート:Mvar の近傍においてシンプレクティック形式を取り換えるか、テンプレート:Mvar の近傍を切り取ってブローアップを行い境界を well-defined な方法でつぶす必要がある。これはテンプレート:仮リンクの枠組みを使うことで最も良く理解でき、シンプレクティック・ブローアップはこれの特別な場合である。シンプレクティックカットは、その逆演算であるテンプレート:仮リンクとともに、滑らかな因子に沿った法錐への変形のシンプレクティック版である。

関連項目

• テンプレート:仮リンク
• 特異点解消

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite arXiv
• テンプレート:Cite web