ブローアップ (数学)

数学のブローアップ（）とは、空間の部分空間をその部分空間を指し示す向き全体の空間に置き換える、一種の幾何学的変換である。例えば平面の点でのブローアップはその点をその点の接ベクトル空間を射影化したものに置き換える。ブローアップにより、空間の点における関数や写像、微分形式の無限小での振る舞いを大域的な現象に変換できる。この言葉が持つ爆発（explosion）という意味を使ってこの幾何学的変換を暗喩しているというよりは、「写真の一部を大きくするために写真上でズームインする」という意味を使って暗喩している。
ブローアップは双有理幾何学における最も基本的な変換である。（The weak factorization theorem）によれば、射影多様体の間のすべての双有理写像はブローアップとその逆演算の合成としてかける。平面の双有理自己同型のなす群であるはブローアップで生成される。
双有理変換を説明するという重要性のほかに、ブローアップは新しい空間を作る重要な方法でもある。例えば、特異点解消のほとんどの方法は滑らかになるまで特異点でブローアップするというものである。さらに、これを使ってブローアップを双有理写像の不確定点を除去するために使うこともできる。
ブローアップは、まず射影空間のような空間上で座標を使って具体的にブローアップを定義し、次に埋め込みを使って他の空間でのブローアップを定義するという、外在的な方法で古くは定義されていた。このことは単項変換（monoidal transformation）といった古典的な用語に現れている。現代の代数幾何学ではブローアップは代数多様体上の内在的な操作として扱う。この観点ではブローアップとは部分代数多様体をカルティエ因子に変換する（圏論的な意味での）普遍的な操作である。
ブローアップは、爆発、単項変換（monoidal transformation; モノイダル変換とも）、局所2次変換（locally quadratic transformation）、dilatation, σ-process, ホップ写像（Hopf map）とも呼ばれる。ブローアップという言葉で、この幾何学的変換を施してできあがった空間を指すことも多い。
平面の点でのブローアップ.
最も簡単なブローアップは平面の点でのブローアップである。この例を通して、ブローアップの一般的な性質をほとんど見ることができる。この節では、ブローアップという操作で得られた空間のことを特に頻繁にブローアップと呼ぶことにする。
ブローアップは（incidence correspondence）として表すことができる。まず、
で平面の特定の点を通るすべての直線の集合をパラメトライズできたことを思い出す。射影平面
の点
でのブローアップ は
である。ここで は他の点で
formula_2
はグラスマン多様体の元である。
は射影多様体の直積の閉部分代数多様体なので射影多様体である。これは、組
formula_3
を
に送る
への自然な射
を備えている。この射は、
であるすべての点
formula_3
がなす開部分集合上で同型写像となっている。これは、直線
formula_2
がこれら2つの点で決まるからである。しかし
のときは、直線
formula_2
は
を通る任意の直線でよい。これらの直線全体は
 を通る向き全体の空間に対応し
と同型である。この
は（exceptional divisor）と呼ばれる。定義から、これは射影化された
での（normal space）である。
は点なので法空間は接ベクトル空間と一致する。したがって例外因子は射影化された
での接ベクトル空間と同型である。
ブローアップ上での座標を得るために、結合対応の方程式を求める。
に
を与え、これでの点
の座標を
と書く。により
は
と同型なので、これに斉次座標
を与えることができる。formula_7
に対応する直線は
を満たすすべての
の集合である。したがって、ブローアップは次の式
で記述することができる。ブローアップは
の外では同型写像になっている。射影平面の代わりにアフィン平面で考えることによりブローアップをより簡単な方程式で表すことができる。必要ならば射影変換を使うことにより
としてよい。アフィン平面
の座標を
と
で書くことにする。条件
 ∈ formula_2
は
を意味するので、グラスマン多様体を
に置き換えることができる。このとき、ブローアップは多様体
である。座標を変更してどちらかの符号が逆になるようにするほうがより一般的である。このとき、ブローアップは
と書くことができる。こちらの方程式の方が前のものよりも一般化が容易である。
ブローアップを図に描くことは、グラスマン多様体の無限遠点を取り除けば簡単にできる。例えば、
と置けば3次元空間において
で定義される鞍型曲面という、ありふれたものになる。
また、ブローアップは点の法空間における座標を使って直接的に記述することもできる。この場合もやはりアフィン平面
で考える。原点での法空間は、原点に対応する極大イデアルを
とすると、ベクトル空間
である。代数的には、このベクトル空間の射影空間化（projectivization）はこれの対称代数の
で与えられる。この例の場合には、これは具体的に
と表示することができる。ここで と の次数は0で と の次数は1としている。
例外因子が無限遠直線になるようにブローアップを表示することもできる。実数体で考える。 が
の原点と仮定し、 を無限遠直線とする。
上での"逆写像" を
を
に送るものとして定める。 は単位円
についての円に関する反転になっている。これは
を固定し、原点を通る直線を保ち、円の内側と外側を入れ替える。
は無限遠直線を原点に送ることで連続写像
に拡張できる。拡張したものも
で表すことにすると、これは原点でのブローアップになっている。
実際、 から
への写像 を
に対して
で定めれば、これは well-defined で、先に定義したブローアップとの同相が得られる。原点のファイバーにおける無限遠直線上の点は、原点を通る直線に対応している。
実数または複素数でのブローアップは連結和
formula_14
として位相幾何学に表すこともできる。
を から開単位円板をくり抜いたものとする。同様に、
を のあるアフィンチャートの中の開単位円板をくり抜いたものとする。ここでは、
をくり抜いたものとする。 と の境界は単位球面である。これで貼り合わせたものが
formula_14
である。これが原点でのブローアップになっていることを見るために、formula_14
から
への写像 を定める。 の元
 に対しては
