ブローアップ (数学)
数学のブローアップ(英: blowing up, blowup)とは、空間の部分空間をその部分空間を指し示す向き全体の空間に置き換える、一種の幾何学的変換である。例えば平面の点でのブローアップはその点をその点の接ベクトル空間を射影化したものに置き換える。ブローアップにより、空間の点における関数や写像、微分形式の無限小での振る舞いを大域的な現象に変換できる[1]。この言葉が持つ爆発(explosion)という意味を使ってこの幾何学的変換を暗喩しているというよりは、「写真の一部を大きくするために写真上でズームインする」という意味を使って暗喩している[要出典][注釈 1]。
ブローアップは双有理幾何学における最も基本的な変換である。弱分解定理(The weak factorization theorem)によれば、射影多様体の間のすべての双有理写像はブローアップとその逆演算の合成としてかける[2][3]。平面の双有理自己同型のなす群であるクレモナ群はブローアップで生成される。
双有理変換を説明するという重要性のほかに、ブローアップは新しい空間を作る重要な方法でもある。例えば、特異点解消のほとんどの方法は滑らかになるまで特異点でブローアップするというものである。さらに、これを使ってブローアップを双有理写像の不確定点を除去するために使うこともできる。
ブローアップは、まず射影空間のような空間上で座標を使って具体的にブローアップを定義し、次に埋め込みを使って他の空間でのブローアップを定義するという、外在的な方法で古くは定義されていた。このことは単項変換(monoidal transformation)といった古典的な用語に現れている。現代の代数幾何学ではブローアップは代数多様体上の内在的な操作として扱う。この観点ではブローアップとは部分代数多様体をカルティエ因子に変換する(圏論的な意味での)普遍的な操作である。
ブローアップは、爆発、単項変換(monoidal transformation; モノイダル変換とも)、局所2次変換(locally quadratic transformation)、dilatation, σ-process, ホップ写像(Hopf map)とも呼ばれる。ブローアップという言葉で、この幾何学的変換を施してできあがった空間を指すことも多い。
平面の点でのブローアップ
編集最も簡単なブローアップは平面の点でのブローアップである。この例を通して、ブローアップの一般的な性質をほとんど見ることができる。この節では、ブローアップという操作で得られた空間のことを特に頻繁にブローアップと呼ぶことにする。
ブローアップは結合対応[訳語疑問点](incidence correspondence)として表すことができる。まず、グラスマン多様体 G(1, 2) で平面の特定の点を通るすべての直線の集合をパラメトライズできたことを思い出す。射影平面 P2 の点 P でのブローアップ X は
である。ここで Q は他の点で はグラスマン多様体の元である。X は射影多様体の直積の閉部分代数多様体なので射影多様体である。これは、組 を Q に送る P2 への自然な射 π を備えている。この射は、Q ≠ P であるすべての点 がなす開部分集合上で同型写像となっている。これは、直線 がこれら2つの点で決まるからである。しかし Q = P のときは、直線 は P を通る任意の直線でよい。これらの直線全体は P を通る向き全体の空間に対応し P1 と同型である。この P1 は例外因子(exceptional divisor)と呼ばれる。定義から、これは射影化された P での法空間(normal space)である。P は点なので法空間は接ベクトル空間と一致する。したがって例外因子は射影化された P での接ベクトル空間と同型である。
ブローアップ上での座標を得るために、結合対応の方程式を求める。P2 に斉次座標 [X0:X1:X2] を与え、これでの点 P の座標を [P0:P1:P2] と書く。射影双対性により G(1, 2) は P2 と同型なので、これに斉次座標 [L0:L1:L2] を与えることができる。 に対応する直線は X0L0 + X1L1 + X2L2 = 0 を満たすすべての [X0:X1:X2] の集合である。したがって、ブローアップは次の式
で記述することができる。ブローアップは P の外では同型写像になっている。射影平面の代わりにアフィン平面で考えることによりブローアップをより簡単な方程式で表すことができる。必要ならば射影変換を使うことにより P = [0:0:1] としてよい。アフィン平面 X2 ≠ 0 の座標を x と y で書くことにする。条件 P ∈ は L2 = 0 を意味するので、グラスマン多様体を P1 に置き換えることができる。このとき、ブローアップは多様体
である。座標を変更してどちらかの符号が逆になるようにするほうがより一般的である。このとき、ブローアップは
と書くことができる。こちらの方程式の方が前のものよりも一般化が容易である。
ブローアップを図に描くことは、グラスマン多様体の無限遠点を取り除けば簡単にできる。例えば、w = 1 と置けば3次元空間において y = xz で定義される鞍型曲面という、ありふれたものになる。
また、ブローアップは点の法空間における座標を使って直接的に記述することもできる。この場合もやはりアフィン平面 A2 で考える。原点での法空間は、原点に対応する極大イデアルを m = (x, y) とすると、ベクトル空間 m/m2 である。代数的には、このベクトル空間の射影空間化(projectivization)はこれの対称代数のProj
で与えられる。この例の場合には、これは具体的に
と表示することができる。ここで x と y の次数は0で z と w の次数は1としている。
例外因子が無限遠直線になるようにブローアップを表示することもできる。実数体で考える。P が A2 ⊆ P2 の原点と仮定し、L を無限遠直線とする。A2 ∖ {0} 上での"逆写像" t を (x, y) を (x/(|x|2 + |y|2), y/(|x|2 + |y|2)) に送るものとして定める。t は単位円 S についての円に関する反転になっている。これは S を固定し、原点を通る直線を保ち、円の内側と外側を入れ替える。t は無限遠直線を原点に送ることで連続写像 P2 ∖ {0} → A2 に拡張できる。拡張したものも t で表すことにすると、これは原点でのブローアップになっている。 実際、P2 ∖ {0} から A2 × P1 への写像 f を [a:b:c] ∈ P2 ∖ {0} に対して f ([a:b:c]) = (c t(a, b), [b:a]) で定めれば、これは well-defined で、先に定義したブローアップとの同相が得られる。原点のファイバーにおける無限遠直線上の点は、原点を通る直線に対応している。
実数または複素数でのブローアップは連結和 として位相幾何学に表すこともできる。U を A2 から開単位円板をくり抜いたものとする。同様に、V を P2 のあるアフィンチャートの中の開単位円板をくり抜いたものとする。ここでは、{[a:b:1] ∈ P2 | |a|2 + |b|2 < 1} をくり抜いたものとする。U と V の境界は単位球面である。これで貼り合わせたものが である。これが原点でのブローアップになっていることを見るために、 から A2 × P1 への写像 f を定める。U ⊂ A2 の元 (x, y) に対しては f ((x, y)) = ((x, y), [y:x])、V ⊂ P2 の元 [a:b:c] に対しては f ([a:b:c]) = (ct(a, b), [b:a]) と定める。t は先ほどと同様に定義される関数で、バーは複素共役である。これが well-defined であることは簡単にわかる。また、同一視している U の境界と V の境界で f が well-defined であることやこれがブローアップへの同相であることもわかる。
複素数体上、CP2 の連結和を取るこの操作では向きづけられた多様体をできあがりとしたい。このためには CP2 に逆の向きを与えなければならない。記号で書くとブローアップは ということになる。ここで は標準的な向きの逆の向きを与えた CP2 である。
複素空間の点でのブローアップ
編集Z を n 次元複素 空間 Cn の原点とする。つまり、Z を n 個の座標関数 が同時に消えている点とする。Pn − 1 を (n − 1) 次元複素射影空間とし、その斉次座標を で表すことにする。 を Cn × Pn − 1 の部分集合ですべての i, j = 1, ..., n に対して方程式 を同時に満たすもの全体とする。射影
は自然に正則写像
を誘導する。この写像 π を Cn のブローアップ(blow-up; 英語では blow up, blowup などとも綴られる)と呼ぶ。空間 もブローアップと呼ばれることが多い。
例外因子 E は π によるブローアップの中心 Z の逆像として定義される。簡単にわかるように
は射影空間のコピーになっている。これは有効因子である。E の外では、π は と Cn ∖ Z の間の同型写像になっている。したがってこれは と Cn の間の双有理写像になっている。
代わりに正則な射影
を考える。これは のトートロジー的直線束と呼ばれるものになっており、例外因子 はこれの零切断、つまり点 を 上のファイバーにおける零元 に送る写像 と同一視できる。
複素多様体の部分多様体でのブローアップ
編集もっと一般に、Cn の中の余次元 k の任意の複素部分多様体 Z でブローアップすることができる。Z を方程式 の解集合とし、 を Pk − 1 の斉次座標とする。このとき、ブローアップは空間 Cn × Pk − 1 における すべての i と j についての方程式 の解集合である。
さらに一般に、局所的にこの構成を使うことで任意の複素多様体 X の任意の部分多様体でブローアップすることができる。これは、前と同じくブローアップの中心 Z を例外因子 E で置き換える操作になっている。言い換えると、ブローアップ写像
は双有理写像になっていて、E の外では同型写像になっており、E 上ではファイバー Pk − 1 を持つ局所自明なファイブレーションになっている。実際、制限 は X における Z の法束を射影化したものと自然に見ることができる。
E は滑らかな因子なので、その法束は直線束である。E が自分自身と負に[訳語疑問点]交叉することを見るのは難しくない。これは、この法束は正則な切断を持たないことを意味する。 それゆえ、E は におけるそのホモロジー類の唯一の滑らかな複素代表元である(仮に E が同じ類の中で他の複素部分多様体に摂動できたとしよう。するとこの2つの部分多様体は、複素部分多様体の交叉が常にそうであるように、正に交叉する。これは E が負の自己交叉を持つことに反する)。これが、この因子が例外因子と呼ばれる理由である。
V を Z ではない X の他の部分多様体とする。V が Z と交わりを持たなければ、 Z に沿ったブローアップで本質的には何の影響も受けない。しかし、Z と交わる場合には、ブローアップ において2つの異なる V に対応するものがある。1つは固有変換(proper transform)、または狭義変換(strict transform, 強変換とも)と呼ばれるもので、これは の閉包である。これの における法束は通常は X における V のそれと異なる。もう1つは全変換(total transform)と呼ばれるもので、E の一部、または全部を併せたものである。これは、本質的にはコホモロジーにおいて V を引き戻したものである。
スキームのブローアップ
編集ブローアップを最大限に一般化するために、X をスキーム、 を X 上のイデアルの連接層とする。X の についてのブローアップとは、スキーム と射
であって、 は可逆層であり、任意の射 f : Y → X で が可逆層だとすると、 f は π を介して一意に分解する、という普遍性で特徴付けられるものをいう。
次で定義されるスキーム
はこの性質を持つ。これがブローアップの構成方法である。ここで、Proj は次数付き環上の Proj構成である。
例外因子
編集ブローアップ の例外因子とは、イデアル層 の逆像によって定義される部分スキームのことである。これは と表記されることもある。Proj を用いたブローアップの定義から、この部分スキーム E はイデアル層 によって定義されることがわかる。このイデアル層は π についての相対的な でもある。
π は例外因子の外で同型写像であるが、しかし 例外因子が必ず π の例外軌跡になるとは限らない。つまり、π は E 上で同型写像となることもある。これは、例えば がはじめから可逆層であるような自明な状況で起こる。特に、このような場合では、射 π は例外因子を決定しない。例外軌跡が例外因子よりも真に小さくなりえるもう1つの状況は、X が特異点を持つ場合である。例として P1 × P1 上のアフィン錐 X を考える。X は A4 において xw − yz が消える軌跡として与えることができる。イデアル (x, y) と (x, z) は2つの平面を定義し、どちらも X の頂点を通る。頂点の外ではこれらの平面は X における超曲面になっており、したがってそこでブローアップは同型写像になっている。したがってこれらの平面のうちいずれかでのブローアップの例外軌跡は円錐の頂点上に centered しており、結果的に例外因子より真に小さくなっている。
さらなる例
編集線型部分空間でのブローアップ
編集を n 次元射影空間とする。これの余次元 d の線型部分空間 L を1つ取る。L に沿った のブローアップを記述する具体的な方法はいくつかある。 の座標を とする。座標を取り替えることにより、 としてよい。ブローアップは の部分空間として定義できる。 をこれの2番目の直積因子の座標とする。L は正則列によって定義されているので、ブローアップは行列
の 2 × 2 小行列式の解によって決定される。この方程式系を満たすことは2つの行が線形従属であることと同値である。点 が L に入るのは、この点の座標で上の行列の1行目を作ったときにこの行がゼロになるとき、かつそのときに限る。この場合、Q に何の条件もない。しかし、1行目がゼロではないときは、線形従属性から2行目はこれのスカラー倍になる。したがって がブローアップに入る一意な点 が存在する。
このブローアップもまた結合対応
として表示できる。ここで は における 次元部分空間のグラスマン多様体である。前述の座標による表示との関係を見るために、まず L を含むすべての からなる集合は射影空間 と同型であることに着目する。これは、各部分空間 M は L と L に含まれない点 Q によって生成され、L の外の2つの点 Q と Q' が同じ M を定めるのは へ射影したときに同じ像を定めるとき、かつそのときに限ることによる。したがってグラスマン多様体を のコピーに置き換えられる。 であるときは、P を含む唯一の部分空間 M が存在し、それは P と L で張られる空間である。先の座標の言葉で言えば、これは が零ベクトルではない場合に相当する。 の場合は が零ベクトルである場合に相当し、この場合は Q として任意のものが取れる、つまり L を含む任意の M が可能である。
曲線の交叉でのスキーム論でのブローアップ
編集を 次の斉次多項式で、一般の位置にある、つまりこれらが定める射影多様体がベズーの定理によって 個の点で交わるものとする。スキームの射影的射
は、 の 個の点でのブローアップのモデルを与える。これはファイバーを見ることにより分かる。点 を取り、引き戻しの図式
を見ることにより、 もしくは であればファイバーは点であり、 であればファイバーは であることがわかる。
関連する構成
編集前述の Cn のブローアップで、複素数であることを本質的に使っている箇所はない。したがって任意の体の上でブローアップを行うことができる。例えば、R2 を原点で実ブローアップするとメビウスの帯ができあがる。同様に、2次元球面 S2 をブローアップすると 実射影平面 ができあがる。
法錐への変形は代数幾何学の証明で頻繁に使われるブローアップのテクニックである。スキーム X と閉部分スキーム V に対し次の組
でブローアップする。すると
はファイブレーションになる。一般ファイバーは自然に X と同型になる。一方、中心ファイバーは X の V に沿ったブローアップと V の法錐の各ファイバーを射影空間に完備化した2つのスキームの和である。
ブローアップは、シンプレクティック形式と整合的な概複素構造を備えさせたシンプレクティック多様体の圏でも複素多様体のブローアップと同じ様に行うことができる。これはまず位相幾何学レベルで意味をもつ操作として定義される。ブローアップした多様体にシンプレクティック形式を備えさせるには、例外因子 E にシンプレクティック形式を任意に拡張できるわけではないので、少し注意が必要である。E の近傍においてシンプレクティック形式を取り換えるか、Z の近傍を切り取ってブローアップを行い境界を well-defined な方法でつぶす必要がある。これはシンプレクティック・カットの枠組みを使うことで最も良く理解でき、シンプレクティック・ブローアップはこれの特別な場合である。シンプレクティックカットは、その逆演算であるシンプレクティック和とともに、滑らかな因子に沿った法錐への変形のシンプレクティック版である。
関連項目
編集脚注
編集注釈
編集- ^ 日本語ではブローアップという表記のほかに爆発という訳語も定着している。「爆発 代数幾何学」をGoogle検索する
出典
編集- ^ Mauri 2018, p. 6.
- ^ Matsuki 2000.
- ^ 川又雄二郎『高次元代数多様体論』岩波書店〈岩波数学叢書〉、2014年、281頁。ISBN 9784000075985。
参考文献
編集- Fulton, William (1998). Intersection Theory. Springer-Verlag. ISBN 0-387-98549-2
- Griffiths, Phillip; Harris, Joseph (1978). Principles of Algebraic Geometry. John Wiley & Sons. ISBN 0-471-32792-1
- Hartshorne, Robin (1977). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9
- McDuff, Dusa; Salamon, Dietmar (1998). Introduction to Symplectic Topology. Oxford University Press. ISBN 0-19-850451-9
- Matsuki, Kenji (2000). "Lectures on Factorization of Birational Maps" (英語). arXiv:math/0002084。
- Mauri, Mirko (2018年). “Ouverture: the art of being a blow-up” (PDF). 2022年1月9日閲覧。