の元
 に対しては
と定める。 は先ほどと同様に定義される関数で、バーは複素共役である。これが well-defined であることは簡単にわかる。また、同一視している 
の境界と
の境界で が well-defined であることやこれがブローアップへの同相であることもわかる。
複素数体上、
の連結和を取るこの操作では向きづけられた多様体をできあがりとしたい。このためには
に逆の向きを与えなければならない。記号で書くとブローアップは
formula_17
ということになる。ここで
formula_18
は標準的な向きの逆の向きを与えた
である。
複素空間の点でのブローアップ.
 を
 次元複素 空間
の原点とする。つまり、 を
 個の座標関数
formula_19
が同時に消えている点とする。P
を
次元複素射影空間とし、その斉次座標を
formula_20
で表すことにする。formula_21
を
の部分集合ですべての
に対して方程式
formula_22
を同時に満たすもの全体とする。射影
は自然に正則写像
を誘導する。この写像 を
C
のブローアップ（blow-up; 英語では blow up, blowup などとも綴られる）と呼ぶ。空間
formula_21
もブローアップと呼ばれることが多い。
例外因子 は
 によるブローアップの中心
の逆像として定義される。簡単にわかるように
は射影空間のコピーになっている。これは有効因子である。
の外では、 は
formula_27
と
の間の同型写像になっている。したがってこれは
formula_21
と
の間の双有理写像になっている。
代わりに正則な射影
を考える。これは
formula_30
のと呼ばれるものになっており、例外因子
formula_31
はこれの零切断、つまり点
formula_32
を
formula_32
上のファイバーにおける零元
formula_34
に送る写像
formula_35
と同一視できる。
複素多様体の部分多様体でのブローアップ.
もっと一般に、 の中の余次元
の任意の複素部分多様体
でブローアップすることができる。 を方程式
formula_36
の解集合とし、formula_37
を
の斉次座標とする。このとき、ブローアップは空間
における
formula_38
すべての と についての方程式
formula_39
の解集合である。
さらに一般に、局所的にこの構成を使うことで任意の複素多様体
の任意の部分多様体でブローアップすることができる。これは、前と同じくブローアップの中心
 を例外因子
で置き換える操作になっている。言い換えると、ブローアップ写像
は双有理写像になっていて、
の外では同型写像になっており、
上ではファイバー
を持つ局所自明なになっている。実際、制限
formula_41
は
における
のを射影化したものと自然に見ることができる。
 は滑らかな因子なので、その法束は直線束である。 が自分自身と交叉することを見るのは難しくない。これは、この法束は正則な切断を持たないことを意味する。
それゆえ、 は
formula_42
におけるそのホモロジー類の唯一の滑らかな複素代表元である（仮に
が同じ類の中で他の複素部分多様体に摂動できたとしよう。するとこの2つの部分多様体は、複素部分多様体の交叉が常にそうであるように、正に交叉する。これは が負の自己交叉を持つことに反する）。これが、この因子が例外因子と呼ばれる理由である。
を
ではない
の他の部分多様体とする。 が
と交わりを持たなければ、
に沿ったブローアップで本質的には何の影響も受けない。しかし、 と交わる場合には、ブローアップ
formula_42
において2つの異なる
に対応するものがある。1つは固有変換（proper transform）、または狭義変換（strict transform, 強変換とも）と呼ばれるもので、これは
formula_44
の閉包である。これの
formula_42
における法束は通常は
における
のそれと異なる。もう1つは全変換（total transform）と呼ばれるもので、
の一部、または全部を併せたものである。これは、本質的にはコホモロジーにおいて
を引き戻したものである。
スキームのブローアップ.
ブローアップを最大限に一般化するために、
をスキーム、formula_46
を
上のイデアルの連接層とする。
の
formula_46
についてのブローアップとは、スキーム
formula_48
と射
であって、formula_50
は可逆層であり、任意の射
で
formula_51
が可逆層だとすると、
 は
を介して一意に分解する、という普遍性で特徴付けられるものをいう。
次で定義されるスキーム
はこの性質を持つ。これがブローアップの構成方法である。ここで、Proj
は次数付き環上の
である。
例外因子.
ブローアップ
formula_53
の例外因子とは、イデアル層
formula_46
の逆像によって定義される部分スキームのことである。これは
formula_55
と表記されることもある。Proj を用いたブローアップの定義から、この部分スキーム はイデアル層
formula_56
によって定義されることがわかる。このイデアル層は
 についての相対的な
formula_57
でもある。
 は例外因子の外で同型写像であるが、しかし
例外因子が必ず
の例外軌跡になるとは限らない。つまり、 は
上で同型写像となることもある。これは、例えば
formula_46
がはじめから可逆層であるような自明な状況で起こる。特に、このような場合では、射
は例外因子を決定しない。例外軌跡が例外因子よりも真に小さくなりえるもう1つの状況は、
が特異点を持つ場合である。例として
上のアフィン錐
を考える。
は
において
が消える軌跡として与えることができる。イデアル
 と 
は2つの平面を定義し、どちらも
の頂点を通る。頂点の外ではこれらの平面は
における超曲面になっており、したがってそこでブローアップは同型写像になっている。したがってこれらの平面のうちいずれかでのブローアップの例外軌跡は円錐の頂点上に centered しており、結果的に例外因子より真に小さくなっている。
さらなる例.
線型部分空間でのブローアップ.
formula_59
を 次元射影空間とする。これの余次元
の線型部分空間
を1つ取る。 に沿った
formula_59
のブローアップを記述する具体的な方法はいくつかある。formula_59
の座標を
formula_62
とする。座標を取り替えることにより、formula_63
としてよい。ブローアップは
formula_64
の部分空間として定義できる。formula_65
をこれの2番目の直積因子の座標とする。
は正則列によって定義されているので、ブローアップは行列
formula_66
の 小行列式の解によって決定される。この方程式系を満たすことは2つの行が線形従属であることと同値である。点
formula_67
が
に入るのは、この点の座標で上の行列の1行目を作ったときにこの行がゼロになるとき、かつそのときに限る。この場合、
に何の条件もない。しかし、1行目がゼロではないときは、線形従属性から2行目はこれのスカラー倍になる。したがって
formula_68
がブローアップに入る一意な点
formula_69
が存在する。
このブローアップもまた結合対応
formula_70
として表示できる。ここで
formula_71
は
formula_59
における
formula_73
次元部分空間のである。前述の座標による表示との関係を見るために、まず
 を含むすべての
formula_74
からなる集合は射影空間
formula_75
と同型であることに着目する。これは、各部分空間
は
と
に含まれない点
によって生成され、
の外の2つの点 と が同じ
を定めるのは
formula_75
へ射影したときに同じ像を定めるとき、かつそのときに限ることによる。したがってグラスマン多様体を
formula_75
のコピーに置き換えられる。formula_78
であるときは、 を含む唯一の部分空間 が存在し、それは
 と 
で張られる空間である。先の座標の言葉で言えば、これは
formula_79
が零ベクトルではない場合に相当する。formula_80
の場合は
formula_79
が零ベクトルである場合に相当し、この場合は
 として任意のものが取れる、つまり
 を含む任意の が可能である。
曲線の交叉でのスキーム論でのブローアップ.
formula_82
を
formula_83 次の斉次多項式で、一般の位置にある、つまりこれらが定める射影多様体がベズーの定理によって
formula_84
個の点で交わるものとする。スキームの射影的射
は、formula_86
の
formula_84
個の点でのブローアップのモデルを与える。これはファイバーを見ることにより分かる。点
formula_88
を取り、引き戻しの図式
formula_89
を見ることにより、formula_90
もしくは
formula_91
であればファイバーは点であり、formula_92
であればファイバーは
formula_93
であることがわかる。
関連する構成.
前述の
のブローアップで、複素数であることを本質的に使っている箇所はない。したがって任意の体の上でブローアップを行うことができる。例えば、
を原点で実ブローアップするとメビウスの帯ができあがる。同様に、2次元球面
をブローアップすると
ができあがる。
は代数幾何学の証明で頻繁に使われるブローアップのテクニックである。スキーム
 と閉部分スキーム に対し次の組
でブローアップする。すると
はファイブレーションになる。一般ファイバーは自然に
と同型になる。一方、中心ファイバーは
の
に沿ったブローアップと
のの各ファイバーを射影空間に完備化した2つのスキームの和である。
ブローアップは、シンプレクティック形式と整合的な概複素構造を備えさせたシンプレクティック多様体の圏でも複素多様体のブローアップと同じ様に行うことができる。これはまず位相幾何学レベルで意味をもつ操作として定義される。ブローアップした多様体にシンプレクティック形式を備えさせるには、例外因子
にシンプレクティック形式を任意に拡張できるわけではないので、少し注意が必要である。
の近傍においてシンプレクティック形式を取り換えるか、
の近傍を切り取ってブローアップを行い境界を well-defined な方法でつぶす必要がある。これはの枠組みを使うことで最も良く理解でき、シンプレクティック・ブローアップはこれの特別な場合である。シンプレクティックカットは、その逆演算であるとともに、滑らかな因子に沿った法錐への変形のシンプレクティック版である。